Trace number 3718033

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.02 1796.06

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap82_wcsp.wbo
MD5SUMb16cae5e7c1377276bc10d7f18825659
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark8527182
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 60586724
Min constraint cost 1
Max constraint cost 60586724
Sum of constraints costs 76337480126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.07	c version 2.3.2.v20120528
0.04/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.07	c java.vm.version	19.1-b02
0.04/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.07	c sun.arch.data.model	64
0.04/0.07	c java.version		1.6.0_24
0.04/0.07	c os.name		Linux
0.04/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.07	c os.arch		amd64
0.04/0.07	c Free memory 		501472288
0.04/0.07	c Max memory 		7480803328
0.04/0.07	c Total memory 		504102912
0.04/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 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 --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3718033-1338254662.wbo
0.11/0.10	c reading problem ... 
0.28/0.28	c ... done. Wall clock time 0.181s.
0.28/0.28	c declared #vars     1300
0.28/0.28	c internal #vars     3823
0.28/0.28	c #constraints  2674
0.28/0.28	c constraints type 
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1300
0.28/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1323
0.28/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.28/0.28	c 2674 constraints processed.
0.28/0.28	c objective function length is 2523 literals
0.54/0.35	c SATISFIABLE
0.54/0.35	c OPTIMIZING...
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.249
0.54/0.35	o 8527182
1.72/1.06	c cleaning 2500 clauses out of 5000 with flag 15264/5000
2.49/1.78	c cleaning 4243 clauses out of 8502 with flag 35763/11002
3.39/2.68	c cleaning 5628 clauses out of 11258 with flag 63438/18001
4.51/3.73	c cleaning 6811 clauses out of 13629 with flag 95392/26000
5.86/5.04	c cleaning 7900 clauses out of 15818 with flag 128897/35000
7.26/6.47	c cleaning 8955 clauses out of 17918 with flag 170408/45000
8.86/8.00	c cleaning 9978 clauses out of 19965 with flag 215780/56002
10.57/9.74	c cleaning 10978 clauses out of 21988 with flag 273011/68003
12.37/11.58	c cleaning 11995 clauses out of 24009 with flag 334961/81002
14.37/13.57	c cleaning 12990 clauses out of 26013 with flag 389152/95001
16.49/15.68	c cleaning 13997 clauses out of 28023 with flag 451040/110001
18.72/17.89	c cleaning 15008 clauses out of 30026 with flag 518567/126001
21.23/20.33	c cleaning 15993 clauses out of 32017 with flag 594411/143000
23.74/22.83	c cleaning 16997 clauses out of 34026 with flag 667463/161002
26.34/25.47	c cleaning 18000 clauses out of 36027 with flag 749457/180000
29.34/28.41	c cleaning 19000 clauses out of 38027 with flag 835002/200000
32.36/31.49	c cleaning 20002 clauses out of 40027 with flag 923291/221000
35.67/34.74	c cleaning 20993 clauses out of 42026 with flag 1008381/243001
39.19/38.27	c cleaning 21990 clauses out of 44032 with flag 1102493/266000
42.90/41.95	c cleaning 23004 clauses out of 46042 with flag 1205035/290000
46.85/45.90	c cleaning 24017 clauses out of 48044 with flag 1313068/315006
50.97/49.99	c cleaning 24991 clauses out of 50021 with flag 1424518/341000
55.39/54.30	c cleaning 25996 clauses out of 52030 with flag 1531101/368000
59.79/58.74	c cleaning 27016 clauses out of 54035 with flag 1643267/396001
64.39/63.31	c cleaning 27990 clauses out of 56019 with flag 1781017/425001
69.00/67.97	c cleaning 29001 clauses out of 58028 with flag 1912966/455000
73.72/72.64	c cleaning 29995 clauses out of 60028 with flag 2023697/486001
78.63/77.52	c cleaning 30996 clauses out of 62032 with flag 2144841/518000
84.03/82.91	c cleaning 32003 clauses out of 64041 with flag 2287012/551005
89.85/88.72	c cleaning 32981 clauses out of 66034 with flag 2412028/585001
95.46/94.36	c cleaning 34000 clauses out of 68052 with flag 2555879/620000
101.28/100.17	c cleaning 35011 clauses out of 70053 with flag 2696461/656001
107.38/106.28	c cleaning 35982 clauses out of 72041 with flag 2846567/693000
113.41/112.28	c cleaning 37012 clauses out of 74060 with flag 2997352/731001
119.91/118.80	c cleaning 38015 clauses out of 76047 with flag 3162043/770000
126.73/125.57	c cleaning 38979 clauses out of 78032 with flag 3313041/810000
133.47/132.27	c cleaning 40017 clauses out of 80054 with flag 3458388/851001
140.29/139.04	c cleaning 41005 clauses out of 82036 with flag 3617999/893000
147.13/145.85	c cleaning 41998 clauses out of 84032 with flag 3780693/936001
154.33/153.05	c cleaning 43006 clauses out of 86033 with flag 3958613/980000
161.75/160.42	c cleaning 43995 clauses out of 88027 with flag 4128378/1025000
169.08/167.79	c cleaning 44989 clauses out of 90033 with flag 4283825/1071001
176.91/175.53	c cleaning 46003 clauses out of 92043 with flag 4471906/1118000
184.92/183.53	c cleaning 46993 clauses out of 94040 with flag 4670337/1166000
193.25/191.86	c cleaning 48015 clauses out of 96047 with flag 4858754/1215000
201.90/200.48	c cleaning 48996 clauses out of 98032 with flag 5057218/1265000
211.21/209.77	c cleaning 50009 clauses out of 100038 with flag 5252918/1316002
220.57/219.00	c cleaning 51012 clauses out of 102027 with flag 5453999/1368000
229.69/228.18	c cleaning 51987 clauses out of 104015 with flag 5665080/1421000
239.12/237.59	c cleaning 53009 clauses out of 106028 with flag 5865033/1475000
249.05/247.44	c cleaning 54006 clauses out of 108021 with flag 6068607/1530002
258.97/257.35	c cleaning 54966 clauses out of 110014 with flag 6268817/1586001
269.09/267.45	c cleaning 56012 clauses out of 112049 with flag 6465675/1643002
280.02/278.39	c cleaning 56990 clauses out of 114035 with flag 6675059/1701000
290.83/289.15	c cleaning 58015 clauses out of 116048 with flag 6902058/1760003
301.38/299.67	c cleaning 59004 clauses out of 118030 with flag 7111569/1820000
312.80/311.08	c cleaning 60006 clauses out of 120030 with flag 7343176/1881004
324.21/322.43	c cleaning 60996 clauses out of 122022 with flag 7571140/1943002
335.83/334.07	c cleaning 61997 clauses out of 124025 with flag 7791703/2006001
347.35/345.58	c cleaning 62998 clauses out of 126028 with flag 8027934/2070001
359.47/357.62	c cleaning 64005 clauses out of 128029 with flag 8276802/2135000
372.00/370.20	c cleaning 65004 clauses out of 130027 with flag 8512602/2201003
384.33/382.40	c cleaning 65999 clauses out of 132020 with flag 8744731/2268000
397.25/395.37	c cleaning 66983 clauses out of 134021 with flag 8986278/2336000
410.08/408.17	c cleaning 67984 clauses out of 136038 with flag 9242727/2405000
423.31/421.38	c cleaning 69010 clauses out of 138054 with flag 9488758/2475000
437.64/435.60	c cleaning 70007 clauses out of 140046 with flag 9728704/2546002
452.06/450.00	c cleaning 70978 clauses out of 142038 with flag 9985815/2618001
465.91/463.83	c cleaning 72019 clauses out of 144061 with flag 10261244/2691002
480.94/478.82	c cleaning 73007 clauses out of 146040 with flag 10558564/2765000
495.47/493.32	c cleaning 73993 clauses out of 148036 with flag 10818765/2840003
509.38/507.22	c cleaning 75002 clauses out of 150040 with flag 11094906/2916000
523.49/521.35	c cleaning 76011 clauses out of 152038 with flag 11375995/2993000
538.54/536.30	c cleaning 77000 clauses out of 154027 with flag 11678416/3071000
553.95/551.71	c cleaning 78003 clauses out of 156027 with flag 11967297/3150000
570.48/568.29	c cleaning 79002 clauses out of 158025 with flag 12266700/3230001
586.32/584.01	c cleaning 79980 clauses out of 160022 with flag 12575039/3311000
603.04/600.72	c cleaning 80999 clauses out of 162043 with flag 12871398/3393001
619.65/617.35	c cleaning 82005 clauses out of 164049 with flag 13182663/3476006
635.39/633.07	c cleaning 82998 clauses out of 166038 with flag 13492533/3560000
652.20/649.80	c cleaning 84007 clauses out of 168043 with flag 13819156/3645003
668.43/666.06	c cleaning 85000 clauses out of 170035 with flag 14137384/3731002
684.96/682.56	c cleaning 85996 clauses out of 172033 with flag 14454489/3818000
701.17/698.78	c cleaning 87010 clauses out of 174040 with flag 14741776/3906003
717.51/715.04	c cleaning 88003 clauses out of 176028 with flag 15073908/3995001
735.22/732.78	c cleaning 89003 clauses out of 178027 with flag 15416559/4085003
752.15/749.60	c cleaning 90000 clauses out of 180024 with flag 15749869/4176003
768.99/766.43	c cleaning 90996 clauses out of 182022 with flag 16074764/4268001
786.04/783.41	c cleaning 91998 clauses out of 184025 with flag 16390191/4361000
804.26/801.67	c cleaning 93000 clauses out of 186029 with flag 16690094/4455002
822.28/819.60	c cleaning 93994 clauses out of 188027 with flag 17024258/4550000
842.41/839.72	c cleaning 95002 clauses out of 190033 with flag 17358366/4646000
861.14/858.43	c cleaning 96007 clauses out of 192031 with flag 17714666/4743000
880.36/877.61	c cleaning 97006 clauses out of 194028 with flag 18069184/4841004
899.49/896.71	c cleaning 98007 clauses out of 196020 with flag 18433185/4940002
919.43/916.65	c cleaning 98976 clauses out of 198013 with flag 18780653/5040002
940.01/937.16	c cleaning 100005 clauses out of 200035 with flag 19155413/5141000
961.07/958.13	c cleaning 100999 clauses out of 202031 with flag 19510056/5243001
981.77/978.84	c cleaning 102002 clauses out of 204035 with flag 19865127/5346004
1003.50/1000.55	c cleaning 102992 clauses out of 206029 with flag 20273440/5450000
1024.92/1021.96	c cleaning 104007 clauses out of 208038 with flag 20646894/5555001
1045.83/1042.87	c cleaning 104985 clauses out of 210030 with flag 20987030/5661000
1067.63/1064.66	c cleaning 106004 clauses out of 212047 with flag 21384161/5768002
1088.76/1085.74	c cleaning 106983 clauses out of 214041 with flag 21743791/5876000
1110.28/1107.25	c cleaning 108024 clauses out of 216064 with flag 22110702/5985006
1132.83/1129.79	c cleaning 109009 clauses out of 218034 with flag 22497406/6095000
1155.46/1152.35	c cleaning 109991 clauses out of 220025 with flag 22888518/6206000
1177.40/1174.29	c cleaning 111009 clauses out of 222036 with flag 23302214/6318002
1200.35/1197.17	c cleaning 111988 clauses out of 224025 with flag 23693439/6431000
1223.07/1219.84	c cleaning 112999 clauses out of 226043 with flag 24054442/6545006
1246.48/1243.21	c cleaning 113991 clauses out of 228041 with flag 24441804/6660003
1269.60/1266.32	c cleaning 114999 clauses out of 230047 with flag 24825099/6776000
1294.22/1290.94	c cleaning 116002 clauses out of 232048 with flag 25232036/6893000
1317.74/1314.43	c cleaning 116995 clauses out of 234046 with flag 25669143/7011000
1343.65/1340.30	c cleaning 117999 clauses out of 236051 with flag 26096750/7130000
1367.68/1364.31	c cleaning 119005 clauses out of 238052 with flag 26533945/7250000
1392.41/1389.04	c cleaning 120016 clauses out of 240047 with flag 26997126/7371000
1416.89/1413.42	c cleaning 120990 clauses out of 242031 with flag 27436392/7493000
1442.80/1439.36	c cleaning 121997 clauses out of 244042 with flag 27898707/7616001
1469.16/1465.60	c cleaning 123012 clauses out of 246046 with flag 28387029/7740002
1497.69/1494.19	c cleaning 124001 clauses out of 248032 with flag 28869411/7865000
1526.53/1522.92	c cleaning 125016 clauses out of 250032 with flag 29329190/7991001
1554.88/1551.27	c cleaning 125971 clauses out of 252015 with flag 29784387/8118000
1583.21/1579.57	c cleaning 127015 clauses out of 254045 with flag 30245274/8246001
1609.78/1606.03	c cleaning 127998 clauses out of 256031 with flag 30688287/8375002
1637.59/1633.86	c cleaning 129005 clauses out of 258031 with flag 31159796/8505000
1666.72/1662.98	c cleaning 130011 clauses out of 260028 with flag 31647691/8636002
1697.67/1693.87	c cleaning 130985 clauses out of 262017 with flag 32116983/8768002
1725.10/1721.21	c cleaning 132002 clauses out of 264031 with flag 32577270/8901001
1751.82/1747.99	c cleaning 132987 clauses out of 266028 with flag 33062037/9035000
1780.96/1777.07	c cleaning 133987 clauses out of 268042 with flag 33553069/9170001
1800.02/1796.01	c starts		: 301
1800.02/1796.01	c conflicts		: 9273604
1800.02/1796.01	c decisions		: 26120025
1800.02/1796.01	c propagations		: 5281338248
1800.02/1796.01	c inspects		: 9260730911
1800.02/1796.01	c shortcuts		: 0
1800.02/1796.01	c learnt literals	: 0
1800.02/1796.01	c learnt binary clauses	: 0
1800.02/1796.01	c learnt ternary clauses	: 0
1800.02/1796.01	c learnt constraints	: 9273604
1800.02/1796.01	c ignored constraints	: 0
1800.02/1796.01	c root simplifications	: 0
1800.02/1796.01	c removed literals (reason simplification)	: 0
1800.02/1796.01	c reason swapping (by a shorter reason)	: 0
1800.02/1796.01	c Calls to reduceDB	: 131
1800.02/1796.01	c Number of update (reduction) of LBD	: 4764175
1800.02/1796.01	c number of reductions to clauses (during analyze)	: 0
1800.02/1796.01	c number of learned constraints concerned by reduction	: 0
1800.02/1796.01	c number of learning phase by resolution	: 0
1800.02/1796.01	c number of learning phase by cutting planes	: 0
1800.02/1796.01	c speed (assignments/second)	: 2941104.6032770523
1800.02/1796.01	c non guided choices	31
1800.02/1796.04	c learnt constraints type 
1800.02/1796.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 237741
1800.02/1796.04	c constraints type 
1800.02/1796.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1300
1800.02/1796.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
1800.02/1796.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1323
1800.02/1796.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.02/1796.04	c 2675 constraints processed.
1800.02/1796.04	s SATISFIABLE
1800.02/1796.05	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 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
1800.02/1796.05	c objective function=8527182
1800.02/1796.05	c Total wall clock time (in seconds): 1795.951

