Trace number 3689496

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)39 1800.62 954.251

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-iis-pima-cov.opb
MD5SUM19a2dfea334d8fb7f32d77f6785ba1fe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark848.205
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables736
Total number of constraints7201
Number of constraints which are clauses7201
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint8
Maximum length of a constraint10
Number of terms in the objective function 736
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 736
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 736
Number of bits of the biggest sum of numbers10
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.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.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
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 Expensive 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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
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 phase appearing in latest learned clause 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-3689496-1337882552.opb
0.11/0.10	c reading problem ... 
0.76/0.42	c ... done. Wall clock time 0.315s.
0.76/0.42	c declared #vars     736
0.76/0.42	c #constraints  7201
0.76/0.42	c constraints type 
0.76/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7201
0.76/0.42	c 7201 constraints processed.
0.76/0.42	c constraints type 
0.76/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7201
0.76/0.42	c 7201 constraints processed.
0.76/0.42	c objective function length is 736 literals
0.76/0.44	c  And the winner is solver0
1.14/0.92	c SATISFIABLE
1.14/0.92	c OPTIMIZING...
1.14/0.92	c Got one! Elapsed wall clock time (in seconds):0.818
1.14/0.92	o 44
1.14/0.95	c  And the winner is solver0
1.37/1.42	c Got one! Elapsed wall clock time (in seconds):1.323
1.37/1.42	o 43
1.37/1.44	c  And the winner is solver0
1.45/1.93	c Got one! Elapsed wall clock time (in seconds):1.828
1.45/1.93	o 42
1.70/2.08	c  And the winner is solver1
2.39/2.43	c Got one! Elapsed wall clock time (in seconds):2.332
2.39/2.43	o 41
2.57/2.55	c  And the winner is solver0
2.83/2.93	c Got one! Elapsed wall clock time (in seconds):2.834
2.83/2.93	o 40
3.18/3.17	c cleaning 2849 clauses out of 5698 with flag 3001/5698
4.33/3.63	c cleaning 4423 clauses out of 8848 with flag 9000/11697
4.71/3.82	c  And the winner is solver1
4.78/3.94	c Got one! Elapsed wall clock time (in seconds):3.837
4.78/3.94	o 39
5.09/4.15	c cleaning 4869 clauses out of 9737 with flag 3001/17009
6.06/4.61	c cleaning 5434 clauses out of 10868 with flag 9001/23009
7.06/5.16	c cleaning 6217 clauses out of 12433 with flag 16000/30008
8.25/5.76	c cleaning 7105 clauses out of 14216 with flag 24000/38008
9.64/6.44	c cleaning 8047 clauses out of 16111 with flag 33000/47008
11.25/7.21	c cleaning 9025 clauses out of 18064 with flag 43000/57008
12.74/8.08	c cleaning 10019 clauses out of 20040 with flag 54001/68009
14.73/9.03	c cleaning 11009 clauses out of 22021 with flag 66001/80009
16.62/10.06	c cleaning 12005 clauses out of 24012 with flag 79001/93009
19.00/11.22	c cleaning 12995 clauses out of 26006 with flag 93000/107008
21.53/12.54	c cleaning 14003 clauses out of 28011 with flag 108000/122008
24.22/13.93	c cleaning 14995 clauses out of 30009 with flag 124001/138009
27.18/15.46	c cleaning 15998 clauses out of 32013 with flag 141000/155008
30.43/17.13	c cleaning 17001 clauses out of 34015 with flag 159000/173008
33.80/18.97	c cleaning 17997 clauses out of 36016 with flag 178002/192010
37.40/20.89	c cleaning 19001 clauses out of 38018 with flag 198001/212009
41.21/22.85	c cleaning 20006 clauses out of 40019 with flag 219003/233011
45.16/24.90	c cleaning 20995 clauses out of 42012 with flag 241002/255010
49.38/27.24	c cleaning 22001 clauses out of 44015 with flag 264000/278008
53.73/29.58	c cleaning 23002 clauses out of 46015 with flag 288001/302009
58.25/31.99	c cleaning 24004 clauses out of 48012 with flag 313000/327008
63.19/34.55	c cleaning 24993 clauses out of 50008 with flag 339000/353008
68.55/37.43	c cleaning 26006 clauses out of 52015 with flag 366000/380008
73.63/40.12	c cleaning 26999 clauses out of 54009 with flag 394000/408008
79.31/43.11	c cleaning 28002 clauses out of 56010 with flag 423000/437008
85.18/46.22	c cleaning 29003 clauses out of 58011 with flag 453003/467011
91.18/49.56	c cleaning 30004 clauses out of 60007 with flag 484002/498010
97.19/52.74	c cleaning 30996 clauses out of 62001 with flag 516000/530008
103.37/56.02	c cleaning 31977 clauses out of 64005 with flag 549000/563008
109.31/59.30	c cleaning 33006 clauses out of 66028 with flag 583000/597008
116.16/63.03	c cleaning 34004 clauses out of 68022 with flag 618000/632008
122.68/66.56	c cleaning 35004 clauses out of 70018 with flag 654000/668008
129.39/70.18	c cleaning 36008 clauses out of 72016 with flag 691002/705010
136.48/73.98	c cleaning 36999 clauses out of 74007 with flag 729001/743009
143.97/78.25	c cleaning 37998 clauses out of 76007 with flag 768000/782008
152.69/83.46	c cleaning 39000 clauses out of 78009 with flag 808000/822008
161.47/88.08	c cleaning 39999 clauses out of 80009 with flag 849000/863008
169.87/92.71	c cleaning 40996 clauses out of 82011 with flag 891001/905009
177.87/97.01	c cleaning 42000 clauses out of 84014 with flag 934000/948008
185.68/101.25	c cleaning 42998 clauses out of 86018 with flag 978004/992012
194.05/105.70	c cleaning 43998 clauses out of 88016 with flag 1023000/1037008
202.81/110.66	c cleaning 45007 clauses out of 90020 with flag 1069002/1083010
211.18/115.15	c cleaning 45999 clauses out of 92012 with flag 1116001/1130009
219.38/119.56	c cleaning 47007 clauses out of 94013 with flag 1164001/1178009
227.97/124.12	c cleaning 47989 clauses out of 96006 with flag 1213001/1227009
237.35/129.38	c cleaning 48997 clauses out of 98017 with flag 1263001/1277009
245.92/133.91	c cleaning 49990 clauses out of 100020 with flag 1314001/1328009
255.50/139.07	c cleaning 51012 clauses out of 102031 with flag 1366002/1380010
266.52/144.82	c cleaning 52000 clauses out of 104017 with flag 1419000/1433008
277.75/150.91	c cleaning 53001 clauses out of 106019 with flag 1473002/1487010
288.39/156.53	c cleaning 53998 clauses out of 108016 with flag 1528000/1542008
300.19/162.80	c cleaning 54999 clauses out of 110019 with flag 1584001/1598009
311.65/168.88	c cleaning 56007 clauses out of 112019 with flag 1641000/1655008
323.30/175.22	c cleaning 56999 clauses out of 114012 with flag 1699000/1713008
335.41/181.67	c cleaning 57999 clauses out of 116013 with flag 1758000/1772008
346.79/187.74	c cleaning 59005 clauses out of 118018 with flag 1818004/1832012
357.99/193.77	c cleaning 59998 clauses out of 120009 with flag 1879000/1893008
370.27/200.50	c cleaning 60997 clauses out of 122011 with flag 1941000/1955008
381.47/206.58	c cleaning 62003 clauses out of 124014 with flag 2004000/2018008
393.68/213.08	c cleaning 63001 clauses out of 126011 with flag 2068000/2082008
407.07/220.11	c cleaning 64003 clauses out of 128010 with flag 2133000/2147008
420.66/227.62	c cleaning 64999 clauses out of 130007 with flag 2199000/2213008
433.40/234.47	c cleaning 65995 clauses out of 132008 with flag 2266000/2280008
447.14/241.70	c cleaning 66996 clauses out of 134016 with flag 2334003/2348011
461.29/249.22	c cleaning 68004 clauses out of 136018 with flag 2403001/2417009
475.50/257.04	c cleaning 68996 clauses out of 138013 with flag 2473000/2487008
489.23/264.30	c cleaning 70008 clauses out of 140017 with flag 2544000/2558008
502.18/271.26	c cleaning 70990 clauses out of 142010 with flag 2616001/2630009
516.92/279.00	c cleaning 72004 clauses out of 144019 with flag 2689000/2703008
532.53/287.60	c cleaning 73006 clauses out of 146019 with flag 2763004/2777012
549.23/296.43	c cleaning 73993 clauses out of 148010 with flag 2838001/2852009
557.41/301.07	c cleaning 0 clauses out of 5123 with flag 0/5123
568.89/307.93	c cleaning 75001 clauses out of 150017 with flag 2914001/2928009
587.90/317.70	c cleaning 76004 clauses out of 152015 with flag 2991000/3005008
606.95/327.63	c cleaning 77002 clauses out of 154013 with flag 3069002/3083010
626.11/337.68	c cleaning 77999 clauses out of 156009 with flag 3148000/3162008
645.12/347.94	c cleaning 79003 clauses out of 158010 with flag 3228000/3242008
664.17/357.93	c cleaning 79995 clauses out of 160008 with flag 3309001/3323009
682.63/367.69	c cleaning 81001 clauses out of 162013 with flag 3391001/3405009
702.66/378.18	c cleaning 82003 clauses out of 164011 with flag 3474000/3488008
723.24/389.21	c cleaning 82989 clauses out of 166008 with flag 3558000/3572008
743.08/399.65	c cleaning 84006 clauses out of 168020 with flag 3643001/3657009
763.51/410.34	c cleaning 84999 clauses out of 170013 with flag 3729000/3743008
781.91/420.04	c cleaning 86002 clauses out of 172014 with flag 3816000/3830008
801.66/430.77	c cleaning 86999 clauses out of 174013 with flag 3904001/3918009
820.47/440.69	c cleaning 88004 clauses out of 176013 with flag 3993000/4007008
841.69/451.77	c cleaning 88995 clauses out of 178010 with flag 4083001/4097009
862.30/462.54	c cleaning 90004 clauses out of 180015 with flag 4174001/4188009
883.25/473.81	c cleaning 90999 clauses out of 182010 with flag 4266000/4280008
903.66/484.51	c cleaning 91992 clauses out of 184011 with flag 4359000/4373008
923.28/494.90	c cleaning 93001 clauses out of 186019 with flag 4453000/4467008
945.32/506.35	c cleaning 93999 clauses out of 188022 with flag 4548004/4562012
966.28/517.65	c cleaning 95004 clauses out of 190019 with flag 4644000/4658008
988.34/529.17	c cleaning 95997 clauses out of 192015 with flag 4741000/4755008
1010.95/540.96	c cleaning 97007 clauses out of 194020 with flag 4839002/4853010
1033.75/552.87	c cleaning 97995 clauses out of 196011 with flag 4938000/4952008
1057.29/565.48	c cleaning 98998 clauses out of 198016 with flag 5038000/5052008
1081.94/578.26	c cleaning 100006 clauses out of 200018 with flag 5139000/5153008
1106.94/591.25	c cleaning 101004 clauses out of 202012 with flag 5241000/5255008
1130.15/603.30	c cleaning 101997 clauses out of 204008 with flag 5344000/5358008
1153.86/616.04	c cleaning 103007 clauses out of 206013 with flag 5448002/5462010
1179.05/629.20	c cleaning 103999 clauses out of 208004 with flag 5553000/5567008
1203.21/641.76	c cleaning 104998 clauses out of 210005 with flag 5659000/5673008
1225.19/653.28	c cleaning 106000 clauses out of 212007 with flag 5766000/5780008
1248.90/665.90	c cleaning 107001 clauses out of 214008 with flag 5874001/5888009
1271.46/677.73	c cleaning 108001 clauses out of 216007 with flag 5983001/5997009
1294.27/689.67	c cleaning 108988 clauses out of 218005 with flag 6093000/6107008
1316.64/701.38	c cleaning 109997 clauses out of 220018 with flag 6204001/6218009
1340.77/714.28	c cleaning 111006 clauses out of 222020 with flag 6316000/6330008
1364.56/726.61	c cleaning 112006 clauses out of 224014 with flag 6429000/6443008
1389.15/739.44	c cleaning 112989 clauses out of 226009 with flag 6543001/6557009
1410.52/750.61	c cleaning 114008 clauses out of 228019 with flag 6658000/6672008
1435.76/764.14	c cleaning 114999 clauses out of 230011 with flag 6774000/6788008
1462.71/778.13	c cleaning 115996 clauses out of 232015 with flag 6891003/6905011
1489.86/792.24	c cleaning 116990 clauses out of 234016 with flag 7009000/7023008
1518.00/806.80	c cleaning 118007 clauses out of 236027 with flag 7128001/7142009
1549.43/823.48	c cleaning 118998 clauses out of 238019 with flag 7248000/7262008
1576.98/837.70	c cleaning 120003 clauses out of 240021 with flag 7369000/7383008
1605.54/852.56	c cleaning 121007 clauses out of 242022 with flag 7491004/7505012
1632.87/866.72	c cleaning 122004 clauses out of 244011 with flag 7614000/7628008
1660.89/881.67	c cleaning 122997 clauses out of 246008 with flag 7738001/7752009
1691.86/897.64	c cleaning 124000 clauses out of 248011 with flag 7863001/7877009
1722.80/913.65	c cleaning 125006 clauses out of 250011 with flag 7989001/8003009
1754.35/929.94	c cleaning 125998 clauses out of 252005 with flag 8116001/8130009
1787.17/947.22	c cleaning 126999 clauses out of 254007 with flag 8244001/8258009
1800.13/954.21	c starts		: 31
1800.13/954.21	c conflicts		: 5892
1800.13/954.21	c decisions		: 84947
1800.13/954.21	c propagations		: 432782
1800.13/954.21	c inspects		: 88882271
1800.13/954.21	c shortcuts		: 0
1800.13/954.21	c learnt literals	: 0
1800.13/954.21	c learnt binary clauses	: 0
1800.13/954.21	c learnt ternary clauses	: 0
1800.13/954.21	c learnt constraints	: 5891
1800.13/954.21	c ignored constraints	: 0
1800.13/954.21	c root simplifications	: 0
1800.13/954.21	c removed literals (reason simplification)	: 0
1800.13/954.21	c reason swapping (by a shorter reason)	: 0
1800.13/954.21	c Calls to reduceDB	: 1
1800.13/954.21	c number of reductions to clauses (during analyze)	: 0
1800.13/954.21	c number of learned constraints concerned by reduction	: 0
1800.13/954.21	c number of learning phase by resolution	: 0
1800.13/954.21	c number of learning phase by cutting planes	: 0
1800.13/954.21	c speed (assignments/second)	: 454.95084476364275
1800.13/954.21	c non guided choices	0
1800.13/954.21	c learnt constraints type 
1800.13/954.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 239
1800.13/954.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5652
1800.13/954.21	c constraints type 
1800.13/954.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7201
1800.13/954.21	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.13/954.21	c 7202 constraints processed.
1800.13/954.21	c constraints type 
1800.13/954.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7201
1800.13/954.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.13/954.21	c 7202 constraints processed.
1800.13/954.21	s SATISFIABLE
1800.13/954.21	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 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 
1800.13/954.21	c objective function=39
1800.13/954.21	c Total wall clock time (in seconds): 954.114

