Trace number 353692

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)-40 1800.2 1793.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
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 1150
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 1150
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 1150
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/353692-1176673124/instance-353692-1176673124.opb
0.20/0.20	c reading problem ... 
2.99/2.40	c ... done. Wall clock time 2.199s.
2.99/2.40	c CPU time (experimental) 1.87s.
2.99/2.40	c #vars     1150
2.99/2.40	c #constraints  80035
2.99/2.45	c SATISFIABLE
2.99/2.45	c OPTIMIZING...
2.99/2.45	c Got one! Elapsed wall clock time (in seconds):2.248
2.99/2.46	o -34
3.30/2.69	c Got one! Elapsed wall clock time (in seconds):2.488
3.30/2.69	o -35
4.07/3.22	c Got one! Elapsed wall clock time (in seconds):3.015
4.07/3.22	o -37
4.18/3.32	c Got one! Elapsed wall clock time (in seconds):3.119
4.18/3.32	o -38
51.15/49.91	c Got one! Elapsed wall clock time (in seconds):49.707
51.15/49.91	o -39
54.06/52.85	c Got one! Elapsed wall clock time (in seconds):52.642
54.06/52.85	o -40
1310.73/1306.11	c cleaning 155776 clauses out of 311566 for limit 7.683256373856218E9
1324.45/1319.86	c cleaning 78137 clauses out of 156287 for limit 2.518400984878311E10
1328.66/1324.04	c cleaning 39312 clauses out of 78650 for limit 8.25286793304061E10
1331.26/1326.64	c cleaning 19905 clauses out of 39838 for limit 2.6869648306268518E11
1332.36/1327.71	c cleaning 10205 clauses out of 20434 for limit 8.647618442282969E11
1332.95/1328.33	c cleaning 5354 clauses out of 10728 for limit 2.7136417883562183E12
1333.25/1328.67	c cleaning 2928 clauses out of 5875 for limit 8.180009558804931E12
1333.55/1328.96	c cleaning 1714 clauses out of 3449 for limit 2.302466914613992E13
1333.75/1329.17	c cleaning 1109 clauses out of 2234 for limit 5.856319997093088E13
1334.05/1329.44	c cleaning 812 clauses out of 1624 for limit 1.3272212246937352E14
1334.25/1329.70	c cleaning 656 clauses out of 1313 for limit 2.7099109251263162E14
1334.46/1329.90	c cleaning 578 clauses out of 1156 for limit 5.070879413612361E14
1334.75/1330.16	c cleaning 538 clauses out of 1077 for limit 8.966992140313936E14
1335.05/1330.42	c cleaning 508 clauses out of 1041 for limit 1.5329806514758498E15
1585.83/1580.57	c cleaning 44760 clauses out of 89532 for limit 8.358387332204486E11
1588.03/1582.77	c cleaning 22631 clauses out of 45272 for limit 2.7260071137862095E12
1589.43/1584.10	c cleaning 11561 clauses out of 23143 for limit 8.811745004136148E12
1590.83/1585.56	c cleaning 6035 clauses out of 12082 for limit 2.783547469144959E13
1591.73/1586.40	c cleaning 3267 clauses out of 6545 for limit 8.456967778356002E13
1592.03/1586.79	c cleaning 1884 clauses out of 3779 for limit 2.4178972073711512E14
1592.43/1587.14	c cleaning 1188 clauses out of 2395 for limit 6.29165781865139E14
1592.83/1587.50	c cleaning 847 clauses out of 1706 for limit 1.4551674143546075E15
1593.13/1587.80	c cleaning 669 clauses out of 1359 for limit 3.0125094511070325E15
1593.33/1588.05	c cleaning 588 clauses out of 1189 for limit 5.672668375660578E15
1593.53/1588.24	c cleaning 551 clauses out of 1103 for limit 1.010458887702121E16
1593.73/1588.45	c cleaning 526 clauses out of 1052 for limit 1.7471665556077944E16
1593.93/1588.67	c cleaning 512 clauses out of 1024 for limit 2.9541800056749568E16
1594.13/1588.87	c cleaning 503 clauses out of 1012 for limit 4.92960686291346E-4
1594.33/1589.05	c cleaning 500 clauses out of 1010 for limit 8.153833201723928E-4
1667.74/1662.11	c cleaning 19248 clauses out of 38509 for limit 6.936395642674679E11
1669.74/1664.16	c cleaning 9875 clauses out of 19762 for limit 2.2312878552193716E12
1671.84/1666.24	c cleaning 5193 clauses out of 10387 for limit 7.000873847669969E12
1672.54/1666.97	c cleaning 2847 clauses out of 5694 for limit 2.106108824298938E13
1673.10/1667.46	c cleaning 1665 clauses out of 3346 for limit 5.904643873889571E13
1673.50/1667.83	c cleaning 1090 clauses out of 2181 for limit 1.4938942898160703E14
1673.80/1668.17	c cleaning 788 clauses out of 1592 for limit 3.37849179241042E14
1674.10/1668.46	c cleaning 644 clauses out of 1303 for limit 6.800532040598048E14
1674.30/1668.69	c cleaning 566 clauses out of 1160 for limit 1.2610134430362922E15
1674.50/1668.88	c cleaning 541 clauses out of 1094 for limit 2.2050389771439895E15
1674.70/1669.07	c cleaning 526 clauses out of 1052 for limit 3.7778023119341705E15
1674.90/1669.26	c cleaning 513 clauses out of 1026 for limit 6.387979210928896E15
1675.09/1669.45	c cleaning 506 clauses out of 1013 for limit 1.0669825001839994E16
1675.29/1669.70	c cleaning 504 clauses out of 1009 for limit 1.7701109399987772E16
1675.59/1669.92	c cleaning 502 clauses out of 1004 for limit 2.930753652236486E16
1675.79/1670.10	c cleaning 499 clauses out of 1002 for limit 4.8428519571997564E-4
1675.89/1670.26	c cleaning 498 clauses out of 1003 for limit 7.978548119692517E-4
1676.09/1670.46	c cleaning 495 clauses out of 1006 for limit 0.0013131587133899379
1676.29/1670.69	c cleaning 495 clauses out of 1010 for limit 0.0021548408595163473
1676.60/1670.94	c cleaning 500 clauses out of 1014 for limit 0.0035360630159842
1676.79/1671.15	c cleaning 503 clauses out of 1014 for limit 0.0058314409594051025
1677.09/1671.42	c cleaning 500 clauses out of 1011 for limit 0.009645362834707771
1677.29/1671.61	c cleaning 500 clauses out of 1013 for limit 0.015906886788819217
1728.86/1722.93	c cleaning 15751 clauses out of 31514 for limit 1.5100475087105335E10
1729.56/1723.68	c cleaning 8123 clauses out of 16260 for limit 4.8120036963532486E10
1730.06/1724.15	c cleaning 4311 clauses out of 8638 for limit 1.495284021863115E11
1730.46/1724.55	c cleaning 2412 clauses out of 4832 for limit 4.430353830639074E11
1730.66/1724.78	c cleaning 1457 clauses out of 2915 for limit 1.205063985223581E12
1730.96/1725.01	c cleaning 972 clauses out of 1959 for limit 2.960088046311018E12
1731.16/1725.21	c cleaning 739 clauses out of 1485 for limit 6.426869402836963E12
1731.36/1725.43	c cleaning 623 clauses out of 1247 for limit 1.263426185887584E13
1731.56/1725.65	c cleaning 555 clauses out of 1125 for limit 2.3118209960439734E13
1731.76/1725.88	c cleaning 534 clauses out of 1069 for limit 4.008209344290869E13
1731.96/1726.07	c cleaning 517 clauses out of 1034 for limit 6.826984830469238E13
1732.26/1726.33	c cleaning 509 clauses out of 1018 for limit 1.1447010927195811E14
1732.46/1726.53	c cleaning 504 clauses out of 1009 for limit 1.904603579323964E14
1744.25/1738.21	c cleaning 4991 clauses out of 10006 for limit 0.0025806649822527287
1744.75/1738.76	c cleaning 2751 clauses out of 5514 for limit 0.00771519204331907
1745.16/1739.16	c cleaning 1626 clauses out of 3263 for limit 0.021500685954541004
1745.45/1739.43	c cleaning 1063 clauses out of 2136 for limit 0.05411149295899263
1745.65/1739.65	c cleaning 781 clauses out of 1574 for limit 0.12122060175739233
1745.88/1739.85	c cleaning 641 clauses out of 1294 for limit 0.24340936649823608
1746.08/1740.05	c cleaning 569 clauses out of 1151 for limit 0.45038415402069526
1746.28/1740.24	c cleaning 532 clauses out of 1082 for limit 0.790109078752081
1746.48/1740.48	c cleaning 520 clauses out of 1050 for limit 1.3427059109374582
1746.68/1740.68	c cleaning 510 clauses out of 1030 for limit 2.257297820072799
1746.98/1740.92	c cleaning 503 clauses out of 1020 for limit 3.7590820231723945
1747.18/1741.11	c cleaning 504 clauses out of 1018 for limit 6.21762599529942
1747.28/1741.29	c cleaning 501 clauses out of 1013 for limit 10.294003285881328
1747.48/1741.50	c cleaning 501 clauses out of 1015 for limit 16.993667947588705
1747.78/1741.74	c cleaning 497 clauses out of 1011 for limit 28.05138871350047
1747.98/1741.98	c cleaning 500 clauses out of 1014 for limit 46.12362727337783
1748.28/1742.22	c cleaning 496 clauses out of 1014 for limit 76.06403168226548
1748.48/1742.42	c cleaning 501 clauses out of 1018 for limit 124.94687682011649
1794.93/1788.67	c cleaning 13499 clauses out of 27018 for limit 1.541049215926682E12
1795.94/1789.69	c cleaning 7004 clauses out of 14020 for limit 4.902437789931091E12
1796.53/1790.29	c cleaning 3753 clauses out of 7516 for limit 1.5080968073830139E13
1796.83/1790.59	c cleaning 2126 clauses out of 4261 for limit 4.3781568992114945E13
1797.14/1790.84	c cleaning 1308 clauses out of 2635 for limit 1.1675570831814067E14
1797.33/1791.09	c cleaning 914 clauses out of 1828 for limit 2.7782604070274762E14
1797.63/1791.38	c cleaning 707 clauses out of 1415 for limit 5.924928313921752E14
1797.93/1791.60	c cleaning 594 clauses out of 1207 for limit 1.1443362223991682E15
1798.03/1791.80	c cleaning 544 clauses out of 1113 for limit 2.0465465996206288E15
1798.33/1792.01	c cleaning 534 clauses out of 1068 for limit 3.5137181728238315E15
1798.53/1792.21	c cleaning 509 clauses out of 1035 for limit 5.985331741221409E15
1798.73/1792.41	c cleaning 512 clauses out of 1025 for limit 9.95694449414694E15
1798.83/1792.59	c cleaning 507 clauses out of 1015 for limit 1.6615324204738778E16
1799.03/1792.79	c cleaning 503 clauses out of 1006 for limit 2.7590765166887844E16
1799.23/1792.98	c cleaning 502 clauses out of 1004 for limit 4.5637139094719584E16
1799.43/1793.16	c cleaning 496 clauses out of 1002 for limit 7.54119706435244E-4
1799.63/1793.38	c cleaning 497 clauses out of 1008 for limit 0.001238717832663402
1800.07/1793.71	c starts		: 53
1800.07/1793.71	c conflicts		: 553398
1800.07/1793.71	c decisions		: 565666
1800.07/1793.71	c propagations		: 2998102
1800.07/1793.71	c inspects		: 678312223
1800.07/1793.71	c learnt literals	: 0
1800.07/1793.71	c learnt binary clauses	: 0
1800.07/1793.71	c learnt ternary clauses	: 0
1800.07/1793.71	c learnt clauses	: 553398
1800.07/1793.71	c root simplifications	: 0
1800.07/1793.71	c removed literals (reason simplification)	: 0
1800.07/1793.71	c reason swapping (by a shorter reason)	: 0
1800.07/1793.71	c Calls to reduceDB	: 100
1800.07/1793.71	c speed (decisions/second)	: 324.937272238485
1800.07/1793.71	c non guided choices	0
1800.07/1793.71	s SATISFIABLE
1800.07/1793.72	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/1793.72	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/1793.72	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/1793.72	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.07/1793.72	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.07/1793.72	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146
1800.07/1793.72	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.07/1793.72	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.07/1793.72	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209
1800.07/1793.72	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.07/1793.72	v -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.07/1793.72	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272
1800.07/1793.72	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.07/1793.72	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.07/1793.72	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.07/1793.72	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.07/1793.72	v -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.07/1793.72	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.07/1793.72	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.07/1793.72	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440
1800.07/1793.72	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.07/1793.72	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482
1800.07/1793.72	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.07/1793.72	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.07/1793.72	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.07/1793.72	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.07/1793.72	v -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.07/1793.72	v -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.07/1793.72	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.07/1793.72	v -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.07/1793.72	v -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.07/1793.72	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692
1800.07/1793.72	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.07/1793.72	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734
1800.07/1793.72	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.07/1793.72	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.07/1793.72	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.07/1793.72	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.07/1793.72	v x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.07/1793.72	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860
1800.07/1793.72	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.07/1793.72	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902
1800.07/1793.72	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.07/1793.72	v -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.07/1793.72	v -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.07/1793.72	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.07/1793.72	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.07/1793.72	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.07/1793.72	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.07/1793.72	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.07/1793.72	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.07/1793.72	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.07/1793.72	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107
1800.07/1793.72	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.07/1793.72	v -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.07/1793.72	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1800.07/1793.72	c objective function=-40
1800.07/1793.72	c Total wall clock time (ms): 1793.518

