Trace number 44605

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPSEUDO 2006.2SAT (TO)3604510536234 1800.63 1778.55

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-glass4.opb
MD5SUM9d32bc57adc83bca41f939562e4ccfd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2883605019546
Best CPU time to get the best result obtained on this benchmark1800.98
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1228810444800
Optimality of the best value was proved YES
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
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 (download as text)

0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15	c no version file found!!!
0.15	c sun.arch.data.model	32
0.15	c java.version	1.5.0_06
0.15	c os.name	Linux
0.15	c os.version	2.6.9-34.ELsmp
0.15	c os.arch	i386
0.15	c Free memory 1548419056
0.15	c Max memory 1551040512
0.15	c Total memory 1551040512
0.15	c Number of processors 2
0.21	c Cutting planes based inference
0.21	c --- Begin Solver configuration ---
0.21	c org.sat4j.minisat.uip.FirstUIP@1037c71
0.21	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d
0.21	c org.sat4j.minisat.learning.MiniSATLearning@1546e25
0.21	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.21	c VSIDS like heuristics from MiniSAT using a heap
0.21	c No reason simplification
0.21	c --- End Solver configuration ---
0.21	c solving ROOT/tmp/node76/44605-1149307308/instance-44605-1149307308.opb
0.21	c reading problem ... 
0.94	c ... done. Time 0.731 ms.
0.94	c #vars     780
0.94	c #constraints  441
2.12	c SATISFIABLE
2.12	c OPTIMIZING...
2.12	c Got one! Ellapsed CPU time (in seconds):1.912
2.14	o 1069697524726778
2.68	c Got one! Ellapsed CPU time (in seconds):2.467
2.68	o 1069566444152580
3.23	c Got one! Ellapsed CPU time (in seconds):3.016
3.23	o 1069566444104730
3.83	c Got one! Ellapsed CPU time (in seconds):3.622
3.83	o 1069566373855241
4.45	c Got one! Ellapsed CPU time (in seconds):4.239
4.45	o 1069566372675593
5.09	c Got one! Ellapsed CPU time (in seconds):4.877
5.09	o 1069566369988617
5.75	c Got one! Ellapsed CPU time (in seconds):5.534
5.75	o 1066420644675593
6.41	c Got one! Ellapsed CPU time (in seconds):6.201
6.41	o 536871696284666
7.09	c Got one! Ellapsed CPU time (in seconds):6.883
7.09	o 536871688158202
7.78	c Got one! Ellapsed CPU time (in seconds):7.568
7.78	o 335549441095693
8.56	c Got one! Ellapsed CPU time (in seconds):8.354
8.57	o 67108943495170
9.38	c Got one! Ellapsed CPU time (in seconds):9.171
9.38	o 67108937162606
10.18	c Got one! Ellapsed CPU time (in seconds):9.968
10.18	o 63439661566062
10.97	c Got one! Ellapsed CPU time (in seconds):10.763
10.97	o 63177518789860
11.92	c Got one! Ellapsed CPU time (in seconds):11.707
11.92	o 62980931875834
12.88	c Got one! Ellapsed CPU time (in seconds):12.667
12.88	o 62976853488711
13.88	c Got one! Ellapsed CPU time (in seconds):13.664
13.88	o 62975829849077
14.81	c Got one! Ellapsed CPU time (in seconds):14.602
14.81	o 62975796186071
15.83	c Got one! Ellapsed CPU time (in seconds):15.623
15.83	o 62975793302521
16.84	c Got one! Ellapsed CPU time (in seconds):16.628
16.84	o 62975790848217
17.94	c Got one! Ellapsed CPU time (in seconds):17.73
17.94	o 62975783459518
19.04	c Got one! Ellapsed CPU time (in seconds):18.828
19.04	o 62975780354045
20.16	c Got one! Ellapsed CPU time (in seconds):19.945
20.16	o 62975779149468
21.75	c Got one! Ellapsed CPU time (in seconds):21.536
21.75	o 62975778665980
22.89	c Got one! Ellapsed CPU time (in seconds):22.682
22.89	o 62975778655228
24.08	c Got one! Ellapsed CPU time (in seconds):23.87
24.08	o 62975778655226
25.32	c Got one! Ellapsed CPU time (in seconds):25.107
25.32	o 62975778647034
26.63	c Got one! Ellapsed CPU time (in seconds):26.421
26.63	o 62975778644986
28.05	c Got one! Ellapsed CPU time (in seconds):27.842
28.05	o 62975778634236
29.50	c Got one! Ellapsed CPU time (in seconds):29.294
29.51	o 62975778601628
30.96	c Got one! Ellapsed CPU time (in seconds):30.752
30.96	o 62975778404345
33.33	c Got one! Ellapsed CPU time (in seconds):33.123
33.33	o 62975778358943
34.88	c Got one! Ellapsed CPU time (in seconds):34.672
34.88	o 62975777659885
36.53	c Got one! Ellapsed CPU time (in seconds):36.32
36.53	o 62975777654547
38.20	c Got one! Ellapsed CPU time (in seconds):37.985
38.20	o 62975777440251
39.76	c Got one! Ellapsed CPU time (in seconds):39.552
39.76	o 62975777081342
41.66	c Got one! Ellapsed CPU time (in seconds):41.45
41.66	o 62975777064954
43.74	c Got one! Ellapsed CPU time (in seconds):43.524
43.74	o 62975777048570
45.39	c Got one! Ellapsed CPU time (in seconds):45.176
45.39	o 62975776929276
47.09	c Got one! Ellapsed CPU time (in seconds):46.884
47.10	o 62975776670194
48.85	c Got one! Ellapsed CPU time (in seconds):48.637
48.85	o 62975776623696
50.68	c Got one! Ellapsed CPU time (in seconds):50.465
50.68	o 62975776623114
52.47	c Got one! Ellapsed CPU time (in seconds):52.257
52.47	o 62975776437756
54.76	c Got one! Ellapsed CPU time (in seconds):54.546
54.76	o 62975776405501
57.06	c Got one! Ellapsed CPU time (in seconds):56.853
57.06	o 62975776403453
59.34	c Got one! Ellapsed CPU time (in seconds):59.128
59.34	o 62975776403450
61.55	c Got one! Ellapsed CPU time (in seconds):61.342
61.55	o 62975776402940
63.61	c Got one! Ellapsed CPU time (in seconds):63.404
63.62	o 62975776386930
66.48	c Got one! Ellapsed CPU time (in seconds):66.273
66.48	o 62975776373242
68.56	c Got one! Ellapsed CPU time (in seconds):68.348
68.56	o 62975776356876
71.08	c Got one! Ellapsed CPU time (in seconds):70.871
71.08	o 62975776208893
73.25	c Got one! Ellapsed CPU time (in seconds):73.042
73.25	o 62975776126460
75.66	c Got one! Ellapsed CPU time (in seconds):75.449
75.66	o 62975775946749
78.66	c Got one! Ellapsed CPU time (in seconds):78.45
78.66	o 62975775944805
81.03	c Got one! Ellapsed CPU time (in seconds):80.821
81.03	o 62975775897595
83.36	c Got one! Ellapsed CPU time (in seconds):83.151
83.36	o 62975775878652
85.72	c Got one! Ellapsed CPU time (in seconds):85.507
85.72	o 62975775815677
88.83	c Got one! Ellapsed CPU time (in seconds):88.623
88.83	o 62975775815673
92.18	c Got one! Ellapsed CPU time (in seconds):91.969
92.18	o 62975775733753
95.44	c Got one! Ellapsed CPU time (in seconds):95.23
95.44	o 62975775733739
99.87	c Got one! Ellapsed CPU time (in seconds):99.657
99.87	o 62975775619069
103.51	c Got one! Ellapsed CPU time (in seconds):103.301
103.51	o 62975775585401
106.17	c Got one! Ellapsed CPU time (in seconds):105.96
106.17	o 62975775561725
108.89	c Got one! Ellapsed CPU time (in seconds):108.682
108.89	o 62975768315133
111.65	c Got one! Ellapsed CPU time (in seconds):111.434
111.65	o 62975759911011
114.39	c Got one! Ellapsed CPU time (in seconds):114.176
114.39	o 62975759579133
117.18	c Got one! Ellapsed CPU time (in seconds):116.965
117.18	o 62975759316989
120.02	c Got one! Ellapsed CPU time (in seconds):119.814
120.03	o 62975759169533
134.50	c Got one! Ellapsed CPU time (in seconds):134.29
134.50	o 33554623421612
137.83	c Got one! Ellapsed CPU time (in seconds):137.618
137.83	o 16777261849742
139.67	c Got one! Ellapsed CPU time (in seconds):139.46
139.67	o 14680183531744
142.21	c Got one! Ellapsed CPU time (in seconds):142.003
142.21	o 14680166944127
144.67	c Got one! Ellapsed CPU time (in seconds):144.46
144.67	o 12714090806642
147.31	c Got one! Ellapsed CPU time (in seconds):147.102
147.31	o 12714035661128
150.55	c Got one! Ellapsed CPU time (in seconds):150.342
150.55	o 11534397416205
152.92	c Got one! Ellapsed CPU time (in seconds):152.71
152.92	o 11533443211873
155.36	c Got one! Ellapsed CPU time (in seconds):155.15
155.36	o 11533439890541
157.46	c Got one! Ellapsed CPU time (in seconds):157.254
157.47	o 10682491336589
159.99	c Got one! Ellapsed CPU time (in seconds):159.775
159.99	o 7340080571694
162.15	c Got one! Ellapsed CPU time (in seconds):161.935
162.15	o 7077952149992
166.32	c Got one! Ellapsed CPU time (in seconds):166.105
166.32	o 7077938204095
169.57	c Got one! Ellapsed CPU time (in seconds):169.36
169.57	o 5242909485065
173.68	c Got one! Ellapsed CPU time (in seconds):173.466
173.68	o 5230634728212
174.78	c Got one! Ellapsed CPU time (in seconds):174.57
174.78	o 5230634137907
175.94	c Got one! Ellapsed CPU time (in seconds):175.733
175.94	o 5226549527497
178.66	c Got one! Ellapsed CPU time (in seconds):178.444
178.66	o 5226549508564
183.86	c Got one! Ellapsed CPU time (in seconds):183.649
183.86	o 5111851130215
282.99	c Got one! Ellapsed CPU time (in seconds):282.781
282.99	o 5111826317794
288.82	c Got one! Ellapsed CPU time (in seconds):288.609
288.82	o 4980785479113
295.73	c Got one! Ellapsed CPU time (in seconds):295.516
295.73	o 4980769999882
302.56	c Got one! Ellapsed CPU time (in seconds):302.345
302.56	o 4685860761310
320.22	c Got one! Ellapsed CPU time (in seconds):320.011
320.22	o 4653096972880
324.16	c Got one! Ellapsed CPU time (in seconds):323.945
324.16	o 4653095531536
327.93	c Got one! Ellapsed CPU time (in seconds):327.715
327.93	o 4653092422756
344.27	c Got one! Ellapsed CPU time (in seconds):344.06
344.27	o 4653088872828
352.72	c Got one! Ellapsed CPU time (in seconds):352.508
352.72	o 4653088447029
356.82	c Got one! Ellapsed CPU time (in seconds):356.613
356.82	o 4587550138940
368.77	c Got one! Ellapsed CPU time (in seconds):368.554
368.77	o 4587550102965
375.25	c Got one! Ellapsed CPU time (in seconds):375.036
375.25	o 4522019681111
382.27	c Got one! Ellapsed CPU time (in seconds):382.062
382.27	o 4522015924158
391.36	c Got one! Ellapsed CPU time (in seconds):391.145
391.36	o 3866646368113
397.31	c Got one! Ellapsed CPU time (in seconds):397.096
397.31	o 3670049489846
407.55	c Got one! Ellapsed CPU time (in seconds):407.34
407.55	o 3670048756755
411.02	c Got one! Ellapsed CPU time (in seconds):410.814
411.03	o 3670046520324
414.48	c Got one! Ellapsed CPU time (in seconds):414.271
414.48	o 3670046518294
740.39	c Got one! Ellapsed CPU time (in seconds):740.176
740.39	o 3670036586151
903.17	c Got one! Ellapsed CPU time (in seconds):902.957
903.17	o 3604510909527
915.67	c Got one! Ellapsed CPU time (in seconds):915.463
915.67	o 3604510536234
1778.37	c starts		: 242
1778.37	c conflicts		: 60077
1778.37	c decisions		: 252157
1778.37	c propagations		: 857134
1778.37	c inspects		: 419558029
1778.37	c learnt literals	: 0
1778.37	c learnt binary clauses	: 0
1778.37	c learnt ternary clauses	: 0
1778.37	c learnt clauses	: 60077
1778.37	c root simplifications	: 0
1778.37	c removed literals (reason simplification)	: 0
1778.37	c reason swapping (by a shorter reason)	: 0
1778.37	c Calls to reduceDB	: 0
1778.37	c speed (decisions/second)	: 292.29087553843084
1778.37	c non guided choices	55061
1778.37	s SATISFIABLE
1778.37	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
1778.37	v 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
1778.37	v -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
1778.37	v -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
1778.37	v -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
1778.37	v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163
1778.37	v -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184
1778.37	v x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205
1778.37	v -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 x222 x223 -x224 x225 -x226 -x227
1778.37	v x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248
1778.37	v -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269
1778.37	v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290
1778.37	v -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1778.37	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 x322 x323 x324 x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1778.37	v -x334 -x335 x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 x354 x355
1778.37	v -x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 -x376 -x377 -x378 -x379
1778.37	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 x400
1778.37	v x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421
1778.37	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1778.37	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x460 x461 x462 x463 x464
1778.37	v x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487
1778.37	v -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508
1778.37	v -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529
1778.37	v -x530 x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1778.37	v x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571
1778.37	v -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592
1778.37	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 x612 -x613
1778.37	v -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 x633 -x634
1778.37	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1778.37	v -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676
1778.37	v x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697
1778.37	v -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718
1778.37	v -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739
1778.37	v -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760
1778.37	v -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780
1778.37	c objective function=3604510536234
1778.37	c Total wall clock time (ms): 1778.161