Verifier Data

OK	8527182

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

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: 2.14 2.07 2.02 3/195 10259
/proc/meminfo: memFree=31318748/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/10259/stat : 10259 (java) R 10257 10259 6458 0 -1 4202496 1129 0 0 0 0 0 0 0 20 0 1 0 291591079 23793664 858 33554432000 1073741824 1073778376 140735995701024 140735995690088 139837047347150 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 5793 857 646 9 0 128 0

[startup+0.050404 s]
/proc/loadavg: 2.14 2.07 2.02 3/195 10259
/proc/meminfo: memFree=31318748/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9558416 CPUtime=0.04 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 3183 0 1 0 3 1 0 0 20 0 18 0 291591079 9787817984 4393 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2389604 4393 1758 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558416

[startup+0.100196 s]
/proc/loadavg: 2.14 2.07 2.02 3/195 10259
/proc/meminfo: memFree=31318748/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9558416 CPUtime=0.11 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 4474 0 1 0 10 1 0 0 20 0 18 0 291591079 9787817984 6147 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2389604 6147 2144 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558416

[startup+0.300156 s]
/proc/loadavg: 2.14 2.07 2.02 3/195 10259
/proc/meminfo: memFree=31318748/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9558416 CPUtime=0.54 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 6152 0 1 0 52 2 0 0 20 0 18 0 291591079 9787817984 8737 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2389604 8737 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558416

