Trace number 3457967

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.1 1797.47

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_15.opb
MD5SUM32f819d2d20a6499e6a06537844c7dde
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.110982
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		12995394264
0.07/0.09	c Max memory 		13063553024
0.07/0.09	c Total memory 		13063553024
0.07/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3457967-1307163328.opb
0.10/0.11	c reading problem ... 
1.05/0.50	c ... done. Wall clock time 0.396s.
1.05/0.50	c #vars     6604
1.05/0.50	c #constraints  13011
1.05/0.50	c constraints type 
1.05/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1.05/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1.05/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.05/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
3.52/2.64	c cleaning 2509 clauses out of 5017 with flag 5017/5017
7.38/6.40	c cleaning 4249 clauses out of 8498 with flag 11007/11007
11.80/10.87	c cleaning 5622 clauses out of 11243 with flag 18001/18001
17.13/16.10	c cleaning 6881 clauses out of 13761 with flag 26141/26141
23.14/22.11	c cleaning 7868 clauses out of 15739 with flag 35000/35000
29.04/28.05	c cleaning 8937 clauses out of 17874 with flag 45003/45003
37.45/36.47	c cleaning 9967 clauses out of 19934 with flag 56000/56000
46.46/45.49	c cleaning 10984 clauses out of 21971 with flag 68004/68004
56.18/55.18	c cleaning 11992 clauses out of 23985 with flag 81002/81002
72.11/71.09	c cleaning 13022 clauses out of 26044 with flag 95053/95053
88.42/87.38	c cleaning 13487 clauses out of 26977 with flag 109008/109008
96.53/95.49	c cleaning 13742 clauses out of 27487 with flag 123005/123005
106.94/105.83	c cleaning 13870 clauses out of 27743 with flag 137003/137003
118.26/117.13	c cleaning 13939 clauses out of 27881 with flag 151011/151011
127.46/126.35	c cleaning 13965 clauses out of 27934 with flag 165003/165003
137.49/136.35	c cleaning 13985 clauses out of 27974 with flag 179008/179008
143.98/142.83	c cleaning 13999 clauses out of 28002 with flag 193021/193021
151.28/150.12	c cleaning 14001 clauses out of 28005 with flag 207023/207023
157.89/156.73	c cleaning 13989 clauses out of 27982 with flag 221001/221001
165.50/164.37	c cleaning 13996 clauses out of 27995 with flag 235003/235003
173.70/172.58	c cleaning 14001 clauses out of 28006 with flag 249010/249010
182.51/181.40	c cleaning 13997 clauses out of 27995 with flag 263000/263000
197.45/196.24	c cleaning 14018 clauses out of 28035 with flag 277037/277037
203.75/202.53	c cleaning 13994 clauses out of 27992 with flag 291012/291012
210.28/209.07	c cleaning 13999 clauses out of 28001 with flag 305015/305015
216.79/215.53	c cleaning 13992 clauses out of 27988 with flag 319001/319001
223.09/221.88	c cleaning 14017 clauses out of 28036 with flag 333041/333041
230.60/229.31	c cleaning 14014 clauses out of 28030 with flag 347052/347052
238.11/236.86	c cleaning 13985 clauses out of 27974 with flag 361010/361010
244.73/243.48	c cleaning 13999 clauses out of 27997 with flag 375018/375018
251.84/250.51	c cleaning 13997 clauses out of 27996 with flag 389016/389016
259.07/257.78	c cleaning 14006 clauses out of 28015 with flag 403032/403032
265.88/264.53	c cleaning 13992 clauses out of 27987 with flag 417010/417010
272.29/270.93	c cleaning 13997 clauses out of 27995 with flag 431010/431010
278.80/277.42	c cleaning 14001 clauses out of 28006 with flag 445018/445018
285.42/284.06	c cleaning 13993 clauses out of 27989 with flag 459002/459002
291.03/289.64	c cleaning 14002 clauses out of 28005 with flag 473011/473011
298.24/296.86	c cleaning 14002 clauses out of 28007 with flag 487015/487015
305.56/304.17	c cleaning 14000 clauses out of 28004 with flag 501014/501014
312.47/311.06	c cleaning 14008 clauses out of 28017 with flag 515027/515027
318.89/317.46	c cleaning 13992 clauses out of 27987 with flag 529005/529005
326.01/324.53	c cleaning 13994 clauses out of 27990 with flag 543000/543000
332.29/330.83	c cleaning 14022 clauses out of 28043 with flag 557047/557047
339.12/337.66	c cleaning 13990 clauses out of 27984 with flag 571010/571010
345.73/344.24	c cleaning 13992 clauses out of 27986 with flag 585002/585002
353.23/351.79	c cleaning 14003 clauses out of 28009 with flag 599017/599017
359.06/357.53	c cleaning 14008 clauses out of 28020 with flag 613031/613031
367.16/365.68	c cleaning 14010 clauses out of 28022 with flag 627041/627041
374.07/372.54	c cleaning 13986 clauses out of 27976 with flag 641005/641005
381.98/380.48	c cleaning 13997 clauses out of 27998 with flag 655013/655013
388.49/386.94	c cleaning 14012 clauses out of 28026 with flag 669038/669038
395.90/394.33	c cleaning 13991 clauses out of 27985 with flag 683009/683009
402.50/400.93	c cleaning 13997 clauses out of 27995 with flag 697010/697010
410.13/408.55	c cleaning 14005 clauses out of 28012 with flag 711024/711024
417.03/415.41	c cleaning 13997 clauses out of 27997 with flag 725014/725014
423.35/421.73	c cleaning 13992 clauses out of 27988 with flag 739002/739002
432.45/430.88	c cleaning 14003 clauses out of 28007 with flag 753013/753013
439.25/437.62	c cleaning 14013 clauses out of 28027 with flag 767036/767036
445.86/444.30	c cleaning 13991 clauses out of 27984 with flag 781006/781006
452.17/450.51	c cleaning 14001 clauses out of 28006 with flag 795019/795019
458.21/456.52	c cleaning 14000 clauses out of 28004 with flag 809018/809018
465.59/463.92	c cleaning 14015 clauses out of 28029 with flag 823043/823043
471.90/470.23	c cleaning 13991 clauses out of 27985 with flag 837014/837014
478.61/476.92	c cleaning 14013 clauses out of 28025 with flag 851045/851045
485.32/483.68	c cleaning 13998 clauses out of 27997 with flag 865030/865030
495.03/493.33	c cleaning 14012 clauses out of 28026 with flag 879057/879057
502.26/500.56	c cleaning 13982 clauses out of 27968 with flag 893011/893011
508.95/507.24	c cleaning 13991 clauses out of 27985 with flag 907010/907010
515.88/514.12	c cleaning 13996 clauses out of 27996 with flag 921012/921012
521.79/520.02	c cleaning 13995 clauses out of 27993 with flag 935005/935005
528.20/526.47	c cleaning 14001 clauses out of 28006 with flag 949013/949013
536.50/534.76	c cleaning 14003 clauses out of 28008 with flag 963016/963016
545.13/543.38	c cleaning 14008 clauses out of 28019 with flag 977030/977030
551.23/549.42	c cleaning 13989 clauses out of 27981 with flag 991000/991000
557.64/555.90	c cleaning 14009 clauses out of 28017 with flag 1005025/1005025
564.34/562.55	c cleaning 13994 clauses out of 27992 with flag 1019009/1019009
570.64/568.85	c cleaning 13996 clauses out of 27994 with flag 1033005/1033005
576.64/574.89	c cleaning 14019 clauses out of 28039 with flag 1047046/1047046
583.46/581.60	c cleaning 13990 clauses out of 27984 with flag 1061010/1061010
590.27/588.45	c cleaning 14012 clauses out of 28026 with flag 1075042/1075042
597.26/595.44	c cleaning 13991 clauses out of 27985 with flag 1089013/1089013
604.70/602.89	c cleaning 14003 clauses out of 28008 with flag 1103027/1103027
611.08/609.25	c cleaning 14000 clauses out of 28002 with flag 1117024/1117024
617.39/615.59	c cleaning 13993 clauses out of 27987 with flag 1131009/1131009
624.30/622.43	c cleaning 13996 clauses out of 27993 with flag 1145008/1145008
630.91/629.04	c cleaning 14007 clauses out of 28016 with flag 1159027/1159027
637.81/635.93	c cleaning 14007 clauses out of 28015 with flag 1173033/1173033
647.12/645.23	c cleaning 13987 clauses out of 27978 with flag 1187003/1187003
653.72/651.84	c cleaning 13999 clauses out of 27999 with flag 1201011/1201011
660.12/658.25	c cleaning 14003 clauses out of 28007 with flag 1215018/1215018
666.83/664.96	c cleaning 14031 clauses out of 28062 with flag 1229076/1229076
673.94/672.09	c cleaning 13979 clauses out of 27961 with flag 1243006/1243006
681.15/679.27	c cleaning 14007 clauses out of 28015 with flag 1257039/1257039
688.95/687.00	c cleaning 14001 clauses out of 28003 with flag 1271034/1271034
697.35/695.40	c cleaning 13996 clauses out of 27994 with flag 1285026/1285026
707.26/705.36	c cleaning 13996 clauses out of 27993 with flag 1299021/1299021
714.86/712.97	c cleaning 14006 clauses out of 28013 with flag 1313037/1313037
724.57/722.63	c cleaning 13998 clauses out of 27997 with flag 1327027/1327027
731.87/729.97	c cleaning 14002 clauses out of 28005 with flag 1341033/1341033
739.87/737.96	c cleaning 13993 clauses out of 27990 with flag 1355020/1355020
745.98/744.04	c cleaning 13996 clauses out of 27993 with flag 1369016/1369016
752.29/750.36	c cleaning 14003 clauses out of 28008 with flag 1383027/1383027
759.10/757.19	c cleaning 13987 clauses out of 27978 with flag 1397000/1397000
766.01/764.02	c cleaning 14015 clauses out of 28032 with flag 1411041/1411041
772.81/770.83	c cleaning 13990 clauses out of 27983 with flag 1425007/1425007
781.22/779.22	c cleaning 14002 clauses out of 28007 with flag 1439021/1439021
788.02/786.05	c cleaning 14000 clauses out of 28003 with flag 1453019/1453019
794.43/792.49	c cleaning 13991 clauses out of 27985 with flag 1467001/1467001
799.63/797.63	c cleaning 14009 clauses out of 28020 with flag 1481027/1481027
806.43/804.48	c cleaning 14012 clauses out of 28025 with flag 1495041/1495041
812.34/810.34	c cleaning 13987 clauses out of 27978 with flag 1509006/1509006
818.54/816.57	c cleaning 14015 clauses out of 28031 with flag 1523046/1523046
825.85/823.90	c cleaning 13985 clauses out of 27973 with flag 1537003/1537003
831.85/829.81	c cleaning 14001 clauses out of 28002 with flag 1551017/1551017
838.35/836.34	c cleaning 14006 clauses out of 28014 with flag 1565030/1565030
845.77/843.79	c cleaning 14006 clauses out of 28013 with flag 1579035/1579035
852.66/850.64	c cleaning 13988 clauses out of 27978 with flag 1593006/1593006
860.47/858.48	c cleaning 14018 clauses out of 28038 with flag 1607054/1607054
867.57/865.50	c cleaning 13996 clauses out of 27993 with flag 1621027/1621027
873.98/871.93	c cleaning 13988 clauses out of 27979 with flag 1635009/1635009
880.59/878.55	c cleaning 14010 clauses out of 28021 with flag 1649039/1649039
888.61/886.53	c cleaning 13991 clauses out of 27983 with flag 1663011/1663011
897.71/895.66	c cleaning 13992 clauses out of 27986 with flag 1677005/1677005
905.41/903.38	c cleaning 14013 clauses out of 28025 with flag 1691036/1691036
914.11/912.00	c cleaning 13991 clauses out of 27984 with flag 1705008/1705008
921.42/919.39	c cleaning 14001 clauses out of 28003 with flag 1719018/1719018
928.62/926.59	c cleaning 13997 clauses out of 27996 with flag 1733012/1733012
936.13/934.06	c cleaning 14003 clauses out of 28007 with flag 1747020/1747020
944.04/941.92	c cleaning 13997 clauses out of 27997 with flag 1761013/1761013
951.24/949.17	c cleaning 13995 clauses out of 27993 with flag 1775006/1775006
957.44/955.30	c cleaning 14005 clauses out of 28014 with flag 1789022/1789022
963.75/961.65	c cleaning 13994 clauses out of 27992 with flag 1803005/1803005
970.06/968.00	c cleaning 14002 clauses out of 28008 with flag 1817015/1817015
978.06/975.98	c cleaning 14006 clauses out of 28014 with flag 1831023/1831023
985.86/983.74	c cleaning 14024 clauses out of 28049 with flag 1845064/1845064
993.56/991.42	c cleaning 13989 clauses out of 27982 with flag 1859021/1859021
1001.06/998.90	c cleaning 14004 clauses out of 28009 with flag 1873037/1873037
1009.17/1007.06	c cleaning 13996 clauses out of 27993 with flag 1887025/1887025
1016.87/1014.74	c cleaning 13992 clauses out of 27985 with flag 1901013/1901013
1025.19/1023.03	c cleaning 14020 clauses out of 28042 with flag 1915062/1915062
1034.08/1031.95	c cleaning 13986 clauses out of 27975 with flag 1929015/1929015
1042.28/1040.14	c cleaning 14005 clauses out of 28012 with flag 1943038/1943038
1050.68/1048.50	c cleaning 14032 clauses out of 28066 with flag 1957097/1957097
1058.49/1056.34	c cleaning 13991 clauses out of 27984 with flag 1971047/1971047
1067.39/1065.23	c cleaning 14005 clauses out of 28012 with flag 1985066/1985066
1075.50/1073.33	c cleaning 13981 clauses out of 27966 with flag 1999025/1999025
1083.20/1081.08	c cleaning 13979 clauses out of 27961 with flag 2013001/2013001
1090.61/1088.42	c cleaning 13989 clauses out of 27982 with flag 2027001/2027001
1096.91/1094.71	c cleaning 13997 clauses out of 27997 with flag 2041005/2041005
1104.82/1102.64	c cleaning 13998 clauses out of 28000 with flag 2055005/2055005
1112.43/1110.24	c cleaning 13998 clauses out of 27999 with flag 2069002/2069002
1118.93/1116.77	c cleaning 13999 clauses out of 28001 with flag 2083002/2083002
1125.36/1123.14	c cleaning 14018 clauses out of 28037 with flag 2097037/2097037
1131.54/1129.39	c cleaning 14020 clauses out of 28043 with flag 2111061/2111061
1138.65/1136.46	c cleaning 13980 clauses out of 27964 with flag 2125002/2125002
1145.45/1143.29	c cleaning 13991 clauses out of 27985 with flag 2139003/2139003
1152.16/1149.95	c cleaning 14005 clauses out of 28011 with flag 2153020/2153020
1158.38/1156.18	c cleaning 13995 clauses out of 27994 with flag 2167008/2167008
1164.87/1162.64	c cleaning 14009 clauses out of 28022 with flag 2181031/2181031
1171.06/1168.84	c cleaning 13992 clauses out of 27987 with flag 2195005/2195005
1179.36/1177.18	c cleaning 13999 clauses out of 27998 with flag 2209008/2209008
1186.26/1184.07	c cleaning 13995 clauses out of 27992 with flag 2223001/2223001
1192.49/1190.27	c cleaning 14011 clauses out of 28024 with flag 2237028/2237028
1199.97/1197.78	c cleaning 14009 clauses out of 28022 with flag 2251037/2251037
1207.89/1205.62	c cleaning 14005 clauses out of 28014 with flag 2265038/2265038
1214.78/1212.56	c cleaning 13996 clauses out of 27996 with flag 2279025/2279025
1222.58/1220.36	c cleaning 13986 clauses out of 27976 with flag 2293001/2293001
1231.69/1229.46	c cleaning 13996 clauses out of 27995 with flag 2307006/2307006
1238.49/1236.25	c cleaning 14004 clauses out of 28010 with flag 2321017/2321017
1245.50/1243.29	c cleaning 14012 clauses out of 28025 with flag 2335036/2335036
1253.02/1250.77	c cleaning 14008 clauses out of 28018 with flag 2349041/2349041
1261.10/1258.85	c cleaning 13993 clauses out of 27989 with flag 2363020/2363020
1268.82/1266.58	c cleaning 14027 clauses out of 28053 with flag 2377077/2377077
1277.02/1274.70	c cleaning 13986 clauses out of 27975 with flag 2391026/2391026
1285.42/1283.11	c cleaning 13988 clauses out of 27978 with flag 2405015/2405015
1294.23/1291.94	c cleaning 14016 clauses out of 28033 with flag 2419058/2419058
1302.33/1300.07	c cleaning 13980 clauses out of 27964 with flag 2433005/2433005
1309.63/1307.40	c cleaning 13990 clauses out of 27983 with flag 2447004/2447004
1316.14/1313.88	c cleaning 14009 clauses out of 28020 with flag 2461031/2461031
1322.84/1320.56	c cleaning 14010 clauses out of 28021 with flag 2475041/2475041
1329.84/1327.51	c cleaning 13999 clauses out of 28000 with flag 2489030/2489030
1336.95/1334.67	c cleaning 14012 clauses out of 28026 with flag 2503055/2503055
1344.26/1341.93	c cleaning 14004 clauses out of 28009 with flag 2517050/2517050
1351.75/1349.49	c cleaning 13976 clauses out of 27955 with flag 2531000/2531000
1360.26/1357.92	c cleaning 13997 clauses out of 27996 with flag 2545017/2545017
1368.17/1365.81	c cleaning 14003 clauses out of 28007 with flag 2559025/2559025
1375.87/1373.57	c cleaning 14018 clauses out of 28038 with flag 2573059/2573059
1383.89/1381.61	c cleaning 14016 clauses out of 28034 with flag 2587073/2587073
1392.69/1390.36	c cleaning 14002 clauses out of 28005 with flag 2601060/2601060
1401.18/1398.86	c cleaning 13976 clauses out of 27956 with flag 2615013/2615013
1408.79/1406.47	c cleaning 14000 clauses out of 28001 with flag 2629034/2629034
1418.19/1415.82	c cleaning 14028 clauses out of 28057 with flag 2643090/2643090
1426.91/1424.53	c cleaning 13982 clauses out of 27966 with flag 2657027/2657027
1434.62/1432.23	c cleaning 13992 clauses out of 27987 with flag 2671030/2671030
1441.60/1439.28	c cleaning 14006 clauses out of 28014 with flag 2685049/2685049
1448.70/1446.38	c cleaning 13987 clauses out of 27977 with flag 2699018/2699018
1456.41/1454.02	c cleaning 14022 clauses out of 28045 with flag 2713073/2713073
1463.51/1461.14	c cleaning 13978 clauses out of 27957 with flag 2727007/2727007
1471.51/1469.17	c cleaning 13991 clauses out of 27984 with flag 2741012/2741012
1480.12/1477.77	c cleaning 13991 clauses out of 27983 with flag 2755002/2755002
1488.54/1486.17	c cleaning 14018 clauses out of 28037 with flag 2769047/2769047
1497.13/1494.76	c cleaning 14001 clauses out of 28004 with flag 2783032/2783032
1505.93/1503.56	c cleaning 14043 clauses out of 28086 with flag 2797115/2797115
1515.04/1512.63	c cleaning 13984 clauses out of 27970 with flag 2811042/2811042
1523.44/1521.08	c cleaning 14013 clauses out of 28029 with flag 2825085/2825085
1532.45/1530.08	c cleaning 13987 clauses out of 27978 with flag 2839047/2839047
1542.24/1539.81	c cleaning 13972 clauses out of 27948 with flag 2853004/2853004
1552.45/1550.09	c cleaning 14039 clauses out of 28082 with flag 2867110/2867110
1561.65/1559.23	c cleaning 13990 clauses out of 27983 with flag 2881050/2881050
1570.86/1568.43	c cleaning 14002 clauses out of 28008 with flag 2895065/2895065
1580.46/1578.02	c cleaning 13999 clauses out of 28001 with flag 2909060/2909060
1589.78/1587.32	c cleaning 13994 clauses out of 27991 with flag 2923049/2923049
1599.27/1596.81	c cleaning 13976 clauses out of 27956 with flag 2937008/2937008
1608.38/1605.94	c cleaning 14003 clauses out of 28009 with flag 2951037/2951037
1617.67/1615.25	c cleaning 14000 clauses out of 28003 with flag 2965034/2965034
1626.68/1624.28	c cleaning 14026 clauses out of 28054 with flag 2979085/2979085
1635.48/1633.08	c cleaning 13978 clauses out of 27960 with flag 2993017/2993017
1642.89/1640.47	c cleaning 13986 clauses out of 27976 with flag 3007011/3007011
1650.32/1647.84	c cleaning 13988 clauses out of 27980 with flag 3021001/3021001
1656.81/1654.37	c cleaning 13995 clauses out of 27994 with flag 3035003/3035003
1662.91/1660.43	c cleaning 14000 clauses out of 27999 with flag 3049003/3049003
1669.11/1666.69	c cleaning 14001 clauses out of 28005 with flag 3063009/3063009
1675.01/1672.58	c cleaning 14002 clauses out of 28008 with flag 3077013/3077013
1681.83/1679.30	c cleaning 14002 clauses out of 28008 with flag 3091015/3091015
1688.85/1686.38	c cleaning 14008 clauses out of 28017 with flag 3105026/3105026
1696.13/1693.67	c cleaning 13992 clauses out of 27988 with flag 3119005/3119005
1702.93/1700.46	c cleaning 13996 clauses out of 27995 with flag 3133004/3133004
1710.24/1707.75	c cleaning 14000 clauses out of 28004 with flag 3147009/3147009
1717.54/1715.08	c cleaning 14009 clauses out of 28020 with flag 3161025/3161025
1724.55/1722.03	c cleaning 13993 clauses out of 27989 with flag 3175003/3175003
1731.67/1729.14	c cleaning 14003 clauses out of 28007 with flag 3189014/3189014
1739.27/1736.75	c cleaning 13999 clauses out of 28001 with flag 3203011/3203011
1745.98/1743.45	c cleaning 13997 clauses out of 27998 with flag 3217007/3217007
1752.97/1750.49	c cleaning 14032 clauses out of 28065 with flag 3231071/3231071
1761.18/1758.61	c cleaning 13984 clauses out of 27972 with flag 3245010/3245010
1768.68/1766.10	c cleaning 13994 clauses out of 27989 with flag 3259011/3259011
1775.98/1773.46	c cleaning 14004 clauses out of 28010 with flag 3273026/3273026
1783.99/1781.46	c cleaning 14010 clauses out of 28022 with flag 3287042/3287042
1790.59/1788.00	c cleaning 14002 clauses out of 28008 with flag 3301038/3301038
1797.60/1795.00	c cleaning 13992 clauses out of 27987 with flag 3315019/3315019
1800.04/1797.44	c starts		: 250
1800.04/1797.44	c conflicts		: 3320511
1800.04/1797.44	c decisions		: 3983364
1800.04/1797.44	c propagations		: 99361916
1800.04/1797.44	c inspects		: 5977029040
1800.04/1797.44	c shortcuts		: 0
1800.04/1797.44	c learnt literals	: 0
1800.04/1797.44	c learnt binary clauses	: 0
1800.04/1797.44	c learnt ternary clauses	: 73
1800.04/1797.44	c learnt constraints	: 3320511
1800.04/1797.44	c ignored constraints	: 0
1800.04/1797.44	c root simplifications	: 0
1800.04/1797.44	c removed literals (reason simplification)	: 98891042
1800.04/1797.44	c reason swapping (by a shorter reason)	: 0
1800.04/1797.44	c Calls to reduceDB	: 240
1800.04/1797.44	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.44	c number of learned constraints concerned by reduction	: 0
1800.04/1797.44	c number of learning phase by resolution	: 0
1800.04/1797.44	c number of learning phase by cutting planes	: 0
1800.04/1797.44	c speed (assignments/second)	: 55295.13650443142
1800.04/1797.44	c non guided choices	6364
1800.04/1797.45	c learnt constraints type 
1800.04/1797.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19511
1800.04/1797.45	c constraints type 
1800.04/1797.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1800.04/1797.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.04/1797.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.04/1797.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.04/1797.45	s UNKNOWN
1800.04/1797.45	c Total wall clock time (in seconds): 1797.344

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457967-1307163328/watcher-3457967-1307163328 -o /tmp/evaluation-result-3457967-1307163328/solver-3457967-1307163328 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457967-1307163328.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.93 2/553 16158
/proc/meminfo: memFree=25021836/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 3716 0 1 0 0 0 0 0 25 0 2 0 808749037 13850947584 3418 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3381579 3430 917 9 0 3372735 0
[pid=16158/tid=16159] ppid=16156 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 8262 0 1 0 0 0 0 0 25 0 2 0 808749037 13850947584 9078 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0866019 s]
/proc/loadavg: 1.92 2.00 1.93 2/553 16158
/proc/meminfo: memFree=25021836/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13620784 CPUtime=0.07 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 14816 0 1 0 6 1 0 0 25 0 18 0 808749037 13947682816 14513 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3405196 14513 1914 9 0 3395930 0
[pid=16158/tid=16159] ppid=16156 vsize=13620784 CPUtime=0.07 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 13438 0 1 0 6 1 0 0 18 0 18 0 808749037 13947682816 14513 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620784

