Trace number 353744

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
SAT4JPseudoResolution 2007-03-23SAT (TO)-45 1800.21 1793.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM937ec96fd1742e5ed6250d14e65c707b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints127011
Number of constraints which are clauses127011
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
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.03/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.18	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.18	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.19	c no version file found!!!
0.03/0.19	c sun.arch.data.model	32
0.03/0.19	c java.version	1.6.0
0.03/0.19	c os.name	Linux
0.03/0.19	c os.version	2.6.9-22.EL.rootsmp
0.03/0.19	c os.arch	i386
0.03/0.19	c Free memory 1651659224
0.03/0.19	c Max memory 1654456320
0.03/0.19	c Total memory 1654456320
0.03/0.19	c Number of processors 2
0.14/0.25	--- Begin Solver configuration ---
0.14/0.25	c Stops conflict analysis at the first Unique Implication Point
0.14/0.25	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.14/0.25	c Learn all clauses as in MiniSAT
0.14/0.25	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.25	c VSIDS like heuristics from MiniSAT using a heap
0.14/0.25	c No reason simplification
0.14/0.25	c --- End Solver configuration ---
0.14/0.25	c solving /tmp/evaluation/353744-1176674573/instance-353744-1176674573.opb
0.14/0.25	c reading problem ... 
3.56/3.07	c ... done. Wall clock time 2.829s.
3.56/3.08	c CPU time (experimental) 2.52s.
3.56/3.08	c #vars     1534
3.56/3.08	c #constraints  127011
3.66/3.14	c SATISFIABLE
3.66/3.14	c OPTIMIZING...
3.66/3.14	c Got one! Elapsed wall clock time (in seconds):2.892
3.66/3.15	o -40
3.98/3.39	c Got one! Elapsed wall clock time (in seconds):3.148
3.98/3.40	o -41
5.33/4.53	c Got one! Elapsed wall clock time (in seconds):4.286
5.33/4.53	o -42
5.61/4.70	c Got one! Elapsed wall clock time (in seconds):4.458
5.61/4.71	o -43
5.73/4.86	c Got one! Elapsed wall clock time (in seconds):4.607
5.73/4.86	o -44
994.51/990.37	c cleaning 116624 clauses out of 233264 for limit 9.729863236792863E-5
1003.73/999.52	c cleaning 58567 clauses out of 117141 for limit 3.198423193544272E-4
1006.42/1002.25	c cleaning 29532 clauses out of 59075 for limit 0.0010469634529406675
1008.53/1004.38	c cleaning 15019 clauses out of 30044 for limit 0.0033983483738446573
1010.12/1005.93	c cleaning 7751 clauses out of 15522 for limit 0.010815094620586165
1010.92/1006.77	c cleaning 4130 clauses out of 8271 for limit 0.03347155343469291
1011.42/1007.30	c cleaning 2316 clauses out of 4642 for limit 0.09845077793454501
1122.72/1118.25	c cleaning 16906 clauses out of 33825 for limit 6.56708825514985E11
1124.11/1119.67	c cleaning 8703 clauses out of 17421 for limit 2.1069900654100845E12
1247.73/1242.96	c cleaning 18347 clauses out of 36716 for limit 14633.252159510495
1249.03/1244.20	c cleaning 9426 clauses out of 18870 for limit 47001.82446276458
1251.23/1246.42	c cleaning 4962 clauses out of 9943 for limit 146957.0929023649
1252.02/1247.22	c cleaning 2732 clauses out of 5481 for limit 439646.9620531088
1252.62/1247.80	c cleaning 1621 clauses out of 3251 for limit 1224818.7319130162
1252.82/1248.01	c cleaning 1058 clauses out of 2128 for limit 3079668.91188437
1253.02/1248.28	c cleaning 785 clauses out of 1570 for limit 6883857.747930297
1265.24/1260.33	c cleaning 4393 clauses out of 8787 for limit 3.6885368698224173E9
1265.83/1260.99	c cleaning 2447 clauses out of 4894 for limit 1.092161032891381E10
1266.43/1261.53	c cleaning 1472 clauses out of 2945 for limit 2.9871168157176258E10
1266.83/1261.94	c cleaning 977 clauses out of 1973 for limit 7.353029486697868E10
1267.13/1262.28	c cleaning 740 clauses out of 1497 for limit 1.599786366029163E11
1267.43/1262.59	c cleaning 628 clauses out of 1256 for limit 3.141344217154294E11
1267.74/1262.88	c cleaning 564 clauses out of 1129 for limit 5.769014409122654E11
1268.03/1263.12	c cleaning 526 clauses out of 1065 for limit 1.0085602438857981E12
1268.33/1263.43	c cleaning 514 clauses out of 1038 for limit 1.704807998651147E12
1268.63/1263.72	c cleaning 504 clauses out of 1024 for limit 2.84989433612902E12
1268.93/1264.04	c cleaning 510 clauses out of 1020 for limit 4.718287824133181E12
1269.23/1264.32	c cleaning 505 clauses out of 1011 for limit 7.858213881253206E12
1269.53/1264.64	c cleaning 502 clauses out of 1005 for limit 1.3023577961153082E13
1269.84/1264.95	c cleaning 491 clauses out of 1004 for limit 2.1520534910045383E13
1351.39/1346.29	c cleaning 12494 clauses out of 25013 for limit 381.90861483268867
1352.18/1347.02	c cleaning 6503 clauses out of 13018 for limit 1208.9333160692336
1352.69/1347.55	c cleaning 3499 clauses out of 7015 for limit 3699.7708386377944
1353.28/1348.12	c cleaning 1999 clauses out of 4016 for limit 10657.729250921813
1353.69/1348.53	c cleaning 1248 clauses out of 2517 for limit 28043.425324564836
1354.28/1349.15	c cleaning 877 clauses out of 1770 for limit 65831.14469008286
1354.58/1349.47	c cleaning 690 clauses out of 1394 for limit 137985.13352567537
1354.89/1349.79	c cleaning 597 clauses out of 1205 for limit 263510.80261973466
1355.18/1350.10	c cleaning 543 clauses out of 1105 for limit 472471.4215272454
1357.34/1352.13	c cleaning 1519 clauses out of 3062 for limit 2079754.492459628
1357.64/1352.48	c cleaning 1016 clauses out of 2044 for limit 5143121.27080938
1357.94/1352.79	c cleaning 763 clauses out of 1527 for limit 1.1342009178702049E7
1358.24/1353.10	c cleaning 622 clauses out of 1265 for limit 2.260106502212169E7
1358.54/1353.37	c cleaning 572 clauses out of 1144 for limit 4.1255685203033924E7
1358.84/1353.65	c cleaning 535 clauses out of 1070 for limit 7.259603724916896E7
1359.14/1353.91	c cleaning 517 clauses out of 1035 for limit 1.2376909908053394E8
1359.34/1354.15	c cleaning 509 clauses out of 1018 for limit 2.0752034870802253E8
1359.54/1354.38	c cleaning 499 clauses out of 1010 for limit 3.452848247195878E8
1359.84/1354.61	c cleaning 500 clauses out of 1011 for limit 5.688576419519833E8
1404.27/1398.80	c cleaning 11246 clauses out of 22512 for limit 9.269028390415444E-4
1404.77/1399.39	c cleaning 5873 clauses out of 11765 for limit 0.0029219833451150975
1405.78/1400.30	c cleaning 3187 clauses out of 6391 for limit 0.008861805735397245
1406.57/1401.12	c cleaning 1842 clauses out of 3705 for limit 0.025234414320394128
1406.97/1401.53	c cleaning 1176 clauses out of 2365 for limit 0.06532436657005619
1407.37/1401.94	c cleaning 834 clauses out of 1686 for limit 0.150661099901008
1407.67/1402.26	c cleaning 670 clauses out of 1354 for limit 0.3100023243859952
1407.97/1402.52	c cleaning 584 clauses out of 1184 for limit 0.5846390219570654
1408.37/1402.91	c cleaning 542 clauses out of 1101 for limit 1.0378690981976484
1408.57/1403.17	c cleaning 521 clauses out of 1056 for limit 1.779173633035734
1408.87/1403.42	c cleaning 511 clauses out of 1036 for limit 2.9937318333743352
1409.21/1403.76	c cleaning 503 clauses out of 1024 for limit 4.989925589123493
1409.51/1404.02	c cleaning 502 clauses out of 1022 for limit 8.25341207435381
1409.81/1404.33	c cleaning 501 clauses out of 1019 for limit 13.637401161951043
1410.12/1404.64	c cleaning 503 clauses out of 1018 for limit 22.511991133545372
1410.41/1404.92	c cleaning 499 clauses out of 1015 for limit 37.23501488585388
1410.71/1405.26	c cleaning 500 clauses out of 1017 for limit 61.34610871374443
1411.01/1405.57	c cleaning 501 clauses out of 1016 for limit 101.16624723391433
1411.32/1405.88	c cleaning 501 clauses out of 1015 for limit 167.00104657598538
1411.61/1406.15	c cleaning 498 clauses out of 1014 for limit 275.67867140648514
1411.91/1406.43	c cleaning 502 clauses out of 1017 for limit 453.7436580189842
1412.21/1406.74	c cleaning 497 clauses out of 1014 for limit 749.7473529300187
1412.51/1407.03	c cleaning 501 clauses out of 1017 for limit 1232.7863873839528
1412.81/1407.32	c cleaning 504 clauses out of 1016 for limit 2035.0306854652217
1414.84/1409.30	c cleaning 1749 clauses out of 3513 for limit 11851.037003434121
1415.44/1409.91	c cleaning 1123 clauses out of 2265 for limit 30342.872792257403
1415.84/1410.32	c cleaning 812 clauses out of 1640 for limit 68971.22159677041
1416.24/1410.73	c cleaning 659 clauses out of 1328 for limit 140465.4704800918
1416.54/1411.03	c cleaning 577 clauses out of 1169 for limit 263153.4263453677
1416.85/1411.33	c cleaning 538 clauses out of 1092 for limit 464576.0197513047
1417.24/1411.74	c cleaning 518 clauses out of 1055 for limit 793811.4636249589
1417.64/1412.15	c cleaning 506 clauses out of 1038 for limit 1331873.1728738477
1417.95/1412.45	c cleaning 508 clauses out of 1030 for limit 2209071.9620278436
1418.25/1412.74	c cleaning 505 clauses out of 1023 for limit 3671654.8860064065
1418.45/1412.98	c cleaning 500 clauses out of 1018 for limit 6084790.023918275
1418.75/1413.27	c cleaning 501 clauses out of 1018 for limit 1.0034632758087449E7
1419.05/1413.56	c cleaning 508 clauses out of 1016 for limit 1.6564446492293403E7
1419.35/1413.82	c cleaning 503 clauses out of 1009 for limit 2.753403555119383E7
1419.55/1414.06	c cleaning 502 clauses out of 1005 for limit 4.554244563185388E7
1419.95/1414.42	c cleaning 494 clauses out of 1004 for limit 7.52556474136835E7
1420.25/1414.74	c cleaning 504 clauses out of 1009 for limit 1.2336814030659702E8
1420.55/1415.06	c cleaning 493 clauses out of 1006 for limit 2.04261540233537E8
1420.95/1415.44	c cleaning 506 clauses out of 1012 for limit 3.3452258632882583E8
1421.35/1415.82	c cleaning 503 clauses out of 1006 for limit 5.549627897068012E8
1421.55/1416.04	c cleaning 502 clauses out of 1004 for limit 9.179489540448896E8
1424.95/1419.43	c cleaning 1741 clauses out of 3501 for limit 5.290064212106736E9
1425.35/1419.90	c cleaning 1119 clauses out of 2260 for limit 1.3514516170886728E10
1425.75/1420.21	c cleaning 807 clauses out of 1641 for limit 3.0694194965417267E10
1426.05/1420.56	c cleaning 656 clauses out of 1334 for limit 6.2267995570997665E10
1426.45/1420.90	c cleaning 589 clauses out of 1179 for limit 1.1630471170901945E11
1426.66/1421.16	c cleaning 545 clauses out of 1090 for limit 2.074629281549693E11
1426.95/1421.45	c cleaning 513 clauses out of 1046 for limit 3.5688288043250995E11
1427.36/1421.81	c cleaning 505 clauses out of 1032 for limit 5.959352540264491E11
1427.56/1422.07	c cleaning 507 clauses out of 1028 for limit 9.875885801126158E11
1427.66/1422.14	c Got one! Elapsed wall clock time (in seconds):1421.897
1427.66/1422.15	o -45
1800.02/1792.92	c starts		: 49
1800.02/1792.92	c conflicts		: 531553
1800.02/1792.92	c decisions		: 546336
1800.02/1792.92	c propagations		: 2896499
1800.02/1792.92	c inspects		: 532850984
1800.02/1792.92	c learnt literals	: 0
1800.02/1792.92	c learnt binary clauses	: 0
1800.02/1792.92	c learnt ternary clauses	: 0
1800.02/1792.92	c learnt clauses	: 531553
1800.02/1792.92	c root simplifications	: 0
1800.02/1792.92	c removed literals (reason simplification)	: 0
1800.02/1792.92	c reason swapping (by a shorter reason)	: 0
1800.02/1792.92	c Calls to reduceDB	: 103
1800.02/1792.92	c speed (decisions/second)	: 1473.5689413820912
1800.02/1792.92	c non guided choices	0
1800.02/1792.92	s SATISFIABLE
1800.02/1792.93	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
1800.02/1792.93	v -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
1800.02/1792.93	v -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
1800.02/1792.93	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.02/1792.93	v -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.02/1792.93	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.02/1792.93	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167
1800.02/1792.93	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.02/1792.93	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.02/1792.93	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.02/1792.93	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.02/1792.93	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.02/1792.93	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.02/1792.93	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314
1800.02/1792.93	v -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.02/1792.93	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.02/1792.93	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.02/1792.93	v -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.02/1792.93	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.02/1792.93	v -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.02/1792.93	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.02/1792.93	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.02/1792.93	v x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503
1800.02/1792.93	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.02/1792.93	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545
1800.02/1792.93	v -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.02/1792.93	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.02/1792.93	v -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.02/1792.93	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629
1800.02/1792.93	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.02/1792.93	v -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.02/1792.93	v -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.02/1792.93	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.02/1792.93	v -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.02/1792.93	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.02/1792.93	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776
1800.02/1792.93	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.02/1792.93	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.02/1792.93	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.02/1792.93	v x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.02/1792.93	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.02/1792.93	v -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.02/1792.93	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.02/1792.93	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.02/1792.93	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.02/1792.93	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.02/1792.93	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.02/1792.93	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.02/1792.93	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.02/1792.93	v -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.02/1792.93	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.02/1792.93	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.02/1792.93	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.02/1792.93	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.02/1792.93	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.02/1792.93	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.02/1792.93	v -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.02/1792.93	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.02/1792.93	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.02/1792.93	v -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.02/1792.93	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.02/1792.93	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.02/1792.93	v x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.02/1792.93	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.02/1792.93	v -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312
1800.02/1792.93	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
1800.02/1792.93	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1800.02/1792.93	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1800.02/1792.93	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1800.02/1792.93	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
1800.02/1792.93	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
1800.02/1792.93	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1800.02/1792.93	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1800.02/1792.93	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
1800.02/1792.93	v -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
1800.02/1792.93	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499
1800.02/1792.93	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1800.02/1792.93	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1800.02/1792.93	v -x1534
1800.02/1792.93	c objective function=-45
1800.02/1792.93	c Total wall clock time (ms): 1792.683