[startup+0.700247 s]
/proc/loadavg: 2.14 2.07 2.02 3/195 10259
/proc/meminfo: memFree=31318748/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9624980 CPUtime=1.41 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 10526 0 1 0 139 2 0 0 20 0 19 0 291591079 9855979520 11851 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2406245 11851 2242 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9624980

[startup+1.50063 s]
/proc/loadavg: 2.14 2.07 2.02 3/214 10278
/proc/meminfo: memFree=31279928/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9624980 CPUtime=2.26 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 10640 0 1 0 223 3 0 0 20 0 19 0 291591079 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2406245 14462 2274 9 0 2396937 0
[pid=10259/tid=10260] ppid=10257 vsize=9624980 CPUtime=1.45 cores=0,2,4,6
/proc/10259/task/10260/stat : 10260 (java) R 10257 10259 6458 0 -1 4202560 2461 0 1 0 144 1 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139837045244312 139836904823492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10262] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10262/stat : 10262 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139837023345320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10263] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10263/stat : 10263 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836820286248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10264] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10264/stat : 10264 (java) S 10257 10259 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836819233704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10265] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10265/stat : 10265 (java) S 10257 10259 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836818181160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10266] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10266/stat : 10266 (java) S 10257 10259 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836817127592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10267] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10267/stat : 10267 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836816075048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10268] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10268/stat : 10268 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836815022504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10269] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10269/stat : 10269 (java) S 10257 10259 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836813969960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10270] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10270/stat : 10270 (java) S 10257 10259 6458 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291591081 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836801772136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10271] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10271/stat : 10271 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836800718456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10272] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10272/stat : 10272 (java) S 10257 10259 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836799665800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10273] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10273/stat : 10273 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836798614544 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10274] ppid=10257 vsize=9624980 CPUtime=0.39 cores=0,2,4,6
/proc/10259/task/10274/stat : 10274 (java) S 10257 10259 6458 0 -1 4202560 2548 0 0 0 39 0 0 0 20 0 19 0 291591084 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836797560888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10275] ppid=10257 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/10259/task/10275/stat : 10275 (java) S 10257 10259 6458 0 -1 4202560 4389 0 0 0 35 0 0 0 20 0 19 0 291591084 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836796508344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10276] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10276/stat : 10276 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836795455992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10277] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10277/stat : 10277 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836794403656 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10278] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10278/stat : 10278 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591111 9855979520 14462 33554432000 1073741824 1073778376 140735995701024 139836793312552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9624980