Verifier Data (download as text)

OK	3604510536234

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node76/watcher-44605-1149307308 -o ROOT/results/node76/solver-44605-1149307308 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node76/44605-1149307308/instance-44605-1149307308.opb 99837624 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.99 2/68 27428
/proc/meminfo: memFree=1562432/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=164 CPUtime=0
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 181 0 0 0 0 0 0 0 19 0 1 0 196370221 167936 3 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27428/statm: 42 17 12 14 0 2 0

[startup+10.0024 s]
/proc/loadavg: 0.87 0.97 0.99 2/80 27452
/proc/meminfo: memFree=1372776/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=11.58
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 55144 0 1 0 1133 25 0 0 25 0 13 0 196370221 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071575014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 49199 1911 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=0.22
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 5733 0 0 0 21 1 0 0 16 0 13 0 196370225 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=0.23
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 6756 0 0 0 20 3 0 0 16 0 13 0 196370225 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 196370227 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.91
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 90 1 0 0 17 0 13 0 196370231 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.06
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2470 0 0 0 106 0 0 0 16 0 13 0 196370231 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27452] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27452/stat : 27452 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196371160 1756266496 49199 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (Kb) 1715104

[startup+20.0096 s]
/proc/loadavg: 0.89 0.97 0.99 2/80 27462
/proc/meminfo: memFree=1361704/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=21.68
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 58471 0 1 0 2141 27 0 0 24 0 13 0 196370221 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071555272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 52008 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=0.31
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 7290 0 0 0 29 2 0 0 16 0 13 0 196370225 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=0.31
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 8513 0 0 0 27 4 0 0 16 0 13 0 196370225 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 196370227 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.92
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 91 1 0 0 16 0 13 0 196370231 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.07
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2470 0 0 0 107 0 0 0 17 0 13 0 196370231 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27462] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27462/stat : 27462 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196372126 1756266496 52008 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.68
Current children cumulated vsize (Kb) 1715104

