Trace number 3717869

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-28OPTIMUM 239.03 234.277

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
academics/normalized-slangford-3-11_wcsp.wbo
MD5SUM6f58e736787ec730241fe31cbfb7f2ba
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark54
Best CPU time to get the best result obtained on this benchmark239.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints53185
Number of soft constraints53152
Number of constraints which are clauses53152
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 976
Min constraint cost 1
Max constraint cost 976
Sum of constraints costs 37740146
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.2.v20120528
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5f934ad
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3717869-1338254584.wbo
0.10/0.10	c reading problem ... 
1.31/0.74	c ... done. Wall clock time 0.644s.
1.31/0.74	c declared #vars     1089
1.31/0.74	c internal #vars     54241
1.31/0.74	c #constraints  53219
1.31/0.74	c constraints type 
1.31/0.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 53185
1.31/0.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 33
1.31/0.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.31/0.74	c 53219 constraints processed.
1.31/0.74	c objective function length is 53152 literals
3.48/2.11	c cleaning 2489 clauses out of 5003 with flag 22003/5003
5.75/3.81	c SATISFIABLE
5.75/3.81	c OPTIMIZING...
5.75/3.81	c Got one! Elapsed wall clock time (in seconds):3.716
5.75/3.81	o 931
6.42/4.30	c cleaning 3887 clauses out of 7790 with flag 6118/10280
8.60/6.50	c cleaning 4891 clauses out of 9902 with flag 48297/16279
12.63/10.44	c cleaning 5962 clauses out of 12010 with flag 116606/23278
16.22/13.94	c cleaning 6961 clauses out of 14049 with flag 200305/31279
17.34/14.69	c Got one! Elapsed wall clock time (in seconds):14.591
17.34/14.69	o 930
17.59/14.82	c Got one! Elapsed wall clock time (in seconds):14.724
17.59/14.82	o 885
17.70/15.00	c Got one! Elapsed wall clock time (in seconds):14.897
17.70/15.00	o 774
20.20/17.49	c cleaning 6304 clauses out of 12745 with flag 43944/36937
22.94/19.66	c Got one! Elapsed wall clock time (in seconds):19.565
22.94/19.66	o 773
27.08/23.72	c cleaning 8223 clauses out of 16548 with flag 75611/47045
27.72/24.39	c Got one! Elapsed wall clock time (in seconds):24.295
27.72/24.39	o 725
28.42/25.03	c Got one! Elapsed wall clock time (in seconds):24.932
28.42/25.03	o 695
29.22/25.89	c Got one! Elapsed wall clock time (in seconds):25.788
29.22/25.89	o 657
30.93/27.52	c cleaning 7218 clauses out of 14469 with flag 34374/53189
32.20/28.71	c Got one! Elapsed wall clock time (in seconds):28.615
32.20/28.71	o 621
32.50/29.06	c Got one! Elapsed wall clock time (in seconds):28.957
32.50/29.06	o 426
33.71/30.23	c Got one! Elapsed wall clock time (in seconds):30.126
33.71/30.23	o 425
35.42/31.93	c cleaning 6670 clauses out of 13398 with flag 26655/59337
37.79/34.24	c Got one! Elapsed wall clock time (in seconds):34.139
37.79/34.24	o 397
37.89/34.34	c Got one! Elapsed wall clock time (in seconds):34.237
37.89/34.34	o 358
37.99/34.50	c Got one! Elapsed wall clock time (in seconds):34.397
37.99/34.50	o 357
38.19/34.63	c Got one! Elapsed wall clock time (in seconds):34.534
38.19/34.63	o 356
39.19/35.70	c cleaning 6447 clauses out of 12918 with flag 37712/65530
43.86/40.24	c cleaning 6144 clauses out of 12465 with flag 126080/71526
47.88/44.29	c cleaning 6569 clauses out of 13313 with flag 308773/78525
51.69/48.09	c Got one! Elapsed wall clock time (in seconds):47.986
51.69/48.09	o 355
52.79/49.15	c Got one! Elapsed wall clock time (in seconds):49.053
52.79/49.15	o 343
53.09/49.44	c Got one! Elapsed wall clock time (in seconds):49.34
53.09/49.44	o 309
53.49/49.87	c Got one! Elapsed wall clock time (in seconds):49.769
53.49/49.87	o 286
53.59/49.96	c Got one! Elapsed wall clock time (in seconds):49.863
53.59/49.96	o 229
53.79/50.10	c Got one! Elapsed wall clock time (in seconds):50.003
53.79/50.10	o 228
54.10/50.49	c Got one! Elapsed wall clock time (in seconds):50.396
54.10/50.49	o 187
55.41/51.78	c Got one! Elapsed wall clock time (in seconds):51.68
55.41/51.78	o 185
56.00/52.30	c cleaning 10699 clauses out of 21420 with flag 36131/93207
56.49/52.67	c Got one! Elapsed wall clock time (in seconds):52.574
56.49/52.67	o 183
57.29/53.46	c Got one! Elapsed wall clock time (in seconds):53.357
57.29/53.46	o 182
60.00/56.12	c Got one! Elapsed wall clock time (in seconds):56.018
60.00/56.12	o 181
60.39/56.52	c cleaning 8435 clauses out of 16893 with flag 34964/99382
63.03/59.11	c Got one! Elapsed wall clock time (in seconds):59.011
63.03/59.11	o 180
63.63/59.79	c cleaning 6844 clauses out of 13726 with flag 61797/104651
66.67/62.76	c cleaning 6367 clauses out of 12882 with flag 230865/110651
67.38/63.42	c Got one! Elapsed wall clock time (in seconds):63.321
67.38/63.42	o 130
68.68/64.70	c Got one! Elapsed wall clock time (in seconds):64.599
68.68/64.70	o 119
69.18/65.23	c Got one! Elapsed wall clock time (in seconds):65.133
69.18/65.23	o 118
69.58/65.61	c cleaning 6608 clauses out of 13254 with flag 30584/117390
70.16/66.14	c Got one! Elapsed wall clock time (in seconds):66.04
70.16/66.14	o 112
72.06/68.01	c cleaning 6193 clauses out of 12496 with flag 117716/123243
72.49/68.48	c Got one! Elapsed wall clock time (in seconds):68.379
72.49/68.48	o 111
73.30/69.30	c Got one! Elapsed wall clock time (in seconds):69.204
73.30/69.30	o 110
74.40/70.36	c cleaning 5985 clauses out of 12030 with flag 69613/128974
75.22/71.10	c Got one! Elapsed wall clock time (in seconds):71.002
75.22/71.10	o 109
76.32/72.21	c Got one! Elapsed wall clock time (in seconds):72.112
76.32/72.21	o 108
76.92/72.88	c cleaning 6072 clauses out of 12188 with flag 54558/135118
77.45/73.39	c Got one! Elapsed wall clock time (in seconds):73.292
77.45/73.39	o 107
78.25/74.18	c Got one! Elapsed wall clock time (in seconds):74.077
78.25/74.18	o 72
78.65/74.60	c Got one! Elapsed wall clock time (in seconds):74.497
78.65/74.60	o 68
79.15/75.04	c Got one! Elapsed wall clock time (in seconds):74.937
79.15/75.04	o 60
79.35/75.25	c Got one! Elapsed wall clock time (in seconds):75.147
79.35/75.25	o 58
79.65/75.50	c Got one! Elapsed wall clock time (in seconds):75.404
79.65/75.50	o 57
79.96/75.90	c cleaning 7191 clauses out of 14386 with flag 25539/143394
80.91/76.71	c Got one! Elapsed wall clock time (in seconds):76.609
80.91/76.71	o 56
81.01/76.87	c Got one! Elapsed wall clock time (in seconds):76.77
81.01/76.87	o 54
82.01/77.89	c cleaning 6493 clauses out of 13028 with flag 61677/149229
84.15/79.94	c cleaning 6252 clauses out of 12536 with flag 176010/155230
86.70/82.45	c cleaning 6592 clauses out of 13280 with flag 308623/162229
89.80/85.55	c cleaning 7319 clauses out of 14690 with flag 463795/170232
93.32/89.08	c cleaning 8140 clauses out of 16366 with flag 655688/179229
97.43/93.18	c cleaning 9080 clauses out of 18224 with flag 862024/189228
102.37/98.02	c cleaning 10057 clauses out of 20141 with flag 1098525/200228
107.80/103.44	c cleaning 11035 clauses out of 22082 with flag 1364414/212228
113.91/109.55	c cleaning 12020 clauses out of 24048 with flag 1690234/225229
121.24/116.81	c cleaning 13004 clauses out of 26027 with flag 2022264/239228
129.18/124.75	c cleaning 14002 clauses out of 28023 with flag 2338286/254228
138.63/134.13	c cleaning 14997 clauses out of 30020 with flag 2710516/270228
148.56/144.05	c cleaning 16000 clauses out of 32022 with flag 3071780/287228
159.31/154.77	c cleaning 17006 clauses out of 34023 with flag 3435959/305229
171.35/166.79	c cleaning 18003 clauses out of 36019 with flag 3864636/324231
185.08/180.46	c cleaning 18998 clauses out of 38010 with flag 4310554/344228
200.31/195.66	c cleaning 19995 clauses out of 40009 with flag 4801057/365228
215.96/211.28	c cleaning 20998 clauses out of 42014 with flag 5255852/387228
234.71/229.94	c cleaning 22006 clauses out of 44017 with flag 5750212/410229
239.03/234.26	c starts		: 175
239.03/234.26	c conflicts		: 417309
239.03/234.26	c decisions		: 1747890
239.03/234.26	c propagations		: 192346123
239.03/234.26	c inspects		: 2032331408
239.03/234.26	c shortcuts		: 0
239.03/234.26	c learnt literals	: 66
239.03/234.26	c learnt binary clauses	: 323
239.03/234.26	c learnt ternary clauses	: 1608
239.03/234.26	c learnt constraints	: 417242
239.03/234.26	c ignored constraints	: 0
239.03/234.26	c root simplifications	: 0
239.03/234.26	c removed literals (reason simplification)	: 0
239.03/234.26	c reason swapping (by a shorter reason)	: 0
239.03/234.26	c Calls to reduceDB	: 40
239.03/234.26	c Number of update (reduction) of LBD	: 232671
239.03/234.26	c number of reductions to clauses (during analyze)	: 0
239.03/234.26	c number of learned constraints concerned by reduction	: 0
239.03/234.26	c number of learning phase by resolution	: 0
239.03/234.26	c number of learning phase by cutting planes	: 0
239.03/234.26	c speed (assignments/second)	: 824030.926951731
239.03/234.26	c non guided choices	37188
239.03/234.26	c learnt constraints type 
239.03/234.26	c constraints type 
239.03/234.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 53185
239.03/234.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 33
239.03/234.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
239.03/234.26	c 53219 constraints processed.
239.03/234.26	s OPTIMUM FOUND
239.03/234.27	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 
239.03/234.27	c objective function=54
239.03/234.27	c Total wall clock time (in seconds): 234.168