[startup+3.10063 s]
/proc/loadavg: 2.14 2.07 2.02 3/214 10278
/proc/meminfo: memFree=31265096/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9624980 CPUtime=3.9 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 10655 0 1 0 387 3 0 0 20 0 19 0 291591079 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2406245 15495 2274 9 0 2396937 0
[pid=10259/tid=10260] ppid=10257 vsize=9624980 CPUtime=3.02 cores=0,2,4,6
/proc/10259/task/10260/stat : 10260 (java) R 10257 10259 6458 0 -1 4202560 2462 0 1 0 301 1 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139837045244192 139836904859751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10262] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10262/stat : 10262 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139837023345320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10263] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10263/stat : 10263 (java) S 10257 10259 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836820286248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10264] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10264/stat : 10264 (java) S 10257 10259 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836819233704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10265] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10265/stat : 10265 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836818181160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10266] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10266/stat : 10266 (java) S 10257 10259 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836817127592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10267] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10267/stat : 10267 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836816075048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10268] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10268/stat : 10268 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836815022504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10269] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10269/stat : 10269 (java) S 10257 10259 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836813969960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10270] ppid=10257 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/10259/task/10270/stat : 10270 (java) S 10257 10259 6458 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 291591081 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836801772136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10271] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10271/stat : 10271 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836800718456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10272] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10272/stat : 10272 (java) S 10257 10259 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836799665800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10273] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10273/stat : 10273 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836798614544 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10274] ppid=10257 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/10259/task/10274/stat : 10274 (java) S 10257 10259 6458 0 -1 4202560 2548 0 0 0 41 0 0 0 20 0 19 0 291591084 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836797560888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10275] ppid=10257 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/10259/task/10275/stat : 10275 (java) S 10257 10259 6458 0 -1 4202560 4390 0 0 0 37 0 0 0 20 0 19 0 291591084 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836796508344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10276] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10276/stat : 10276 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836795455992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10277] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10277/stat : 10277 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836794403656 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10278] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10278/stat : 10278 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591111 9855979520 15495 33554432000 1073741824 1073778376 140735995701024 139836793312552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9624980