[startup+30.0158 s]
/proc/loadavg: 0.91 0.97 0.99 2/80 27470
/proc/meminfo: memFree=1357408/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=31.75
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 61852 0 1 0 3147 28 0 0 25 0 13 0 196370221 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071502838 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 53010 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=0.39
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 8968 0 0 0 36 3 0 0 16 0 13 0 196370225 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=0.39
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 10206 0 0 0 35 4 0 0 16 0 13 0 196370225 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 196370227 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.92
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 91 1 0 0 16 0 13 0 196370231 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.07
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2470 0 0 0 107 0 0 0 17 0 13 0 196370231 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27470] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27470/stat : 27470 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196373172 1756266496 53010 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.75
Current children cumulated vsize (Kb) 1715104

[startup+40.023 s]
/proc/loadavg: 0.92 0.97 0.99 2/80 27476
/proc/meminfo: memFree=1360088/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=41.84
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 64211 0 1 0 4154 30 0 0 25 0 13 0 196370221 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071510962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 52354 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=0.46
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 10361 0 0 0 43 3 0 0 17 0 13 0 196370225 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=0.47
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 11161 0 0 0 42 5 0 0 16 0 13 0 196370225 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 34 0 0 0 0 0 0 0 17 0 13 0 196370227 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.92
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 91 1 0 0 16 0 13 0 196370231 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.07
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2470 0 0 0 107 0 0 0 17 0 13 0 196370231 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27476] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27476/stat : 27476 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196374198 1756266496 52354 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.84
Current children cumulated vsize (Kb) 1715104