Verifier Data (download as text)

OK	-40

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-353692-1176673124 -o ROOT/results/node51/solver-353692-1176673124 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353692-1176673124/sat4jPseudoResolution.jar /tmp/evaluation/353692-1176673124/instance-353692-1176673124.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 4373
/proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=152 CPUtime=0
/proc/4373/stat : 4373 (java) R 4371 4373 3660 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 22157541 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2617643 0 0 4096 0 0 0 0 17 1 0 0
/proc/4373/statm: 38 26 19 9 0 4 0

[startup+0.084066 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4373
/proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1777844 CPUtime=0.06
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 3795 0 1 0 4 2 0 0 18 0 7 0 22157541 1820512256 3537 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 444461 3537 1086 9 0 442097 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777844

[startup+0.102062 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4373
/proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1780108 CPUtime=0.08
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 3971 0 1 0 6 2 0 0 18 0 12 0 22157541 1822830592 3712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 445027 3712 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301089 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4373
/proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1782452 CPUtime=0.32
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 5119 0 1 0 29 3 0 0 18 0 12 0 22157541 1825230848 4857 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 445613 4857 1264 9 0 443225 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782452

[startup+0.701115 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 4373
/proc/meminfo: memFree=1809144/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1783724 CPUtime=0.9
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 6885 0 1 0 86 4 0 0 18 0 12 0 22157541 1826533376 6390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 445931 6390 1301 9 0 443543 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 1783724

[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 0.99 3/76 4385
/proc/meminfo: memFree=1782040/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1785988 CPUtime=2.05
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 18058 0 1 0 196 9 0 0 18 0 12 0 22157541 1828851712 16339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446497 16340 1301 9 0 444109 0
[pid=4373/tid=4375] ppid=4371 vsize=1785988 CPUtime=1.01
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 14464 0 1 0 94 7 0 0 25 0 12 0 22157543 1828851712 16341 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109624280 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 22157544 1828851712 16342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 22157544 1828851712 16343 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 22157546 1828851712 16344 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 22157547 1828851712 16346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 22157547 1828851712 16347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 22157551 1828851712 16348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1785988 CPUtime=0.55
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 1777 0 0 0 55 0 0 0 17 0 12 0 22157551 1828851712 16349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1785988 CPUtime=0.45
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 1097 0 0 0 45 0 0 0 16 0 12 0 22157551 1828851712 16350 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 22157551 1828851712 16351 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1785988 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 22157551 1828851712 16352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 1785988

[startup+3.10233 s]
/proc/loadavg: 0.92 0.98 0.99 2/76 4385
/proc/meminfo: memFree=1678360/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1787144 CPUtime=3.97
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 43904 0 1 0 375 22 0 0 18 0 13 0 22157541 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446786 41366 1323 9 0 444398 0
[pid=4373/tid=4375] ppid=4371 vsize=1787144 CPUtime=2.38
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37716 0 1 0 220 18 0 0 23 0 13 0 22157543 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796808 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1787144 CPUtime=0.04
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1787144 CPUtime=0.04
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1787144 CPUtime=0
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1787144 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1787144 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 22157547 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1787144 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1787144 CPUtime=0.79
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2596 0 0 0 78 1 0 0 16 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1787144 CPUtime=0.67
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 1371 0 0 0 67 0 0 0 16 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1787144 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1787144 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830035456 41366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 1787144

[startup+6.30261 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 4390
/proc/meminfo: memFree=1648456/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1786184 CPUtime=7.3
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 44598 0 1 0 707 23 0 0 18 0 13 0 22157541 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446546 41205 1326 9 0 444158 0
[pid=4373/tid=4375] ppid=4371 vsize=1786184 CPUtime=5.49
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37720 0 1 0 531 18 0 0 17 0 13 0 22157543 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109828880 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1786184 CPUtime=0.04
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1786184 CPUtime=0.04
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1786184 CPUtime=0.9
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 89 1 0 0 17 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1786184 CPUtime=0.79
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2044 0 0 0 78 1 0 0 16 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4390] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4390/stat : 4390 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 22157884 1829052416 41205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 1786184

[startup+12.7022 s]
/proc/loadavg: 1.01 1.00 1.00 2/77 4390
/proc/meminfo: memFree=1648520/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1786184 CPUtime=13.72
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 44602 0 1 0 1349 23 0 0 18 0 13 0 22157541 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446546 41207 1326 9 0 444158 0
[pid=4373/tid=4375] ppid=4371 vsize=1786184 CPUtime=11.86
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37722 0 1 0 1168 18 0 0 19 0 13 0 22157543 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796792 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1786184 CPUtime=0.04
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1786184 CPUtime=0.04
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1786184 CPUtime=0.93
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 92 1 0 0 16 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1786184 CPUtime=0.81
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2046 0 0 0 80 1 0 0 16 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4390] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4390/stat : 4390 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 22157884 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.72
Current children cumulated vsize (KiB) 1786184

[startup+25.5023 s]
/proc/loadavg: 1.01 1.00 1.00 2/77 4390
/proc/meminfo: memFree=1648520/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1786184 CPUtime=26.51
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 44602 0 1 0 2628 23 0 0 18 0 13 0 22157541 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446546 41207 1326 9 0 444158 0
[pid=4373/tid=4375] ppid=4371 vsize=1786184 CPUtime=24.65
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37722 0 1 0 2447 18 0 0 25 0 13 0 22157543 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796792 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1786184 CPUtime=0.04
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 828 0 0 0 4 0 0 0 16 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1786184 CPUtime=0.04
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 662 0 0 0 4 0 0 0 17 0 13 0 22157544 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157546 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1786184 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1829052416 41207 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.28
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 104 24 0 0 16 0 13 0 22157546 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.04
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 103 1 0 0 17 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 114653 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1607.76
Current children cumulated vsize (KiB) 1787468

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4590
/proc/meminfo: memFree=1352312/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1787468 CPUtime=1667.93
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635685 0 1 0 166467 326 0 0 18 0 13 0 22157541 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446867 114365 1332 9 0 444479 0
[pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1654.62
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37761 0 1 0 165440 22 0 0 25 0 13 0 22157543 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796814 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.01
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 361 140 0 0 17 0 13 0 22157544 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.03
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 367 136 0 0 16 0 13 0 22157544 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.28
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 104 24 0 0 16 0 13 0 22157546 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.04
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 103 1 0 0 17 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 114365 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1667.93
Current children cumulated vsize (KiB) 1787468

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4592
/proc/meminfo: memFree=1368376/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1787468 CPUtime=1728.26
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635690 0 1 0 172499 327 0 0 18 0 13 0 22157541 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446867 110335 1332 9 0 444479 0
[pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1714.13
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37766 0 1 0 171391 22 0 0 25 0 13 0 22157543 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109710934 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.35
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 395 140 0 0 16 0 13 0 22157544 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.37
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 401 136 0 0 16 0 13 0 22157544 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.41
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 116 25 0 0 16 0 13 0 22157546 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.04
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2613 0 0 0 103 1 0 0 17 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 110335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1728.26
Current children cumulated vsize (KiB) 1787468

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4592
/proc/meminfo: memFree=1380472/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1787468 CPUtime=1788.54
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635696 0 1 0 178527 327 0 0 18 0 13 0 22157541 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446867 107317 1332 9 0 444479 0
[pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1773.71
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37771 0 1 0 177349 22 0 0 25 0 13 0 22157543 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796808 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.63
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 423 140 0 0 16 0 13 0 22157544 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.65
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 429 136 0 0 17 0 13 0 22157544 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.53
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 128 25 0 0 16 0 13 0 22157546 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.06
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2614 0 0 0 105 1 0 0 17 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 107317 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (KiB) 1787468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4592
/proc/meminfo: memFree=1381304/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=1787468 CPUtime=1800.07
/proc/4373/stat : 4373 (java) S 4371 4373 3660 0 -1 0 635698 0 1 0 179679 328 0 0 18 0 13 0 22157541 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4373/statm: 446867 107093 1332 9 0 444479 0
[pid=4373/tid=4375] ppid=4371 vsize=1787468 CPUtime=1784.99
/proc/4373/task/4375/stat : 4375 (java) R 4371 4373 3660 0 -1 64 37773 0 1 0 178477 22 0 0 25 0 13 0 22157543 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109796792 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4376] ppid=4371 vsize=1787468 CPUtime=5.75
/proc/4373/task/4376/stat : 4376 (java) S 4371 4373 3660 0 -1 64 294801 0 0 0 435 140 0 0 16 0 13 0 22157544 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4377] ppid=4371 vsize=1787468 CPUtime=5.77
/proc/4373/task/4377/stat : 4377 (java) S 4371 4373 3660 0 -1 64 284678 0 0 0 441 136 0 0 17 0 13 0 22157544 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4378] ppid=4371 vsize=1787468 CPUtime=1.53
/proc/4373/task/4378/stat : 4378 (java) S 4371 4373 3660 0 -1 64 13056 0 0 0 128 25 0 0 16 0 13 0 22157546 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4379] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4379/stat : 4379 (java) S 4371 4373 3660 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4380] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4380/stat : 4380 (java) S 4371 4373 3660 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22157547 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4381] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4381/stat : 4381 (java) S 4371 4373 3660 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4382] ppid=4371 vsize=1787468 CPUtime=1.06
/proc/4373/task/4382/stat : 4382 (java) S 4371 4373 3660 0 -1 64 2614 0 0 0 105 1 0 0 17 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4383] ppid=4371 vsize=1787468 CPUtime=0.92
/proc/4373/task/4383/stat : 4383 (java) S 4371 4373 3660 0 -1 64 2049 0 0 0 91 1 0 0 16 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4384] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4384/stat : 4384 (java) S 4371 4373 3660 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4373/tid=4385] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4385/stat : 4385 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22157551 1830367232 107093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4373/tid=4392] ppid=4371 vsize=1787468 CPUtime=0
/proc/4373/task/4392/stat : 4392 (java) S 4371 4373 3660 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 22162827 1830367232 107093 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) 1787468

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

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

