Trace number 3687588

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 RES // CP 2.3.2 SnapshotSAT (TO)214 1800.13 992.648

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM008a49e8cb0d34e0becb5a5e15efaa2a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 177
Optimality of the best value was proved NO
Number of variables465
Total number of constraints465
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 constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 465
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 465
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3687588-1337872771.opb
0.08/0.13	c reading problem ... 
0.23/0.26	c ... done. Wall clock time 0.134s.
0.23/0.26	c declared #vars     465
0.23/0.26	c #constraints  465
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 465
0.23/0.26	c 465 constraints processed.
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 465
0.23/0.26	c 465 constraints processed.
0.23/0.26	c objective function length is 465 literals
0.23/0.28	c  And the winner is solver0
0.52/0.77	c SATISFIABLE
0.52/0.77	c OPTIMIZING...
0.52/0.77	c Got one! Elapsed wall clock time (in seconds):0.637
0.52/0.77	o 222
2.19/1.22	c  And the winner is solver1
2.19/1.27	c Got one! Elapsed wall clock time (in seconds):1.142
2.19/1.27	o 221
2.49/1.31	c  And the winner is solver1
2.64/1.77	c Got one! Elapsed wall clock time (in seconds):1.645
2.64/1.77	o 220
2.64/1.78	c  And the winner is solver0
2.64/2.28	c Got one! Elapsed wall clock time (in seconds):2.147
2.64/2.28	o 219
2.64/2.28	c  And the winner is solver0
2.65/2.78	c Got one! Elapsed wall clock time (in seconds):2.649
2.65/2.78	o 218
2.95/2.93	c  And the winner is solver1
3.01/3.28	c Got one! Elapsed wall clock time (in seconds):3.151
3.01/3.28	o 217
3.78/3.67	c  And the winner is solver1
3.97/3.78	c Got one! Elapsed wall clock time (in seconds):3.653
3.97/3.78	o 216
4.61/4.11	c cleaning 3869 clauses out of 7738 with flag 2000/7738
7.09/5.21	c cleaning 4932 clauses out of 9870 with flag 8001/13739
9.51/6.44	c cleaning 5969 clauses out of 11937 with flag 15000/20738
12.33/7.86	c cleaning 6984 clauses out of 13969 with flag 23001/28739
15.65/9.52	c cleaning 7992 clauses out of 15985 with flag 32001/37739
19.19/11.32	c cleaning 8995 clauses out of 17993 with flag 42001/47739
22.94/13.27	c cleaning 9997 clauses out of 19998 with flag 53001/58739
27.21/15.49	c cleaning 10999 clauses out of 22002 with flag 65002/70740
32.14/18.04	c cleaning 11999 clauses out of 24001 with flag 78000/83738
37.23/20.66	c cleaning 13001 clauses out of 26004 with flag 92002/97740
42.95/23.52	c cleaning 13998 clauses out of 28002 with flag 107001/112739
49.12/26.72	c cleaning 14997 clauses out of 30004 with flag 123001/128739
55.35/30.09	c cleaning 16001 clauses out of 32006 with flag 140000/145738
62.50/33.75	c cleaning 16985 clauses out of 34005 with flag 158000/163738
70.01/37.60	c cleaning 18006 clauses out of 36022 with flag 177002/182740
78.51/42.01	c cleaning 19000 clauses out of 38016 with flag 197002/202740
86.98/46.51	c cleaning 20002 clauses out of 40014 with flag 218000/223738
95.42/50.91	c cleaning 21006 clauses out of 42012 with flag 240000/245738
104.45/55.65	c cleaning 22000 clauses out of 44006 with flag 263000/268738
113.84/60.53	c cleaning 22998 clauses out of 46007 with flag 287001/292739
123.94/65.96	c cleaning 23998 clauses out of 48008 with flag 312000/317738
134.29/71.32	c cleaning 24999 clauses out of 50010 with flag 338000/343738
145.44/77.14	c cleaning 26003 clauses out of 52011 with flag 365000/370738
147.98/78.69	c cleaning 0 clauses out of 5128 with flag 0/5128
159.30/84.57	c cleaning 27000 clauses out of 54008 with flag 393000/398738
171.30/90.74	c cleaning 28003 clauses out of 56008 with flag 422000/427738
184.25/97.93	c cleaning 29000 clauses out of 58006 with flag 452001/457739
199.07/105.73	c cleaning 30004 clauses out of 60008 with flag 483003/488741
212.94/112.92	c cleaning 30995 clauses out of 62004 with flag 515003/520741
227.21/120.40	c cleaning 32000 clauses out of 64007 with flag 548001/553739
241.40/127.72	c cleaning 33001 clauses out of 66006 with flag 582000/587738
255.92/135.59	c cleaning 34003 clauses out of 68005 with flag 617000/622738
270.29/143.03	c cleaning 34997 clauses out of 70002 with flag 653000/658738
285.48/150.95	c cleaning 36002 clauses out of 72005 with flag 690000/695738
301.84/159.47	c cleaning 37002 clauses out of 74005 with flag 728002/733740
319.20/168.78	c cleaning 37995 clauses out of 76001 with flag 767000/772738
335.89/177.44	c cleaning 38999 clauses out of 78007 with flag 807001/812739
353.78/186.73	c cleaning 39999 clauses out of 80008 with flag 848001/853739
371.45/195.96	c cleaning 41001 clauses out of 82008 with flag 890000/895738
391.26/206.51	c cleaning 42004 clauses out of 84008 with flag 933001/938739
409.22/215.97	c cleaning 42994 clauses out of 86003 with flag 977000/982738
426.86/225.10	c cleaning 44001 clauses out of 88010 with flag 1022001/1027739
444.42/234.33	c cleaning 44999 clauses out of 90009 with flag 1068001/1073739
462.78/244.27	c cleaning 46000 clauses out of 92009 with flag 1115000/1120738
481.65/254.18	c cleaning 47007 clauses out of 94013 with flag 1163004/1168742
500.96/264.29	c cleaning 47996 clauses out of 96002 with flag 1212000/1217738
504.42/266.44	c  And the winner is solver1
503.40/266.85	c Got one! Elapsed wall clock time (in seconds):266.715
503.40/266.85	o 215
504.89/267.62	c cleaning 30192 clauses out of 60387 with flag 5000/1230119
508.50/270.20	c cleaning 18096 clauses out of 36196 with flag 11001/1236120
511.74/272.37	c cleaning 12545 clauses out of 25100 with flag 18001/1243120
515.37/274.62	c cleaning 10269 clauses out of 20554 with flag 26000/1251119
519.23/277.04	c cleaning 9638 clauses out of 19285 with flag 35000/1260119
524.12/280.35	c cleaning 9820 clauses out of 19648 with flag 45001/1270120
528.69/283.13	c cleaning 10411 clauses out of 20828 with flag 56001/1281120
533.88/286.22	c cleaning 11206 clauses out of 22418 with flag 68002/1293121
539.06/289.33	c cleaning 12096 clauses out of 24210 with flag 81000/1306119
545.35/293.36	c cleaning 13057 clauses out of 26114 with flag 95000/1320119
551.53/296.99	c cleaning 14024 clauses out of 28059 with flag 110002/1335121
557.89/300.63	c cleaning 15012 clauses out of 30033 with flag 126000/1351119
564.23/304.31	c cleaning 16007 clauses out of 32021 with flag 143000/1368119
571.47/308.83	c cleaning 17007 clauses out of 34015 with flag 161001/1386120
578.62/312.97	c cleaning 18003 clauses out of 36007 with flag 180000/1405119
586.21/317.26	c cleaning 19001 clauses out of 38005 with flag 200001/1425120
593.97/321.61	c cleaning 20002 clauses out of 40004 with flag 221001/1446120
602.87/326.97	c cleaning 20994 clauses out of 42001 with flag 243000/1468119
611.19/331.69	c cleaning 21997 clauses out of 44007 with flag 266000/1491119
620.12/336.60	c cleaning 22998 clauses out of 46010 with flag 290000/1515119
629.01/341.64	c cleaning 23998 clauses out of 48013 with flag 315001/1540120
639.36/347.72	c cleaning 25004 clauses out of 50014 with flag 341000/1566119
649.64/353.47	c cleaning 26006 clauses out of 52011 with flag 368001/1593120
660.15/359.21	c cleaning 26999 clauses out of 54006 with flag 396002/1621121
670.27/364.85	c cleaning 28000 clauses out of 56005 with flag 425000/1650119
681.24/371.31	c cleaning 29002 clauses out of 58005 with flag 455000/1680119
692.09/377.46	c cleaning 29996 clauses out of 60006 with flag 486003/1711122
705.11/384.68	c cleaning 31000 clauses out of 62009 with flag 518002/1743121
718.46/392.03	c cleaning 31998 clauses out of 64008 with flag 551001/1776120
733.10/400.43	c cleaning 32995 clauses out of 66010 with flag 585001/1810120
746.62/407.92	c cleaning 34004 clauses out of 68014 with flag 620000/1845119
760.24/415.47	c cleaning 35000 clauses out of 70011 with flag 656001/1881120
772.83/422.42	c cleaning 36001 clauses out of 72010 with flag 693000/1918119
786.86/430.52	c cleaning 37002 clauses out of 74009 with flag 731000/1956119
803.16/440.13	c cleaning 37998 clauses out of 76010 with flag 770003/1995122
819.63/448.85	c cleaning 39001 clauses out of 78009 with flag 810000/2035119
836.56/458.35	c cleaning 40003 clauses out of 80008 with flag 851000/2076119
852.80/467.06	c cleaning 40993 clauses out of 82005 with flag 893000/2118119
869.59/476.08	c cleaning 42002 clauses out of 84015 with flag 936003/2161122
887.18/485.41	c cleaning 43002 clauses out of 86011 with flag 980001/2205120
906.34/496.00	c cleaning 43997 clauses out of 88008 with flag 1025000/2250119
925.00/505.99	c cleaning 45003 clauses out of 90012 with flag 1071001/2296120
944.01/516.05	c  And the winner is solver1
943.20/516.31	c Got one! Elapsed wall clock time (in seconds):516.185
943.20/516.31	o 214
945.55/517.51	c cleaning 48164 clauses out of 96328 with flag 5001/2347439
949.10/519.90	c cleaning 27081 clauses out of 54164 with flag 11001/2353439
953.43/523.17	c cleaning 17038 clauses out of 34082 with flag 18000/2360438
957.32/525.79	c cleaning 12518 clauses out of 25044 with flag 26000/2368438
961.58/528.59	c cleaning 10758 clauses out of 21526 with flag 35000/2377438
966.46/531.66	c cleaning 10383 clauses out of 20769 with flag 45001/2387439
972.48/535.76	c cleaning 10688 clauses out of 21385 with flag 56000/2398438
977.96/539.19	c cleaning 11344 clauses out of 22698 with flag 68001/2410439
983.43/542.51	c cleaning 12174 clauses out of 24353 with flag 81000/2423438
989.50/546.22	c cleaning 13087 clauses out of 26180 with flag 95001/2437439
996.79/550.91	c cleaning 14045 clauses out of 28094 with flag 110002/2452440
1003.12/554.75	c cleaning 15023 clauses out of 30047 with flag 126000/2468438
1010.27/558.92	c cleaning 16010 clauses out of 32026 with flag 143002/2485440
1017.75/563.38	c cleaning 17007 clauses out of 34016 with flag 161002/2503440
1026.27/568.67	c cleaning 18002 clauses out of 36007 with flag 180000/2522438
1034.50/573.47	c cleaning 19000 clauses out of 38005 with flag 200000/2542438
1043.35/578.53	c cleaning 20002 clauses out of 40005 with flag 221000/2563438
1052.38/583.70	c cleaning 21000 clauses out of 42004 with flag 243001/2585439
1062.60/589.92	c cleaning 21998 clauses out of 44003 with flag 266000/2608438
1072.63/595.63	c cleaning 22999 clauses out of 46007 with flag 290002/2632440
1084.05/602.07	c cleaning 24000 clauses out of 48007 with flag 315001/2657439
1095.07/608.21	c cleaning 25000 clauses out of 50007 with flag 341001/2683439
1106.85/615.21	c cleaning 25994 clauses out of 52006 with flag 368000/2710438
1117.94/621.49	c cleaning 27004 clauses out of 54012 with flag 396000/2738438
1129.02/627.69	c cleaning 28000 clauses out of 56008 with flag 425000/2767438
1141.29/634.41	c cleaning 29000 clauses out of 58009 with flag 455001/2797439
1154.12/641.95	c cleaning 30002 clauses out of 60008 with flag 486000/2828438
1166.37/648.75	c cleaning 31000 clauses out of 62008 with flag 518002/2860440
1178.14/655.34	c cleaning 32001 clauses out of 64006 with flag 551000/2893438
1190.79/662.30	c cleaning 33001 clauses out of 66007 with flag 585002/2927440
1204.60/670.38	c cleaning 34000 clauses out of 68005 with flag 620001/2962439
1219.71/678.51	c cleaning 35001 clauses out of 70004 with flag 656000/2998438
1235.19/686.92	c cleaning 35997 clauses out of 72003 with flag 693000/3035438
1251.54/695.88	c cleaning 37003 clauses out of 74009 with flag 731003/3073441
1269.73/706.13	c cleaning 38003 clauses out of 76005 with flag 770002/3112440
1285.38/714.66	c cleaning 39000 clauses out of 78001 with flag 810001/3152439
1302.12/723.74	c cleaning 39997 clauses out of 80002 with flag 851002/3193440
1318.58/732.61	c cleaning 40998 clauses out of 82003 with flag 893000/3235438
1334.73/741.80	c cleaning 42002 clauses out of 84006 with flag 936001/3278439
1352.79/751.57	c cleaning 43001 clauses out of 86003 with flag 980000/3322438
1371.23/761.44	c cleaning 43996 clauses out of 88002 with flag 1025000/3367438
1384.20/768.70	c cleaning 0 clauses out of 16389 with flag 0/16389
1391.45/773.53	c cleaning 45000 clauses out of 90006 with flag 1071000/3413438
1409.69/783.35	c cleaning 46001 clauses out of 92007 with flag 1118001/3460439
1428.34/793.34	c cleaning 46995 clauses out of 94005 with flag 1166000/3508438
1447.14/803.43	c cleaning 48001 clauses out of 96010 with flag 1215000/3557438
1467.77/815.09	c cleaning 49001 clauses out of 98012 with flag 1265003/3607441
1488.93/826.35	c cleaning 49999 clauses out of 100008 with flag 1316000/3658438
1508.71/837.00	c cleaning 51003 clauses out of 102011 with flag 1368002/3710440
1529.26/847.95	c cleaning 51998 clauses out of 104008 with flag 1421002/3763440
1551.55/860.33	c cleaning 52999 clauses out of 106008 with flag 1475000/3817438
1573.07/871.81	c cleaning 53997 clauses out of 108009 with flag 1530000/3872438
1594.61/883.31	c cleaning 55006 clauses out of 110012 with flag 1586000/3928438
1617.29/895.49	c cleaning 55996 clauses out of 112006 with flag 1643000/3985438
1640.84/908.41	c cleaning 57000 clauses out of 114010 with flag 1701000/4043438
1666.82/922.23	c cleaning 58001 clauses out of 116010 with flag 1760000/4102438
1695.31/937.30	c cleaning 58998 clauses out of 118009 with flag 1820000/4162438
1721.35/951.16	c cleaning 60000 clauses out of 120011 with flag 1881000/4223438
1749.65/966.64	c cleaning 61005 clauses out of 122011 with flag 1943000/4285438
1776.21/980.73	c cleaning 62001 clauses out of 124010 with flag 2006004/4348442
1798.30/992.61	c starts		: 54
1798.30/992.61	c conflicts		: 18810
1798.30/992.61	c decisions		: 81536
1798.30/992.61	c propagations		: 338408
1798.30/992.61	c inspects		: 540716234
1798.30/992.61	c shortcuts		: 0
1798.30/992.61	c learnt literals	: 0
1798.30/992.61	c learnt binary clauses	: 0
1798.30/992.61	c learnt ternary clauses	: 0
1798.30/992.61	c learnt constraints	: 18810
1798.30/992.61	c ignored constraints	: 0
1798.30/992.61	c root simplifications	: 0
1798.30/992.61	c removed literals (reason simplification)	: 0
1798.30/992.61	c reason swapping (by a shorter reason)	: 0
1798.30/992.61	c Calls to reduceDB	: 2
1798.30/992.61	c number of reductions to clauses (during analyze)	: 0
1798.30/992.61	c number of learned constraints concerned by reduction	: 0
1798.30/992.61	c number of learning phase by resolution	: 0
1798.30/992.61	c number of learning phase by cutting planes	: 0
1798.30/992.61	c speed (assignments/second)	: 341.88669714343445
1798.30/992.61	c non guided choices	0
1798.30/992.62	c learnt constraints type 
1798.30/992.62	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 705
1798.30/992.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18105
1798.30/992.62	c constraints type 
1798.30/992.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1798.30/992.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 465
1798.30/992.62	c 466 constraints processed.
1798.30/992.62	c constraints type 
1798.30/992.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1798.30/992.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 465
1798.30/992.62	c 466 constraints processed.
1798.30/992.62	s SATISFIABLE
1798.30/992.62	v x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 x13 -x14 x15 x16 x17 -x18 -x19 -x20 x21 x22 -x23 x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 x34 x35 -x36 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 x64 -x65 x66 x67 x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 x78 -x79 -x80 -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 x101 x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 x111 x112 x113 x114 x115 -x116 -x117 -x118 x119 x120 x121 x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 x131 x132 -x133 x134 -x135 -x136 x137 x138 -x139 x140 -x141 x142 x143 x144 -x145 -x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 x155 x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 x171 -x172 -x173 x174 -x175 -x176 -x177 x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 x189 x190 x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212 x213 x214 x215 x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 x225 x226 -x227 -x228 x229 -x230 x231 -x232 -x233 x234 x235 -x236 x237 x238 x239 -x240 x241 x242 -x243 x244 -x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 x262 -x263 x264 -x265 -x266 x267 x268 -x269 x270 x271 -x272 x273 x274 -x275 x276 x277 x278 x279 -x280 -x281 x282 -x283 x284 -x285 x286 -x287 x288 x289 -x290 -x291 x292 x293 -x294 x295 -x296 x297 x298 x299 x300 -x301 x302 -x303 x304 x305 -x306 x307 -x308 x309 -x310 -x311 x312 -x313 x314 -x315 -x316 x317 -x318 x319 x320 x321 -x322 x323 x324 x325 x326 x327 -x328 -x329 -x330 -x331 x332 x333 -x334 x335 -x336 x337 -x338 x339 x340 -x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 x350 x351 x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 x361 x362 -x363 x364 -x365 -x366 -x367 -x368 x369 x370 x371 x372 -x373 -x374 -x375 x376 -x377 x378 x379 x380 x381 x382 -x383 x384 -x385 x386 -x387 x388 x389 x390 -x391 -x392 x393 -x394 x395 -x396 -x397 x398 -x399 -x400 x401 -x402 x403 -x404 x405 x406 -x407 -x408 x409 x410 -x411 x412 x413 x414 x415 x416 -x417 -x418 x419 -x420 -x421 x422 x423 -x424 x425 x426 -x427 x428 x429 x430 -x431 x432 -x433 -x434 x435 -x436 x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 x465 
1798.30/992.62	c objective function=214
1798.30/992.62	c Total wall clock time (in seconds): 992.492

