Trace number 3718059

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.08 1793.96

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMcf0241dbee717fce31205c3d6c127ed0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark0.159975
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints70
Number of soft constraints26
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint20
Top cost 1337
Min constraint cost 1
Max constraint cost 86
Sum of constraints costs 1336
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
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

Quality of the solution as a function of time


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

Solver Data 

0.05/0.35	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.35	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.35	c See www.sat4j.org for details.
0.05/0.35	c version 2.3.2.v20120528
0.05/0.35	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.35	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.36	c java.vm.version	19.1-b02
0.05/0.36	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.36	c sun.arch.data.model	64
0.05/0.36	c java.version		1.6.0_24
0.05/0.36	c os.name		Linux
0.05/0.36	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.36	c os.arch		amd64
0.05/0.36	c Free memory 		501472288
0.05/0.36	c Max memory 		7480803328
0.05/0.36	c Total memory 		504102912
0.05/0.36	c Number of processors 	8
0.05/0.39	c Pseudo Boolean Optimization by upper bound
0.05/0.39	c --- Begin Solver configuration ---
0.05/0.39	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.05/0.39	c Learn all clauses as in MiniSAT
0.05/0.39	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.39	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.39	c No reason simplification
0.05/0.39	c Armin Biere (Picosat) restarts strategy
0.05/0.39	c Glucose 2 learned constraints deletion strategy
0.05/0.39	c timeout=2147483s
0.05/0.39	c DB Simplification allowed=false
0.05/0.39	c --- End Solver configuration ---
0.05/0.39	c solving HOME/instance-3718059-1338248781.wbo
0.05/0.39	c reading problem ... 
0.14/0.45	c ... done. Wall clock time 0.055s.
0.14/0.45	c declared #vars     600
0.14/0.45	c internal #vars     626
0.14/0.45	c #constraints  70
0.14/0.45	c constraints type 
0.14/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
0.14/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
0.14/0.45	c ignored satisfied constraints => 1
0.14/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13
0.14/0.45	c 71 constraints processed.
0.14/0.45	c objective function length is 26 literals
0.33/0.52	c SATISFIABLE
0.33/0.52	c OPTIMIZING...
0.33/0.52	c Got one! Elapsed wall clock time (in seconds):0.13
0.33/0.53	o 128
0.33/0.55	c Got one! Elapsed wall clock time (in seconds):0.155
0.33/0.55	o 113
0.33/0.57	c Got one! Elapsed wall clock time (in seconds):0.179
0.33/0.57	o 68
0.33/0.59	c Got one! Elapsed wall clock time (in seconds):0.191
0.33/0.59	o 67
0.57/0.61	c Got one! Elapsed wall clock time (in seconds):0.22
0.57/0.61	o 54
0.57/0.68	c Got one! Elapsed wall clock time (in seconds):0.29
0.57/0.68	o 52
0.71/0.77	c Got one! Elapsed wall clock time (in seconds):0.376
0.71/0.77	o 49
0.91/0.95	c cleaning 4191 clauses out of 8384 with flag 18796/8384
1.37/1.30	c cleaning 5049 clauses out of 10192 with flag 61865/14383
1.79/1.70	c cleaning 6038 clauses out of 12145 with flag 111033/21385
2.25/2.19	c cleaning 7036 clauses out of 14105 with flag 178149/29383
3.18/3.07	c cleaning 8030 clauses out of 16070 with flag 252031/38384
3.98/3.82	c cleaning 9014 clauses out of 18040 with flag 336606/48384
4.80/4.62	c cleaning 10008 clauses out of 20027 with flag 427060/59385
5.73/5.51	c cleaning 11003 clauses out of 22017 with flag 531659/71383
7.05/6.81	c cleaning 11996 clauses out of 24015 with flag 663309/84384
8.26/8.09	c cleaning 12992 clauses out of 26018 with flag 792629/98383
10.30/10.01	c cleaning 14007 clauses out of 28026 with flag 965477/113383
11.71/11.43	c cleaning 14999 clauses out of 30021 with flag 1088142/129385
13.33/13.00	c cleaning 15969 clauses out of 32020 with flag 1223690/146383
15.24/14.92	c cleaning 16999 clauses out of 34051 with flag 1373538/164383
16.88/16.58	c cleaning 18021 clauses out of 36054 with flag 1529190/183385
19.28/18.94	c cleaning 18997 clauses out of 38035 with flag 1768694/203387
21.70/21.36	c cleaning 19998 clauses out of 40035 with flag 1950602/224384
25.43/25.09	c cleaning 21010 clauses out of 42039 with flag 2135357/246386
28.64/28.22	c cleaning 21983 clauses out of 44026 with flag 2330898/269383
30.76/30.36	c cleaning 22978 clauses out of 46044 with flag 2517331/293384
33.98/33.56	c cleaning 23982 clauses out of 48066 with flag 2753949/318384
37.53/37.00	c cleaning 24996 clauses out of 50083 with flag 2950326/344383
41.85/41.32	c cleaning 26018 clauses out of 52087 with flag 3177958/371383
45.37/44.82	c cleaning 26990 clauses out of 54069 with flag 3415447/399383
48.38/47.87	c cleaning 28032 clauses out of 56080 with flag 3651414/428384
52.31/51.74	c cleaning 28992 clauses out of 58053 with flag 3943285/458389
56.82/56.26	c cleaning 30023 clauses out of 60055 with flag 4239492/489383
62.65/62.07	c cleaning 31011 clauses out of 62032 with flag 4534924/521383
70.00/69.31	c cleaning 32000 clauses out of 64022 with flag 4826799/554384
78.03/77.33	c cleaning 33003 clauses out of 66023 with flag 5147476/588385
82.50/81.70	c cleaning 33989 clauses out of 68018 with flag 5399376/623383
89.24/88.49	c cleaning 35011 clauses out of 70032 with flag 5724227/659386
95.40/94.55	c cleaning 35966 clauses out of 72018 with flag 6021119/696383
102.02/101.11	c cleaning 37012 clauses out of 74055 with flag 6370238/734386
111.15/110.20	c cleaning 38011 clauses out of 76040 with flag 6735429/773383
118.69/117.78	c cleaning 39009 clauses out of 78029 with flag 7067202/813383
130.11/129.18	c cleaning 40005 clauses out of 80022 with flag 7471540/854385
139.13/138.19	c cleaning 41000 clauses out of 82017 with flag 7847785/896385
144.55/143.52	c cleaning 41974 clauses out of 84016 with flag 8194139/939384
151.98/150.95	c cleaning 43010 clauses out of 86042 with flag 8607673/983384
160.66/159.58	c cleaning 44010 clauses out of 88032 with flag 8997450/1028384
172.49/171.30	c cleaning 44998 clauses out of 90022 with flag 9450064/1074384
181.43/180.26	c cleaning 46005 clauses out of 92024 with flag 9888282/1121384
191.87/190.69	c cleaning 47005 clauses out of 94019 with flag 10338127/1169384
203.03/201.77	c cleaning 47992 clauses out of 96013 with flag 10780430/1218383
218.00/216.65	c cleaning 48994 clauses out of 98023 with flag 11240509/1268385
235.68/234.29	c cleaning 49985 clauses out of 100029 with flag 11744898/1319385
243.54/242.04	c cleaning 50986 clauses out of 102044 with flag 12150115/1371385
253.38/251.85	c cleaning 52018 clauses out of 104056 with flag 12621677/1424383
264.63/263.07	c cleaning 53011 clauses out of 106038 with flag 13102119/1478383
277.98/276.30	c cleaning 53990 clauses out of 108028 with flag 13652977/1533384
294.75/293.09	c cleaning 55001 clauses out of 110039 with flag 14187817/1589385
305.73/303.98	c cleaning 56005 clauses out of 112038 with flag 14727201/1646385
322.40/320.50	c cleaning 57010 clauses out of 114033 with flag 15308852/1704385
338.88/336.93	c cleaning 58001 clauses out of 116021 with flag 15883215/1763383
358.76/356.71	c cleaning 58994 clauses out of 118021 with flag 16412977/1823384
376.41/374.37	c cleaning 59996 clauses out of 120027 with flag 17020514/1884384
399.67/397.56	c cleaning 60997 clauses out of 122030 with flag 17646297/1946383
414.94/412.79	c cleaning 61991 clauses out of 124036 with flag 18274982/2009386
426.62/424.32	c cleaning 62958 clauses out of 126043 with flag 18804195/2073384
438.57/436.20	c cleaning 64030 clauses out of 128086 with flag 19367984/2138385
455.11/452.71	c cleaning 65011 clauses out of 130056 with flag 19980938/2204385
473.37/470.92	c cleaning 66011 clauses out of 132047 with flag 20596183/2271387
491.95/489.45	c cleaning 66999 clauses out of 134033 with flag 21260784/2339384
517.51/514.99	c cleaning 67999 clauses out of 136035 with flag 21964788/2408385
533.96/531.35	c cleaning 69003 clauses out of 138034 with flag 22617116/2478383
555.33/552.63	c cleaning 69996 clauses out of 140031 with flag 23389751/2549383
575.02/572.23	c cleaning 71003 clauses out of 142036 with flag 24122053/2621384
592.38/589.51	c cleaning 72000 clauses out of 144033 with flag 24801154/2694384
622.54/619.68	c cleaning 73005 clauses out of 146033 with flag 25548338/2768384
655.51/652.58	c cleaning 74003 clauses out of 148028 with flag 26300939/2843384
683.75/680.80	c cleaning 75001 clauses out of 150026 with flag 27079699/2919385
707.43/704.36	c cleaning 75949 clauses out of 152025 with flag 27834664/2996385
722.24/719.05	c cleaning 76978 clauses out of 154074 with flag 28532583/3074383
744.08/740.85	c cleaning 78038 clauses out of 156097 with flag 29259562/3153384
770.24/766.91	c cleaning 79017 clauses out of 158059 with flag 30068573/3233384
795.33/791.95	c cleaning 80008 clauses out of 160042 with flag 30841612/3314384
823.39/819.95	c cleaning 81013 clauses out of 162040 with flag 31588150/3396390
845.67/842.11	c cleaning 81998 clauses out of 164023 with flag 32367125/3479386
883.26/879.69	c cleaning 82996 clauses out of 166023 with flag 33185478/3563384
920.06/916.30	c cleaning 83998 clauses out of 168026 with flag 34073208/3648383
948.59/944.78	c cleaning 85000 clauses out of 170028 with flag 35083045/3734383
983.52/979.54	c cleaning 86000 clauses out of 172028 with flag 36115216/3821383
1021.96/1017.80	c cleaning 87000 clauses out of 174031 with flag 37193213/3909386
1052.16/1047.99	c cleaning 87993 clauses out of 176030 with flag 38187245/3998385
1100.45/1096.18	c cleaning 88992 clauses out of 178036 with flag 39122257/4088384
1136.45/1132.04	c cleaning 90002 clauses out of 180044 with flag 40070699/4179384
1171.04/1166.51	c cleaning 91000 clauses out of 182041 with flag 40996579/4271383
1209.02/1204.47	c cleaning 92003 clauses out of 184042 with flag 41917043/4364384
1262.68/1258.01	c cleaning 92997 clauses out of 186040 with flag 42989893/4458385
1282.23/1277.52	c cleaning 93994 clauses out of 188041 with flag 43932923/4553383
1302.31/1297.51	c cleaning 94964 clauses out of 190047 with flag 44925492/4649383
1330.20/1325.34	c cleaning 96031 clauses out of 192083 with flag 45883378/4746383
1370.23/1365.25	c cleaning 97015 clauses out of 194056 with flag 46921226/4844387
1417.65/1412.58	c cleaning 98006 clauses out of 196042 with flag 47928240/4943388
1465.06/1459.83	c cleaning 99002 clauses out of 198032 with flag 48993076/5043384
1506.78/1501.49	c cleaning 100006 clauses out of 200031 with flag 50072420/5144385
1537.45/1532.05	c cleaning 100974 clauses out of 202026 with flag 51518767/5246386
1576.24/1570.76	c cleaning 102007 clauses out of 204054 with flag 52731861/5349388
1617.16/1611.50	c cleaning 103003 clauses out of 206044 with flag 53946225/5453385
1654.89/1649.19	c cleaning 104006 clauses out of 208040 with flag 55039993/5558384
1709.11/1703.20	c cleaning 105002 clauses out of 210034 with flag 56105887/5664384
1764.64/1758.65	c cleaning 105997 clauses out of 212031 with flag 57305291/5771383
1800.08/1793.91	c starts		: 282
1800.08/1793.91	c conflicts		: 5847629
1800.08/1793.91	c decisions		: 7032119
1800.08/1793.91	c propagations		: 140288739
1800.08/1793.91	c inspects		: 24134595390
1800.08/1793.91	c shortcuts		: 0
1800.08/1793.91	c learnt literals	: 0
1800.08/1793.91	c learnt binary clauses	: 0
1800.08/1793.91	c learnt ternary clauses	: 0
1800.08/1793.91	c learnt constraints	: 5847629
1800.08/1793.91	c ignored constraints	: 0
1800.08/1793.91	c root simplifications	: 0
1800.08/1793.91	c removed literals (reason simplification)	: 0
1800.08/1793.91	c reason swapping (by a shorter reason)	: 0
1800.08/1793.91	c Calls to reduceDB	: 103
1800.08/1793.91	c Number of update (reduction) of LBD	: 3614860
1800.08/1793.91	c number of reductions to clauses (during analyze)	: 0
1800.08/1793.91	c number of learned constraints concerned by reduction	: 0
1800.08/1793.91	c number of learning phase by resolution	: 0
1800.08/1793.91	c number of learning phase by cutting planes	: 0
1800.08/1793.91	c speed (assignments/second)	: 78222.44110403415
1800.08/1793.91	c non guided choices	16000
1800.08/1793.95	c learnt constraints type 
1800.08/1793.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 182329
1800.08/1793.95	c constraints type 
1800.08/1793.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
1800.08/1793.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 17
1800.08/1793.95	c ignored satisfied constraints => 1
1800.08/1793.95	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
1800.08/1793.95	c 72 constraints processed.
1800.08/1793.95	s SATISFIABLE
1800.08/1793.95	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 
1800.08/1793.95	c objective function=49
1800.08/1793.95	c Total wall clock time (in seconds): 1793.554

