Trace number 3687981

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.29 1792.36

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
MD5SUM2d610c35d7c8dd61a03deef28cf982c0
Bench CategoryDEC-MEDINT (no optimisation, medium integers)
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 benchmark1.08683
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables86
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint86
Maximum length of a constraint86
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 45094584
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 553509859
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687981-1337879079.opb
0.09/0.11	c reading problem ... 
0.09/0.13	c ... done. Wall clock time 0.014s.
0.09/0.13	c declared #vars     86
0.09/0.13	c #constraints  2
0.09/0.13	c constraints type 
0.09/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.09/0.13	c 2 constraints processed.
0.48/0.38	c cleaning 2501 clauses out of 5001 with flag 5001/5001
0.76/0.54	c cleaning 4251 clauses out of 8501 with flag 11002/11002
0.99/0.72	c cleaning 5619 clauses out of 11248 with flag 18000/18000
1.20/0.93	c cleaning 6807 clauses out of 13629 with flag 26000/26000
1.43/1.18	c cleaning 7909 clauses out of 15824 with flag 35002/35002
1.73/1.46	c cleaning 8950 clauses out of 17915 with flag 45002/45002
2.05/1.80	c cleaning 9978 clauses out of 19963 with flag 56000/56000
2.47/2.17	c cleaning 10992 clauses out of 21985 with flag 68000/68000
2.87/2.52	c cleaning 11994 clauses out of 23994 with flag 81001/81001
3.28/2.94	c cleaning 13001 clauses out of 26001 with flag 95002/95002
3.70/3.40	c cleaning 13999 clauses out of 27998 with flag 110000/110000
4.42/4.00	c cleaning 14993 clauses out of 29999 with flag 126000/126000
5.04/4.64	c cleaning 16001 clauses out of 32008 with flag 143002/143002
5.57/5.19	c cleaning 17003 clauses out of 34005 with flag 161000/161000
6.41/5.92	c cleaning 17999 clauses out of 36002 with flag 180000/180000
7.13/6.63	c cleaning 18994 clauses out of 38003 with flag 200000/200000
7.93/7.49	c cleaning 20007 clauses out of 40014 with flag 221005/221005
8.76/8.25	c cleaning 21000 clauses out of 42003 with flag 243001/243001
9.67/9.12	c cleaning 22000 clauses out of 44005 with flag 266003/266003
10.58/10.03	c cleaning 22994 clauses out of 46002 with flag 290000/290000
11.61/11.02	c cleaning 24000 clauses out of 48008 with flag 315000/315000
12.72/12.10	c cleaning 25002 clauses out of 50008 with flag 341000/341000
13.83/13.25	c cleaning 26004 clauses out of 52009 with flag 368003/368003
15.17/14.51	c cleaning 26998 clauses out of 54006 with flag 396004/396004
16.49/15.87	c cleaning 27994 clauses out of 56006 with flag 425002/425002
17.84/17.11	c cleaning 29006 clauses out of 58013 with flag 455003/455003
19.05/18.32	c cleaning 30001 clauses out of 60006 with flag 486002/486002
20.46/19.80	c cleaning 30995 clauses out of 62003 with flag 518000/518000
21.99/21.27	c cleaning 31992 clauses out of 64008 with flag 551000/551000
23.72/22.94	c cleaning 33006 clauses out of 66018 with flag 585002/585002
25.34/24.52	c cleaning 34000 clauses out of 68011 with flag 620001/620001
26.66/25.88	c cleaning 34999 clauses out of 70010 with flag 656000/656000
28.18/27.38	c cleaning 36005 clauses out of 72012 with flag 693001/693001
29.72/28.89	c cleaning 36997 clauses out of 74006 with flag 731000/731000
31.95/31.02	c cleaning 38005 clauses out of 76011 with flag 770002/770002
33.87/32.92	c cleaning 38997 clauses out of 78005 with flag 810001/810001
36.10/35.12	c cleaning 40004 clauses out of 80009 with flag 851002/851002
38.42/37.46	c cleaning 41002 clauses out of 82003 with flag 893000/893000
40.23/39.29	c cleaning 41995 clauses out of 84003 with flag 936002/936002
42.54/41.57	c cleaning 43000 clauses out of 86007 with flag 980001/980001
44.94/43.92	c cleaning 44000 clauses out of 88006 with flag 1025000/1025000
47.37/46.35	c cleaning 45000 clauses out of 90007 with flag 1071001/1071001
49.50/48.49	c cleaning 46001 clauses out of 92006 with flag 1118000/1118000
51.93/50.81	c cleaning 46998 clauses out of 94007 with flag 1166002/1166002
54.33/53.21	c cleaning 48000 clauses out of 96008 with flag 1215001/1215001
57.07/55.95	c cleaning 48998 clauses out of 98007 with flag 1265000/1265000
60.00/58.89	c cleaning 50002 clauses out of 100010 with flag 1316001/1316001
62.53/61.35	c cleaning 51004 clauses out of 102007 with flag 1368000/1368000
65.76/64.56	c cleaning 51994 clauses out of 104003 with flag 1421000/1421000
69.60/68.39	c cleaning 53003 clauses out of 106010 with flag 1475001/1475001
72.95/71.65	c cleaning 53995 clauses out of 108006 with flag 1530000/1530000
76.67/75.38	c cleaning 55004 clauses out of 110011 with flag 1586000/1586000
79.90/78.58	c cleaning 56001 clauses out of 112008 with flag 1643001/1643001
83.43/82.09	c cleaning 56999 clauses out of 114006 with flag 1701000/1701000
87.35/85.94	c cleaning 57999 clauses out of 116007 with flag 1760000/1760000
90.97/89.59	c cleaning 58999 clauses out of 118008 with flag 1820000/1820000
94.60/93.19	c cleaning 60005 clauses out of 120012 with flag 1881003/1881003
98.72/97.27	c cleaning 61000 clauses out of 122004 with flag 1943000/1943000
102.34/100.83	c cleaning 62002 clauses out of 124004 with flag 2006000/2006000
106.76/105.28	c cleaning 62995 clauses out of 126004 with flag 2070002/2070002
110.77/109.26	c cleaning 64004 clauses out of 128007 with flag 2135000/2135000
115.80/114.25	c cleaning 65002 clauses out of 130003 with flag 2201000/2201000
120.05/118.46	c cleaning 65996 clauses out of 132002 with flag 2268001/2268001
123.91/122.22	c cleaning 66993 clauses out of 134005 with flag 2336000/2336000
128.35/126.64	c cleaning 68001 clauses out of 136012 with flag 2405000/2405000
133.17/131.46	c cleaning 68992 clauses out of 138011 with flag 2475000/2475000
138.38/136.69	c cleaning 70003 clauses out of 140019 with flag 2546000/2546000
143.94/142.15	c cleaning 71007 clauses out of 142018 with flag 2618002/2618002
148.37/146.53	c cleaning 72001 clauses out of 144010 with flag 2691001/2691001
152.97/151.14	c cleaning 72999 clauses out of 146008 with flag 2765000/2765000
157.51/155.69	c cleaning 74004 clauses out of 148012 with flag 2840003/2840003
162.44/160.59	c cleaning 75002 clauses out of 150006 with flag 2916001/2916001
167.46/165.59	c cleaning 76002 clauses out of 152004 with flag 2993001/2993001
172.00/170.04	c cleaning 76994 clauses out of 154001 with flag 3071000/3071000
177.04/175.04	c cleaning 77994 clauses out of 156007 with flag 3150000/3150000
181.85/179.82	c cleaning 79005 clauses out of 158014 with flag 3230001/3230001
187.17/185.18	c cleaning 79998 clauses out of 160008 with flag 3311000/3311000
194.01/191.97	c cleaning 80998 clauses out of 162010 with flag 3393000/3393000
199.16/197.03	c cleaning 82005 clauses out of 164016 with flag 3476004/3476004
205.80/203.68	c cleaning 82996 clauses out of 166008 with flag 3560001/3560001
212.14/209.93	c cleaning 84002 clauses out of 168014 with flag 3645003/3645003
219.38/217.16	c cleaning 85001 clauses out of 170009 with flag 3731000/3731000
226.62/224.33	c cleaning 85999 clauses out of 172008 with flag 3818000/3818000
234.86/232.50	c cleaning 87002 clauses out of 174009 with flag 3906000/3906000
242.39/240.08	c cleaning 88000 clauses out of 176010 with flag 3995003/3995003
249.71/247.39	c cleaning 89000 clauses out of 178007 with flag 4085000/4085000
255.94/253.56	c cleaning 89995 clauses out of 180008 with flag 4176001/4176001
263.10/260.69	c cleaning 91003 clauses out of 182012 with flag 4268000/4268000
270.63/268.10	c cleaning 92001 clauses out of 184009 with flag 4361000/4361000
278.07/275.58	c cleaning 93001 clauses out of 186008 with flag 4455000/4455000
283.21/280.69	c cleaning 94000 clauses out of 188008 with flag 4550001/4550001
290.41/287.82	c cleaning 94998 clauses out of 190007 with flag 4646000/4646000
296.73/294.19	c cleaning 96005 clauses out of 192010 with flag 4743001/4743001
304.85/302.25	c cleaning 96996 clauses out of 194007 with flag 4841003/4841003
314.50/311.83	c cleaning 97997 clauses out of 196008 with flag 4940000/4940000
323.97/321.22	c cleaning 99004 clauses out of 198011 with flag 5040000/5040000
333.66/330.84	c cleaning 100002 clauses out of 200012 with flag 5141005/5141005
342.27/339.41	c cleaning 100998 clauses out of 202006 with flag 5243001/5243001
351.91/349.09	c cleaning 101999 clauses out of 204009 with flag 5346002/5346002
360.07/357.15	c cleaning 102999 clauses out of 206008 with flag 5450000/5450000
369.20/366.26	c cleaning 104000 clauses out of 208009 with flag 5555000/5555000
379.05/376.05	c cleaning 104997 clauses out of 210009 with flag 5661000/5661000
388.25/385.22	c cleaning 106003 clauses out of 212013 with flag 5768001/5768001
398.30/395.21	c cleaning 107003 clauses out of 214009 with flag 5876000/5876000
409.63/406.51	c cleaning 107998 clauses out of 216006 with flag 5985000/5985000
421.49/418.34	c cleaning 108995 clauses out of 218008 with flag 6095000/6095000
432.14/428.95	c cleaning 110002 clauses out of 220014 with flag 6206001/6206001
443.20/439.96	c cleaning 111004 clauses out of 222013 with flag 6318002/6318002
453.55/450.23	c cleaning 112003 clauses out of 224007 with flag 6431000/6431000
464.02/460.68	c cleaning 112998 clauses out of 226004 with flag 6545000/6545000
474.97/471.50	c cleaning 114000 clauses out of 228006 with flag 6660000/6660000
484.92/481.40	c cleaning 114998 clauses out of 230006 with flag 6776000/6776000
497.58/494.09	c cleaning 115997 clauses out of 232008 with flag 6893000/6893000
506.74/503.16	c cleaning 116999 clauses out of 234012 with flag 7011001/7011001
519.31/515.61	c cleaning 117996 clauses out of 236012 with flag 7130000/7130000
532.10/528.39	c cleaning 119006 clauses out of 238017 with flag 7250001/7250001
546.19/542.31	c cleaning 119991 clauses out of 240010 with flag 7371000/7371000
557.76/553.87	c cleaning 121011 clauses out of 242021 with flag 7493002/7493002
575.33/571.32	c cleaning 122003 clauses out of 244008 with flag 7616000/7616000
592.51/588.42	c cleaning 123003 clauses out of 246005 with flag 7740000/7740000
610.13/605.92	c cleaning 123995 clauses out of 248002 with flag 7865000/7865000
629.31/625.08	c cleaning 124998 clauses out of 250007 with flag 7991000/7991000
648.21/643.82	c cleaning 125994 clauses out of 252009 with flag 8118000/8118000
662.29/657.84	c cleaning 127003 clauses out of 254015 with flag 8246000/8246000
676.14/671.60	c cleaning 128005 clauses out of 256015 with flag 8375003/8375003
689.88/685.30	c cleaning 129001 clauses out of 258009 with flag 8505002/8505002
703.30/698.77	c cleaning 130000 clauses out of 260007 with flag 8636001/8636001
719.12/714.51	c cleaning 131004 clauses out of 262008 with flag 8768002/8768002
732.09/727.44	c cleaning 131999 clauses out of 264004 with flag 8901002/8901002
749.52/744.88	c cleaning 132992 clauses out of 266003 with flag 9035000/9035000
770.13/765.48	c cleaning 134003 clauses out of 268011 with flag 9170000/9170000
789.91/785.19	c cleaning 134999 clauses out of 270011 with flag 9306003/9306003
811.45/806.60	c cleaning 136003 clauses out of 272010 with flag 9443001/9443001
831.03/826.15	c cleaning 136995 clauses out of 274006 with flag 9581000/9581000
849.61/844.57	c cleaning 138002 clauses out of 276013 with flag 9720002/9720002
870.71/865.61	c cleaning 139000 clauses out of 278009 with flag 9860000/9860000
894.52/889.42	c cleaning 139998 clauses out of 280010 with flag 10001001/10001001
917.35/912.26	c cleaning 140995 clauses out of 282011 with flag 10143000/10143000
937.97/932.79	c cleaning 142000 clauses out of 284016 with flag 10286000/10286000
952.93/947.69	c cleaning 143007 clauses out of 286016 with flag 10430000/10430000
973.43/968.06	c cleaning 143998 clauses out of 288010 with flag 10575001/10575001
989.33/983.91	c cleaning 144999 clauses out of 290011 with flag 10721000/10721000
1007.28/1001.87	c cleaning 145992 clauses out of 292012 with flag 10868000/10868000
1026.94/1021.41	c cleaning 147003 clauses out of 294020 with flag 11016000/11016000
1054.04/1048.49	c cleaning 148005 clauses out of 296021 with flag 11165004/11165004
1075.07/1069.47	c cleaning 149002 clauses out of 298013 with flag 11315001/11315001
1092.64/1086.96	c cleaning 150002 clauses out of 300010 with flag 11466000/11466000
1109.42/1103.66	c cleaning 150999 clauses out of 302009 with flag 11618001/11618001
1124.84/1119.01	c cleaning 151998 clauses out of 304009 with flag 11771000/11771000
1139.97/1134.13	c cleaning 153001 clauses out of 306012 with flag 11925001/11925001
1158.44/1152.52	c cleaning 154004 clauses out of 308011 with flag 12080001/12080001
1177.74/1171.76	c cleaning 155000 clauses out of 310011 with flag 12236005/12236005
1190.87/1184.89	c cleaning 155995 clauses out of 312007 with flag 12393001/12393001
1212.62/1206.50	c cleaning 156997 clauses out of 314011 with flag 12551000/12551000
1234.27/1228.14	c cleaning 158005 clauses out of 316017 with flag 12710003/12710003
1255.55/1249.33	c cleaning 158997 clauses out of 318009 with flag 12870000/12870000
1276.29/1270.04	c cleaning 160002 clauses out of 320013 with flag 13031001/13031001
1295.94/1289.66	c cleaning 161003 clauses out of 322010 with flag 13193000/13193000
1313.69/1307.33	c cleaning 161999 clauses out of 324007 with flag 13356000/13356000
1330.74/1324.34	c cleaning 162996 clauses out of 326008 with flag 13520000/13520000
1360.00/1353.58	c cleaning 164001 clauses out of 328012 with flag 13685000/13685000
1390.32/1383.76	c cleaning 165000 clauses out of 330011 with flag 13851000/13851000
1418.33/1411.63	c cleaning 165996 clauses out of 332011 with flag 14018000/14018000
1444.16/1437.30	c cleaning 166999 clauses out of 334015 with flag 14186000/14186000
1466.64/1459.78	c cleaning 168009 clauses out of 336017 with flag 14355001/14355001
1492.86/1485.95	c cleaning 168996 clauses out of 338007 with flag 14525000/14525000
1515.92/1508.91	c cleaning 169999 clauses out of 340011 with flag 14696000/14696000
1538.65/1531.68	c cleaning 171000 clauses out of 342013 with flag 14868001/14868001
1565.49/1558.44	c cleaning 172000 clauses out of 344012 with flag 15041000/15041000
1586.61/1579.55	c cleaning 173001 clauses out of 346012 with flag 15215000/15215000
1608.39/1601.22	c cleaning 173995 clauses out of 348011 with flag 15390000/15390000
1639.33/1632.15	c cleaning 175001 clauses out of 350016 with flag 15566000/15566000
1662.27/1655.05	c cleaning 175998 clauses out of 352015 with flag 15743000/15743000
1687.19/1679.98	c cleaning 177010 clauses out of 354019 with flag 15921002/15921002
1715.16/1707.89	c cleaning 178001 clauses out of 356009 with flag 16100002/16100002
1733.30/1725.91	c cleaning 178996 clauses out of 358007 with flag 16280001/16280001
1759.35/1751.90	c cleaning 179997 clauses out of 360010 with flag 16461000/16461000
1787.19/1779.62	c cleaning 181007 clauses out of 362013 with flag 16643000/16643000
1800.00/1792.31	c starts		: 348
1800.00/1792.31	c conflicts		: 16781751
1800.00/1792.31	c decisions		: 16798035
1800.00/1792.31	c propagations		: 88044838
1800.00/1792.31	c inspects		: 23434830767
1800.00/1792.31	c shortcuts		: 0
1800.00/1792.31	c learnt literals	: 0
1800.00/1792.31	c learnt binary clauses	: 0
1800.00/1792.31	c learnt ternary clauses	: 0
1800.00/1792.31	c learnt constraints	: 16781751
1800.00/1792.31	c ignored constraints	: 0
1800.00/1792.31	c root simplifications	: 0
1800.00/1792.31	c removed literals (reason simplification)	: 0
1800.00/1792.31	c reason swapping (by a shorter reason)	: 0
1800.00/1792.31	c Calls to reduceDB	: 178
1800.00/1792.31	c number of reductions to clauses (during analyze)	: 0
1800.00/1792.31	c number of learned constraints concerned by reduction	: 0
1800.00/1792.31	c number of learning phase by resolution	: 0
1800.00/1792.31	c number of learning phase by cutting planes	: 0
1800.00/1792.31	c speed (assignments/second)	: 49127.11976002464
1800.00/1792.31	c non guided choices	74
1800.00/1792.35	c learnt constraints type 
1800.00/1792.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 319871
1800.00/1792.35	c constraints type 
1800.00/1792.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.00/1792.35	c 2 constraints processed.
1800.00/1792.35	s UNKNOWN
1800.00/1792.35	c Total wall clock time (in seconds): 1792.239

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687981-1337879079/watcher-3687981-1337879079 -o /tmp/evaluation-result-3687981-1337879079/solver-3687981-1337879079 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687981-1337879079.opb 