Verifier Data 

OK	39

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-3689496-1337882552/watcher-3689496-1337882552 -o /tmp/evaluation-result-3689496-1337882552/solver-3689496-1337882552 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689496-1337882552.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: 3.72 3.77 3.75 4/197 26079
/proc/meminfo: memFree=28114856/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 1204 0 0 0 0 0 0 0 20 0 2 0 254381268 94019584 917 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 22954 917 697 9 0 16769 0
[pid=26079/tid=26080] ppid=26077 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) D 26077 26079 21497 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 254381268 94019584 917 33554432000 1073741824 1073778376 140737336539840 139634142903848 266426477863 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0

[startup+0.0902929 s]
/proc/loadavg: 3.72 3.77 3.75 4/197 26079
/proc/meminfo: memFree=28114856/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 4368 0 1 0 8 1 0 0 20 0 18 0 254381268 9787813888 6077 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2389603 6078 2109 9 0 2380296 0
[pid=26079/tid=26080] ppid=26077 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) R 26077 26079 21497 0 -1 4202560 2411 0 1 0 7 0 0 0 20 0 18 0 254381268 9787813888 6078 33554432000 1073741824 1073778376 140737336539840 139634142907312 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.100236 s]
/proc/loadavg: 3.72 3.77 3.75 4/197 26079
/proc/meminfo: memFree=28114856/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 4480 0 1 0 10 1 0 0 20 0 18 0 254381268 9787813888 6151 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2389603 6151 2142 9 0 2380296 0
[pid=26079/tid=26080] ppid=26077 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) R 26077 26079 21497 0 -1 4202560 2432 0 1 0 8 0 0 0 20 0 18 0 254381268 9787813888 6151 33554432000 1073741824 1073778376 140737336539840 139634142907312 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300201 s]
/proc/loadavg: 3.72 3.77 3.75 4/197 26079
/proc/meminfo: memFree=28114856/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9558412 CPUtime=0.55 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 6656 0 1 0 54 1 0 0 20 0 18 0 254381268 9787813888 10307 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2389603 10307 2223 9 0 2380296 0
[pid=26079/tid=26080] ppid=26077 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) R 26077 26079 21497 0 -1 4202560 2449 0 1 0 28 0 0 0 20 0 18 0 254381268 9787813888 10307 33554432000 1073741824 1073778376 140737336539840 139634142907912 139634146194327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412