Verifier Data (download as text)

OK	-45

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-353744-1176674573 -o ROOT/results/node14/solver-353744-1176674573 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353744-1176674573/sat4jPseudoResolution.jar /tmp/evaluation/353744-1176674573/instance-353744-1176674573.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.97 0.98 2/77 19637
/proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=18568 CPUtime=0
/proc/19637/stat : 19637 (runsolver) R 19635 19637 19574 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 115375094 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19637/statm: 0 0 0 0 0 0 0

[startup+0.044679 s]
/proc/loadavg: 0.78 0.97 0.98 2/77 19637
/proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=12652 CPUtime=0
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 878 0 1 0 0 0 0 0 18 0 2 0 115375094 12955648 635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 3163 635 311 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12652

[startup+0.101728 s]
/proc/loadavg: 0.78 0.97 0.98 2/77 19637
/proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1777708 CPUtime=0.03
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 3542 0 1 0 2 1 0 0 18 0 7 0 115375094 1820372992 3287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 444427 3287 1050 9 0 442063 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1777708

[startup+0.301707 s]
/proc/loadavg: 0.78 0.97 0.98 2/77 19637
/proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1781412 CPUtime=0.25
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 4983 0 1 0 22 3 0 0 18 0 12 0 115375094 1824165888 4722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 445353 4722 1263 9 0 442965 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 1781412