[startup+50.0302 s]
/proc/loadavg: 0.93 0.97 0.99 2/80 27481
/proc/meminfo: memFree=1360912/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=51.91
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 65915 0 1 0 5160 31 0 0 25 0 13 0 196370221 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071594245 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 52147 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=0.54
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 11396 0 0 0 50 4 0 0 16 0 13 0 196370225 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=0.54
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 11821 0 0 0 49 5 0 0 16 0 13 0 196370225 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0.01
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 34 0 0 0 1 0 0 0 17 0 13 0 196370227 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.92
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 91 1 0 0 16 0 13 0 196370231 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.07
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2470 0 0 0 107 0 0 0 17 0 13 0 196370231 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27481] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27481/stat : 27481 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196375107 1756266496 52147 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.91
Current children cumulated vsize (Kb) 1715104

[startup+60.0374 s]
/proc/loadavg: 0.94 0.97 0.99 2/80 27486
/proc/meminfo: memFree=1360904/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=61.99
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 67576 0 1 0 6167 32 0 0 25 0 13 0 196370221 1756266496 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071510816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 52155 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=0.61
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 12020 0 0 0 57 4 0 0 16 0 13 0 196370225 1756266496 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=0.61
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 12847 0 0 0 56 5 0 0 16 0 13 0 196370225 1756266496 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0.01
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 34 0 0 0 1 0 0 0 16 0 13 0 196370227 1756266496 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.98
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 97 1 0 0 17 0 13 0 196370231 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.12
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2472 0 0 0 112 0 0 0 17 0 13 0 196370231 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27548] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27548/stat : 27548 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196461789 1756266496 260304 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (Kb) 1715104