[startup+0.700214 s]
/proc/loadavg: 3.72 3.77 3.75 4/197 26079
/proc/meminfo: memFree=28114856/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9759132 CPUtime=1.14 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 13283 0 1 0 109 5 0 0 20 0 19 0 254381268 9993351168 22498 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2439783 22498 2241 9 0 2430476 0
[pid=26079/tid=26080] ppid=26077 vsize=9759132 CPUtime=0.4 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) S 26077 26079 21497 0 -1 4202560 2480 0 1 0 38 2 0 0 20 0 19 0 254381268 9993351168 22498 33554432000 1073741824 1073778376 140737336539840 139634142909432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9759132

[startup+1.50055 s]
/proc/loadavg: 3.75 3.77 3.75 3/216 26104
/proc/meminfo: memFree=28029380/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 13366 0 1 0 136 9 0 0 20 0 19 0 254381268 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2456167 25100 2251 9 0 2446860 0
[pid=26079/tid=26080] ppid=26077 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) S 26077 26079 21497 0 -1 4202560 2481 0 1 0 39 2 0 0 20 0 19 0 254381268 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634142909432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26082] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26082/stat : 26082 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634104400040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26083] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26083/stat : 26083 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634103347496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26084] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26084/stat : 26084 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634102294952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26085] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26085/stat : 26085 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634101242408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26086] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26086/stat : 26086 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634100189864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26087] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26087/stat : 26087 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634099137320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26088] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26088/stat : 26088 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634098084776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26089] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26089/stat : 26089 (java) S 26077 26079 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254381269 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139634097032232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26090] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26090/stat : 26090 (java) S 26077 26079 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254381270 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633966966888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26091] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26091/stat : 26091 (java) S 26077 26079 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254381270 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633965913208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26092] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26092/stat : 26092 (java) S 26077 26079 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254381270 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633964860552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26093] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26093/stat : 26093 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381272 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633963809296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26094] ppid=26077 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/26079/task/26094/stat : 26094 (java) S 26077 26079 21497 0 -1 4202560 4565 0 0 0 38 0 0 0 20 0 19 0 254381272 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633962756664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26095] ppid=26077 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/26079/task/26095/stat : 26095 (java) S 26077 26079 21497 0 -1 4202560 4993 0 0 0 43 0 0 0 20 0 19 0 254381272 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633961704120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26096] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26096/stat : 26096 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381272 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633960651768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26097] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26097/stat : 26097 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254381272 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633959599432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26101] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26101/stat : 26101 (java) S 26077 26079 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254381311 10060460032 25100 33554432000 1073741824 1073778376 140737336539840 139633955386536 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9824668