[startup+0.701743 s]
/proc/loadavg: 0.78 0.97 0.98 2/77 19637
/proc/meminfo: memFree=1775032/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1782436 CPUtime=0.8
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 6589 0 1 0 75 5 0 0 18 0 12 0 115375094 1825214464 6190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 445609 6190 1292 9 0 443221 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 1782436

[startup+1.50282 s]
/proc/loadavg: 0.78 0.97 0.98 2/89 19649
/proc/meminfo: memFree=1749720/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1785068 CPUtime=2.01
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 16576 0 1 0 190 11 0 0 18 0 12 0 115375094 1827909632 15135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446267 15136 1301 9 0 443879 0
[pid=19637/tid=19639] ppid=19635 vsize=1785068 CPUtime=1
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 13255 0 1 0 92 8 0 0 19 0 12 0 115375095 1827909632 15137 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109651847 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 115375101 1827909632 15138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 115375101 1827909632 15139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 115375103 1827909632 15141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 115375104 1827909632 15142 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 115375104 1827909632 15143 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 115375108 1827909632 15144 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1785068 CPUtime=0.49
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1060 0 0 0 48 1 0 0 16 0 12 0 115375108 1827909632 15146 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1785068 CPUtime=0.5
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 1542 0 0 0 49 1 0 0 16 0 12 0 115375108 1827909632 15147 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 115375108 1827909632 15148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1785068 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 115375108 1827909632 15149 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 1785068