[startup+0.100588 s]
/proc/loadavg: 1.92 2.00 1.93 2/553 16158
/proc/meminfo: memFree=25021836/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13621916 CPUtime=0.1 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 15552 0 1 0 8 2 0 0 25 0 18 0 808749037 13948841984 15249 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3405479 15250 2092 9 0 3396213 0
[pid=16158/tid=16159] ppid=16156 vsize=13621916 CPUtime=0.08 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 13661 0 1 0 7 1 0 0 18 0 18 0 808749037 13948841984 15250 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46990923338499 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621916

[startup+0.300551 s]
/proc/loadavg: 1.92 2.00 1.93 2/553 16158
/proc/meminfo: memFree=25021836/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13624632 CPUtime=0.47 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 18832 0 1 0 45 2 0 0 25 0 18 0 808749037 13951623168 18179 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3406158 18179 2220 9 0 3396892 0
[pid=16158/tid=16159] ppid=16156 vsize=13624632 CPUtime=0.29 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 15442 0 1 0 27 2 0 0 18 0 18 0 808749037 13951623168 18180 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624632

[startup+0.700514 s]
/proc/loadavg: 1.92 2.00 1.93 2/553 16158
/proc/meminfo: memFree=25021836/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13631900 CPUtime=1.54 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 32093 0 1 0 149 5 0 0 25 0 19 0 808749037 13959065600 29690 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3407975 29690 2239 9 0 3398709 0
[pid=16158/tid=16159] ppid=16156 vsize=13631900 CPUtime=0.68 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 23075 0 1 0 65 3 0 0 19 0 19 0 808749037 13959065600 29690 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46912505583163 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13631900