Verifier Data 

OK	214

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

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

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


[startup+0 s]
/proc/loadavg: 3.69 3.56 2.28 2/196 23946
/proc/meminfo: memFree=24836328/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/23946/stat : 23946 (java) D 23944 23946 23457 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253405712 9515008 182 33554432000 1073741824 1073778376 140734912909952 140734912900984 245294251701 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23946/statm: 2323 182 140 9 0 71 0

[startup+0.088118 s]
/proc/loadavg: 3.69 3.56 2.28 2/196 23946
/proc/meminfo: memFree=24836328/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 3333 0 1 0 5 1 0 0 20 0 18 0 253405712 9787813888 4542 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2389603 4542 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100261 s]
/proc/loadavg: 3.69 3.56 2.28 2/196 23946
/proc/meminfo: memFree=24836328/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 4072 0 1 0 7 1 0 0 20 0 18 0 253405712 9787813888 5275 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2389603 5281 2040 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.30023 s]
/proc/loadavg: 3.69 3.56 2.28 2/196 23946
/proc/meminfo: memFree=24836328/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9759132 CPUtime=0.49 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 6284 0 1 0 45 4 0 0 20 0 19 0 253405712 9993351168 9429 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2439783 9429 2229 9 0 2430476 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9759132

[startup+0.70027 s]
/proc/loadavg: 3.69 3.56 2.28 2/196 23946
/proc/meminfo: memFree=24836328/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9759132 CPUtime=0.52 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 6688 0 1 0 48 4 0 0 20 0 19 0 253405712 9993351168 9670 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2439783 9670 2229 9 0 2430476 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9759132

