Trace number 3687943

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 NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.71 1790.05

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-modszk1.opb
MD5SUM73a69ec0478725312d0c26d36222113a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48602
Total number of constraints686
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 constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 197378980184064000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 14554406665136992500
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 197378980184064000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 14554406665136992500
Number of bits of the biggest sum of numbers64
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687943-1337877618.opb
0.11/0.10	c reading problem ... 
0.91/0.57	c ... done. Wall clock time 0.473s.
0.91/0.57	c declared #vars     48602
0.91/0.57	c #constraints  1367
0.91/0.57	c constraints type 
0.91/0.57	c ignored satisfied constraints => 5
0.91/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1367
0.91/0.57	c 1372 constraints processed.
0.91/0.57	c objective function length is 29700 literals
2.79/1.85	c cleaning 2501 clauses out of 5001 with flag 5001/5001
3.42/2.32	c cleaning 4242 clauses out of 8499 with flag 11000/11000
3.93/2.83	c cleaning 5629 clauses out of 11258 with flag 18001/18001
4.45/3.37	c cleaning 6813 clauses out of 13630 with flag 26002/26002
5.19/4.03	c cleaning 7905 clauses out of 15815 with flag 35000/35000
5.69/4.58	c cleaning 8949 clauses out of 17910 with flag 45000/45000
6.20/5.06	c cleaning 9979 clauses out of 19962 with flag 56001/56001
6.71/5.56	c cleaning 10981 clauses out of 21982 with flag 68000/68000
7.30/6.15	c cleaning 11998 clauses out of 24002 with flag 81001/81001
7.82/6.69	c cleaning 12998 clauses out of 26003 with flag 95000/95000
8.42/7.28	c cleaning 13995 clauses out of 28005 with flag 110000/110000
9.13/7.97	c cleaning 15004 clauses out of 30010 with flag 126000/126000
9.93/8.76	c cleaning 15998 clauses out of 32006 with flag 143000/143000
10.76/9.50	c cleaning 16996 clauses out of 34008 with flag 161000/161000
11.56/10.38	c cleaning 18001 clauses out of 36012 with flag 180000/180000
12.47/11.23	c cleaning 18998 clauses out of 38012 with flag 200001/200001
13.60/12.31	c cleaning 19995 clauses out of 40013 with flag 221000/221000
14.61/13.38	c cleaning 21010 clauses out of 42019 with flag 243001/243001
16.13/14.88	c cleaning 22005 clauses out of 44010 with flag 266002/266002
17.54/16.23	c cleaning 22997 clauses out of 46003 with flag 290000/290000
18.74/17.46	c cleaning 23996 clauses out of 48006 with flag 315000/315000
20.08/18.79	c cleaning 25000 clauses out of 50012 with flag 341002/341002
21.49/20.13	c cleaning 26002 clauses out of 52011 with flag 368001/368001
22.91/21.58	c cleaning 26999 clauses out of 54009 with flag 396001/396001
24.55/23.17	c cleaning 27998 clauses out of 56009 with flag 425000/425000
26.27/24.89	c cleaning 29001 clauses out of 58011 with flag 455000/455000
28.40/26.94	c cleaning 30000 clauses out of 60010 with flag 486000/486000
30.52/29.04	c cleaning 31001 clauses out of 62010 with flag 518000/518000
32.55/31.08	c cleaning 31995 clauses out of 64010 with flag 551001/551001
34.66/33.10	c cleaning 33007 clauses out of 66015 with flag 585001/585001
36.98/35.48	c cleaning 34005 clauses out of 68009 with flag 620002/620002
39.53/37.99	c cleaning 34991 clauses out of 70002 with flag 656000/656000
42.27/40.64	c cleaning 36001 clauses out of 72012 with flag 693001/693001
44.98/43.34	c cleaning 37004 clauses out of 74010 with flag 731000/731000
48.30/46.62	c cleaning 38004 clauses out of 76007 with flag 770001/770001
50.81/49.15	c cleaning 38994 clauses out of 78002 with flag 810000/810000
53.82/52.13	c cleaning 40003 clauses out of 80009 with flag 851001/851001
56.53/54.89	c cleaning 41002 clauses out of 82005 with flag 893000/893000
59.76/58.09	c cleaning 42000 clauses out of 84004 with flag 936001/936001
62.97/61.20	c cleaning 42996 clauses out of 86005 with flag 980002/980002
65.61/63.88	c cleaning 43997 clauses out of 88007 with flag 1025000/1025000
68.01/66.29	c cleaning 44997 clauses out of 90011 with flag 1071001/1071001
70.66/68.81	c cleaning 46001 clauses out of 92014 with flag 1118001/1118001
73.79/71.99	c cleaning 46997 clauses out of 94012 with flag 1166000/1166000
76.62/74.77	c cleaning 48003 clauses out of 96015 with flag 1215000/1215000
80.05/78.12	c cleaning 49001 clauses out of 98012 with flag 1265000/1265000
83.48/81.57	c cleaning 50004 clauses out of 100013 with flag 1316002/1316002
86.53/84.59	c cleaning 50997 clauses out of 102009 with flag 1368002/1368002
89.95/87.96	c cleaning 51999 clauses out of 104011 with flag 1421001/1421001
93.67/91.61	c cleaning 52996 clauses out of 106011 with flag 1475000/1475000
97.99/95.90	c cleaning 53999 clauses out of 108016 with flag 1530001/1530001
102.42/100.31	c cleaning 55006 clauses out of 110016 with flag 1586000/1586000
106.54/104.46	c cleaning 56005 clauses out of 112010 with flag 1643000/1643000
111.58/109.44	c cleaning 56990 clauses out of 114007 with flag 1701002/1701002
116.29/114.11	c cleaning 58005 clauses out of 116015 with flag 1760000/1760000
121.53/119.38	c cleaning 59001 clauses out of 118010 with flag 1820000/1820000
126.85/124.68	c cleaning 60000 clauses out of 120009 with flag 1881000/1881000
131.78/129.58	c cleaning 61005 clauses out of 122012 with flag 1943003/1943003
137.01/134.70	c cleaning 61997 clauses out of 124004 with flag 2006000/2006000
141.55/139.26	c cleaning 62998 clauses out of 126010 with flag 2070003/2070003
147.95/145.66	c cleaning 64005 clauses out of 128010 with flag 2135001/2135001
153.67/151.37	c cleaning 64996 clauses out of 130006 with flag 2201002/2201002
159.60/157.25	c cleaning 65998 clauses out of 132008 with flag 2268000/2268000
166.21/163.81	c cleaning 67005 clauses out of 134012 with flag 2336002/2336002
173.43/171.03	c cleaning 67998 clauses out of 136006 with flag 2405001/2405001
178.25/175.82	c cleaning 68993 clauses out of 138009 with flag 2475002/2475002
184.07/181.70	c cleaning 70001 clauses out of 140015 with flag 2546001/2546001
189.54/187.04	c cleaning 71004 clauses out of 142015 with flag 2618002/2618002
195.06/192.58	c cleaning 71997 clauses out of 144009 with flag 2691000/2691000
206.50/203.98	c cleaning 73001 clauses out of 146012 with flag 2765000/2765000
214.55/211.98	c cleaning 73993 clauses out of 148012 with flag 2840001/2840001
224.68/222.10	c cleaning 75004 clauses out of 150018 with flag 2916000/2916000
235.07/232.39	c cleaning 76007 clauses out of 152014 with flag 2993000/2993000
241.02/238.23	c cleaning 77003 clauses out of 154007 with flag 3071000/3071000
246.43/243.66	c cleaning 77996 clauses out of 156004 with flag 3150000/3150000
252.29/249.43	c cleaning 79002 clauses out of 158008 with flag 3230000/3230000
259.80/256.60	c cleaning 79994 clauses out of 160005 with flag 3311000/3311000
268.24/264.48	c cleaning 81006 clauses out of 162011 with flag 3393000/3393000
274.41/270.57	c cleaning 81998 clauses out of 164005 with flag 3476000/3476000
280.13/276.26	c cleaning 82998 clauses out of 166008 with flag 3560001/3560001
285.88/281.90	c cleaning 84003 clauses out of 168009 with flag 3645000/3645000
291.53/287.56	c cleaning 85002 clauses out of 170008 with flag 3731002/3731002
298.28/294.20	c cleaning 85992 clauses out of 172004 with flag 3818000/3818000
305.22/301.14	c cleaning 86997 clauses out of 174012 with flag 3906000/3906000
312.49/308.37	c cleaning 88003 clauses out of 176015 with flag 3995000/3995000
319.30/315.16	c cleaning 89003 clauses out of 178014 with flag 4085002/4085002
326.24/322.09	c cleaning 89999 clauses out of 180011 with flag 4176002/4176002
333.27/329.05	c cleaning 91004 clauses out of 182010 with flag 4268000/4268000
342.02/337.79	c cleaning 91994 clauses out of 184006 with flag 4361000/4361000
350.96/346.68	c cleaning 93000 clauses out of 186012 with flag 4455000/4455000
357.29/352.97	c cleaning 94005 clauses out of 188013 with flag 4550001/4550001
367.20/362.80	c cleaning 95000 clauses out of 190008 with flag 4646001/4646001
376.33/371.98	c cleaning 96000 clauses out of 192007 with flag 4743000/4743000
386.46/382.03	c cleaning 96999 clauses out of 194007 with flag 4841000/4841000
396.61/392.15	c cleaning 97998 clauses out of 196010 with flag 4940002/4940002
406.11/401.57	c cleaning 98998 clauses out of 198010 with flag 5040000/5040000
416.31/411.68	c cleaning 100001 clauses out of 200012 with flag 5141000/5141000
428.03/423.32	c cleaning 101004 clauses out of 202012 with flag 5243001/5243001
439.99/435.29	c cleaning 102004 clauses out of 204009 with flag 5346002/5346002
451.35/446.59	c cleaning 103002 clauses out of 206004 with flag 5450001/5450001
464.87/460.08	c cleaning 103992 clauses out of 208004 with flag 5555003/5555003
476.83/471.97	c cleaning 104997 clauses out of 210009 with flag 5661000/5661000
488.18/483.27	c cleaning 106002 clauses out of 212012 with flag 5768000/5768000
499.21/494.24	c cleaning 106998 clauses out of 214010 with flag 5876000/5876000
510.35/505.36	c cleaning 108008 clauses out of 216015 with flag 5985003/5985003
524.60/519.53	c cleaning 109002 clauses out of 218004 with flag 6095000/6095000
552.10/546.95	c cleaning 109990 clauses out of 220002 with flag 6206000/6206000
568.85/563.68	c cleaning 111001 clauses out of 222016 with flag 6318004/6318004
583.60/578.39	c cleaning 111995 clauses out of 224011 with flag 6431000/6431000
597.65/592.38	c cleaning 112997 clauses out of 226017 with flag 6545001/6545001
613.73/608.37	c cleaning 114002 clauses out of 228019 with flag 6660000/6660000
624.76/619.38	c cleaning 115009 clauses out of 230019 with flag 6776002/6776002
634.79/629.37	c cleaning 115994 clauses out of 232008 with flag 6893000/6893000
644.37/638.88	c cleaning 116990 clauses out of 234014 with flag 7011000/7011000
653.24/647.68	c cleaning 118001 clauses out of 236024 with flag 7130000/7130000
660.91/655.23	c cleaning 119007 clauses out of 238025 with flag 7250002/7250002
674.83/669.17	c cleaning 119997 clauses out of 240017 with flag 7371001/7371001
684.82/679.04	c cleaning 120995 clauses out of 242021 with flag 7493002/7493002
694.81/688.98	c cleaning 122008 clauses out of 244024 with flag 7616000/7616000
704.06/698.18	c cleaning 123008 clauses out of 246018 with flag 7740002/7740002
717.23/711.23	c cleaning 123996 clauses out of 248009 with flag 7865001/7865001
731.21/725.19	c cleaning 124998 clauses out of 250012 with flag 7991000/7991000
744.39/738.28	c cleaning 126006 clauses out of 252016 with flag 8118002/8118002
756.53/750.32	c cleaning 126991 clauses out of 254008 with flag 8246000/8246000
767.70/761.49	c cleaning 128004 clauses out of 256018 with flag 8375001/8375001
779.99/773.62	c cleaning 128997 clauses out of 258015 with flag 8505002/8505002
790.53/784.12	c cleaning 130002 clauses out of 260016 with flag 8636000/8636000
802.70/796.21	c cleaning 131004 clauses out of 262014 with flag 8768000/8768000
818.84/812.32	c cleaning 132000 clauses out of 264013 with flag 8901003/8901003
827.51/820.96	c cleaning 132996 clauses out of 266011 with flag 9035001/9035001
840.82/834.26	c cleaning 134002 clauses out of 268014 with flag 9170000/9170000
854.10/847.49	c cleaning 135008 clauses out of 270016 with flag 9306004/9306004
868.59/861.85	c cleaning 135996 clauses out of 272004 with flag 9443000/9443000
883.12/876.38	c cleaning 136999 clauses out of 274009 with flag 9581001/9581001
897.86/891.05	c cleaning 137999 clauses out of 276009 with flag 9720000/9720000
914.88/908.06	c cleaning 139001 clauses out of 278011 with flag 9860001/9860001
931.96/925.09	c cleaning 139997 clauses out of 280009 with flag 10001000/10001000
943.61/936.65	c cleaning 141006 clauses out of 282012 with flag 10143000/10143000
959.05/952.01	c cleaning 141994 clauses out of 284006 with flag 10286000/10286000
972.81/965.74	c cleaning 142995 clauses out of 286013 with flag 10430001/10430001
989.36/982.26	c cleaning 144007 clauses out of 288017 with flag 10575000/10575000
1014.28/1007.09	c cleaning 145002 clauses out of 290010 with flag 10721000/10721000
1035.15/1027.83	c cleaning 145997 clauses out of 292008 with flag 10868000/10868000
1059.60/1052.26	c cleaning 147006 clauses out of 294013 with flag 11016002/11016002
1077.80/1070.34	c cleaning 147999 clauses out of 296006 with flag 11165001/11165001
1099.15/1091.60	c cleaning 149002 clauses out of 298008 with flag 11315002/11315002
1123.81/1116.27	c cleaning 149998 clauses out of 300005 with flag 11466001/11466001
1147.59/1139.91	c cleaning 150991 clauses out of 302006 with flag 11618000/11618000
1166.68/1158.93	c cleaning 151998 clauses out of 304015 with flag 11771000/11771000
1184.95/1177.14	c cleaning 153003 clauses out of 306017 with flag 11925000/11925000
1204.67/1196.43	c cleaning 154002 clauses out of 308014 with flag 12080000/12080000
1223.26/1214.97	c cleaning 155002 clauses out of 310013 with flag 12236001/12236001
1237.68/1229.38	c cleaning 155995 clauses out of 312010 with flag 12393000/12393000
1255.10/1246.73	c cleaning 157005 clauses out of 314016 with flag 12551001/12551001
1270.90/1262.44	c cleaning 158001 clauses out of 316010 with flag 12710000/12710000
1287.50/1278.99	c cleaning 159002 clauses out of 318011 with flag 12870002/12870002
1303.90/1295.26	c cleaning 159998 clauses out of 320009 with flag 13031002/13031002
1320.17/1311.44	c cleaning 161000 clauses out of 322011 with flag 13193002/13193002
1336.02/1327.29	c cleaning 161993 clauses out of 324009 with flag 13356000/13356000
1349.54/1340.80	c cleaning 163008 clauses out of 326016 with flag 13520000/13520000
1386.63/1377.71	c cleaning 164004 clauses out of 328008 with flag 13685000/13685000
1430.16/1421.13	c cleaning 164997 clauses out of 330004 with flag 13851000/13851000
1473.18/1464.09	c cleaning 166000 clauses out of 332007 with flag 14018000/14018000
1510.66/1501.40	c cleaning 166998 clauses out of 334009 with flag 14186002/14186002
1549.35/1540.05	c cleaning 168003 clauses out of 336009 with flag 14355000/14355000
1585.02/1575.62	c cleaning 168999 clauses out of 338006 with flag 14525000/14525000
1622.22/1612.70	c cleaning 170003 clauses out of 340007 with flag 14696000/14696000
1653.76/1644.26	c cleaning 171001 clauses out of 342004 with flag 14868000/14868000
1684.89/1675.33	c cleaning 172002 clauses out of 344004 with flag 15041001/15041001
1703.74/1694.19	c cleaning 172993 clauses out of 346001 with flag 15215000/15215000
1718.09/1708.44	c cleaning 174000 clauses out of 348008 with flag 15390000/15390000
1734.56/1724.81	c cleaning 174997 clauses out of 350008 with flag 15566000/15566000
1751.53/1741.71	c cleaning 176001 clauses out of 352011 with flag 15743000/15743000
1767.63/1757.71	c cleaning 177001 clauses out of 354010 with flag 15921000/15921000
1787.34/1777.40	c cleaning 177998 clauses out of 356009 with flag 16100000/16100000
1800.04/1790.01	c starts		: 347
1800.04/1790.01	c conflicts		: 16280000
1800.04/1790.01	c decisions		: 16727268
1800.04/1790.01	c propagations		: 92978557
1800.04/1790.01	c inspects		: 19849306576
1800.04/1790.01	c shortcuts		: 0
1800.04/1790.01	c learnt literals	: 1
1800.04/1790.01	c learnt binary clauses	: 14
1800.04/1790.01	c learnt ternary clauses	: 0
1800.04/1790.01	c learnt constraints	: 16279999
1800.04/1790.01	c ignored constraints	: 0
1800.04/1790.01	c root simplifications	: 0
1800.04/1790.01	c removed literals (reason simplification)	: 0
1800.04/1790.01	c reason swapping (by a shorter reason)	: 0
1800.04/1790.01	c Calls to reduceDB	: 176
1800.04/1790.01	c number of reductions to clauses (during analyze)	: 0
1800.04/1790.01	c number of learned constraints concerned by reduction	: 0
1800.04/1790.01	c number of learning phase by resolution	: 0
1800.04/1790.01	c number of learning phase by cutting planes	: 0
1800.04/1790.01	c speed (assignments/second)	: 51961.6741776985
1800.04/1790.01	c non guided choices	93964
1800.04/1790.04	c learnt constraints type 
1800.04/1790.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 14
1800.04/1790.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 357997
1800.04/1790.04	c constraints type 
1800.04/1790.04	c ignored satisfied constraints => 5
1800.04/1790.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1367
1800.04/1790.04	c 1372 constraints processed.
1800.04/1790.04	s UNKNOWN
1800.04/1790.04	c Total wall clock time (in seconds): 1789.946

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-3687943-1337877618/watcher-3687943-1337877618 -o /tmp/evaluation-result-3687943-1337877618/solver-3687943-1337877618 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687943-1337877618.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: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18245/stat : 18245 (java) R 18243 18245 16961 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 253885929 278528 33 33554432000 1073741824 1073778376 140733536568720 140735866216920 251043867829 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 68 33 25 9 0 25 0