Verifier Data 

OK	54

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-3717869-1338254584/watcher-3717869-1338254584 -o /tmp/evaluation-result-3717869-1338254584/solver-3717869-1338254584 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717869-1338254584.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: 2.07 2.02 2.00 3/195 9689
/proc/meminfo: memFree=31673680/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=23172 CPUtime=0 cores=1,3,5,7
/proc/9689/stat : 9689 (java) R 9687 9689 6458 0 -1 4202496 1139 0 0 0 0 0 0 0 20 0 1 0 291583268 23728128 860 33554432000 1073741824 1073778376 140733463382000 140733463371064 213419048176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 6050 866 654 9 0 385 0
[pid=9689/tid=9690] ppid=9687 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 291583269 24780800 867 33554432000 1073741824 1073778376 140733463382000 140733463371064 213419694257 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.042326 s]
/proc/loadavg: 2.07 2.02 2.00 3/195 9689
/proc/meminfo: memFree=31673680/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 3061 0 1 0 2 1 0 0 20 0 13 0 291583268 9446973440 3758 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2306390 3758 1707 9 0 2297091 0
[pid=9689/tid=9690] ppid=9687 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 1880 0 1 0 2 0 0 0 20 0 13 0 291583269 9446973440 3759 33554432000 1073741824 1073778376 140733463382000 139951870501104 139951874632228 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100361 s]
/proc/loadavg: 2.07 2.02 2.00 3/195 9689
/proc/meminfo: memFree=31673680/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 4438 0 1 0 9 1 0 0 20 0 18 0 291583268 9787817984 6099 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2389604 6099 2139 9 0 2380296 0
[pid=9689/tid=9690] ppid=9687 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2429 0 1 0 6 1 0 0 20 0 18 0 291583269 9787817984 6099 33554432000 1073741824 1073778376 140733463382000 139951870494776 139951877656415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300221 s]
/proc/loadavg: 2.07 2.02 2.00 3/195 9689
/proc/meminfo: memFree=31673680/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9558416 CPUtime=0.52 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 5935 0 1 0 50 2 0 0 20 0 18 0 291583268 9787817984 8971 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2389604 8971 2218 9 0 2380296 0
[pid=9689/tid=9690] ppid=9687 vsize=9558416 CPUtime=0.27 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2443 0 1 0 26 1 0 0 20 0 18 0 291583269 9787817984 8971 33554432000 1073741824 1073778376 140733463382000 139951870494776 139951727535911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558416