Verifier Data 

OK	49

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

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: 0.95 1.13 1.61 3/175 16362
/proc/meminfo: memFree=31617072/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/16362/stat : 16362 (java) D 16360 16362 14287 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 291003746 278528 34 33554432000 1073741824 1073778376 140736087936896 140736087934072 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/16362/statm: 68 34 25 9 0 25 0

[startup+0.0908979 s]
/proc/loadavg: 0.95 1.13 1.61 3/175 16362
/proc/meminfo: memFree=31617072/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16362/stat : 16362 (java) D 16360 16362 14287 0 -1 4202496 1040 0 10 0 0 0 0 0 20 0 1 0 291003746 23793664 777 33554432000 1073741824 1073778376 140735131503376 140735131493368 139894673504736 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 5 0 0
/proc/16362/statm: 5809 777 574 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.100226 s]
/proc/loadavg: 0.95 1.13 1.61 3/175 16362
/proc/meminfo: memFree=31617072/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16362/stat : 16362 (java) R 16360 16362 14287 0 -1 4202496 1066 0 12 0 0 0 0 0 20 0 1 0 291003746 23793664 805 33554432000 1073741824 1073778376 140735131503376 140735131493368 139894675911440 0 0 4096 0 0 0 0 17 7 0 0 6 0 0
/proc/16362/statm: 5809 805 599 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.300247 s]
/proc/loadavg: 0.95 1.13 1.61 3/175 16362
/proc/meminfo: memFree=31617072/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 3206 0 22 0 4 1 0 0 20 0 18 0 291003746 9787817984 3924 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2389604 3924 1755 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558416