[startup+0.0899679 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 4329 0 1 0 8 0 0 0 20 0 18 0 253885929 9787813888 5512 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2389603 5512 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100187 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 4446 0 1 0 10 1 0 0 20 0 18 0 253885929 9787813888 6102 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2389603 6102 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300176 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 5858 0 1 0 49 1 0 0 20 0 18 0 253885929 9787813888 12085 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2389603 12085 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700173 s]
/proc/loadavg: 1.96 1.99 1.96 3/195 18245
/proc/meminfo: memFree=28540028/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 9938 0 1 0 121 3 0 0 20 0 19 0 253885929 9855975424 38091 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 38091 2245 9 0 2396937 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9624976

[startup+1.50075 s]
/proc/loadavg: 1.96 1.99 1.96 3/214 18264
/proc/meminfo: memFree=28388036/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 12111 0 1 0 242 7 0 0 20 0 19 0 253885929 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 49068 2263 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2515 0 1 0 140 3 0 0 20 0 19 0 253885930 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117226749448 140117084350299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253885931 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 4017 0 0 0 40 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 4248 0 0 0 50 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 49068 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9624976

[startup+3.10074 s]
/proc/loadavg: 1.96 1.99 1.96 3/214 18264
/proc/meminfo: memFree=28305972/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=4.24 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 12550 0 1 0 414 10 0 0 20 0 19 0 253885929 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 62253 2275 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=2.8 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2517 0 1 0 277 3 0 0 20 0 19 0 253885930 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117226750216 140117084310150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 99 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 110 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 45 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 109 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253885931 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 104 0 0 0 18 0 0 0 20 0 19 0 253885932 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 4021 0 0 0 45 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 4249 0 0 0 54 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 62253 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9624976