[startup+0.700357 s]
/proc/loadavg: 2.07 2.02 2.00 3/195 9689
/proc/meminfo: memFree=31673680/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9558416 CPUtime=1.31 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 9851 0 1 0 124 7 0 0 20 0 18 0 291583268 9787817984 46163 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2389604 46163 2259 9 0 2380296 0
[pid=9689/tid=9690] ppid=9687 vsize=9558416 CPUtime=0.63 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2512 0 1 0 60 3 0 0 20 0 18 0 291583269 9787817984 46163 33554432000 1073741824 1073778376 140733463382000 139951870504248 139951728105047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9558416

[startup+1.50076 s]
/proc/loadavg: 2.07 2.02 2.00 5/214 9708
/proc/meminfo: memFree=31494984/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9624980 CPUtime=2.82 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 13889 0 1 0 273 9 0 0 20 0 19 0 291583268 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2406245 47504 2269 9 0 2396937 0
[pid=9689/tid=9690] ppid=9687 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2515 0 1 0 140 4 0 0 20 0 19 0 291583269 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951870505416 139951728322048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9692] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9692/stat : 9692 (java) S 9687 9689 6458 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951848606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9693] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9693/stat : 9693 (java) S 9687 9689 6458 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951847554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9694] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9694/stat : 9694 (java) S 9687 9689 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951846501032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9695] ppid=9687 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/9689/task/9695/stat : 9695 (java) S 9687 9689 6458 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951509334824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9696] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9696/stat : 9696 (java) S 9687 9689 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951508281768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9697] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9697/stat : 9697 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951507229224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9698] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9698/stat : 9698 (java) S 9687 9689 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951506176168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9699] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9699/stat : 9699 (java) S 9687 9689 6458 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291583270 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951505123624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9700] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9700/stat : 9700 (java) S 9687 9689 6458 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951492926312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9701] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9701/stat : 9701 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951491872632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9702] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9702/stat : 9702 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951490819464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9703] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9703/stat : 9703 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951489768208 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9704] ppid=9687 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/9689/task/9704/stat : 9704 (java) S 9687 9689 6458 0 -1 4202560 4816 0 0 0 56 0 0 0 20 0 19 0 291583273 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951488715064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9705] ppid=9687 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/9689/task/9705/stat : 9705 (java) S 9687 9689 6458 0 -1 4202560 5228 0 0 0 61 1 0 0 20 0 19 0 291583273 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951487662520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9706] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9706/stat : 9706 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951486609656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9707] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9707/stat : 9707 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951485557320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9708] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9708/stat : 9708 (java) S 9687 9689 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291583353 9855979520 47504 33554432000 1073741824 1073778376 140733463382000 139951484466728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 9624980