[startup+0.700219 s]
/proc/loadavg: 0.95 1.13 1.61 3/175 16362
/proc/meminfo: memFree=31617072/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 6542 0 24 0 69 2 0 0 20 0 19 0 291003746 9855979520 7396 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2406245 7396 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 9624980

[startup+1.50071 s]
/proc/loadavg: 0.95 1.13 1.61 4/213 16400
/proc/meminfo: memFree=31538236/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9624980 CPUtime=1.58 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 6744 0 24 0 155 3 0 0 20 0 19 0 291003746 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2406245 11551 2266 9 0 2396937 0
[pid=16362/tid=16366] ppid=16360 vsize=9624980 CPUtime=1.18 cores=1,3,5,7
/proc/16362/task/16366/stat : 16366 (java) R 16360 16362 14287 0 -1 4202560 2511 0 7 0 116 2 0 0 20 0 19 0 291003758 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894670266656 139894542251421 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=16362/tid=16367] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16367/stat : 16367 (java) S 16360 16362 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894514248488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16368] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16368/stat : 16368 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894513195688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16370] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16370/stat : 16370 (java) S 16360 16362 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894512143400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16372] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16372/stat : 16372 (java) S 16360 16362 14287 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894511090600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16375] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16375/stat : 16375 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894510037288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16377] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16377/stat : 16377 (java) S 16360 16362 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894508984488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16379] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16379/stat : 16379 (java) S 16360 16362 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894507932200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16382] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16382/stat : 16382 (java) S 16360 16362 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894506879400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16384] ppid=16360 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16362/task/16384/stat : 16384 (java) S 16360 16362 14287 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 291003767 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894494468840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16386] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16386/stat : 16386 (java) S 16360 16362 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894493414904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16388] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16388/stat : 16388 (java) S 16360 16362 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894492362504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16389] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16389/stat : 16389 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894491310992 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16391] ppid=16360 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/16362/task/16391/stat : 16391 (java) S 16360 16362 14287 0 -1 4202560 1136 0 1 0 15 0 0 0 20 0 19 0 291003775 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894490257592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16392] ppid=16360 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16362/task/16392/stat : 16392 (java) S 16360 16362 14287 0 -1 4202560 1866 0 1 0 17 0 0 0 20 0 19 0 291003775 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894489204792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16394] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16394/stat : 16394 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894488152696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16397] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16397/stat : 16397 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003776 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894487100104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16400] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16400/stat : 16400 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003792 9855979520 11551 33554432000 1073741824 1073778376 140735131503376 139894486046120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9624980