[startup+1.50137 s]
/proc/loadavg: 1.92 2.00 1.93 4/572 16177
/proc/meminfo: memFree=24909164/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13631900 CPUtime=2.41 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 33371 0 1 0 236 5 0 0 25 0 19 0 808749037 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3407975 30967 2242 9 0 3398709 0
[pid=16158/tid=16159] ppid=16156 vsize=13631900 CPUtime=1.47 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 24302 0 1 0 144 3 0 0 20 0 19 0 808749037 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46990927833939 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749039 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) S 16156 16158 11903 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 808749040 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 0 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) S 16156 16158 11903 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808749041 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) S 16156 16158 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808749041 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051478961 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=13631900 CPUtime=0.48 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) S 16156 16158 11903 0 -1 4202560 3189 0 0 0 48 0 0 0 22 0 19 0 808749043 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=13631900 CPUtime=0.44 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) S 16156 16158 11903 0 -1 4202560 4721 0 0 0 43 1 0 0 15 0 19 0 808749043 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16175] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16175/stat : 16175 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16176] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16176/stat : 16176 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808749043 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16177] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16177/stat : 16177 (java) S 16156 16158 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808749089 13959065600 30967 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 13631900

[startup+3.10107 s]
/proc/loadavg: 1.92 2.00 1.93 3/572 16177
/proc/meminfo: memFree=24898996/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13631900 CPUtime=4.06 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 39663 0 1 0 399 7 0 0 25 0 19 0 808749037 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3407975 37247 2268 9 0 3398709 0
[pid=16158/tid=16159] ppid=16156 vsize=13631900 CPUtime=3.04 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 25445 0 1 0 300 4 0 0 25 0 19 0 808749037 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46912505711370 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 11903 0 -1 4202560 490 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) S 16156 16158 11903 0 -1 4202560 1390 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) S 16156 16158 11903 0 -1 4202560 710 0 0 0 0 0 0 0 18 0 19 0 808749039 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=13631900 CPUtime=0.02 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) S 16156 16158 11903 0 -1 4202560 2553 0 0 0 2 0 0 0 16 0 19 0 808749040 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 0 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) S 16156 16158 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808749041 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) S 16156 16158 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808749041 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051478961 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=13631900 CPUtime=0.5 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) S 16156 16158 11903 0 -1 4202560 3195 0 0 0 50 0 0 0 15 0 19 0 808749043 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=13631900 CPUtime=0.44 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) S 16156 16158 11903 0 -1 4202560 4725 0 0 0 43 1 0 0 16 0 19 0 808749043 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16175] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16175/stat : 16175 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16176] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16176/stat : 16176 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808749043 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16177] ppid=16156 vsize=13631900 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16177/stat : 16177 (java) S 16156 16158 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808749089 13959065600 37247 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13631900