[startup+3.10072 s]
/proc/loadavg: 2.07 2.02 2.00 5/214 9708
/proc/meminfo: memFree=31491628/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9624980 CPUtime=5.04 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 20049 0 1 0 489 15 0 0 20 0 19 0 291583268 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2406245 64286 2282 9 0 2396937 0
[pid=9689/tid=9690] ppid=9687 vsize=9624980 CPUtime=2.91 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2517 0 1 0 287 4 0 0 20 0 19 0 291583269 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951870505248 139951728275360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9692] ppid=9687 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/9689/task/9692/stat : 9692 (java) S 9687 9689 6458 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951848606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9693] ppid=9687 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/9689/task/9693/stat : 9693 (java) S 9687 9689 6458 0 -1 4202560 91 0 0 0 2 0 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951847554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9694] ppid=9687 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/9689/task/9694/stat : 9694 (java) S 9687 9689 6458 0 -1 4202560 101 0 0 0 2 2 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951846501032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9695] ppid=9687 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/9689/task/9695/stat : 9695 (java) S 9687 9689 6458 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951509334824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9696] ppid=9687 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/9689/task/9696/stat : 9696 (java) S 9687 9689 6458 0 -1 4202560 92 0 0 0 2 0 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951508281768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9697] ppid=9687 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/9689/task/9697/stat : 9697 (java) S 9687 9689 6458 0 -1 4202560 117 0 0 0 2 0 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951507229224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9698] ppid=9687 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/9689/task/9698/stat : 9698 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951506176168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9699] ppid=9687 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/9689/task/9699/stat : 9699 (java) S 9687 9689 6458 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 291583270 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951505123624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9700] ppid=9687 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/9689/task/9700/stat : 9700 (java) S 9687 9689 6458 0 -1 4202560 103 0 0 0 7 0 0 0 20 0 19 0 291583271 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951492926312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9701] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9701/stat : 9701 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951491872632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9702] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9702/stat : 9702 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951490819464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9703] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9703/stat : 9703 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951489768208 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9704] ppid=9687 vsize=9624980 CPUtime=1.06 cores=1,3,5,7
/proc/9689/task/9704/stat : 9704 (java) S 9687 9689 6458 0 -1 4202560 10514 0 0 0 104 2 0 0 20 0 19 0 291583273 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951488715064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9705] ppid=9687 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/9689/task/9705/stat : 9705 (java) S 9687 9689 6458 0 -1 4202560 5231 0 0 0 62 1 0 0 20 0 19 0 291583273 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951487662520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9706] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9706/stat : 9706 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951486609656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9707] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9707/stat : 9707 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951485557320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9708] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9708/stat : 9708 (java) S 9687 9689 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291583353 9855979520 64286 33554432000 1073741824 1073778376 140733463382000 139951484466728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 9624980