[startup+1.50082 s]
/proc/loadavg: 3.69 3.56 2.28 7/218 23971
/proc/meminfo: memFree=24843908/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9824668 CPUtime=2.64 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 18790 0 1 0 255 9 0 0 20 0 19 0 253405712 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2456167 24819 2250 9 0 2446860 0
[pid=23946/tid=23948] ppid=23944 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23946/task/23948/stat : 23948 (java) S 23944 23946 23457 0 -1 4202560 2467 0 1 0 23 2 0 0 20 0 19 0 253405713 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062561383416 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23949] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23949/stat : 23949 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062522874664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23950] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23950/stat : 23950 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062521821864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23951] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23951/stat : 23951 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062520769576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23952] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23952/stat : 23952 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062519716776 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23953] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23953/stat : 23953 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062518663464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23954] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23954/stat : 23954 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062517610664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23955] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23955/stat : 23955 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062516558376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23956] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23956/stat : 23956 (java) S 23944 23946 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062515505576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23957] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23957/stat : 23957 (java) S 23944 23946 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253405715 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062384691944 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23958] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23958/stat : 23958 (java) S 23944 23946 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253405716 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062383638008 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23959] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23959/stat : 23959 (java) S 23944 23946 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253405716 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062382585608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23960] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23960/stat : 23960 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405719 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062381534096 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23961] ppid=23944 vsize=9824668 CPUtime=0.67 cores=0,2,4,6
/proc/23946/task/23961/stat : 23961 (java) S 23944 23946 23457 0 -1 4202560 6270 0 0 0 67 0 0 0 20 0 19 0 253405719 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062380480696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23962] ppid=23944 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/23946/task/23962/stat : 23962 (java) S 23944 23946 23457 0 -1 4202560 8709 0 0 0 64 1 0 0 20 0 19 0 253405719 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062379427896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23963] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23963/stat : 23963 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405719 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062378375800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23964] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23964/stat : 23964 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405719 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062377323208 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23971] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23971/stat : 23971 (java) S 23944 23946 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253405790 10060460032 24819 33554432000 1073741824 1073778376 140737324939312 140062376268968 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 9824668