[startup+3.1006 s]
/proc/loadavg: 3.75 3.77 3.75 4/216 26110
/proc/meminfo: memFree=27951244/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 18916 0 1 0 304 14 0 0 20 0 22 0 254381268 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2456167 37092 2262 9 0 2446860 0
[pid=26079/tid=26080] ppid=26077 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) S 26077 26079 21497 0 -1 4202560 2482 0 1 0 40 2 0 0 20 0 22 0 254381268 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634142909432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26082] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26082/stat : 26082 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634104400040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26083] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26083/stat : 26083 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634103347496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26084] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26084/stat : 26084 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634102294952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26085] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26085/stat : 26085 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634101242408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26086] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26086/stat : 26086 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634100189864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26087] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26087/stat : 26087 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634099137320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26088] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26088/stat : 26088 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634098084776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26089] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26089/stat : 26089 (java) S 26077 26079 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139634097032232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26090] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26090/stat : 26090 (java) S 26077 26079 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633966966888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26091] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26091/stat : 26091 (java) S 26077 26079 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633965913208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26092] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26092/stat : 26092 (java) S 26077 26079 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633964860552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26093] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26093/stat : 26093 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633963809296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26094] ppid=26077 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/26079/task/26094/stat : 26094 (java) S 26077 26079 21497 0 -1 4202560 4985 0 0 0 72 0 0 0 20 0 22 0 254381272 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633962756664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26095] ppid=26077 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/26079/task/26095/stat : 26095 (java) S 26077 26079 21497 0 -1 4202560 10078 0 0 0 93 2 0 0 20 0 22 0 254381272 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633961704120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26096] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26096/stat : 26096 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633960651768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26097] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26097/stat : 26097 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 37092 33554432000 1073741824 1073778376 140737336539840 139633959599432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 9824668