[startup+6.3007 s]
/proc/loadavg: 2.06 2.02 2.00 3/214 9708
/proc/meminfo: memFree=31404268/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9624980 CPUtime=8.5 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 20203 0 1 0 833 17 0 0 20 0 19 0 291583268 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2406245 69223 2282 9 0 2396937 0
[pid=9689/tid=9690] ppid=9687 vsize=9624980 CPUtime=5.97 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2519 0 1 0 593 4 0 0 20 0 19 0 291583269 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951870505160 139951728322464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9692] ppid=9687 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/9689/task/9692/stat : 9692 (java) S 9687 9689 6458 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951848606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9693] ppid=9687 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/9689/task/9693/stat : 9693 (java) S 9687 9689 6458 0 -1 4202560 98 0 0 0 2 1 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951847554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9694] ppid=9687 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/9689/task/9694/stat : 9694 (java) S 9687 9689 6458 0 -1 4202560 108 0 0 0 4 3 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951846501032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9695] ppid=9687 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/9689/task/9695/stat : 9695 (java) S 9687 9689 6458 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951509334824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9696] ppid=9687 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/9689/task/9696/stat : 9696 (java) S 9687 9689 6458 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951508281768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9697] ppid=9687 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/9689/task/9697/stat : 9697 (java) S 9687 9689 6458 0 -1 4202560 122 0 0 0 2 1 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951507229224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9698] ppid=9687 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/9689/task/9698/stat : 9698 (java) S 9687 9689 6458 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951506176168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9699] ppid=9687 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/9689/task/9699/stat : 9699 (java) S 9687 9689 6458 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 19 0 291583270 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951505123624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9700] ppid=9687 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/9689/task/9700/stat : 9700 (java) S 9687 9689 6458 0 -1 4202560 107 0 0 0 17 0 0 0 20 0 19 0 291583271 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951492926312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9701] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9701/stat : 9701 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951491872632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9702] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9702/stat : 9702 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951490819464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9703] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9703/stat : 9703 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951489768208 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9704] ppid=9687 vsize=9624980 CPUtime=1.18 cores=1,3,5,7
/proc/9689/task/9704/stat : 9704 (java) S 9687 9689 6458 0 -1 4202560 10632 0 0 0 116 2 0 0 20 0 19 0 291583273 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951488715064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9705] ppid=9687 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/9689/task/9705/stat : 9705 (java) S 9687 9689 6458 0 -1 4202560 5231 0 0 0 69 1 0 0 20 0 19 0 291583273 9855979520 69223 33554432000 1073741824 1073778376 140733463382000 139951487662520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/9689/task/9699/stat : 9699 (java) S 9687 9689 6458 0 -1 4202560 59 0 0 0 27 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951505123624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9700] ppid=9687 vsize=9624980 CPUtime=7.08 cores=1,3,5,7
/proc/9689/task/9700/stat : 9700 (java) S 9687 9689 6458 0 -1 4202560 145 0 0 0 707 1 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951492926312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9701] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9701/stat : 9701 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951491872632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9702] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9702/stat : 9702 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951490819464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9703] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9703/stat : 9703 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951489768208 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9704] ppid=9687 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/9689/task/9704/stat : 9704 (java) S 9687 9689 6458 0 -1 4202560 14297 0 0 0 207 2 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951488715064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9705] ppid=9687 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/9689/task/9705/stat : 9705 (java) S 9687 9689 6458 0 -1 4202560 5241 0 0 0 86 1 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951487662520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9706] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9706/stat : 9706 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951486609656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9707] ppid=9687 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/9689/task/9707/stat : 9707 (java) S 9687 9689 6458 0 -1 4202560 15 0 0 0 4 5 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951485557320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9708] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9708/stat : 9708 (java) S 9687 9689 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291583353 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951484466728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 238.32
Current children cumulated vsize (KiB) 9624980