[startup+3.10076 s]
/proc/loadavg: 3.69 3.56 2.28 3/215 23977
/proc/meminfo: memFree=24801740/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9824668 CPUtime=3.01 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 18828 0 1 0 290 11 0 0 20 0 19 0 253405712 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2456167 33014 2251 9 0 2446860 0
[pid=23946/tid=23948] ppid=23944 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23946/task/23948/stat : 23948 (java) S 23944 23946 23457 0 -1 4202560 2468 0 1 0 23 2 0 0 20 0 19 0 253405713 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062561383416 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23949] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23949/stat : 23949 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062522874664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23950] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23950/stat : 23950 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062521821864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23951] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23951/stat : 23951 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062520769576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23952] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23952/stat : 23952 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062519716776 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23953] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23953/stat : 23953 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062518663464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23954] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23954/stat : 23954 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062517610664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23955] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23955/stat : 23955 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062516558376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23956] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23956/stat : 23956 (java) S 23944 23946 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253405714 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062515505576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23957] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23957/stat : 23957 (java) S 23944 23946 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253405715 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062384691944 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23958] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23958/stat : 23958 (java) S 23944 23946 23457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253405716 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062383638008 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23959] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23959/stat : 23959 (java) S 23944 23946 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253405716 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062382585608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23960] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23960/stat : 23960 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405719 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062381534096 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23961] ppid=23944 vsize=9824668 CPUtime=0.69 cores=0,2,4,6
/proc/23946/task/23961/stat : 23961 (java) S 23944 23946 23457 0 -1 4202560 6270 0 0 0 69 0 0 0 20 0 19 0 253405719 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062380480696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23962] ppid=23944 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/23946/task/23962/stat : 23962 (java) S 23944 23946 23457 0 -1 4202560 8710 0 0 0 69 1 0 0 20 0 19 0 253405719 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062379427896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23963] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23963/stat : 23963 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405719 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062378375800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23964] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23964/stat : 23964 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253405719 10060460032 33014 33554432000 1073741824 1073778376 140737324939312 140062377323208 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 9824668