[startup+6.30063 s]
/proc/loadavg: 2.13 2.07 2.02 3/214 10278
/proc/meminfo: memFree=31261868/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9624980 CPUtime=7.16 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 10673 0 1 0 713 3 0 0 20 0 19 0 291591079 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2406245 15972 2275 9 0 2396937 0
[pid=10259/tid=10260] ppid=10257 vsize=9624980 CPUtime=6.17 cores=0,2,4,6
/proc/10259/task/10260/stat : 10260 (java) R 10257 10259 6458 0 -1 4202560 2464 0 1 0 616 1 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139837045244192 139836904844705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10262] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10262/stat : 10262 (java) S 10257 10259 6458 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139837023345320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10263] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10263/stat : 10263 (java) S 10257 10259 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836820286248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10264] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10264/stat : 10264 (java) S 10257 10259 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836819233704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10265] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10265/stat : 10265 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836818181160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10266] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10266/stat : 10266 (java) S 10257 10259 6458 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836817127592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10267] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10267/stat : 10267 (java) S 10257 10259 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836816075048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10268] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10268/stat : 10268 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836815022504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10269] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10269/stat : 10269 (java) S 10257 10259 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291591080 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836813969960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10270] ppid=10257 vsize=9624980 CPUtime=0.06 cores=0,2,4,6
/proc/10259/task/10270/stat : 10270 (java) S 10257 10259 6458 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 291591081 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836801772136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10271] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10271/stat : 10271 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836800718456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10272] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10272/stat : 10272 (java) S 10257 10259 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836799665800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10273] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10273/stat : 10273 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836798614544 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10274] ppid=10257 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/10259/task/10274/stat : 10274 (java) S 10257 10259 6458 0 -1 4202560 2549 0 0 0 41 0 0 0 20 0 19 0 291591084 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836797560888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10275] ppid=10257 vsize=9624980 CPUtime=0.42 cores=0,2,4,6
/proc/10259/task/10275/stat : 10275 (java) S 10257 10259 6458 0 -1 4202560 4391 0 0 0 42 0 0 0 20 0 19 0 291591084 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836796508344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10276] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10276/stat : 10276 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836795455992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10277] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10277/stat : 10277 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836794403656 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10278] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10278/stat : 10278 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591111 9855979520 15972 33554432000 1073741824 1073778376 140735995701024 139836793312552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=10259/tid=10274] ppid=10257 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/10259/task/10274/stat : 10274 (java) S 10257 10259 6458 0 -1 4202560 2549 0 0 0 41 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836797560888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10275] ppid=10257 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/10259/task/10275/stat : 10275 (java) S 10257 10259 6458 0 -1 4202560 4401 0 0 0 44 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836796508344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10276] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10276/stat : 10276 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836795455992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10277] ppid=10257 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/10259/task/10277/stat : 10277 (java) S 10257 10259 6458 0 -1 4202560 95 0 0 0 16 18 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836794403656 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10278] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10278/stat : 10278 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591111 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836793312552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1666.12
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 12056
/proc/meminfo: memFree=31160700/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9624980 CPUtime=1726.22 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 12378 0 1 0 172587 35 0 0 20 0 19 0 291591079 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2406245 56228 2276 9 0 2396937 0
[pid=10259/tid=10260] ppid=10257 vsize=9624980 CPUtime=1711.09 cores=0,2,4,6
/proc/10259/task/10260/stat : 10260 (java) R 10257 10259 6458 0 -1 4202560 2613 0 1 0 171080 29 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139837045244192 139836904907951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10262] ppid=10257 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/10259/task/10262/stat : 10262 (java) S 10257 10259 6458 0 -1 4202560 179 0 0 0 55 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139837023345320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10263] ppid=10257 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/10259/task/10263/stat : 10263 (java) S 10257 10259 6458 0 -1 4202560 127 0 0 0 49 1 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836820286248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10264] ppid=10257 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/10259/task/10264/stat : 10264 (java) S 10257 10259 6458 0 -1 4202560 143 0 0 0 52 1 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836819233704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10265] ppid=10257 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/10259/task/10265/stat : 10265 (java) S 10257 10259 6458 0 -1 4202560 256 0 0 0 56 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836818181160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10266] ppid=10257 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/10259/task/10266/stat : 10266 (java) S 10257 10259 6458 0 -1 4202560 124 0 0 0 52 0 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836817127592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10267] ppid=10257 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/10259/task/10267/stat : 10267 (java) S 10257 10259 6458 0 -1 4202560 235 0 0 0 52 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836816075048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10268] ppid=10257 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/10259/task/10268/stat : 10268 (java) S 10257 10259 6458 0 -1 4202560 140 0 0 0 53 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836815022504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10269] ppid=10257 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/10259/task/10269/stat : 10269 (java) S 10257 10259 6458 0 -1 4202560 171 0 0 0 47 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836813969960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10270] ppid=10257 vsize=9624980 CPUtime=5.42 cores=0,2,4,6
/proc/10259/task/10270/stat : 10270 (java) S 10257 10259 6458 0 -1 4202560 162 0 0 0 540 2 0 0 20 0 19 0 291591081 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836801772136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10271] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10271/stat : 10271 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836800718456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10272] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10272/stat : 10272 (java) S 10257 10259 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836799665800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10273] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10273/stat : 10273 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836798614544 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10274] ppid=10257 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/10259/task/10274/stat : 10274 (java) S 10257 10259 6458 0 -1 4202560 2549 0 0 0 41 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836797560888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10275] ppid=10257 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/10259/task/10275/stat : 10275 (java) S 10257 10259 6458 0 -1 4202560 4401 0 0 0 44 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836796508344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10276] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10276/stat : 10276 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836795455992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10277] ppid=10257 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/10259/task/10277/stat : 10277 (java) S 10257 10259 6458 0 -1 4202560 99 0 0 0 17 18 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836794403656 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10278] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10278/stat : 10278 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591111 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836793312552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1726.22
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12056
/proc/meminfo: memFree=31160452/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9624980 CPUtime=1786.31 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 12388 0 1 0 178596 35 0 0 20 0 19 0 291591079 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2406245 56228 2276 9 0 2396937 0
[pid=10259/tid=10260] ppid=10257 vsize=9624980 CPUtime=1770.77 cores=0,2,4,6
/proc/10259/task/10260/stat : 10260 (java) R 10257 10259 6458 0 -1 4202560 2615 0 1 0 177048 29 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139837045244192 139836904860700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10262] ppid=10257 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/10259/task/10262/stat : 10262 (java) S 10257 10259 6458 0 -1 4202560 179 0 0 0 56 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139837023345320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10263] ppid=10257 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/10259/task/10263/stat : 10263 (java) S 10257 10259 6458 0 -1 4202560 127 0 0 0 50 1 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836820286248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10264] ppid=10257 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/10259/task/10264/stat : 10264 (java) S 10257 10259 6458 0 -1 4202560 143 0 0 0 55 1 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836819233704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10265] ppid=10257 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/10259/task/10265/stat : 10265 (java) S 10257 10259 6458 0 -1 4202560 256 0 0 0 58 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836818181160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10266] ppid=10257 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/10259/task/10266/stat : 10266 (java) S 10257 10259 6458 0 -1 4202560 124 0 0 0 54 0 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836817127592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10267] ppid=10257 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/10259/task/10267/stat : 10267 (java) S 10257 10259 6458 0 -1 4202560 235 0 0 0 53 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836816075048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10268] ppid=10257 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/10259/task/10268/stat : 10268 (java) S 10257 10259 6458 0 -1 4202560 140 0 0 0 54 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836815022504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10269] ppid=10257 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/10259/task/10269/stat : 10269 (java) S 10257 10259 6458 0 -1 4202560 171 0 0 0 48 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836813969960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10270] ppid=10257 vsize=9624980 CPUtime=5.55 cores=0,2,4,6
/proc/10259/task/10270/stat : 10270 (java) S 10257 10259 6458 0 -1 4202560 166 0 0 0 553 2 0 0 20 0 19 0 291591081 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836801772136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10271] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10271/stat : 10271 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836800718456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10272] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10272/stat : 10272 (java) S 10257 10259 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836799665800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10273] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10273/stat : 10273 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836798614544 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10274] ppid=10257 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/10259/task/10274/stat : 10274 (java) S 10257 10259 6458 0 -1 4202560 2549 0 0 0 41 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836797560888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10275] ppid=10257 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/10259/task/10275/stat : 10275 (java) S 10257 10259 6458 0 -1 4202560 4401 0 0 0 44 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836796508344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10276] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10276/stat : 10276 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836795455992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10277] ppid=10257 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/10259/task/10277/stat : 10277 (java) S 10257 10259 6458 0 -1 4202560 103 0 0 0 17 19 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836794403656 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10278] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10278/stat : 10278 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591111 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836793312552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1786.31
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 12056
/proc/meminfo: memFree=31160700/32873844 swapFree=6608/6608
[pid=10259] ppid=10257 vsize=9624980 CPUtime=1800.02 cores=0,2,4,6
/proc/10259/stat : 10259 (java) S 10257 10259 6458 0 -1 4202496 12388 0 1 0 179966 36 0 0 20 0 19 0 291591079 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 140735995692160 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10259/statm: 2406245 56228 2276 9 0 2396937 0
[pid=10259/tid=10260] ppid=10257 vsize=9624980 CPUtime=1784.44 cores=0,2,4,6
/proc/10259/task/10260/stat : 10260 (java) R 10257 10259 6458 0 -1 4202560 2615 0 1 0 178414 30 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139837045244192 139836904908087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10262] ppid=10257 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/10259/task/10262/stat : 10262 (java) S 10257 10259 6458 0 -1 4202560 179 0 0 0 56 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139837023345320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10263] ppid=10257 vsize=9624980 CPUtime=0.51 cores=0,2,4,6
/proc/10259/task/10263/stat : 10263 (java) S 10257 10259 6458 0 -1 4202560 127 0 0 0 50 1 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836820286248 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10264] ppid=10257 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/10259/task/10264/stat : 10264 (java) S 10257 10259 6458 0 -1 4202560 143 0 0 0 55 1 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836819233704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10265] ppid=10257 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/10259/task/10265/stat : 10265 (java) S 10257 10259 6458 0 -1 4202560 256 0 0 0 58 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836818181160 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10259/tid=10266] ppid=10257 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/10259/task/10266/stat : 10266 (java) S 10257 10259 6458 0 -1 4202560 124 0 0 0 54 0 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836817127592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10267] ppid=10257 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/10259/task/10267/stat : 10267 (java) S 10257 10259 6458 0 -1 4202560 235 0 0 0 53 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836816075048 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10268] ppid=10257 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/10259/task/10268/stat : 10268 (java) S 10257 10259 6458 0 -1 4202560 140 0 0 0 54 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836815022504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10269] ppid=10257 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/10259/task/10269/stat : 10269 (java) S 10257 10259 6458 0 -1 4202560 171 0 0 0 48 2 0 0 20 0 19 0 291591080 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836813969960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10270] ppid=10257 vsize=9624980 CPUtime=5.55 cores=0,2,4,6
/proc/10259/task/10270/stat : 10270 (java) S 10257 10259 6458 0 -1 4202560 166 0 0 0 553 2 0 0 20 0 19 0 291591081 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836801772136 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10271] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10271/stat : 10271 (java) S 10257 10259 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836800718456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10272] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10272/stat : 10272 (java) S 10257 10259 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291591082 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836799665800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10273] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10273/stat : 10273 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836798614544 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10274] ppid=10257 vsize=9624980 CPUtime=0.41 cores=0,2,4,6
/proc/10259/task/10274/stat : 10274 (java) S 10257 10259 6458 0 -1 4202560 2549 0 0 0 41 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836797560888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10259/tid=10275] ppid=10257 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/10259/task/10275/stat : 10275 (java) S 10257 10259 6458 0 -1 4202560 4401 0 0 0 44 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836796508344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10276] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10276/stat : 10276 (java) S 10257 10259 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836795455992 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10259/tid=10277] ppid=10257 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/10259/task/10277/stat : 10277 (java) S 10257 10259 6458 0 -1 4202560 103 0 0 0 17 19 0 0 20 0 19 0 291591084 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836794403656 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10259/tid=10278] ppid=10257 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/10259/task/10278/stat : 10278 (java) S 10257 10259 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291591111 9855979520 56228 33554432000 1073741824 1073778376 140735995701024 139836793312552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624980

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 10259 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=189089
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=771882
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.06
CPU time (s): 1800.02
CPU user time (s): 1799.66
CPU system time (s): 0.36
CPU usage (%): 100.221
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 0.771882
maximum resident set size= 225056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12427
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41491
involuntary context switches= 20262