[startup+233.901 s]
/proc/loadavg: 2.04 2.05 2.01 3/214 10279
/proc/meminfo: memFree=31227636/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9624980 CPUtime=238.72 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 24307 0 1 0 23831 41 0 0 20 0 19 0 291583268 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2406245 102024 2283 9 0 2396937 0
[pid=9689/tid=9690] ppid=9687 vsize=9624980 CPUtime=225.49 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2585 0 1 0 22542 7 0 0 20 0 19 0 291583269 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951870505248 139951728315217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9692] ppid=9687 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/9689/task/9692/stat : 9692 (java) S 9687 9689 6458 0 -1 4202560 54 0 0 0 26 2 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951848606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9693] ppid=9687 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/9689/task/9693/stat : 9693 (java) S 9687 9689 6458 0 -1 4202560 131 0 0 0 24 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951847554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9694] ppid=9687 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/9689/task/9694/stat : 9694 (java) S 9687 9689 6458 0 -1 4202560 160 0 0 0 31 5 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951846501032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9695] ppid=9687 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/9689/task/9695/stat : 9695 (java) S 9687 9689 6458 0 -1 4202560 77 0 0 0 23 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951509334824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9696] ppid=9687 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/9689/task/9696/stat : 9696 (java) S 9687 9689 6458 0 -1 4202560 126 0 0 0 27 2 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951508281768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9697] ppid=9687 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/9689/task/9697/stat : 9697 (java) S 9687 9689 6458 0 -1 4202560 159 0 0 0 21 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951507229224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9698] ppid=9687 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/9689/task/9698/stat : 9698 (java) S 9687 9689 6458 0 -1 4202560 72 0 0 0 23 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951506176168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9699] ppid=9687 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/9689/task/9699/stat : 9699 (java) S 9687 9689 6458 0 -1 4202560 59 0 0 0 27 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951505123624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9700] ppid=9687 vsize=9624980 CPUtime=7.08 cores=1,3,5,7
/proc/9689/task/9700/stat : 9700 (java) S 9687 9689 6458 0 -1 4202560 145 0 0 0 707 1 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951492926312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9701] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9701/stat : 9701 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951491872632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9702] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9702/stat : 9702 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951490819464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9703] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9703/stat : 9703 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951489768208 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9704] ppid=9687 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/9689/task/9704/stat : 9704 (java) S 9687 9689 6458 0 -1 4202560 14297 0 0 0 207 2 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951488715064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9705] ppid=9687 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/9689/task/9705/stat : 9705 (java) S 9687 9689 6458 0 -1 4202560 5241 0 0 0 86 1 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951487662520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9706] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9706/stat : 9706 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951486609656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9707] ppid=9687 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/9689/task/9707/stat : 9707 (java) S 9687 9689 6458 0 -1 4202560 15 0 0 0 4 5 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951485557320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9708] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9708/stat : 9708 (java) S 9687 9689 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291583353 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951484466728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 238.72
Current children cumulated vsize (KiB) 9624980