[startup+6.30071 s]
/proc/loadavg: 3.75 3.77 3.75 3/216 26122
/proc/meminfo: memFree=27871996/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9824668 CPUtime=9.44 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 19048 0 1 0 925 19 0 0 20 0 22 0 254381268 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2456167 47664 2286 9 0 2446860 0
[pid=26079/tid=26080] ppid=26077 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) S 26077 26079 21497 0 -1 4202560 2482 0 1 0 40 2 0 0 20 0 22 0 254381268 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634142909432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26082] ppid=26077 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26079/task/26082/stat : 26082 (java) S 26077 26079 21497 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634104400040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26083] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26083/stat : 26083 (java) S 26077 26079 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634103347496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26084] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26084/stat : 26084 (java) S 26077 26079 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634102294952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26085] ppid=26077 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26079/task/26085/stat : 26085 (java) S 26077 26079 21497 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634101242408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26086] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26086/stat : 26086 (java) S 26077 26079 21497 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634100189864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26087] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26087/stat : 26087 (java) S 26077 26079 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634099137320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26088] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26088/stat : 26088 (java) S 26077 26079 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634098084776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26089] ppid=26077 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/26079/task/26089/stat : 26089 (java) S 26077 26079 21497 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 254381269 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139634097032232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26090] ppid=26077 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/26079/task/26090/stat : 26090 (java) S 26077 26079 21497 0 -1 4202560 44 0 0 0 27 0 0 0 20 0 22 0 254381270 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139633966966888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26091] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26091/stat : 26091 (java) S 26077 26079 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139633965913208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26092] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26092/stat : 26092 (java) S 26077 26079 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139633964860552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26093] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26093/stat : 26093 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139633963809296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26094] ppid=26077 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/26079/task/26094/stat : 26094 (java) S 26077 26079 21497 0 -1 4202560 4991 0 0 0 82 0 0 0 20 0 22 0 254381272 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139633962756664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26095] ppid=26077 vsize=9824668 CPUtime=1.19 cores=1,3,5,7
/proc/26079/task/26095/stat : 26095 (java) S 26077 26079 21497 0 -1 4202560 10084 0 0 0 117 2 0 0 20 0 22 0 254381272 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139633961704120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26096] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26096/stat : 26096 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 47664 33554432000 1073741824 1073778376 140737336539840 139633960651768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=26079/tid=26120] ppid=26077 vsize=9824668 CPUtime=715.79 cores=1,3,5,7
/proc/26079/task/26120/stat : 26120 (java) R 26077 26079 21497 0 -1 4202560 73 0 0 0 71566 13 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633957491168 139633967663640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26121] ppid=26077 vsize=9824668 CPUtime=715.99 cores=1,3,5,7
/proc/26079/task/26121/stat : 26121 (java) R 26077 26079 21497 0 -1 4202560 847 0 0 0 71576 23 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633956436400 139633968020740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26122] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26122/stat : 26122 (java) S 26077 26079 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633955386792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1547.23
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.87 3.83 3.77 4/219 26305
/proc/meminfo: memFree=24577624/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9824668 CPUtime=1661.69 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 33066 0 1 0 166021 148 0 0 20 0 22 0 254381268 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2456167 665525 2288 9 0 2446860 0
[pid=26079/tid=26080] ppid=26077 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) S 26077 26079 21497 0 -1 4202560 2584 0 1 0 42 3 0 0 20 0 22 0 254381268 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634142909144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26082] ppid=26077 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/26079/task/26082/stat : 26082 (java) S 26077 26079 21497 0 -1 4202560 805 0 0 0 122 8 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634104400040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26083] ppid=26077 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/26079/task/26083/stat : 26083 (java) S 26077 26079 21497 0 -1 4202560 445 0 0 0 116 7 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634103347496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26084] ppid=26077 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/26079/task/26084/stat : 26084 (java) S 26077 26079 21497 0 -1 4202560 574 0 0 0 115 6 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634102294952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26085] ppid=26077 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/26079/task/26085/stat : 26085 (java) S 26077 26079 21497 0 -1 4202560 473 0 0 0 112 5 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634101242408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26086] ppid=26077 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/26079/task/26086/stat : 26086 (java) S 26077 26079 21497 0 -1 4202560 427 0 0 0 116 8 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634100189864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26087] ppid=26077 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/26079/task/26087/stat : 26087 (java) S 26077 26079 21497 0 -1 4202560 838 0 0 0 109 7 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634099137320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26088] ppid=26077 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/26079/task/26088/stat : 26088 (java) S 26077 26079 21497 0 -1 4202560 733 0 0 0 130 8 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634098084776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26089] ppid=26077 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/26079/task/26089/stat : 26089 (java) S 26077 26079 21497 0 -1 4202560 281 0 0 0 119 6 0 0 20 0 22 0 254381269 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139634097032232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26090] ppid=26077 vsize=9824668 CPUtime=105.39 cores=1,3,5,7
/proc/26079/task/26090/stat : 26090 (java) R 26077 26079 21497 0 -1 4202560 3706 0 0 0 10490 49 0 0 20 0 22 0 254381270 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633966966704 139634149763309 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26091] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26091/stat : 26091 (java) S 26077 26079 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633965913208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26092] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26092/stat : 26092 (java) S 26077 26079 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633964860552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26093] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26093/stat : 26093 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633963809296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26094] ppid=26077 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/26079/task/26094/stat : 26094 (java) S 26077 26079 21497 0 -1 4202560 9779 0 0 0 141 2 0 0 20 0 22 0 254381272 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633962756664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26095] ppid=26077 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/26079/task/26095/stat : 26095 (java) S 26077 26079 21497 0 -1 4202560 10084 0 0 0 132 2 0 0 20 0 22 0 254381272 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633961704120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26096] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26096/stat : 26096 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633960651768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26097] ppid=26077 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/26079/task/26097/stat : 26097 (java) S 26077 26079 21497 0 -1 4202560 51 0 0 0 9 16 0 0 20 0 22 0 254381272 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633959599432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26116] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26116/stat : 26116 (java) S 26077 26079 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254381562 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633958544424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26120] ppid=26077 vsize=9824668 CPUtime=770.16 cores=1,3,5,7
/proc/26079/task/26120/stat : 26120 (java) S 26077 26079 21497 0 -1 4202560 73 0 0 0 77002 14 0 0 20 0 22 0 254381662 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633957491288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26121] ppid=26077 vsize=9824668 CPUtime=770.46 cores=1,3,5,7
/proc/26079/task/26121/stat : 26121 (java) S 26077 26079 21497 0 -1 4202560 847 0 0 0 77022 24 0 0 20 0 22 0 254381662 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633956436520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26122] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26122/stat : 26122 (java) S 26077 26079 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254381662 10060460032 665525 33554432000 1073741824 1073778376 140737336539840 139633955386792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.82 3.83 3.77 5/219 26306
/proc/meminfo: memFree=24320636/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9824668 CPUtime=1777.37 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 33129 0 1 0 177586 151 0 0 20 0 22 0 254381268 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2456167 665507 2288 9 0 2446860 0
[pid=26079/tid=26080] ppid=26077 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) S 26077 26079 21497 0 -1 4202560 2587 0 1 0 42 3 0 0 20 0 22 0 254381268 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634142909432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26082] ppid=26077 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/26079/task/26082/stat : 26082 (java) S 26077 26079 21497 0 -1 4202560 805 0 0 0 122 8 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634104400040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26083] ppid=26077 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/26079/task/26083/stat : 26083 (java) S 26077 26079 21497 0 -1 4202560 445 0 0 0 116 7 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634103347496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26084] ppid=26077 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/26079/task/26084/stat : 26084 (java) S 26077 26079 21497 0 -1 4202560 574 0 0 0 115 6 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634102294952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26085] ppid=26077 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/26079/task/26085/stat : 26085 (java) S 26077 26079 21497 0 -1 4202560 473 0 0 0 112 5 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634101242408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26086] ppid=26077 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/26079/task/26086/stat : 26086 (java) S 26077 26079 21497 0 -1 4202560 427 0 0 0 116 8 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634100189864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26087] ppid=26077 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/26079/task/26087/stat : 26087 (java) S 26077 26079 21497 0 -1 4202560 838 0 0 0 109 7 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634099137320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26088] ppid=26077 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/26079/task/26088/stat : 26088 (java) S 26077 26079 21497 0 -1 4202560 733 0 0 0 130 8 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634098084776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26089] ppid=26077 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/26079/task/26089/stat : 26089 (java) S 26077 26079 21497 0 -1 4202560 281 0 0 0 119 6 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634097032232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26090] ppid=26077 vsize=9824668 CPUtime=109.74 cores=1,3,5,7
/proc/26079/task/26090/stat : 26090 (java) S 26077 26079 21497 0 -1 4202560 3762 0 0 0 10923 51 0 0 20 0 22 0 254381270 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633966966888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26091] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26091/stat : 26091 (java) S 26077 26079 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633965913208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26092] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26092/stat : 26092 (java) S 26077 26079 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633964860552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26093] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26093/stat : 26093 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633963809296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26094] ppid=26077 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/26079/task/26094/stat : 26094 (java) S 26077 26079 21497 0 -1 4202560 9779 0 0 0 141 2 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633962756664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26095] ppid=26077 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/26079/task/26095/stat : 26095 (java) S 26077 26079 21497 0 -1 4202560 10084 0 0 0 132 2 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633961704120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26096] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26096/stat : 26096 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633960651768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26097] ppid=26077 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/26079/task/26097/stat : 26097 (java) S 26077 26079 21497 0 -1 4202560 55 0 0 0 10 17 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633959599432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26116] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26116/stat : 26116 (java) S 26077 26079 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254381562 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633958544424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26120] ppid=26077 vsize=9824668 CPUtime=825.81 cores=1,3,5,7
/proc/26079/task/26120/stat : 26120 (java) R 26077 26079 21497 0 -1 4202560 73 0 0 0 82566 15 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633957491168 139633967853110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26121] ppid=26077 vsize=9824668 CPUtime=826.13 cores=1,3,5,7
/proc/26079/task/26121/stat : 26121 (java) R 26077 26079 21497 0 -1 4202560 847 0 0 0 82588 25 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633956436512 139633968020721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26122] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26122/stat : 26122 (java) S 26077 26079 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633955386792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1777.37
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+954.201 s]
/proc/loadavg: 3.77 3.81 3.76 5/219 26306
/proc/meminfo: memFree=24308228/32873648 swapFree=6852/6852
[pid=26079] ppid=26077 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/26079/stat : 26079 (java) S 26077 26079 21497 0 -1 4202496 33149 0 1 0 179862 151 0 0 20 0 22 0 254381268 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 140737336530976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26079/statm: 2456167 665507 2288 9 0 2446860 0
[pid=26079/tid=26080] ppid=26077 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/26079/task/26080/stat : 26080 (java) S 26077 26079 21497 0 -1 4202560 2588 0 1 0 42 3 0 0 20 0 22 0 254381268 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634142909432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26082] ppid=26077 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/26079/task/26082/stat : 26082 (java) S 26077 26079 21497 0 -1 4202560 805 0 0 0 122 8 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634104400040 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26083] ppid=26077 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/26079/task/26083/stat : 26083 (java) S 26077 26079 21497 0 -1 4202560 445 0 0 0 116 7 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634103347496 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26084] ppid=26077 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/26079/task/26084/stat : 26084 (java) S 26077 26079 21497 0 -1 4202560 574 0 0 0 115 6 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634102294952 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26085] ppid=26077 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/26079/task/26085/stat : 26085 (java) S 26077 26079 21497 0 -1 4202560 473 0 0 0 112 5 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634101242408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26086] ppid=26077 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/26079/task/26086/stat : 26086 (java) S 26077 26079 21497 0 -1 4202560 427 0 0 0 116 8 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634100189864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26087] ppid=26077 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/26079/task/26087/stat : 26087 (java) S 26077 26079 21497 0 -1 4202560 838 0 0 0 109 7 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634099137320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26088] ppid=26077 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/26079/task/26088/stat : 26088 (java) S 26077 26079 21497 0 -1 4202560 733 0 0 0 130 8 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634098084776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26089] ppid=26077 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/26079/task/26089/stat : 26089 (java) S 26077 26079 21497 0 -1 4202560 281 0 0 0 119 6 0 0 20 0 22 0 254381269 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139634097032232 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26090] ppid=26077 vsize=9824668 CPUtime=110.79 cores=1,3,5,7
/proc/26079/task/26090/stat : 26090 (java) S 26077 26079 21497 0 -1 4202560 3781 0 0 0 11028 51 0 0 20 0 22 0 254381270 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633966966888 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26091] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26091/stat : 26091 (java) S 26077 26079 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633965913208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26092] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26092/stat : 26092 (java) S 26077 26079 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254381270 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633964860552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26093] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26093/stat : 26093 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633963809296 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26094] ppid=26077 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/26079/task/26094/stat : 26094 (java) S 26077 26079 21497 0 -1 4202560 9779 0 0 0 141 2 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633962756664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26095] ppid=26077 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/26079/task/26095/stat : 26095 (java) S 26077 26079 21497 0 -1 4202560 10084 0 0 0 132 2 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633961704120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26096] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26096/stat : 26096 (java) S 26077 26079 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633960651768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26079/tid=26097] ppid=26077 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/26079/task/26097/stat : 26097 (java) S 26077 26079 21497 0 -1 4202560 55 0 0 0 11 18 0 0 20 0 22 0 254381272 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633959599432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26116] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26116/stat : 26116 (java) S 26077 26079 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254381562 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633958544424 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26079/tid=26120] ppid=26077 vsize=9824668 CPUtime=836.67 cores=1,3,5,7
/proc/26079/task/26120/stat : 26120 (java) R 26077 26079 21497 0 -1 4202560 73 0 0 0 83652 15 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633957491168 139633967806368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26079/tid=26121] ppid=26077 vsize=9824668 CPUtime=837 cores=1,3,5,7
/proc/26079/task/26121/stat : 26121 (java) R 26077 26079 21497 0 -1 4202560 847 0 0 0 83675 25 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633956436512 139633968020672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26079/tid=26122] ppid=26077 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/26079/task/26122/stat : 26122 (java) S 26077 26079 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254381662 10060460032 665507 33554432000 1073741824 1073778376 140737336539840 139633955386792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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
Real time (s): 954.251
CPU time (s): 1800.62
CPU user time (s): 1798.62
CPU system time (s): 2.00269
CPU usage (%): 188.695
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 2.0027
maximum resident set size= 2662140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33178
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25912
involuntary context switches= 23412