[startup+6.30092 s]
/proc/loadavg: 3.95 3.61 2.31 5/219 23990
/proc/meminfo: memFree=24671340/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9824668 CPUtime=9.31 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 22552 0 1 0 913 18 0 0 20 0 22 0 253405712 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2456167 58879 2278 9 0 2446860 0
[pid=23946/tid=23948] ppid=23944 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/23946/task/23948/stat : 23948 (java) S 23944 23946 23457 0 -1 4202560 2470 0 1 0 23 2 0 0 20 0 22 0 253405713 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062561383416 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23949] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23949/stat : 23949 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062522874664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23950] ppid=23944 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23946/task/23950/stat : 23950 (java) S 23944 23946 23457 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062521821864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23951] ppid=23944 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23946/task/23951/stat : 23951 (java) S 23944 23946 23457 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062520769576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23952] ppid=23944 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23946/task/23952/stat : 23952 (java) S 23944 23946 23457 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062519716776 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23953] ppid=23944 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23946/task/23953/stat : 23953 (java) S 23944 23946 23457 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062518663464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23954] ppid=23944 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/23946/task/23954/stat : 23954 (java) S 23944 23946 23457 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062517610664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23955] ppid=23944 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/23946/task/23955/stat : 23955 (java) S 23944 23946 23457 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062516558376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23956] ppid=23944 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/23946/task/23956/stat : 23956 (java) S 23944 23946 23457 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253405714 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062515505576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23957] ppid=23944 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/23946/task/23957/stat : 23957 (java) S 23944 23946 23457 0 -1 4202560 42 0 0 0 11 0 0 0 20 0 22 0 253405715 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062384691944 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23958] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23958/stat : 23958 (java) S 23944 23946 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062383638008 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23959] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23959/stat : 23959 (java) S 23944 23946 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062382585608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23960] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23960/stat : 23960 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062381534096 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23961] ppid=23944 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/23946/task/23961/stat : 23961 (java) S 23944 23946 23457 0 -1 4202560 6284 0 0 0 95 0 0 0 20 0 22 0 253405719 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062380480696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23962] ppid=23944 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/23946/task/23962/stat : 23962 (java) S 23944 23946 23457 0 -1 4202560 12209 0 0 0 94 2 0 0 20 0 22 0 253405719 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062379427896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23963] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23963/stat : 23963 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062378375800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23964] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23964/stat : 23964 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062377323208 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23984] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23984/stat : 23984 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405991 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062375216808 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23988] ppid=23944 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/23946/task/23988/stat : 23988 (java) R 23944 23946 23457 0 -1 4202560 4 0 0 0 230 0 0 0 20 0 22 0 253406091 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140061231270696 140062390527119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23989] ppid=23944 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/23946/task/23989/stat : 23989 (java) R 23944 23946 23457 0 -1 4202560 29 0 0 0 230 0 0 0 20 0 22 0 253406091 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140062376266816 140062390604560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23990] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23990/stat : 23990 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253406091 10060460032 58879 33554432000 1073741824 1073778376 140737324939312 140061232326056 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=23946/tid=23952] ppid=23944 vsize=9824668 CPUtime=3.02 cores=0,2,4,6
/proc/23946/task/23952/stat : 23952 (java) S 23944 23946 23457 0 -1 4202560 632 0 0 0 290 12 0 0 20 0 22 0 253405714 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062519716776 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23953] ppid=23944 vsize=9824668 CPUtime=3.29 cores=0,2,4,6
/proc/23946/task/23953/stat : 23953 (java) S 23944 23946 23457 0 -1 4202560 1069 0 0 0 318 11 0 0 20 0 22 0 253405714 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062518663464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23954] ppid=23944 vsize=9824668 CPUtime=3.07 cores=0,2,4,6
/proc/23946/task/23954/stat : 23954 (java) S 23944 23946 23457 0 -1 4202560 492 0 0 0 298 9 0 0 20 0 22 0 253405714 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062517610664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23955] ppid=23944 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/23946/task/23955/stat : 23955 (java) S 23944 23946 23457 0 -1 4202560 1033 0 0 0 316 11 0 0 20 0 22 0 253405714 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062516558376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23956] ppid=23944 vsize=9824668 CPUtime=3.1 cores=0,2,4,6
/proc/23946/task/23956/stat : 23956 (java) S 23944 23946 23457 0 -1 4202560 731 0 0 0 299 11 0 0 20 0 22 0 253405714 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062515505576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23957] ppid=23944 vsize=9824668 CPUtime=176.89 cores=0,2,4,6
/proc/23946/task/23957/stat : 23957 (java) S 23944 23946 23457 0 -1 4202560 3558 0 0 0 17666 23 0 0 20 0 22 0 253405715 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062384691944 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23958] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23958/stat : 23958 (java) S 23944 23946 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062383638008 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23959] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23959/stat : 23959 (java) S 23944 23946 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062382585608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23960] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23960/stat : 23960 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062381534096 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23961] ppid=23944 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/23946/task/23961/stat : 23961 (java) S 23944 23946 23457 0 -1 4202560 6286 0 0 0 99 0 0 0 20 0 22 0 253405719 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062380480696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23962] ppid=23944 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/23946/task/23962/stat : 23962 (java) S 23944 23946 23457 0 -1 4202560 16634 0 0 0 153 3 0 0 20 0 22 0 253405719 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062379427896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23963] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23963/stat : 23963 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062378375800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23964] ppid=23944 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/23946/task/23964/stat : 23964 (java) S 23944 23946 23457 0 -1 4202560 51 0 0 0 18 17 0 0 20 0 22 0 253405719 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062377323208 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23984] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23984/stat : 23984 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405991 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062375216808 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=24105] ppid=23944 vsize=9824668 CPUtime=274.76 cores=0,2,4,6
/proc/23946/task/24105/stat : 24105 (java) R 23944 23946 23457 0 -1 4202560 12 0 0 0 27472 4 0 0 20 0 22 0 253457344 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140062376266240 140062390468325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=24106] ppid=23944 vsize=9824668 CPUtime=274.74 cores=0,2,4,6
/proc/23946/task/24106/stat : 24106 (java) R 23944 23946 23457 0 -1 4202560 48 0 0 0 27470 4 0 0 20 0 22 0 253457344 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140061231270848 140062390545446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=24107] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/24107/stat : 24107 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253457344 10060460032 614508 33554432000 1073741824 1073778376 140737324939312 140061232325800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1592.6
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.75 3.63 3.13 5/220 24113
/proc/meminfo: memFree=23477452/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9824668 CPUtime=1703.67 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 37799 0 1 0 170192 175 0 0 20 0 22 0 253405712 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2456167 633978 2279 9 0 2446860 0
[pid=23946/tid=23948] ppid=23944 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/23946/task/23948/stat : 23948 (java) S 23944 23946 23457 0 -1 4202560 2530 0 1 0 27 3 0 0 20 0 22 0 253405713 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062561383416 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23949] ppid=23944 vsize=9824668 CPUtime=3.38 cores=0,2,4,6
/proc/23946/task/23949/stat : 23949 (java) S 23944 23946 23457 0 -1 4202560 1207 0 0 0 327 11 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062522874664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23950] ppid=23944 vsize=9824668 CPUtime=3.14 cores=0,2,4,6
/proc/23946/task/23950/stat : 23950 (java) S 23944 23946 23457 0 -1 4202560 470 0 0 0 302 12 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062521821864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23951] ppid=23944 vsize=9824668 CPUtime=3.42 cores=0,2,4,6
/proc/23946/task/23951/stat : 23951 (java) S 23944 23946 23457 0 -1 4202560 534 0 0 0 330 12 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062520769576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23952] ppid=23944 vsize=9824668 CPUtime=3.19 cores=0,2,4,6
/proc/23946/task/23952/stat : 23952 (java) S 23944 23946 23457 0 -1 4202560 640 0 0 0 307 12 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062519716776 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23953] ppid=23944 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/23946/task/23953/stat : 23953 (java) S 23944 23946 23457 0 -1 4202560 1086 0 0 0 338 12 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062518663464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23954] ppid=23944 vsize=9824668 CPUtime=3.2 cores=0,2,4,6
/proc/23946/task/23954/stat : 23954 (java) S 23944 23946 23457 0 -1 4202560 497 0 0 0 311 9 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062517610664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23955] ppid=23944 vsize=9824668 CPUtime=3.42 cores=0,2,4,6
/proc/23946/task/23955/stat : 23955 (java) S 23944 23946 23457 0 -1 4202560 1040 0 0 0 331 11 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062516558376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23956] ppid=23944 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/23946/task/23956/stat : 23956 (java) S 23944 23946 23457 0 -1 4202560 733 0 0 0 315 12 0 0 20 0 22 0 253405714 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062515505576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23957] ppid=23944 vsize=9824668 CPUtime=186.47 cores=0,2,4,6
/proc/23946/task/23957/stat : 23957 (java) S 23944 23946 23457 0 -1 4202560 3675 0 0 0 18623 24 0 0 20 0 22 0 253405715 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062384691944 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23958] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23958/stat : 23958 (java) S 23944 23946 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062383638008 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23959] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23959/stat : 23959 (java) S 23944 23946 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062382585608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23960] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23960/stat : 23960 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062381534096 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23961] ppid=23944 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/23946/task/23961/stat : 23961 (java) S 23944 23946 23457 0 -1 4202560 6286 0 0 0 99 0 0 0 20 0 22 0 253405719 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062380480696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23962] ppid=23944 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/23946/task/23962/stat : 23962 (java) S 23944 23946 23457 0 -1 4202560 16634 0 0 0 153 3 0 0 20 0 22 0 253405719 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062379427896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23963] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23963/stat : 23963 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062378375800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23964] ppid=23944 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/23946/task/23964/stat : 23964 (java) S 23944 23946 23457 0 -1 4202560 55 0 0 0 19 17 0 0 20 0 22 0 253405719 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062377323208 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23984] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23984/stat : 23984 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405991 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062375216808 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=24105] ppid=23944 vsize=9824668 CPUtime=324.62 cores=0,2,4,6
/proc/23946/task/24105/stat : 24105 (java) R 23944 23946 23457 0 -1 4202560 14 0 0 0 32458 4 0 0 20 0 22 0 253457344 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140062376268000 140062390464404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=24106] ppid=23944 vsize=9824668 CPUtime=324.6 cores=0,2,4,6
/proc/23946/task/24106/stat : 24106 (java) R 23944 23946 23457 0 -1 4202560 53 0 0 0 32456 4 0 0 20 0 22 0 253457344 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140061231270032 140062390817681 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=24107] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/24107/stat : 24107 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253457344 10060460032 633978 33554432000 1073741824 1073778376 140737324939312 140061232325800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1703.67
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+992.601 s]
/proc/loadavg: 3.89 3.69 3.18 5/219 24113
/proc/meminfo: memFree=23223448/32873844 swapFree=7356/7356
[pid=23946] ppid=23944 vsize=9824668 CPUtime=1798.3 cores=0,2,4,6
/proc/23946/stat : 23946 (java) S 23944 23946 23457 0 -1 4202496 37934 0 1 0 179650 180 0 0 20 0 22 0 253405712 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140737324930448 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23946/statm: 2456167 646281 2279 9 0 2446860 0
[pid=23946/tid=23948] ppid=23944 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/23946/task/23948/stat : 23948 (java) S 23944 23946 23457 0 -1 4202560 2530 0 1 0 27 3 0 0 20 0 22 0 253405713 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062561383416 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=23949] ppid=23944 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/23946/task/23949/stat : 23949 (java) S 23944 23946 23457 0 -1 4202560 1216 0 0 0 341 12 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062522874664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23950] ppid=23944 vsize=9824668 CPUtime=3.32 cores=0,2,4,6
/proc/23946/task/23950/stat : 23950 (java) S 23944 23946 23457 0 -1 4202560 472 0 0 0 320 12 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062521821864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23951] ppid=23944 vsize=9824668 CPUtime=3.53 cores=0,2,4,6
/proc/23946/task/23951/stat : 23951 (java) S 23944 23946 23457 0 -1 4202560 534 0 0 0 341 12 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062520769576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23952] ppid=23944 vsize=9824668 CPUtime=3.36 cores=0,2,4,6
/proc/23946/task/23952/stat : 23952 (java) S 23944 23946 23457 0 -1 4202560 649 0 0 0 324 12 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062519716776 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23953] ppid=23944 vsize=9824668 CPUtime=3.65 cores=0,2,4,6
/proc/23946/task/23953/stat : 23953 (java) S 23944 23946 23457 0 -1 4202560 1086 0 0 0 353 12 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062518663464 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23954] ppid=23944 vsize=9824668 CPUtime=3.4 cores=0,2,4,6
/proc/23946/task/23954/stat : 23954 (java) S 23944 23946 23457 0 -1 4202560 507 0 0 0 330 10 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062517610664 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23955] ppid=23944 vsize=9824668 CPUtime=3.59 cores=0,2,4,6
/proc/23946/task/23955/stat : 23955 (java) S 23944 23946 23457 0 -1 4202560 1042 0 0 0 348 11 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062516558376 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23956] ppid=23944 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/23946/task/23956/stat : 23956 (java) S 23944 23946 23457 0 -1 4202560 741 0 0 0 329 12 0 0 20 0 22 0 253405714 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062515505576 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23957] ppid=23944 vsize=9824668 CPUtime=193.02 cores=0,2,4,6
/proc/23946/task/23957/stat : 23957 (java) S 23944 23946 23457 0 -1 4202560 3761 0 0 0 19278 24 0 0 20 0 22 0 253405715 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062384691944 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23958] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23958/stat : 23958 (java) S 23944 23946 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062383638008 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23959] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23959/stat : 23959 (java) S 23944 23946 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253405716 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062382585608 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23960] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23960/stat : 23960 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062381534096 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23961] ppid=23944 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/23946/task/23961/stat : 23961 (java) S 23944 23946 23457 0 -1 4202560 6286 0 0 0 99 0 0 0 20 0 22 0 253405719 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062380480696 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=23962] ppid=23944 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/23946/task/23962/stat : 23962 (java) S 23944 23946 23457 0 -1 4202560 16634 0 0 0 153 3 0 0 20 0 22 0 253405719 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062379427896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23946/tid=23963] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23963/stat : 23963 (java) S 23944 23946 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405719 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062378375800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23964] ppid=23944 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/23946/task/23964/stat : 23964 (java) S 23944 23946 23457 0 -1 4202560 57 0 0 0 20 18 0 0 20 0 22 0 253405719 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062377323208 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23946/tid=23984] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/23984/stat : 23984 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253405991 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062375216808 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=24105] ppid=23944 vsize=9824668 CPUtime=367.89 cores=0,2,4,6
/proc/23946/task/24105/stat : 24105 (java) R 23944 23946 23457 0 -1 4202560 17 0 0 0 36784 5 0 0 20 0 22 0 253457344 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140062376267056 140062390464362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23946/tid=24106] ppid=23944 vsize=9824668 CPUtime=367.89 cores=0,2,4,6
/proc/23946/task/24106/stat : 24106 (java) R 23944 23946 23457 0 -1 4202560 57 0 0 0 36784 5 0 0 20 0 22 0 253457344 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140061231272176 140062391101066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23946/tid=24107] ppid=23944 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/23946/task/24107/stat : 24107 (java) S 23944 23946 23457 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253457344 10060460032 646281 33554432000 1073741824 1073778376 140737324939312 140061232325800 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.3
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23946 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=150247
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=63686
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1798.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.82999
#  lost CPU user time (s): 1.95999
#  lost CPU system time (s): -0.13