[startup+234.101 s]
/proc/loadavg: 2.04 2.05 2.01 3/214 10279
/proc/meminfo: memFree=31227636/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9624980 CPUtime=238.92 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 24307 0 1 0 23851 41 0 0 20 0 19 0 291583268 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2406245 102024 2283 9 0 2396937 0
[pid=9689/tid=9690] ppid=9687 vsize=9624980 CPUtime=225.69 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2585 0 1 0 22562 7 0 0 20 0 19 0 291583269 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951870505248 139951727987637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9692] ppid=9687 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/9689/task/9692/stat : 9692 (java) S 9687 9689 6458 0 -1 4202560 54 0 0 0 26 2 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951848606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9693] ppid=9687 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/9689/task/9693/stat : 9693 (java) S 9687 9689 6458 0 -1 4202560 131 0 0 0 24 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951847554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9694] ppid=9687 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/9689/task/9694/stat : 9694 (java) S 9687 9689 6458 0 -1 4202560 160 0 0 0 31 5 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951846501032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9695] ppid=9687 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/9689/task/9695/stat : 9695 (java) S 9687 9689 6458 0 -1 4202560 77 0 0 0 23 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951509334824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9696] ppid=9687 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/9689/task/9696/stat : 9696 (java) S 9687 9689 6458 0 -1 4202560 126 0 0 0 27 2 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951508281768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9697] ppid=9687 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/9689/task/9697/stat : 9697 (java) S 9687 9689 6458 0 -1 4202560 159 0 0 0 21 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951507229224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9698] ppid=9687 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/9689/task/9698/stat : 9698 (java) S 9687 9689 6458 0 -1 4202560 72 0 0 0 23 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951506176168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9699] ppid=9687 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/9689/task/9699/stat : 9699 (java) S 9687 9689 6458 0 -1 4202560 59 0 0 0 27 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951505123624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9700] ppid=9687 vsize=9624980 CPUtime=7.08 cores=1,3,5,7
/proc/9689/task/9700/stat : 9700 (java) S 9687 9689 6458 0 -1 4202560 145 0 0 0 707 1 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951492926312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9701] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9701/stat : 9701 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951491872632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9702] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9702/stat : 9702 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951490819464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9703] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9703/stat : 9703 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951489768208 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9704] ppid=9687 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/9689/task/9704/stat : 9704 (java) S 9687 9689 6458 0 -1 4202560 14297 0 0 0 207 2 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951488715064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9705] ppid=9687 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/9689/task/9705/stat : 9705 (java) S 9687 9689 6458 0 -1 4202560 5241 0 0 0 86 1 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951487662520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9706] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9706/stat : 9706 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951486609656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9707] ppid=9687 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/9689/task/9707/stat : 9707 (java) S 9687 9689 6458 0 -1 4202560 15 0 0 0 4 5 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951485557320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9708] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9708/stat : 9708 (java) S 9687 9689 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291583353 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951484466728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 238.92
Current children cumulated vsize (KiB) 9624980