[startup+3.10296 s]
/proc/loadavg: 0.78 0.97 0.98 2/89 19649
/proc/meminfo: memFree=1650584/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1785392 CPUtime=3.66
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 42619 0 1 0 344 22 0 0 18 0 12 0 115375094 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446348 41168 1316 9 0 443960 0
[pid=19637/tid=19639] ppid=19635 vsize=1785392 CPUtime=2.54
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37696 0 1 0 236 18 0 0 21 0 12 0 115375095 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109188013 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1785392 CPUtime=0.04
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 854 0 0 0 4 0 0 0 16 0 12 0 115375101 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1785392 CPUtime=0.04
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 742 0 0 0 4 0 0 0 17 0 12 0 115375101 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1785392 CPUtime=0
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 115375103 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1785392 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 115375104 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1785392 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 115375104 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1785392 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1785392 CPUtime=0.49
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1060 0 0 0 48 1 0 0 17 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1785392 CPUtime=0.5
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 1542 0 0 0 49 1 0 0 16 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1785392 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1785392 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 115375108 1828241408 41168 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 1785392

[startup+6.30227 s]
/proc/loadavg: 0.80 0.97 0.98 2/90 19655
/proc/meminfo: memFree=1613312/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1786448 CPUtime=7.28
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 43665 0 1 0 704 24 0 0 18 0 13 0 115375094 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446612 41425 1327 9 0 444224 0
[pid=19637/tid=19639] ppid=19635 vsize=1786448 CPUtime=5.44
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37716 0 1 0 525 19 0 0 25 0 13 0 115375095 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831808 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1786448 CPUtime=0.04
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 854 0 0 0 4 0 0 0 16 0 13 0 115375101 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1786448 CPUtime=0.04
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 742 0 0 0 4 0 0 0 17 0 13 0 115375101 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1786448 CPUtime=0
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 115375103 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786448 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1786448 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 115375104 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1786448 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1786448 CPUtime=0.84
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1235 0 0 0 83 1 0 0 17 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1786448 CPUtime=0.86
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2384 0 0 0 85 1 0 0 16 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1786448 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1786448 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19655] ppid=19635 vsize=1786448 CPUtime=0
/proc/19637/task/19655/stat : 19655 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115375582 1829322752 41425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 1786448

