Trace number 353614

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)-41 1800.21 1794.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM1a88750537364c45876077f809191628
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
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 1272
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 1272
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 1272
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/353614-1176670835/instance-353614-1176670835.opb
0.20/0.20	c reading problem ... 
3.09/2.57	c ... done. Wall clock time 2.368s.
3.09/2.57	c CPU time (experimental) 2.05s.
3.09/2.57	c #vars     1272
3.09/2.57	c #constraints  94308
3.19/2.62	c SATISFIABLE
3.19/2.62	c OPTIMIZING...
3.19/2.62	c Got one! Elapsed wall clock time (in seconds):2.417
3.19/2.63	o -36
3.53/2.89	c Got one! Elapsed wall clock time (in seconds):2.689
3.53/2.89	o -37
3.68/2.93	c Got one! Elapsed wall clock time (in seconds):2.729
3.68/2.93	o -38
4.14/3.24	c Got one! Elapsed wall clock time (in seconds):3.034
4.14/3.24	o -39
4.96/4.05	c Got one! Elapsed wall clock time (in seconds):3.847
4.96/4.05	o -40
8.93/7.98	c Got one! Elapsed wall clock time (in seconds):7.78
8.93/7.98	o -41
1302.71/1298.75	c cleaning 140077 clauses out of 280171 for limit 1.9506307135405454E-4
1310.43/1306.47	c cleaning 70295 clauses out of 140596 for limit 6.42318134876537E-4
1312.02/1308.03	c cleaning 35394 clauses out of 70798 for limit 0.002097270804747917
1313.33/1309.35	c cleaning 17946 clauses out of 35904 for limit 0.006820065605016983
1314.32/1310.31	c cleaning 9226 clauses out of 18460 for limit 0.021919195057968865
1315.42/1311.41	c cleaning 4860 clauses out of 9732 for limit 0.06842913675492056
1316.42/1312.44	c cleaning 2679 clauses out of 5372 for limit 0.20443866890114712
1316.72/1312.74	c cleaning 1588 clauses out of 3193 for limit 0.5672258532418649
1317.02/1313.04	c cleaning 1046 clauses out of 2105 for limit 1.4189226536638868
1317.22/1313.27	c cleaning 775 clauses out of 1562 for limit 3.1629273411632615
1317.62/1313.63	c cleaning 637 clauses out of 1286 for limit 6.3292267014503585
1413.18/1408.84	c cleaning 20569 clauses out of 41150 for limit 7.841210993443197E-4
1413.68/1409.36	c cleaning 10533 clauses out of 21080 for limit 0.002521759980714735
1414.18/1409.82	c cleaning 5517 clauses out of 11048 for limit 0.007942936454968387
1414.78/1410.47	c cleaning 3006 clauses out of 6028 for limit 0.023935574824559554
1415.08/1410.78	c cleaning 1754 clauses out of 3522 for limit 0.06755906660866007
1415.48/1411.14	c cleaning 1126 clauses out of 2270 for limit 0.17320963469399295
1415.88/1411.56	c cleaning 812 clauses out of 1644 for limit 0.394413686338408
1416.18/1411.81	c cleaning 658 clauses out of 1331 for limit 0.802596219475741
1416.38/1412.06	c cleaning 576 clauses out of 1173 for limit 1.5018724130491832
1416.68/1412.32	c cleaning 539 clauses out of 1097 for limit 2.648380073851926
1416.87/1412.56	c cleaning 522 clauses out of 1059 for limit 4.52878160520794
1417.07/1412.76	c cleaning 512 clauses out of 1037 for limit 7.627012683537625
1417.37/1413.08	c cleaning 502 clauses out of 1023 for limit 12.724609248293508
1417.57/1413.26	c cleaning 506 clauses out of 1021 for limit 21.025688859280294
1417.78/1413.47	c cleaning 501 clauses out of 1015 for limit 34.87914418018465
1417.97/1413.69	c cleaning 500 clauses out of 1014 for limit 57.57710100944507
1418.27/1413.91	c cleaning 498 clauses out of 1015 for limit 94.9537467325681
1418.47/1414.10	c cleaning 500 clauses out of 1016 for limit 156.28086831710112
1418.67/1414.39	c cleaning 500 clauses out of 1017 for limit 257.73237118651707
1551.92/1547.32	c cleaning 17002 clauses out of 34016 for limit 2.7702349061373153E-5
1556.32/1551.72	c cleaning 8754 clauses out of 17515 for limit 8.881372740038497E-5
1557.82/1553.23	c cleaning 4626 clauses out of 9260 for limit 2.7675828290652573E-4
1558.52/1553.93	c cleaning 2557 clauses out of 5134 for limit 8.232118943574556E-4
1558.82/1554.30	c cleaning 1528 clauses out of 3079 for limit 0.0022682071900414023
1559.12/1554.50	c cleaning 1019 clauses out of 2049 for limit 0.005609670038493637
1559.22/1554.70	c cleaning 759 clauses out of 1532 for limit 0.012397822675831234
1565.58/1560.96	c cleaning 3377 clauses out of 6771 for limit 1.1327993534482135
1565.88/1561.23	c cleaning 1940 clauses out of 3894 for limit 3.2483719083509546
1566.18/1561.50	c cleaning 1219 clauses out of 2456 for limit 8.510562028198523
1566.38/1561.73	c cleaning 859 clauses out of 1736 for limit 19.836189941502756
1566.58/1561.97	c cleaning 679 clauses out of 1376 for limit 41.229770788326725
1566.78/1562.15	c cleaning 591 clauses out of 1199 for limit 78.18709577627642
1566.98/1562.33	c cleaning 544 clauses out of 1106 for limit 139.5037883266211
1682.82/1677.90	c cleaning 16016 clauses out of 32062 for limit 2.3413772817228375E14
1684.62/1679.71	c cleaning 8263 clauses out of 16546 for limit 7.48212357763353E14
1685.52/1680.66	c cleaning 4387 clauses out of 8785 for limit 2.3286329672025607E-5
1686.02/1681.18	c cleaning 2443 clauses out of 4896 for limit 6.876829578066335E-5
1686.42/1681.54	c cleaning 1467 clauses out of 2953 for limit 1.8802782004200463E-4
1686.72/1681.84	c cleaning 988 clauses out of 1986 for limit 4.610650478914704E-4
1687.02/1682.16	c cleaning 744 clauses out of 1498 for limit 0.0010080579953839466
1687.32/1682.42	c cleaning 619 clauses out of 1254 for limit 0.001985892256763302
1687.56/1682.66	c cleaning 558 clauses out of 1137 for limit 0.0036192423475477488
1687.77/1682.90	c cleaning 533 clauses out of 1077 for limit 0.006288532209077378
1688.07/1683.16	c cleaning 515 clauses out of 1045 for limit 0.010698899334864622
1688.27/1683.38	c cleaning 508 clauses out of 1029 for limit 0.017900344622220354
1688.47/1683.59	c cleaning 503 clauses out of 1021 for limit 0.029751366084989624
1688.67/1683.79	c cleaning 500 clauses out of 1019 for limit 0.04920949052904831
1688.97/1684.10	c cleaning 504 clauses out of 1023 for limit 0.08115987195133498
1689.17/1684.28	c cleaning 495 clauses out of 1014 for limit 0.13435763789208116
1689.37/1684.47	c cleaning 500 clauses out of 1021 for limit 0.22049537455564908
1689.67/1684.71	c cleaning 502 clauses out of 1019 for limit 0.36361174678160807
1689.87/1684.97	c cleaning 499 clauses out of 1019 for limit 0.6008455037140196
1690.17/1685.26	c cleaning 502 clauses out of 1019 for limit 0.9898837406825576
1690.37/1685.47	c cleaning 500 clauses out of 1016 for limit 1.6356336702043284
1690.57/1685.68	c cleaning 501 clauses out of 1017 for limit 2.697423867385421
1690.87/1685.90	c cleaning 496 clauses out of 1015 for limit 4.452720979512729
1691.07/1686.11	c cleaning 503 clauses out of 1021 for limit 7.314601867699321
1691.27/1686.32	c cleaning 503 clauses out of 1018 for limit 12.09830540959977
1745.90/1740.71	c cleaning 13000 clauses out of 26015 for limit 5.692443501499112E10
1746.40/1741.29	c cleaning 6749 clauses out of 13514 for limit 1.8053442194613333E11
1746.70/1741.58	c cleaning 3622 clauses out of 7265 for limit 5.538143475138704E11
1747.03/1741.83	c cleaning 2061 clauses out of 4144 for limit 1.6027673003638945E12
1747.23/1742.09	c cleaning 1282 clauses out of 2583 for limit 4.24054524136233E12
1747.53/1742.35	c cleaning 890 clauses out of 1800 for limit 1.0025244594080543E13
1747.83/1742.63	c cleaning 704 clauses out of 1409 for limit 2.1099776958750566E13
1748.13/1742.93	c cleaning 594 clauses out of 1206 for limit 4.0694146907804875E13
1748.43/1743.22	c cleaning 555 clauses out of 1111 for limit 7.277573037078558E13
1748.63/1743.41	c cleaning 528 clauses out of 1056 for limit 1.2626779614156148E14
1748.83/1743.62	c cleaning 508 clauses out of 1029 for limit 2.1391022407139116E14
1749.03/1743.86	c cleaning 502 clauses out of 1020 for limit 3.5552334292724894E14
1749.23/1744.06	c cleaning 509 clauses out of 1018 for limit 5.874574308643692E14
1749.43/1744.26	c cleaning 504 clauses out of 1009 for limit 9.774372826591056E14
1749.63/1744.43	c cleaning 499 clauses out of 1006 for limit 1.6183501213639972E15
1749.83/1744.66	c cleaning 504 clauses out of 1009 for limit 2.6662705132395735E15
1752.48/1747.22	c cleaning 1745 clauses out of 3502 for limit 1.5406749485743379E-4
1752.97/1747.70	c cleaning 1124 clauses out of 2257 for limit 3.9423165269020883E-4
1753.27/1748.05	c cleaning 808 clauses out of 1633 for limit 8.985717318506191E-4
1753.47/1748.28	c cleaning 660 clauses out of 1326 for limit 0.0018267781629121179
1753.77/1748.50	c cleaning 579 clauses out of 1167 for limit 0.003426485341671816
1753.97/1748.74	c cleaning 539 clauses out of 1087 for limit 0.006060543398180349
1754.18/1748.97	c cleaning 518 clauses out of 1048 for limit 0.010366585021638708
1754.37/1749.20	c cleaning 509 clauses out of 1029 for limit 0.01739414143288472
1754.77/1749.51	c cleaning 501 clauses out of 1021 for limit 0.028938967261434547
1754.97/1749.80	c cleaning 502 clauses out of 1019 for limit 0.04777007925327298
1755.28/1750.02	c cleaning 502 clauses out of 1019 for limit 0.07893704641129405
1795.21/1789.85	c cleaning 10752 clauses out of 21516 for limit 4977442.633490416
1797.51/1792.11	c cleaning 5623 clauses out of 11264 for limit 1.567945792965346E7
1798.41/1793.04	c cleaning 3061 clauses out of 6141 for limit 4.742861859682238E7
1799.11/1793.76	c cleaning 1786 clauses out of 3582 for limit 1.34362755590037E8
1799.61/1794.23	c cleaning 1142 clauses out of 2293 for limit 3.451062149582636E8
1800.07/1794.61	c starts		: 44
1800.07/1794.61	c conflicts		: 488240
1800.07/1794.61	c decisions		: 498695
1800.07/1794.61	c propagations		: 2735001
1800.07/1794.61	c inspects		: 710619665
1800.07/1794.61	c learnt literals	: 0
1800.07/1794.61	c learnt binary clauses	: 0
1800.07/1794.61	c learnt ternary clauses	: 0
1800.07/1794.61	c learnt clauses	: 488240
1800.07/1794.61	c root simplifications	: 0
1800.07/1794.61	c removed literals (reason simplification)	: 0
1800.07/1794.61	c reason swapping (by a shorter reason)	: 0
1800.07/1794.61	c Calls to reduceDB	: 101
1800.07/1794.61	c speed (decisions/second)	: 279.128251398174
1800.07/1794.61	c non guided choices	0
1800.07/1794.61	s SATISFIABLE
1800.07/1794.62	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.07/1794.62	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.07/1794.62	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.07/1794.62	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 -x105
1800.07/1794.62	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126
1800.07/1794.62	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147
1800.07/1794.62	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.07/1794.62	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.07/1794.62	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.07/1794.62	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.07/1794.62	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.07/1794.62	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.07/1794.62	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.07/1794.62	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315
1800.07/1794.62	v -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.07/1794.62	v -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.07/1794.62	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.07/1794.62	v -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.07/1794.62	v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.07/1794.62	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.07/1794.62	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.07/1794.62	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.07/1794.62	v -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.07/1794.62	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.07/1794.62	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.07/1794.62	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567
1800.07/1794.62	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.07/1794.62	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.07/1794.62	v -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630
1800.07/1794.62	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.07/1794.62	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.07/1794.62	v -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.07/1794.62	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714
1800.07/1794.62	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.07/1794.62	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.07/1794.62	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777
1800.07/1794.62	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.07/1794.62	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.07/1794.62	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840
1800.07/1794.62	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.07/1794.62	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882
1800.07/1794.62	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.07/1794.62	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.07/1794.62	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.07/1794.62	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.07/1794.62	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.07/1794.62	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006
1800.07/1794.62	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023
1800.07/1794.62	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.07/1794.62	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.07/1794.62	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074
1800.07/1794.62	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.07/1794.62	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1800.07/1794.62	v -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.07/1794.62	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.07/1794.62	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.07/1794.62	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.07/1794.62	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.07/1794.62	v -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1800.07/1794.62	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1800.07/1794.62	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1800.07/1794.62	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261
1800.07/1794.62	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1800.07/1794.62	c objective function=-41
1800.07/1794.62	c Total wall clock time (ms): 1794.419