[startup+3.10062 s]
/proc/loadavg: 0.95 1.13 1.61 4/213 16400
/proc/meminfo: memFree=31529240/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9624980 CPUtime=3.28 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 7730 0 24 0 324 4 0 0 20 0 19 0 291003746 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2406245 13618 2268 9 0 2396937 0
[pid=16362/tid=16366] ppid=16360 vsize=9624980 CPUtime=2.72 cores=1,3,5,7
/proc/16362/task/16366/stat : 16366 (java) R 16360 16362 14287 0 -1 4202560 2512 0 7 0 270 2 0 0 20 0 19 0 291003758 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894670266656 139894542285680 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=16362/tid=16367] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16367/stat : 16367 (java) S 16360 16362 14287 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894514248488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16368] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16368/stat : 16368 (java) S 16360 16362 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894513195688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16370] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16370/stat : 16370 (java) S 16360 16362 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894512143400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16372] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16372/stat : 16372 (java) S 16360 16362 14287 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894511090600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16375] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16375/stat : 16375 (java) S 16360 16362 14287 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894510037288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16377] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16377/stat : 16377 (java) S 16360 16362 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894508984488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16379] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16379/stat : 16379 (java) S 16360 16362 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894507932200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16382] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16382/stat : 16382 (java) S 16360 16362 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894506879400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16384] ppid=16360 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/16362/task/16384/stat : 16384 (java) S 16360 16362 14287 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 291003767 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894494468840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16386] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16386/stat : 16386 (java) S 16360 16362 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894493414904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16388] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16388/stat : 16388 (java) S 16360 16362 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894492362504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16389] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16389/stat : 16389 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894491310992 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16391] ppid=16360 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16362/task/16391/stat : 16391 (java) S 16360 16362 14287 0 -1 4202560 1139 0 1 0 16 0 0 0 20 0 19 0 291003775 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894490257592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16392] ppid=16360 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16362/task/16392/stat : 16392 (java) S 16360 16362 14287 0 -1 4202560 2829 0 1 0 25 0 0 0 20 0 19 0 291003775 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894489204792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16394] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16394/stat : 16394 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894488152696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16397] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16397/stat : 16397 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003776 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894487100104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16400] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16400/stat : 16400 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003792 9855979520 13618 33554432000 1073741824 1073778376 140735131503376 139894486046120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 9624980