[startup+234.201 s]
/proc/loadavg: 2.04 2.05 2.01 3/214 10279
/proc/meminfo: memFree=31227636/32873844 swapFree=6608/6608
[pid=9689] ppid=9687 vsize=9624980 CPUtime=239.03 cores=1,3,5,7
/proc/9689/stat : 9689 (java) S 9687 9689 6458 0 -1 4202496 24307 0 1 0 23862 41 0 0 20 0 19 0 291583268 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 140733463373136 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9689/statm: 2406245 102024 2283 9 0 2396937 0
[pid=9689/tid=9690] ppid=9687 vsize=9624980 CPUtime=225.8 cores=1,3,5,7
/proc/9689/task/9690/stat : 9690 (java) R 9687 9689 6458 0 -1 4202560 2585 0 1 0 22573 7 0 0 20 0 19 0 291583269 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951870505248 139951728276171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9692] ppid=9687 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/9689/task/9692/stat : 9692 (java) S 9687 9689 6458 0 -1 4202560 54 0 0 0 26 2 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951848606632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9693] ppid=9687 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/9689/task/9693/stat : 9693 (java) S 9687 9689 6458 0 -1 4202560 131 0 0 0 24 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951847554088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9694] ppid=9687 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/9689/task/9694/stat : 9694 (java) S 9687 9689 6458 0 -1 4202560 160 0 0 0 31 5 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951846501032 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9695] ppid=9687 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/9689/task/9695/stat : 9695 (java) S 9687 9689 6458 0 -1 4202560 77 0 0 0 23 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951509334824 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9696] ppid=9687 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/9689/task/9696/stat : 9696 (java) S 9687 9689 6458 0 -1 4202560 126 0 0 0 27 2 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951508281768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9697] ppid=9687 vsize=9624980 CPUtime=0.24 cores=1,3,5,7
/proc/9689/task/9697/stat : 9697 (java) S 9687 9689 6458 0 -1 4202560 159 0 0 0 21 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951507229224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9698] ppid=9687 vsize=9624980 CPUtime=0.26 cores=1,3,5,7
/proc/9689/task/9698/stat : 9698 (java) S 9687 9689 6458 0 -1 4202560 72 0 0 0 23 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951506176168 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9689/tid=9699] ppid=9687 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/9689/task/9699/stat : 9699 (java) S 9687 9689 6458 0 -1 4202560 59 0 0 0 27 3 0 0 20 0 19 0 291583270 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951505123624 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9700] ppid=9687 vsize=9624980 CPUtime=7.08 cores=1,3,5,7
/proc/9689/task/9700/stat : 9700 (java) S 9687 9689 6458 0 -1 4202560 145 0 0 0 707 1 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951492926312 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9701] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9701/stat : 9701 (java) S 9687 9689 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951491872632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9702] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9702/stat : 9702 (java) S 9687 9689 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291583271 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951490819464 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9703] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9703/stat : 9703 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951489768208 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9704] ppid=9687 vsize=9624980 CPUtime=2.09 cores=1,3,5,7
/proc/9689/task/9704/stat : 9704 (java) S 9687 9689 6458 0 -1 4202560 14297 0 0 0 207 2 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951488715064 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9689/tid=9705] ppid=9687 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/9689/task/9705/stat : 9705 (java) S 9687 9689 6458 0 -1 4202560 5241 0 0 0 86 1 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951487662520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9706] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9706/stat : 9706 (java) S 9687 9689 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951486609656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9689/tid=9707] ppid=9687 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/9689/task/9707/stat : 9707 (java) S 9687 9689 6458 0 -1 4202560 15 0 0 0 4 5 0 0 20 0 19 0 291583273 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951485557320 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9689/tid=9708] ppid=9687 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/9689/task/9708/stat : 9708 (java) S 9687 9689 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291583353 9855979520 102024 33554432000 1073741824 1073778376 140733463382000 139951484466728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 239.03
Current children cumulated vsize (KiB) 9624980

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9689 and gives
#  childrusage.ru_utime.tv_sec=237
#  childrusage.ru_utime.tv_usec=985820
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=531919
# CPU time returned by wait4() is 238.518
# while last known CPU time is 239.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 234.277
CPU time (s): 239.03
CPU user time (s): 238.62
CPU system time (s): 0.41
CPU usage (%): 102.029
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 237.986
system time used= 0.531919
maximum resident set size= 408152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24326
page faults= 1
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6446
involuntary context switches= 4623

runsolver used 0.497924 second user time and 1.20982 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-29 03:23:04
IDJOB=3717869
IDBENCH=79445
IDSOLVER=2301
FILE ID=node140/3717869-1338254584
RUNJOBID= node140-1338248942-8853
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/academics/normalized-slangford-3-11_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717869-1338254584/watcher-3717869-1338254584 -o /tmp/evaluation-result-3717869-1338254584/solver-3717869-1338254584 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3717869-1338254584.wbo

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

MD5SUM BENCH= 6f58e736787ec730241fe31cbfb7f2ba
RANDOM SEED=1065350036

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:        31674440 kB
Buffers:          232880 kB
Cached:            53900 kB
SwapCached:         1668 kB
Active:           317420 kB
Inactive:          27332 kB
Active(anon):      49704 kB
Inactive(anon):    10060 kB
Active(file):     267716 kB
Inactive(file):    17272 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105152 kB
Dirty:              2596 kB
Writeback:             0 kB
AnonPages:        142564 kB
Mapped:            18144 kB
Shmem:                 8 kB
Slab:             714496 kB
SReclaimable:     156404 kB
SUnreclaim:       558092 kB
KernelStack:        1768 kB
PageTables:         4492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 71332 MiB
End job on node140 at 2012-05-29 03:26:59