[startup+6.30077 s]
/proc/loadavg: 2.12 2.03 1.97 3/214 18264
/proc/meminfo: memFree=28285628/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=7.52 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 12588 0 1 0 742 10 0 0 20 0 19 0 253885929 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 64777 2275 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=5.51 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2522 0 1 0 548 3 0 0 20 0 19 0 253885930 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117226750376 140117084492096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 73 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 100 0 0 0 3 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 112 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 47 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 253885931 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 109 0 0 0 66 0 0 0 20 0 19 0 253885932 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 4022 0 0 0 45 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 4249 0 0 0 58 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 64777 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 121 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 121 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 134 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=20.6 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 223 0 0 0 2056 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 95 0 0 0 18 28 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.89
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 18358
/proc/meminfo: memFree=28225204/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1732.06 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 29766 0 1 0 173146 60 0 0 20 0 19 0 253885929 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 144360 2276 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1698.18 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2718 0 1 0 169788 30 0 0 20 0 19 0 253885930 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117226750256 140117084602084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 312 0 0 0 120 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 381 0 0 0 122 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 388 0 0 0 119 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 409 0 0 0 129 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 305 0 0 0 127 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 123 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 125 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.4 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 136 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=21.1 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 227 0 0 0 2106 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 99 0 0 0 20 29 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1732.06
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 18358
/proc/meminfo: memFree=28175436/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1792.33 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 29778 0 1 0 179172 61 0 0 20 0 19 0 253885929 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 144360 2276 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1757.33 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2722 0 1 0 175702 31 0 0 20 0 19 0 253885930 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117226750256 140117084429779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 312 0 0 0 126 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 381 0 0 0 128 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 388 0 0 0 122 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 409 0 0 0 134 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 305 0 0 0 133 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 127 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 129 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 140 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=21.83 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 231 0 0 0 2179 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 103 0 0 0 20 29 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1792.33
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 18361
/proc/meminfo: memFree=28174652/32873648 swapFree=7360/7360
[pid=18245] ppid=18243 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/18245/stat : 18245 (java) S 18243 18245 16961 0 -1 4202496 29778 0 1 0 179943 61 0 0 20 0 19 0 253885929 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140733536559856 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18245/statm: 2406244 144360 2276 9 0 2396937 0
[pid=18245/tid=18247] ppid=18243 vsize=9624976 CPUtime=1765.04 cores=1,3,5,7
/proc/18245/task/18247/stat : 18247 (java) R 18243 18245 16961 0 -1 4202560 2722 0 1 0 176473 31 0 0 20 0 19 0 253885930 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117226750256 140117084602100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18248] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18248/stat : 18248 (java) S 18243 18245 16961 0 -1 4202560 312 0 0 0 126 3 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117204851112 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18249] ppid=18243 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/18245/task/18249/stat : 18249 (java) S 18243 18245 16961 0 -1 4202560 381 0 0 0 128 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117203798568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18250] ppid=18243 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/18245/task/18250/stat : 18250 (java) S 18243 18245 16961 0 -1 4202560 388 0 0 0 122 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140117202745512 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18251] ppid=18243 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/18245/task/18251/stat : 18251 (java) S 18243 18245 16961 0 -1 4202560 409 0 0 0 134 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116865575208 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18252] ppid=18243 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/18245/task/18252/stat : 18252 (java) S 18243 18245 16961 0 -1 4202560 305 0 0 0 133 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116864523176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18253] ppid=18243 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/18245/task/18253/stat : 18253 (java) S 18243 18245 16961 0 -1 4202560 326 0 0 0 127 2 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116863470632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18254] ppid=18243 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/18245/task/18254/stat : 18254 (java) S 18243 18245 16961 0 -1 4202560 398 0 0 0 129 5 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116862417576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18255] ppid=18243 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/18245/task/18255/stat : 18255 (java) S 18243 18245 16961 0 -1 4202560 322 0 0 0 140 4 0 0 20 0 19 0 253885931 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116861365032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18245/tid=18256] ppid=18243 vsize=9624976 CPUtime=21.83 cores=1,3,5,7
/proc/18245/task/18256/stat : 18256 (java) S 18243 18245 16961 0 -1 4202560 231 0 0 0 2179 4 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116849166696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18257] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18257/stat : 18257 (java) S 18243 18245 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116848113016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18258] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18258/stat : 18258 (java) S 18243 18245 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253885932 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116847059848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18259] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18259/stat : 18259 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116846008592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18260] ppid=18243 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/18245/task/18260/stat : 18260 (java) S 18243 18245 16961 0 -1 4202560 9754 0 0 0 89 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116844956472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18261] ppid=18243 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/18245/task/18261/stat : 18261 (java) S 18243 18245 16961 0 -1 4202560 12945 0 0 0 136 3 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116843903928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18245/tid=18262] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18262/stat : 18262 (java) S 18243 18245 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116842851064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18245/tid=18263] ppid=18243 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/18245/task/18263/stat : 18263 (java) S 18243 18245 16961 0 -1 4202560 103 0 0 0 20 29 0 0 20 0 19 0 253885934 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116841798728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18245/tid=18264] ppid=18243 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/18245/task/18264/stat : 18264 (java) S 18243 18245 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253885994 9855975424 144360 33554432000 1073741824 1073778376 140733536568720 140116840711208 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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): 1790.05
CPU time (s): 1800.71
CPU user time (s): 1799.57
CPU system time (s): 1.14183
CPU usage (%): 100.595
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 1.14183
maximum resident set size= 577596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29818
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42871
involuntary context switches= 26798