[startup+6.30151 s]
/proc/loadavg: 1.93 2.00 1.93 3/572 16177
/proc/meminfo: memFree=24879148/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13630336 CPUtime=7.28 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 39668 0 1 0 721 7 0 0 25 0 19 0 808749037 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3407584 36872 2268 9 0 3398318 0
[pid=16158/tid=16159] ppid=16156 vsize=13630336 CPUtime=6.24 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 25447 0 1 0 620 4 0 0 25 0 19 0 808749037 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46912505888151 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 11903 0 -1 4202560 490 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) S 16156 16158 11903 0 -1 4202560 1390 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) S 16156 16158 11903 0 -1 4202560 710 0 0 0 0 0 0 0 18 0 19 0 808749039 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=13630336 CPUtime=0.02 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) S 16156 16158 11903 0 -1 4202560 2553 0 0 0 2 0 0 0 16 0 19 0 808749040 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 0 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) S 16156 16158 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) S 16156 16158 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051478961 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=13630336 CPUtime=0.51 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) S 16156 16158 11903 0 -1 4202560 3197 0 0 0 51 0 0 0 16 0 19 0 808749043 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=13630336 CPUtime=0.45 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) S 16156 16158 11903 0 -1 4202560 4726 0 0 0 44 1 0 0 15 0 19 0 808749043 13957464064 36872 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0