Verifier Data (download as text)

OK	-41

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-353614-1176670835 -o ROOT/results/node69/solver-353614-1176670835 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353614-1176670835/sat4jPseudoResolution.jar /tmp/evaluation/353614-1176670835/instance-353614-1176670835.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.92 0.98 0.99 2/64 7759
/proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=152 CPUtime=0
/proc/7759/stat : 7759 (java) R 7757 7759 7333 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 143072927 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 11952427 0 0 4096 0 0 0 0 17 1 0 0
/proc/7759/statm: 38 26 19 9 0 4 0

[startup+0.016623 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7759
/proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=12620 CPUtime=0.01
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 846 0 0 0 0 1 0 0 18 0 2 0 143072927 12922880 602 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 3155 602 285 9 0 1243 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12620

[startup+0.102627 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7759
/proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1780108 CPUtime=0.08
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 3983 0 1 0 6 2 0 0 18 0 12 0 143072927 1822830592 3724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 445027 3724 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301666 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7759
/proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1782044 CPUtime=0.33
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 5089 0 1 0 30 3 0 0 18 0 12 0 143072927 1824813056 4825 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 445511 4825 1264 9 0 443123 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1782044

[startup+0.702729 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 7759
/proc/meminfo: memFree=1792100/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1782852 CPUtime=0.87
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 6807 0 1 0 83 4 0 0 18 0 12 0 143072927 1825640448 6341 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 445713 6341 1298 9 0 443325 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 1782852

[startup+1.50186 s]
/proc/loadavg: 0.92 0.98 0.99 3/76 7771
/proc/meminfo: memFree=1765700/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1785800 CPUtime=2.06
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 18103 0 1 0 196 10 0 0 18 0 12 0 143072927 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446450 16319 1301 9 0 444062 0
[pid=7759/tid=7761] ppid=7757 vsize=1785800 CPUtime=1.03
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 14457 0 1 0 96 7 0 0 19 0 12 0 143072929 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109592521 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 143072930 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 143072930 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 143072932 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 143072933 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 143072933 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1785800 CPUtime=0.45
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 1491 0 0 0 45 0 0 0 17 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1785800 CPUtime=0.54
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 1432 0 0 0 53 1 0 0 16 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1785800 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) R 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 143072937 1828659200 16319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 1785800

[startup+3.10211 s]
/proc/loadavg: 0.93 0.98 0.99 2/76 7771
/proc/meminfo: memFree=1662468/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786992 CPUtime=4
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 44817 0 1 0 377 23 0 0 18 0 13 0 143072927 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446748 41313 1324 9 0 444360 0
[pid=7759/tid=7761] ppid=7757 vsize=1786992 CPUtime=2.37
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37711 0 1 0 218 19 0 0 25 0 13 0 143072929 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109812203 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786992 CPUtime=0.04
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 835 0 0 0 4 0 0 0 16 0 13 0 143072930 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786992 CPUtime=0.04
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 791 0 0 0 4 0 0 0 16 0 13 0 143072930 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786992 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 143072932 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786992 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786992 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786992 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786992 CPUtime=0.74
/proc/7759/task/7768/stat : 7768 (java) R 7757 7759 7333 0 -1 64 2778 0 0 0 73 1 0 0 16 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103313518 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786992 CPUtime=0.77
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 1968 0 0 0 76 1 0 0 16 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786992 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786992 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829879808 41313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 1786992

[startup+6.30261 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 7777
/proc/meminfo: memFree=1631284/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786416 CPUtime=7.31
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 44917 0 1 0 707 24 0 0 18 0 13 0 143072927 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446604 41210 1326 9 0 444216 0
[pid=7759/tid=7761] ppid=7757 vsize=1786416 CPUtime=5.51
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37715 0 1 0 532 19 0 0 17 0 13 0 143072929 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807936 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786416 CPUtime=0.04
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 835 0 0 0 4 0 0 0 16 0 13 0 143072930 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786416 CPUtime=0.04
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 791 0 0 0 4 0 0 0 16 0 13 0 143072930 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 143072932 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786416 CPUtime=0.81
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 80 1 0 0 16 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786416 CPUtime=0.86
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2060 0 0 0 85 1 0 0 16 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7777] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7777/stat : 7777 (java) S 7757 7759 7333 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 143073335 1829289984 41210 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 1786416

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/77 7778
/proc/meminfo: memFree=1631532/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786416 CPUtime=13.9
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 78997 0 1 0 1350 40 0 0 18 0 13 0 143072927 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446604 66578 1327 9 0 444216 0
[pid=7759/tid=7761] ppid=7757 vsize=1786416 CPUtime=11.7
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37718 0 1 0 1151 19 0 0 19 0 13 0 143072929 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807912 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786416 CPUtime=0.22
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 20890 0 0 0 13 9 0 0 18 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786416 CPUtime=0.21
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 14808 0 0 0 14 7 0 0 16 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072932 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786416 CPUtime=0.83
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 82 1 0 0 16 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786416 CPUtime=0.88
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2061 0 0 0 87 1 0 0 17 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7778] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.9
Current children cumulated vsize (KiB) 1786416

[startup+25.5027 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 7778
/proc/meminfo: memFree=1529836/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786416 CPUtime=26.69
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 78997 0 1 0 2629 40 0 0 18 0 13 0 143072927 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446604 66578 1327 9 0 444216 0
[pid=7759/tid=7761] ppid=7757 vsize=1786416 CPUtime=24.5
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37718 0 1 0 2430 20 0 0 25 0 13 0 143072929 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807914 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786416 CPUtime=0.22
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 20890 0 0 0 13 9 0 0 18 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786416 CPUtime=0.21
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 14808 0 0 0 14 7 0 0 16 0 13 0 143072930 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072932 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786416 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829289984 66578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.18
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 13801 0 0 0 97 21 0 0 16 0 13 0 143072932 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.93
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 92 1 0 0 17 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 110211 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1607.15
Current children cumulated vsize (KiB) 1786736

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 7976
/proc/meminfo: memFree=1352684/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786736 CPUtime=1667.23
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562105 0 1 0 166420 303 0 0 18 0 13 0 143072927 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446684 110083 1332 9 0 444296 0
[pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1654.34
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37755 0 1 0 165398 36 0 0 25 0 13 0 143072929 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807922 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=4.89
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 368 121 0 0 16 0 13 0 143072930 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=4.86
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 366 120 0 0 16 0 13 0 143072930 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.18
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 13801 0 0 0 97 21 0 0 16 0 13 0 143072932 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.93
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 92 1 0 0 17 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 110083 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1667.23
Current children cumulated vsize (KiB) 1786736

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 7976
/proc/meminfo: memFree=1364844/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786736 CPUtime=1727.42
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562235 0 1 0 172438 304 0 0 18 0 13 0 143072927 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446684 107032 1332 9 0 444296 0
[pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1713.99
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37759 0 1 0 171363 36 0 0 25 0 13 0 143072929 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109826320 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=5.1
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 389 121 0 0 16 0 13 0 143072930 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=5.07
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 387 120 0 0 16 0 13 0 143072930 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.3
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 13927 0 0 0 108 22 0 0 16 0 13 0 143072932 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.93
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 92 1 0 0 17 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 107032 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1727.42
Current children cumulated vsize (KiB) 1786736

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 7976
/proc/meminfo: memFree=1378412/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786736 CPUtime=1787.71
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562366 0 1 0 178467 304 0 0 18 0 13 0 143072927 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446684 103629 1332 9 0 444296 0
[pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1773.54
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37764 0 1 0 177318 36 0 0 25 0 13 0 143072929 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109826320 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=5.4
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 419 121 0 0 16 0 13 0 143072930 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=5.37
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 417 120 0 0 16 0 13 0 143072930 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.42
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 14053 0 0 0 120 22 0 0 16 0 13 0 143072932 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.96
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 95 1 0 0 17 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 103629 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1787.71
Current children cumulated vsize (KiB) 1786736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 7976
/proc/meminfo: memFree=1378860/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=1786736 CPUtime=1800.07
/proc/7759/stat : 7759 (java) S 7757 7759 7333 0 -1 0 562367 0 1 0 179703 304 0 0 18 0 13 0 143072927 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7759/statm: 446684 103517 1332 9 0 444296 0
[pid=7759/tid=7761] ppid=7757 vsize=1786736 CPUtime=1785.78
/proc/7759/task/7761/stat : 7761 (java) R 7757 7759 7333 0 -1 64 37765 0 1 0 178542 36 0 0 25 0 13 0 143072929 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109807686 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7762] ppid=7757 vsize=1786736 CPUtime=5.46
/proc/7759/task/7762/stat : 7762 (java) S 7757 7759 7333 0 -1 64 258817 0 0 0 425 121 0 0 17 0 13 0 143072930 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7763] ppid=7757 vsize=1786736 CPUtime=5.43
/proc/7759/task/7763/stat : 7763 (java) S 7757 7759 7333 0 -1 64 246159 0 0 0 423 120 0 0 16 0 13 0 143072930 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7764] ppid=7757 vsize=1786736 CPUtime=1.42
/proc/7759/task/7764/stat : 7764 (java) S 7757 7759 7333 0 -1 64 14053 0 0 0 120 22 0 0 16 0 13 0 143072932 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7765] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7765/stat : 7765 (java) S 7757 7759 7333 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7766] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7766/stat : 7766 (java) S 7757 7759 7333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 143072933 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7767] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7767/stat : 7767 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7768] ppid=7757 vsize=1786736 CPUtime=0.96
/proc/7759/task/7768/stat : 7768 (java) S 7757 7759 7333 0 -1 64 2782 0 0 0 95 1 0 0 17 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7759/tid=7769] ppid=7757 vsize=1786736 CPUtime=0.97
/proc/7759/task/7769/stat : 7769 (java) S 7757 7759 7333 0 -1 64 2064 0 0 0 96 1 0 0 16 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7770] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7770/stat : 7770 (java) S 7757 7759 7333 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7771] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7771/stat : 7771 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 143072937 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7759/tid=7778] ppid=7757 vsize=1786736 CPUtime=0
/proc/7759/task/7778/stat : 7778 (java) S 7757 7759 7333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 143073727 1829617664 103517 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1786736

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

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