running on 4 cores: 1,3,5,7

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: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12926/stat : 12926 (java) R 12924 12926 12001 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 254034022 9515008 185 33554432000 1073741824 1073778376 140735774985616 140735774976840 251031874999 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12926/statm: 2323 185 142 9 0 71 0

[startup+0.105629 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 4378 0 1 0 8 1 0 0 20 0 18 0 254034022 9787813888 5572 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2389603 5572 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.200208 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 6782 0 1 0 30 2 0 0 20 0 19 0 254034022 9855975424 7606 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 7606 2200 9 0 2396937 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9624976

[startup+0.3003 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7066 0 1 0 46 2 0 0 20 0 19 0 254034022 9855975424 7687 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 7687 2218 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624976

[startup+0.700256 s]
/proc/loadavg: 2.43 2.09 2.03 3/194 12926
/proc/meminfo: memFree=27369616/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7163 0 1 0 96 3 0 0 20 0 19 0 254034022 9855975424 10838 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 10838 2256 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9624976

[startup+1.50066 s]
/proc/loadavg: 2.43 2.09 2.03 3/213 12945
/proc/meminfo: memFree=27332916/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7286 0 1 0 182 3 0 0 20 0 19 0 254034022 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 12407 2266 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2456 0 1 0 137 2 0 0 20 0 19 0 254034023 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339253588376 140339080218602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 254034025 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2206 0 0 0 13 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 12407 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9624976

[startup+3.10077 s]
/proc/loadavg: 2.43 2.09 2.03 3/213 12945
/proc/meminfo: memFree=27328572/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=3.5 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7314 0 1 0 346 4 0 0 20 0 19 0 254034022 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 13964 2266 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=2.92 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2461 0 1 0 290 2 0 0 20 0 19 0 254034023 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339253588216 140339080235387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034024 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 254034025 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2206 0 0 0 13 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 13964 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 2.39 2.09 2.03 3/213 12945
/proc/meminfo: memFree=27317968/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=6.83 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 7346 0 1 0 679 4 0 0 20 0 19 0 254034022 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 15504 2266 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=5.96 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2467 0 1 0 594 2 0 0 20 0 19 0 254034023 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339253588376 140339080264068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 254034024 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 34 0 0 0 19 0 0 0 20 0 19 0 254034025 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2206 0 0 0 13 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 15504 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 117 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 117 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 104 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=10.48 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 153 0 0 0 1044 4 0 0 20 0 19 0 254034025 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 95 0 0 0 30 25 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1669.59
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13020
/proc/meminfo: memFree=26751816/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1729.7 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 10329 0 1 0 172899 71 0 0 20 0 19 0 254034022 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 71032 2267 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1708.91 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2655 0 1 0 170861 30 0 0 20 0 19 0 254034023 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339253588256 140339080389300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 427 0 0 0 113 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 282 0 0 0 103 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 450 0 0 0 108 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 220 0 0 0 110 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 307 0 0 0 109 2 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 119 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 118 4 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 105 3 0 0 20 0 19 0 254034024 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=10.7 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 157 0 0 0 1066 4 0 0 20 0 19 0 254034025 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 99 0 0 0 31 26 0 0 20 0 19 0 254034028 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71032 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1729.7
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13020
/proc/meminfo: memFree=26749520/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1789.98 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 10341 0 1 0 178926 72 0 0 20 0 19 0 254034022 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 71544 2267 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1768.45 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2659 0 1 0 176814 31 0 0 20 0 19 0 254034023 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339253588256 140339080299954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 427 0 0 0 120 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 282 0 0 0 106 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 450 0 0 0 112 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 220 0 0 0 114 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 307 0 0 0 113 2 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 109 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=11.06 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 161 0 0 0 1102 4 0 0 20 0 19 0 254034025 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 103 0 0 0 33 27 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13020
/proc/meminfo: memFree=26749520/32873844 swapFree=7364/7364
[pid=12926] ppid=12924 vsize=9624976 CPUtime=1800 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12924 12926 12001 0 -1 4202496 10341 0 1 0 179928 72 0 0 20 0 19 0 254034022 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140735771031184 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12926/statm: 2406244 71544 2267 9 0 2396937 0
[pid=12926/tid=12928] ppid=12924 vsize=9624976 CPUtime=1778.46 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12924 12926 12001 0 -1 4202560 2659 0 1 0 177814 32 0 0 20 0 19 0 254034023 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339253588256 140339080299954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12929] ppid=12924 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12924 12926 12001 0 -1 4202560 427 0 0 0 120 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339215079720 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12930] ppid=12924 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12924 12926 12001 0 -1 4202560 282 0 0 0 106 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339214026920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12931] ppid=12924 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12924 12926 12001 0 -1 4202560 450 0 0 0 112 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339212974632 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12932] ppid=12924 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12924 12926 12001 0 -1 4202560 220 0 0 0 114 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339211921832 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12933] ppid=12924 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12924 12926 12001 0 -1 4202560 307 0 0 0 113 2 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339210869544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12934] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12924 12926 12001 0 -1 4202560 364 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339209816744 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12926/tid=12935] ppid=12924 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12924 12926 12001 0 -1 4202560 326 0 0 0 123 4 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339208764456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12936] ppid=12924 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12924 12926 12001 0 -1 4202560 279 0 0 0 109 3 0 0 20 0 19 0 254034024 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339207711656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12937] ppid=12924 vsize=9624976 CPUtime=11.06 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12924 12926 12001 0 -1 4202560 161 0 0 0 1102 4 0 0 20 0 19 0 254034025 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339077695720 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12938] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12924 12926 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339076641784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12939] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12924 12926 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034026 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339075589384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12940] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339074537872 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12941] ppid=12924 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12924 12926 12001 0 -1 4202560 1347 0 0 0 17 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339073485496 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12926/tid=12942] ppid=12924 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/12926/task/12942/stat : 12942 (java) S 12924 12926 12001 0 -1 4202560 2236 0 0 0 16 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339072432696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12943] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12943/stat : 12943 (java) S 12924 12926 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339071380600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12926/tid=12944] ppid=12924 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/12926/task/12944/stat : 12944 (java) S 12924 12926 12001 0 -1 4202560 103 0 0 0 33 27 0 0 20 0 19 0 254034028 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339070328008 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12926/tid=12945] ppid=12924 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12945/stat : 12945 (java) S 12924 12926 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034035 9855975424 71544 33554432000 1073741824 1073778376 140735771040048 140339069273000 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624976

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): 1792.36
CPU time (s): 1800.29
CPU user time (s): 1799.25
CPU system time (s): 1.04384
CPU usage (%): 100.443
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.04384
maximum resident set size= 286340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10384
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42960
involuntary context switches= 22024

runsolver used 5.74113 second user time and 16.2935 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-24 19:04:39
IDJOB=3687981
IDBENCH=2556
IDSOLVER=2269
FILE ID=node118/3687981-1337879079
RUNJOBID= node118-1337871881-12018
PBS_JOBID= 14620086
Free space on /tmp= 71668 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687981-1337879079/watcher-3687981-1337879079 -o /tmp/evaluation-result-3687981-1337879079/solver-3687981-1337879079 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687981-1337879079.opb

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

MD5SUM BENCH= 2d610c35d7c8dd61a03deef28cf982c0
RANDOM SEED=997330539

node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5320.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27369772 kB
Buffers:          209512 kB
Cached:          3943668 kB
SwapCached:            0 kB
Active:          1005296 kB
Inactive:        3725176 kB
Active(anon):     578892 kB
Inactive(anon):        0 kB
Active(file):     426404 kB
Inactive(file):  3725176 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:        588172 kB
Mapped:            22520 kB
Shmem:               200 kB
Slab:             630384 kB
SReclaimable:      72740 kB
SUnreclaim:       557644 kB
KernelStack:        1600 kB
PageTables:         5428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     898292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    544768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node118 at 2012-05-24 19:34:34