################
# More data... #
################

[pid=16158/tid=16166] ppid=16156 vsize=13630336 CPUtime=0.29 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 11903 0 -1 4202560 1447 0 0 0 29 0 0 0 15 0 19 0 808749039 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=13630336 CPUtime=0.33 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) S 16156 16158 11903 0 -1 4202560 2453 0 0 0 33 0 0 0 15 0 19 0 808749039 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=13630336 CPUtime=0.27 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) S 16156 16158 11903 0 -1 4202560 775 0 0 0 27 0 0 0 15 0 19 0 808749039 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=13630336 CPUtime=8.92 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) S 16156 16158 11903 0 -1 4202560 11849 0 0 0 889 3 0 0 15 0 19 0 808749040 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 0 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) S 16156 16158 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) S 16156 16158 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051478961 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=13630336 CPUtime=0.6 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) S 16156 16158 11903 0 -1 4202560 3216 0 0 0 60 0 0 0 15 0 19 0 808749043 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=13630336 CPUtime=0.46 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) S 16156 16158 11903 0 -1 4202560 4726 0 0 0 45 1 0 0 15 0 19 0 808749043 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16175] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16175/stat : 16175 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16176] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16176/stat : 16176 (java) S 16156 16158 11903 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 808749043 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16177] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16177/stat : 16177 (java) S 16156 16158 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808749089 13957464064 54628 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1664.81
Current children cumulated vsize (KiB) 13630336

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/572 16232
/proc/meminfo: memFree=24789656/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13630336 CPUtime=1724.86 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 58415 0 1 0 172470 16 0 0 25 0 19 0 808749037 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3407584 55178 2269 9 0 3398318 0
[pid=16158/tid=16159] ppid=16156 vsize=13630336 CPUtime=1711.9 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 25677 0 1 0 171184 6 0 0 25 0 19 0 808749037 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46912505888455 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=13630336 CPUtime=0.29 cores=0,2,4,6
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 11903 0 -1 4202560 2139 0 0 0 29 0 0 0 15 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 11903 0 -1 4202560 570 0 0 0 34 0 0 0 15 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=13630336 CPUtime=0.25 cores=0,2,4,6
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 11903 0 -1 4202560 1848 0 0 0 25 0 0 0 16 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=13630336 CPUtime=0.33 cores=0,2,4,6
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 11903 0 -1 4202560 1096 0 0 0 33 0 0 0 15 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 11903 0 -1 4202560 829 0 0 0 34 0 0 0 15 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=13630336 CPUtime=0.32 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 11903 0 -1 4202560 1447 0 0 0 32 0 0 0 15 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=13630336 CPUtime=0.33 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) S 16156 16158 11903 0 -1 4202560 2453 0 0 0 33 0 0 0 16 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=13630336 CPUtime=0.29 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) S 16156 16158 11903 0 -1 4202560 775 0 0 0 29 0 0 0 16 0 19 0 808749039 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=13630336 CPUtime=9.3 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) S 16156 16158 11903 0 -1 4202560 12391 0 0 0 927 3 0 0 16 0 19 0 808749040 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 0 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) S 16156 16158 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) S 16156 16158 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051478961 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=13630336 CPUtime=0.6 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) S 16156 16158 11903 0 -1 4202560 3216 0 0 0 60 0 0 0 15 0 19 0 808749043 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=13630336 CPUtime=0.46 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) S 16156 16158 11903 0 -1 4202560 4726 0 0 0 45 1 0 0 15 0 19 0 808749043 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16175] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16175/stat : 16175 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16176] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16176/stat : 16176 (java) S 16156 16158 11903 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 808749043 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16177] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16177/stat : 16177 (java) S 16156 16158 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808749089 13957464064 55178 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.86
Current children cumulated vsize (KiB) 13630336

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/572 16237
/proc/meminfo: memFree=24786448/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13630336 CPUtime=1784.89 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 58447 0 1 0 178473 16 0 0 25 0 19 0 808749037 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3407584 55194 2269 9 0 3398318 0
[pid=16158/tid=16159] ppid=16156 vsize=13630336 CPUtime=1771.56 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 25685 0 1 0 177150 6 0 0 25 0 19 0 808749037 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46912505909347 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=13630336 CPUtime=0.3 cores=0,2,4,6
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 11903 0 -1 4202560 2139 0 0 0 30 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=13630336 CPUtime=0.35 cores=0,2,4,6
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 11903 0 -1 4202560 570 0 0 0 35 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=13630336 CPUtime=0.25 cores=0,2,4,6
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 11903 0 -1 4202560 1848 0 0 0 25 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 11903 0 -1 4202560 1096 0 0 0 34 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 11903 0 -1 4202560 829 0 0 0 34 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=13630336 CPUtime=0.32 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 11903 0 -1 4202560 1447 0 0 0 32 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) S 16156 16158 11903 0 -1 4202560 2453 0 0 0 34 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=13630336 CPUtime=0.29 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) S 16156 16158 11903 0 -1 4202560 775 0 0 0 29 0 0 0 15 0 19 0 808749039 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=13630336 CPUtime=9.63 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) S 16156 16158 11903 0 -1 4202560 12411 0 0 0 959 4 0 0 16 0 19 0 808749040 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 0 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) S 16156 16158 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) S 16156 16158 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051478961 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=13630336 CPUtime=0.6 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) S 16156 16158 11903 0 -1 4202560 3216 0 0 0 60 0 0 0 15 0 19 0 808749043 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=13630336 CPUtime=0.46 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) S 16156 16158 11903 0 -1 4202560 4726 0 0 0 45 1 0 0 15 0 19 0 808749043 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16175] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16175/stat : 16175 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16176] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16176/stat : 16176 (java) S 16156 16158 11903 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808749043 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16177] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16177/stat : 16177 (java) S 16156 16158 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808749089 13957464064 55194 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.89
Current children cumulated vsize (KiB) 13630336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.42 s]
/proc/loadavg: 2.01 2.03 2.00 2/548 16257
/proc/meminfo: memFree=24916160/32951124 swapFree=46970528/67111528
[pid=16158] ppid=16156 vsize=13630336 CPUtime=1800.04 cores=0,2,4,6
/proc/16158/stat : 16158 (java) S 16156 16158 11903 0 -1 4202496 58454 0 1 0 179988 16 0 0 25 0 19 0 808749037 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16158/statm: 3407584 55199 2269 9 0 3398318 0
[pid=16158/tid=16159] ppid=16156 vsize=13630336 CPUtime=1786.61 cores=0,2,4,6
/proc/16158/task/16159/stat : 16159 (java) R 16156 16158 11903 0 -1 4202560 25687 0 1 0 178654 7 0 0 25 0 19 0 808749037 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 46912505888081 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=13630336 CPUtime=0.3 cores=0,2,4,6
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 11903 0 -1 4202560 2139 0 0 0 30 0 0 0 15 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=13630336 CPUtime=0.36 cores=0,2,4,6
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 11903 0 -1 4202560 570 0 0 0 36 0 0 0 16 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=13630336 CPUtime=0.25 cores=0,2,4,6
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 11903 0 -1 4202560 1848 0 0 0 25 0 0 0 15 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 11903 0 -1 4202560 1096 0 0 0 34 0 0 0 15 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 11903 0 -1 4202560 829 0 0 0 34 0 0 0 15 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=13630336 CPUtime=0.33 cores=0,2,4,6
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 11903 0 -1 4202560 1452 0 0 0 33 0 0 0 15 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16167] ppid=16156 vsize=13630336 CPUtime=0.34 cores=0,2,4,6
/proc/16158/task/16167/stat : 16167 (java) S 16156 16158 11903 0 -1 4202560 2453 0 0 0 34 0 0 0 16 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16168] ppid=16156 vsize=13630336 CPUtime=0.3 cores=0,2,4,6
/proc/16158/task/16168/stat : 16168 (java) S 16156 16158 11903 0 -1 4202560 775 0 0 0 30 0 0 0 15 0 19 0 808749039 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 6 0 0 0
[pid=16158/tid=16169] ppid=16156 vsize=13630336 CPUtime=9.72 cores=0,2,4,6
/proc/16158/task/16169/stat : 16169 (java) S 16156 16158 11903 0 -1 4202560 12411 0 0 0 968 4 0 0 15 0 19 0 808749040 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 0 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16170] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16170/stat : 16170 (java) S 16156 16158 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16171] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16171/stat : 16171 (java) S 16156 16158 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808749041 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16172] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16172/stat : 16172 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051478961 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16173] ppid=16156 vsize=13630336 CPUtime=0.6 cores=0,2,4,6
/proc/16158/task/16173/stat : 16173 (java) S 16156 16158 11903 0 -1 4202560 3216 0 0 0 60 0 0 0 15 0 19 0 808749043 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
[pid=16158/tid=16174] ppid=16156 vsize=13630336 CPUtime=0.46 cores=0,2,4,6
/proc/16158/task/16174/stat : 16174 (java) S 16156 16158 11903 0 -1 4202560 4726 0 0 0 45 1 0 0 15 0 19 0 808749043 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 2 0 0 0
[pid=16158/tid=16175] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16175/stat : 16175 (java) S 16156 16158 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808749043 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471257 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16176] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16176/stat : 16176 (java) S 16156 16158 11903 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808749043 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 4 0 0 0
[pid=16158/tid=16177] ppid=16156 vsize=13630336 CPUtime=0 cores=0,2,4,6
/proc/16158/task/16177/stat : 16177 (java) S 16156 16158 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808749089 13957464064 55199 33554432000 1073741824 1073778376 140733664580352 18446744073709551615 212051471872 0 4 0 16800975 18446604444800841792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13630336

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.47
CPU time (s): 1800.1
CPU user time (s): 1799.92
CPU system time (s): 0.174973
CPU usage (%): 100.146
Max. virtual memory (cumulated for all children) (KiB): 13631900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58489
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43207
involuntary context switches= 30686

runsolver used 10.4564 second user time and 21.7767 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 06:55:28
IDJOB=3457967
IDBENCH=48292
IDSOLVER=1952
FILE ID=node146/3457967-1307163328
RUNJOBID= node146-1307161527-15976
PBS_JOBID= 13508770
Free space on /tmp= 73784 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_1_15.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3457967-1307163328/watcher-3457967-1307163328 -o /tmp/evaluation-result-3457967-1307163328/solver-3457967-1307163328 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457967-1307163328.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 32f819d2d20a6499e6a06537844c7dde
RANDOM SEED=1798332712

node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25022116 kB
Buffers:        154496 kB
Cached:         286480 kB
SwapCached:      60352 kB
Active:         341040 kB
Inactive:      7345500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25022116 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            1008 kB
Writeback:           0 kB
AnonPages:     7196344 kB
Mapped:          24844 kB
Slab:            75784 kB
PageTables:      97964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 174137604 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73784 MiB
End job on node146 at 2011-06-04 07:25:27