[startup+1775.34 s]
/proc/loadavg: 1.04 1.01 1.00 2/80 27548
/proc/meminfo: memFree=525360/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=1797.35
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 349788 0 1 0 179566 169 0 0 25 0 13 0 196370221 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071500023 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 260479 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=21.44
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 128700 0 0 0 2088 56 0 0 16 0 13 0 196370225 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=21.44
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 130963 0 0 0 2087 57 0 0 17 0 13 0 196370225 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0.31
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 173 0 0 0 18 13 0 0 16 0 13 0 196370227 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.98
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 97 1 0 0 17 0 13 0 196370231 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.12
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2472 0 0 0 112 0 0 0 17 0 13 0 196370231 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27548] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27548/stat : 27548 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196461789 1756266496 260479 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (Kb) 1715104

[startup+1776.35 s]
/proc/loadavg: 1.04 1.01 1.00 2/80 27548
/proc/meminfo: memFree=524592/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=1798.38
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 349985 0 1 0 179669 169 0 0 25 0 13 0 196370221 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071673896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 260660 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=21.47
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 128744 0 0 0 2091 56 0 0 16 0 13 0 196370225 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=21.47
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 131115 0 0 0 2090 57 0 0 17 0 13 0 196370225 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0.31
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 173 0 0 0 18 13 0 0 15 0 13 0 196370227 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.98
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 97 1 0 0 17 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.12
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2472 0 0 0 112 0 0 0 17 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27548] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27548/stat : 27548 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196461789 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (Kb) 1715104

[startup+1777.36 s]
/proc/loadavg: 1.04 1.01 1.00 2/80 27548
/proc/meminfo: memFree=524528/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=1799.39
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 349985 0 1 0 179770 169 0 0 25 0 13 0 196370221 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071536097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 260660 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=21.47
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 128744 0 0 0 2091 56 0 0 16 0 13 0 196370225 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=21.47
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 131115 0 0 0 2090 57 0 0 17 0 13 0 196370225 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0.31
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 173 0 0 0 18 13 0 0 16 0 13 0 196370227 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.98
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 97 1 0 0 17 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.12
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2472 0 0 0 112 0 0 0 17 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27548] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27548/stat : 27548 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196461789 1756266496 260660 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (Kb) 1715104