runsolver used 6.12007 second user time and 14.2028 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-24 18:40:18
IDJOB=3687943
IDBENCH=2416
IDSOLVER=2269
FILE ID=node149/3687943-1337877618
RUNJOBID= node149-1337871880-16978
PBS_JOBID= 14620055
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687943-1337877618/watcher-3687943-1337877618 -o /tmp/evaluation-result-3687943-1337877618/solver-3687943-1337877618 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687943-1337877618.opb

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

MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a
RANDOM SEED=1238406764

node149.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.145
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.29
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.145
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	: 5331.91
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.145
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	: 5438.55
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.145
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.145
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	: 5331.91
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.145
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	: 5438.55
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.145
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.145
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28540572 kB
Buffers:          218820 kB
Cached:          2715960 kB
SwapCached:            0 kB
Active:          1196080 kB
Inactive:        2353620 kB
Active(anon):     616440 kB
Inactive(anon):        0 kB
Active(file):     579640 kB
Inactive(file):  2353620 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2136 kB
Writeback:             0 kB
AnonPages:        643724 kB
Mapped:            22568 kB
Shmem:               200 kB
Slab:             628272 kB
SReclaimable:      72096 kB
SUnreclaim:       556176 kB
KernelStack:        1760 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     825516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node149 at 2012-05-24 19:10:10