[startup+6.30062 s]
/proc/loadavg: 0.95 1.13 1.61 4/213 16400
/proc/meminfo: memFree=31513664/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9624980 CPUtime=6.55 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 7750 0 24 0 650 5 0 0 20 0 19 0 291003746 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2406245 14512 2268 9 0 2396937 0
[pid=16362/tid=16366] ppid=16360 vsize=9624980 CPUtime=5.83 cores=1,3,5,7
/proc/16362/task/16366/stat : 16366 (java) R 16360 16362 14287 0 -1 4202560 2516 0 7 0 581 2 0 0 20 0 19 0 291003758 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894670266840 139894542250763 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=16362/tid=16367] ppid=16360 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16362/task/16367/stat : 16367 (java) S 16360 16362 14287 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894514248488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16368] ppid=16360 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16362/task/16368/stat : 16368 (java) S 16360 16362 14287 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894513195688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16370] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16370/stat : 16370 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894512143400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16372] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16372/stat : 16372 (java) S 16360 16362 14287 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894511090600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16375] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16375/stat : 16375 (java) S 16360 16362 14287 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894510037288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16377] ppid=16360 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16362/task/16377/stat : 16377 (java) S 16360 16362 14287 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894508984488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16379] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16379/stat : 16379 (java) S 16360 16362 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894507932200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16382] ppid=16360 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16362/task/16382/stat : 16382 (java) S 16360 16362 14287 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291003763 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894506879400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16384] ppid=16360 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/16362/task/16384/stat : 16384 (java) S 16360 16362 14287 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 19 0 291003767 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894494468840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16386] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16386/stat : 16386 (java) S 16360 16362 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894493414904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16388] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16388/stat : 16388 (java) S 16360 16362 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894492362504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16389] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16389/stat : 16389 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894491310992 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16391] ppid=16360 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16362/task/16391/stat : 16391 (java) S 16360 16362 14287 0 -1 4202560 1139 0 1 0 16 0 0 0 20 0 19 0 291003775 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894490257592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16392] ppid=16360 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16362/task/16392/stat : 16392 (java) S 16360 16362 14287 0 -1 4202560 2829 0 1 0 25 0 0 0 20 0 19 0 291003775 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894489204792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16394] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16394/stat : 16394 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894488152696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16397] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16397/stat : 16397 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003776 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894487100104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16400] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16400/stat : 16400 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003792 9855979520 14512 33554432000 1073741824 1073778376 140735131503376 139894486046120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=16362/tid=16391] ppid=16360 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16362/task/16391/stat : 16391 (java) S 16360 16362 14287 0 -1 4202560 1139 0 1 0 16 0 0 0 20 0 19 0 291003775 9855979520 73622 33554432000 1073741824 1073778376 140735131503376 139894490257592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16392] ppid=16360 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/16362/task/16392/stat : 16392 (java) S 16360 16362 14287 0 -1 4202560 2852 0 1 0 27 0 0 0 20 0 19 0 291003775 9855979520 73622 33554432000 1073741824 1073778376 140735131503376 139894489204792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16394] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16394/stat : 16394 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 73622 33554432000 1073741824 1073778376 140735131503376 139894488152696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16397] ppid=16360 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/16362/task/16397/stat : 16397 (java) S 16360 16362 14287 0 -1 4202560 99 0 0 0 38 34 0 0 20 0 19 0 291003776 9855979520 73622 33554432000 1073741824 1073778376 140735131503376 139894487100104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16400] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16400/stat : 16400 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003792 9855979520 73622 33554432000 1073741824 1073778376 140735131503376 139894486046120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.33
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 16496
/proc/meminfo: memFree=30537468/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9624980 CPUtime=1788.47 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 10171 0 24 0 178765 82 0 0 20 0 19 0 291003746 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2406245 73626 2269 9 0 2396937 0
[pid=16362/tid=16366] ppid=16360 vsize=9624980 CPUtime=1768.99 cores=1,3,5,7
/proc/16362/task/16366/stat : 16366 (java) R 16360 16362 14287 0 -1 4202560 2638 0 7 0 176868 31 0 0 20 0 19 0 291003758 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894670266656 139894542307319 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=16362/tid=16367] ppid=16360 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/16362/task/16367/stat : 16367 (java) S 16360 16362 14287 0 -1 4202560 305 0 0 0 98 4 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894514248488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16368] ppid=16360 vsize=9624980 CPUtime=0.97 cores=1,3,5,7
/proc/16362/task/16368/stat : 16368 (java) S 16360 16362 14287 0 -1 4202560 151 0 0 0 94 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894513195688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16370] ppid=16360 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/16362/task/16370/stat : 16370 (java) S 16360 16362 14287 0 -1 4202560 148 0 0 0 96 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894512143400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16372] ppid=16360 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/16362/task/16372/stat : 16372 (java) S 16360 16362 14287 0 -1 4202560 322 0 0 0 95 4 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894511090600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16375] ppid=16360 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/16362/task/16375/stat : 16375 (java) S 16360 16362 14287 0 -1 4202560 238 0 0 0 87 2 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894510037288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16377] ppid=16360 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/16362/task/16377/stat : 16377 (java) S 16360 16362 14287 0 -1 4202560 295 0 0 0 100 2 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894508984488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16379] ppid=16360 vsize=9624980 CPUtime=0.91 cores=1,3,5,7
/proc/16362/task/16379/stat : 16379 (java) S 16360 16362 14287 0 -1 4202560 374 0 0 0 88 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894507932200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16382] ppid=16360 vsize=9624980 CPUtime=0.95 cores=1,3,5,7
/proc/16362/task/16382/stat : 16382 (java) S 16360 16362 14287 0 -1 4202560 278 0 0 0 92 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894506879400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16384] ppid=16360 vsize=9624980 CPUtime=5.77 cores=1,3,5,7
/proc/16362/task/16384/stat : 16384 (java) S 16360 16362 14287 0 -1 4202560 162 0 0 0 575 2 0 0 20 0 19 0 291003767 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894494468840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16386] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16386/stat : 16386 (java) S 16360 16362 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894493414904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16388] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16388/stat : 16388 (java) S 16360 16362 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894492362504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16389] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16389/stat : 16389 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894491310992 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16391] ppid=16360 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16362/task/16391/stat : 16391 (java) S 16360 16362 14287 0 -1 4202560 1139 0 1 0 16 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894490257592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16392] ppid=16360 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/16362/task/16392/stat : 16392 (java) S 16360 16362 14287 0 -1 4202560 2852 0 1 0 27 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894489204792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16394] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16394/stat : 16394 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894488152696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16397] ppid=16360 vsize=9624980 CPUtime=0.76 cores=1,3,5,7
/proc/16362/task/16397/stat : 16397 (java) S 16360 16362 14287 0 -1 4202560 103 0 0 0 39 37 0 0 20 0 19 0 291003776 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894487100104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16400] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16400/stat : 16400 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003792 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894486046120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 16496
/proc/meminfo: memFree=30537592/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 10171 0 24 0 179926 82 0 0 20 0 19 0 291003746 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2406245 73626 2269 9 0 2396937 0
[pid=16362/tid=16366] ppid=16360 vsize=9624980 CPUtime=1780.57 cores=1,3,5,7
/proc/16362/task/16366/stat : 16366 (java) R 16360 16362 14287 0 -1 4202560 2638 0 7 0 178025 32 0 0 20 0 19 0 291003758 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894670266656 139894542307632 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=16362/tid=16367] ppid=16360 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/16362/task/16367/stat : 16367 (java) S 16360 16362 14287 0 -1 4202560 305 0 0 0 98 4 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894514248488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16368] ppid=16360 vsize=9624980 CPUtime=0.97 cores=1,3,5,7
/proc/16362/task/16368/stat : 16368 (java) S 16360 16362 14287 0 -1 4202560 151 0 0 0 94 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894513195688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16370] ppid=16360 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/16362/task/16370/stat : 16370 (java) S 16360 16362 14287 0 -1 4202560 148 0 0 0 96 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894512143400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16372] ppid=16360 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/16362/task/16372/stat : 16372 (java) S 16360 16362 14287 0 -1 4202560 322 0 0 0 95 4 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894511090600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16375] ppid=16360 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/16362/task/16375/stat : 16375 (java) S 16360 16362 14287 0 -1 4202560 238 0 0 0 87 2 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894510037288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16377] ppid=16360 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/16362/task/16377/stat : 16377 (java) S 16360 16362 14287 0 -1 4202560 295 0 0 0 100 2 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894508984488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16379] ppid=16360 vsize=9624980 CPUtime=0.91 cores=1,3,5,7
/proc/16362/task/16379/stat : 16379 (java) S 16360 16362 14287 0 -1 4202560 374 0 0 0 88 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894507932200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16382] ppid=16360 vsize=9624980 CPUtime=0.95 cores=1,3,5,7
/proc/16362/task/16382/stat : 16382 (java) S 16360 16362 14287 0 -1 4202560 278 0 0 0 92 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894506879400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16384] ppid=16360 vsize=9624980 CPUtime=5.77 cores=1,3,5,7
/proc/16362/task/16384/stat : 16384 (java) S 16360 16362 14287 0 -1 4202560 162 0 0 0 575 2 0 0 20 0 19 0 291003767 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894494468840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16386] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16386/stat : 16386 (java) S 16360 16362 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894493414904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16388] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16388/stat : 16388 (java) S 16360 16362 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894492362504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16389] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16389/stat : 16389 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894491310992 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16391] ppid=16360 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16362/task/16391/stat : 16391 (java) S 16360 16362 14287 0 -1 4202560 1139 0 1 0 16 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894490257592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16392] ppid=16360 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/16362/task/16392/stat : 16392 (java) S 16360 16362 14287 0 -1 4202560 2852 0 1 0 27 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894489204792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16394] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16394/stat : 16394 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894488152696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16397] ppid=16360 vsize=9624980 CPUtime=0.77 cores=1,3,5,7
/proc/16362/task/16397/stat : 16397 (java) S 16360 16362 14287 0 -1 4202560 103 0 0 0 39 38 0 0 20 0 19 0 291003776 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894487100104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16400] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16400/stat : 16400 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003792 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894486046120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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