[startup+1794.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 7976
/proc/meminfo: memFree=1378860/2055920 swapFree=4184060/4192956
[pid=7759] ppid=7757 vsize=0 CPUtime=1800.2
/proc/7759/stat : 7759 (java) Z 7757 7759 7333 0 -1 1036 562385 0 1 0 179709 311 0 0 16 0 2 0 143072927 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7759/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1794.72
CPU time (s): 1800.21
CPU user time (s): 1797.09
CPU system time (s): 3.11653
CPU usage (%): 100.306
Max. virtual memory (cumulated for all children) (KiB): 1788740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.09
system time used= 3.11653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562385
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37591
involuntary context switches= 42928

runsolver used 2.03669 second user time and 4.67329 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Sun Apr 15 21:00:35 UTC 2007

IDJOB= 353614
IDBENCH= 2256
IDSOLVER= 159
FILE ID= node69/353614-1176670835

PBS_JOBID= 4559946

Free space on /tmp= 66558 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/frb53-24-opb/normalized-frb53-24-4.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353614-1176670835/sat4jPseudoResolution.jar /tmp/evaluation/353614-1176670835/instance-353614-1176670835.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-353614-1176670835 -o ROOT/results/node69/solver-353614-1176670835 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353614-1176670835/sat4jPseudoResolution.jar /tmp/evaluation/353614-1176670835/instance-353614-1176670835.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  1a88750537364c45876077f809191628

RANDOM SEED= 855804486

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1792700 kB
Buffers:         20056 kB
Cached:         139512 kB
SwapCached:       2884 kB
Active:         102500 kB
Inactive:        91072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792700 kB
SwapTotal:     4192956 kB
SwapFree:      4184060 kB
Dirty:            5844 kB
Writeback:           0 kB
Mapped:          16424 kB
Slab:            55740 kB
Committed_AS:   856624 kB
PageTables:       1472 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= 66558 MiB

End job on node69 on Sun Apr 15 21:30:32 UTC 2007