Real time (s): 992.648
CPU time (s): 1800.13
CPU user time (s): 1798.46
CPU system time (s): 1.67
CPU usage (%): 181.346
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 2.06369
maximum resident set size= 2585248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37968
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29152
involuntary context switches= 51898

runsolver used 3.80042 second user time and 8.89465 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-24 17:19:31
IDJOB=3687588
IDBENCH=1960
IDSOLVER=2268
FILE ID=node109/3687588-1337872771
RUNJOBID= node109-1337871881-23473
PBS_JOBID= 14620095
Free space on /tmp= 71648 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687588-1337872771/watcher-3687588-1337872771 -o /tmp/evaluation-result-3687588-1337872771/solver-3687588-1337872771 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687588-1337872771.opb

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

MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a
RANDOM SEED=2138714882

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
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:        24836600 kB
Buffers:          196828 kB
Cached:          2818476 kB
SwapCached:            0 kB
Active:          4655688 kB
Inactive:        2607904 kB
Active(anon):    4250220 kB
Inactive(anon):      244 kB
Active(file):     405468 kB
Inactive(file):  2607660 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               492 kB
Writeback:             0 kB
AnonPages:       4465452 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             625780 kB
SReclaimable:      68516 kB
SUnreclaim:       557264 kB
KernelStack:        1776 kB
PageTables:        12772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4458508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4300800 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= 71680 MiB
End job on node109 at 2012-05-24 17:36:06