[startup+1793.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4592
/proc/meminfo: memFree=1381304/2055920 swapFree=4184504/4192956
[pid=4373] ppid=4371 vsize=0 CPUtime=1800.18
/proc/4373/stat : 4373 (java) Z 4371 4373 3660 0 -1 1036 635717 0 1 0 179685 333 0 0 16 0 2 0 22157541 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4373/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1793.85
CPU time (s): 1800.2
CPU user time (s): 1796.85
CPU system time (s): 3.34749
CPU usage (%): 100.354
Max. virtual memory (cumulated for all children) (KiB): 1789472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.85
system time used= 3.34749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635717
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= 37479
involuntary context switches= 7948

runsolver used 2.00869 second user time and 4.5793 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Sun Apr 15 21:38:44 UTC 2007

IDJOB= 353692
IDBENCH= 2262
IDSOLVER= 159
FILE ID= node51/353692-1176673124

PBS_JOBID= 4559915

Free space on /tmp= 66559 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/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353692-1176673124/sat4jPseudoResolution.jar /tmp/evaluation/353692-1176673124/instance-353692-1176673124.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-353692-1176673124 -o ROOT/results/node51/solver-353692-1176673124 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/353692-1176673124/sat4jPseudoResolution.jar /tmp/evaluation/353692-1176673124/instance-353692-1176673124.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  32f273c48805c1e726044ae006778010

RANDOM SEED= 337865594

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1809616 kB
Buffers:         30788 kB
Cached:         141700 kB
SwapCached:       2680 kB
Active:          69484 kB
Inactive:       113724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809616 kB
SwapTotal:     4192956 kB
SwapFree:      4184504 kB
Dirty:            5472 kB
Writeback:           0 kB
Mapped:          16420 kB
Slab:            49140 kB
Committed_AS:  1847856 kB
PageTables:       1408 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= 66559 MiB

End job on node51 on Sun Apr 15 22:08:40 UTC 2007