[startup+12.7029 s]
/proc/loadavg: 0.81 0.97 0.98 2/90 19655
/proc/meminfo: memFree=1563008/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1786124 CPUtime=13.8
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 57914 0 1 0 1350 30 0 0 18 0 13 0 115375094 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446531 54055 1327 9 0 444143 0
[pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=11.71
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37720 0 1 0 1152 19 0 0 17 0 13 0 115375095 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831794 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=0.15
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 6780 0 0 0 12 3 0 0 17 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=0.15
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 9057 0 0 0 12 3 0 0 16 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 115375103 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.86
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1235 0 0 0 85 1 0 0 17 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.89
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2384 0 0 0 88 1 0 0 17 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19655] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19655/stat : 19655 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 115375582 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.8
Current children cumulated vsize (KiB) 1786124

[startup+25.5011 s]
/proc/loadavg: 0.85 0.97 0.98 2/90 19655
/proc/meminfo: memFree=1563072/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1786124 CPUtime=26.6
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 57915 0 1 0 2630 30 0 0 18 0 13 0 115375094 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446531 54055 1327 9 0 444143 0
[pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=24.5
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37721 0 1 0 2431 19 0 0 25 0 13 0 115375095 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831804 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=0.15
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 6780 0 0 0 12 3 0 0 17 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=0.15
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 9057 0 0 0 12 3 0 0 16 0 13 0 115375101 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 115375103 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 54055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.45
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 31790 0 2 0 215 30 0 0 16 0 13 0 115375103 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 164182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1608.71
Current children cumulated vsize (KiB) 1786124

[startup+1662.3 s]
/proc/loadavg: 1.16 1.12 1.04 2/90 19656
/proc/meminfo: memFree=1000184/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1786124 CPUtime=1669
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 622754 0 3 0 166548 352 0 0 18 0 13 0 115375094 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446531 194003 1332 9 0 444143 0
[pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1652.37
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37781 0 1 0 165205 32 0 0 25 0 13 0 115375095 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831801 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.08
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 282259 0 0 0 466 142 0 0 16 0 13 0 115375101 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.07
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 266571 0 0 0 465 142 0 0 17 0 13 0 115375101 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.45
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 31790 0 2 0 215 30 0 0 16 0 13 0 115375103 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 194003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1669
Current children cumulated vsize (KiB) 1786124

[startup+1722.3 s]
/proc/loadavg: 1.06 1.10 1.03 2/90 19656
/proc/meminfo: memFree=897848/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1786124 CPUtime=1729.22
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 652575 0 3 0 172556 366 0 0 18 0 13 0 115375094 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446531 219584 1332 9 0 444143 0
[pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1711.83
/proc/19637/task/19639/stat : 19639 (java) S 19635 19637 19574 0 -1 64 37782 0 1 0 171150 33 0 0 25 0 13 0 115375095 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.31
/proc/19637/task/19640/stat : 19640 (java) R 19635 19637 19574 0 -1 64 291790 0 0 0 486 145 0 0 17 0 13 0 115375101 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105697979 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.31
/proc/19637/task/19641/stat : 19641 (java) R 19635 19637 19574 0 -1 64 276326 0 0 0 483 148 0 0 17 0 13 0 115375101 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.75
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 42324 0 2 0 241 34 0 0 16 0 13 0 115375103 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 219584 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1729.22
Current children cumulated vsize (KiB) 1786124

[startup+1782.3 s]
/proc/loadavg: 1.02 1.08 1.02 2/90 19656
/proc/meminfo: memFree=822264/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1786124 CPUtime=1789.41
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 677771 0 3 0 178561 380 0 0 18 0 13 0 115375094 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446531 238462 1332 9 0 444143 0
[pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1771.59
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37784 0 1 0 177126 33 0 0 25 0 13 0 115375095 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109831786 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.52
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 304647 0 0 0 500 152 0 0 17 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.52
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 288663 0 0 0 497 155 0 0 16 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.75
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 42324 0 2 0 241 34 0 0 16 0 13 0 115375103 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1789.41
Current children cumulated vsize (KiB) 1786124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.9 s]
/proc/loadavg: 1.01 1.07 1.02 2/90 19656
/proc/meminfo: memFree=822264/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=1786124 CPUtime=1800.02
/proc/19637/stat : 19637 (java) S 19635 19637 19574 0 -1 0 677771 0 3 0 179622 380 0 0 18 0 13 0 115375094 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19637/statm: 446531 238462 1332 9 0 444143 0
[pid=19637/tid=19639] ppid=19635 vsize=1786124 CPUtime=1782.21
/proc/19637/task/19639/stat : 19639 (java) R 19635 19637 19574 0 -1 64 37784 0 1 0 178187 34 0 0 25 0 13 0 115375095 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109804427 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1786124 CPUtime=6.52
/proc/19637/task/19640/stat : 19640 (java) S 19635 19637 19574 0 -1 64 304647 0 0 0 500 152 0 0 17 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19641] ppid=19635 vsize=1786124 CPUtime=6.52
/proc/19637/task/19641/stat : 19641 (java) S 19635 19637 19574 0 -1 64 288663 0 0 0 497 155 0 0 16 0 13 0 115375101 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19642] ppid=19635 vsize=1786124 CPUtime=2.75
/proc/19637/task/19642/stat : 19642 (java) S 19635 19637 19574 0 -1 64 42324 0 2 0 241 34 0 0 16 0 13 0 115375103 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19643] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19643/stat : 19643 (java) S 19635 19637 19574 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19644] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19644/stat : 19644 (java) S 19635 19637 19574 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 115375104 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19645] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19645/stat : 19645 (java) S 19635 19637 19574 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19646] ppid=19635 vsize=1786124 CPUtime=0.97
/proc/19637/task/19646/stat : 19646 (java) S 19635 19637 19574 0 -1 64 1236 0 0 0 96 1 0 0 17 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19647] ppid=19635 vsize=1786124 CPUtime=0.98
/proc/19637/task/19647/stat : 19647 (java) S 19635 19637 19574 0 -1 64 2387 0 0 0 97 1 0 0 16 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19637/tid=19648] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19648/stat : 19648 (java) S 19635 19637 19574 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19649] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19649/stat : 19649 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 115375108 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19637/tid=19656] ppid=19635 vsize=1786124 CPUtime=0
/proc/19637/task/19656/stat : 19656 (java) S 19635 19637 19574 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 115517310 1828990976 238462 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1786124

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1793.02 s]
/proc/loadavg: 1.01 1.07 1.02 2/90 19656
/proc/meminfo: memFree=822264/2055920 swapFree=4149088/4192956
[pid=19637] ppid=19635 vsize=0 CPUtime=1800.13
/proc/19637/stat : 19637 (java) Z 19635 19637 19574 0 -1 1036 677790 0 3 0 179626 387 0 0 16 0 2 0 115375094 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19637/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1793.09
CPU time (s): 1800.21
CPU user time (s): 1796.27
CPU system time (s): 3.9444
CPU usage (%): 100.397
Max. virtual memory (cumulated for all children) (KiB): 1787372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.27
system time used= 3.9444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 677790
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37653
involuntary context switches= 19439

runsolver used 1.61975 second user time and 4.95325 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sun Apr 15 22:02:53 UTC 2007

IDJOB= 353744
IDBENCH= 2266
IDSOLVER= 159
FILE ID= node14/353744-1176674573

PBS_JOBID= 4559395

Free space on /tmp= 66554 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353744-1176674573/sat4jPseudoResolution.jar /tmp/evaluation/353744-1176674573/instance-353744-1176674573.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-353744-1176674573 -o ROOT/results/node14/solver-353744-1176674573 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353744-1176674573/sat4jPseudoResolution.jar /tmp/evaluation/353744-1176674573/instance-353744-1176674573.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  937ec96fd1742e5ed6250d14e65c707b

RANDOM SEED= 676923438

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.227
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	: 5914.62
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.227
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1775440 kB
Buffers:         56160 kB
Cached:         138688 kB
SwapCached:      11260 kB
Active:         153804 kB
Inactive:        64528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1775440 kB
SwapTotal:     4192956 kB
SwapFree:      4149088 kB
Dirty:            6828 kB
Writeback:           0 kB
Mapped:          29584 kB
Slab:            47640 kB
Committed_AS:  6484004 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66554 MiB

End job on node14 on Sun Apr 15 22:32:48 UTC 2007