[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 16496
/proc/meminfo: memFree=30537592/32873844 swapFree=7632/7632
[pid=16362] ppid=16360 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/16362/stat : 16362 (java) S 16360 16362 14287 0 -1 4202496 10171 0 24 0 179926 82 0 0 20 0 19 0 291003746 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 140735131494512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/16362/statm: 2406245 73626 2269 9 0 2396937 0
[pid=16362/tid=16366] ppid=16360 vsize=9624980 CPUtime=1780.57 cores=1,3,5,7
/proc/16362/task/16366/stat : 16366 (java) R 16360 16362 14287 0 -1 4202560 2638 0 7 0 178025 32 0 0 20 0 19 0 291003758 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894670266656 139894542307632 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=16362/tid=16367] ppid=16360 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/16362/task/16367/stat : 16367 (java) S 16360 16362 14287 0 -1 4202560 305 0 0 0 98 4 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894514248488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16368] ppid=16360 vsize=9624980 CPUtime=0.97 cores=1,3,5,7
/proc/16362/task/16368/stat : 16368 (java) S 16360 16362 14287 0 -1 4202560 151 0 0 0 94 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894513195688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16370] ppid=16360 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/16362/task/16370/stat : 16370 (java) S 16360 16362 14287 0 -1 4202560 148 0 0 0 96 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894512143400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16372] ppid=16360 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/16362/task/16372/stat : 16372 (java) S 16360 16362 14287 0 -1 4202560 322 0 0 0 95 4 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894511090600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16375] ppid=16360 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/16362/task/16375/stat : 16375 (java) S 16360 16362 14287 0 -1 4202560 238 0 0 0 87 2 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894510037288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16362/tid=16377] ppid=16360 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/16362/task/16377/stat : 16377 (java) S 16360 16362 14287 0 -1 4202560 295 0 0 0 100 2 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894508984488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16379] ppid=16360 vsize=9624980 CPUtime=0.91 cores=1,3,5,7
/proc/16362/task/16379/stat : 16379 (java) S 16360 16362 14287 0 -1 4202560 374 0 0 0 88 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894507932200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16382] ppid=16360 vsize=9624980 CPUtime=0.95 cores=1,3,5,7
/proc/16362/task/16382/stat : 16382 (java) S 16360 16362 14287 0 -1 4202560 278 0 0 0 92 3 0 0 20 0 19 0 291003763 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894506879400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16384] ppid=16360 vsize=9624980 CPUtime=5.77 cores=1,3,5,7
/proc/16362/task/16384/stat : 16384 (java) S 16360 16362 14287 0 -1 4202560 162 0 0 0 575 2 0 0 20 0 19 0 291003767 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894494468840 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16386] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16386/stat : 16386 (java) S 16360 16362 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894493414904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16388] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16388/stat : 16388 (java) S 16360 16362 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291003769 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894492362504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16389] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16389/stat : 16389 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894491310992 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16391] ppid=16360 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16362/task/16391/stat : 16391 (java) S 16360 16362 14287 0 -1 4202560 1139 0 1 0 16 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894490257592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16392] ppid=16360 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/16362/task/16392/stat : 16392 (java) S 16360 16362 14287 0 -1 4202560 2852 0 1 0 27 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894489204792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16362/tid=16394] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16394/stat : 16394 (java) S 16360 16362 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291003775 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894488152696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16362/tid=16397] ppid=16360 vsize=9624980 CPUtime=0.77 cores=1,3,5,7
/proc/16362/task/16397/stat : 16397 (java) S 16360 16362 14287 0 -1 4202560 103 0 0 0 39 38 0 0 20 0 19 0 291003776 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894487100104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16362/tid=16400] ppid=16360 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16362/task/16400/stat : 16400 (java) S 16360 16362 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291003792 9855979520 73626 33554432000 1073741824 1073778376 140735131503376 139894486046120 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16362 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=538188
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=106831
# CPU time returned by wait4() is 1795.65
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.96
CPU time (s): 1800.08
CPU user time (s): 1799.26
CPU system time (s): 0.82
CPU usage (%): 100.341
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.54
system time used= 1.10683
maximum resident set size= 294904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10299
page faults= 24
swaps= 0
block input operations= 9704
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40963
involuntary context switches= 32409