runsolver used 4.41133 second user time and 7.34488 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-24 20:02:32
IDJOB=3689496
IDBENCH=89859
IDSOLVER=2268
FILE ID=node116/3689496-1337882552
RUNJOBID= node116-1337871880-21514
PBS_JOBID= 14620088
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689496-1337882552/watcher-3689496-1337882552 -o /tmp/evaluation-result-3689496-1337882552/solver-3689496-1337882552 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689496-1337882552.opb

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

MD5SUM BENCH= 19a2dfea334d8fb7f32d77f6785ba1fe
RANDOM SEED=1105296342

node116.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.556
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	: 5333.11
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.556
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.556
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.54
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.556
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.556
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.92
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.556
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.92
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.556
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.90
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.556
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:        28115392 kB
Buffers:          213752 kB
Cached:          2941200 kB
SwapCached:            0 kB
Active:          1286816 kB
Inactive:        2672848 kB
Active(anon):     807188 kB
Inactive(anon):        0 kB
Active(file):     479628 kB
Inactive(file):  2672848 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               664 kB
Writeback:             0 kB
AnonPages:        938156 kB
Mapped:            21716 kB
Shmem:               200 kB
Slab:             624200 kB
SReclaimable:      68100 kB
SUnreclaim:       556100 kB
KernelStack:        1808 kB
PageTables:         6416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1606048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    878592 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= 71728 MiB
End job on node116 at 2012-05-24 20:18:28