[startup+1778.36 s]
/proc/loadavg: 1.04 1.01 1.00 2/80 27548
/proc/meminfo: memFree=523888/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=1800.43
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 350181 0 1 0 179874 169 0 0 22 0 13 0 196370221 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071520949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 260835 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=21.5
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 128894 0 0 0 2094 56 0 0 16 0 13 0 196370225 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=21.51
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 131160 0 0 0 2094 57 0 0 17 0 13 0 196370225 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0.31
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 173 0 0 0 18 13 0 0 16 0 13 0 196370227 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.98
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 97 1 0 0 17 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.12
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2472 0 0 0 112 0 0 0 17 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27548] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27548/stat : 27548 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196461789 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 1715104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.37 s]
/proc/loadavg: 1.04 1.01 1.00 2/80 27548
/proc/meminfo: memFree=523888/2055888 swapFree=4085392/4096564
[pid=27428] ppid=27426 vsize=1715104 CPUtime=1800.43
/proc/27428/stat : 27428 (java) R 27426 27428 27382 0 -1 0 350181 0 1 0 179874 169 0 0 22 0 13 0 196370221 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071536290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27428/statm: 428776 260835 1912 14 0 415522 0
[pid=27428/tid=27429] ppid=27426 vsize=1715104 CPUtime=21.5
/proc/27428/task/27429/stat : 27429 (java) S 27426 27428 27382 0 -1 64 128894 0 0 0 2094 56 0 0 16 0 13 0 196370225 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27430] ppid=27426 vsize=1715104 CPUtime=21.51
/proc/27428/task/27430/stat : 27430 (java) S 27426 27428 27382 0 -1 64 131160 0 0 0 2094 57 0 0 17 0 13 0 196370225 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27431] ppid=27426 vsize=1715104 CPUtime=0.31
/proc/27428/task/27431/stat : 27431 (java) S 27426 27428 27382 0 -1 64 173 0 0 0 18 13 0 0 16 0 13 0 196370227 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27432] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27432/stat : 27432 (java) S 27426 27428 27382 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27433] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27433/stat : 27433 (java) S 27426 27428 27382 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196370228 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27434] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27434/stat : 27434 (java) S 27426 27428 27382 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27435] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27435/stat : 27435 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27436] ppid=27426 vsize=1715104 CPUtime=0.98
/proc/27428/task/27436/stat : 27436 (java) S 27426 27428 27382 0 -1 64 2886 0 0 0 97 1 0 0 17 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27437] ppid=27426 vsize=1715104 CPUtime=1.12
/proc/27428/task/27437/stat : 27437 (java) S 27426 27428 27382 0 -1 64 2472 0 0 0 112 0 0 0 17 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27438] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27438/stat : 27438 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27428/tid=27439] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27439/stat : 27439 (java) S 27426 27428 27382 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196370231 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27428/tid=27548] ppid=27426 vsize=1715104 CPUtime=0
/proc/27428/task/27548/stat : 27548 (java) S 27426 27428 27382 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196461789 1756266496 260835 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 1715104

Sending SIGTERM to -27428
Sleeping 2 seconds

Child status: 143
Real time (s): 1778.55
CPU time (s): 1800.63
CPU user time (s): 1798.78
CPU system time (s): 1.85272
CPU usage (%): 101.241
Max. virtual memory (cumulated for all children) (Kb): 1715104

Launcher Data (download as text)

Begin job on node76 on Sat Jun  3 04:01:48 UTC 2006


FILE ID= 44605-1149307308

PBS_JOBID= 307692

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node76/44605-1149307308/instance-44605-1149307308.opb 99837624
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-44605-1149307308 -o ROOT/results/node76/solver-44605-1149307308 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node76/44605-1149307308/instance-44605-1149307308.opb 99837624

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  9d32bc57adc83bca41f939562e4ccfd8

RANDOM SEED= 99837624


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.14
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1562640 kB
Buffers:         38148 kB
Cached:         386880 kB
SwapCached:       2488 kB
Active:          32852 kB
Inactive:       400944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1562640 kB
SwapTotal:     4096564 kB
SwapFree:      4085392 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16548 kB
Slab:            45936 kB
Committed_AS:   315880 kB
PageTables:       1260 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node76 on Sat Jun  3 04:31:27 UTC 2006