runsolver used 6.41103 second user time and 15.7036 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-29 01:46:21
IDJOB=3718059
IDBENCH=78684
IDSOLVER=2301
FILE ID=node130/3718059-1338248781
RUNJOBID= node130-1338248781-16336
PBS_JOBID= 14624629
Free space on /tmp= 71472 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718059-1338248781/watcher-3718059-1338248781 -o /tmp/evaluation-result-3718059-1338248781/solver-3718059-1338248781 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718059-1338248781.wbo

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

MD5SUM BENCH= cf0241dbee717fce31205c3d6c127ed0
RANDOM SEED=244381359

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31618492 kB
Buffers:          299192 kB
Cached:           112464 kB
SwapCached:         4176 kB
Active:           393004 kB
Inactive:          28672 kB
Active(anon):       1612 kB
Inactive(anon):     9240 kB
Active(file):     391392 kB
Inactive(file):    19432 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099920 kB
Dirty:               796 kB
Writeback:            16 kB
AnonPages:         13240 kB
Mapped:             8612 kB
Shmem:                 8 kB
Slab:             692848 kB
SReclaimable:     134684 kB
SUnreclaim:       558164 kB
KernelStack:        1392 kB
PageTables:         3536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     106600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71472 MiB
End job on node130 at 2012-05-29 02:16:17