runsolver used 5.46017 second user time and 14.3128 second system time

The end

Launcher Data

Begin job on node140 at 2012-05-29 03:24:22
IDJOB=3718033
IDBENCH=79494
IDSOLVER=2301
FILE ID=node140/3718033-1338254662
RUNJOBID= node140-1338248942-8852
PBS_JOBID= 14624641
Free space on /tmp= 71332 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap82_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718033-1338254662/watcher-3718033-1338254662 -o /tmp/evaluation-result-3718033-1338254662/solver-3718033-1338254662 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718033-1338254662.wbo

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

MD5SUM BENCH= b16cae5e7c1377276bc10d7f18825659
RANDOM SEED=1887966909

node140.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.094
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.18
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.094
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.094
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.094
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.094
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		: 2667.094
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.88
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.094
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		: 2667.094
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:       32873844 kB
MemFree:        31319012 kB
Buffers:          233444 kB
Cached:            55464 kB
SwapCached:         1668 kB
Active:           670628 kB
Inactive:          28784 kB
Active(anon):     402480 kB
Inactive(anon):    10060 kB
Active(file):     268148 kB
Inactive(file):    18724 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105152 kB
Dirty:               428 kB
Writeback:             0 kB
AnonPages:        415552 kB
Mapped:            18100 kB
Shmem:                 8 kB
Slab:             714620 kB
SReclaimable:     156448 kB
SUnreclaim:       558172 kB
KernelStack:        1592 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 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= 71336 MiB
End job on node140 at 2012-05-29 03:54:20