Trace number 3742036

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.01 1796.52

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K107.opb
MD5SUMf523e4bc7acd98550e38ca37c8d9200b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark100.583
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7276
Total number of constraints7492
Number of constraints which are clauses7385
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint107
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 108
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.10	c no version file found!!!
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version	1.6.0_24
0.07/0.10	c os.name	Linux
0.07/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch	amd64
0.07/0.10	c Free memory 1599470296
0.07/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742036-1338760537.opb
0.07/0.12	c reading problem ... 
0.77/0.48	c ... done. Wall clock time 0.353s.
0.77/0.48	c CPU time (experimental) 0.43s.
0.77/0.48	c #vars     7276
0.77/0.48	c #constraints  7490
886.64/884.35	c cleaning 310635 clauses out of 622476 for limit 48965.61643261367
887.66/885.34	c cleaning 155986 clauses out of 312340 for limit 160770.9607556575
888.16/885.80	c cleaning 77949 clauses out of 156855 for limit 528478.4039634794
888.46/886.12	c cleaning 38991 clauses out of 79407 for limit 1723285.4529404594
888.66/886.33	c cleaning 19711 clauses out of 40914 for limit 5504665.496814186
888.76/886.43	c cleaning 10012 clauses out of 21703 for limit 1.711350596926017E7
888.87/886.52	c cleaning 5349 clauses out of 12191 for limit 5.024297150324321E7
888.87/886.60	c cleaning 2843 clauses out of 7342 for limit 1.375802692135698E8
888.97/886.66	c cleaning 1739 clauses out of 5002 for limit 3.340306126061493E8
889.06/886.72	c cleaning 1153 clauses out of 3763 for limit 7.322369259498208E8
889.06/886.78	c cleaning 755 clauses out of 3107 for limit 1.4581323418787968E9
889.16/886.84	c cleaning 624 clauses out of 2852 for limit 2.619657786970792E9
889.26/886.90	c cleaning 573 clauses out of 2729 for limit 4.519401716753837E9
889.26/886.95	c cleaning 812 clauses out of 2655 for limit 7.653169494368035E9
889.36/887.02	c cleaning 445 clauses out of 2345 for limit 1.431818339047753E10
889.36/887.08	c cleaning 460 clauses out of 2398 for limit 2.3044561700332943E10
889.46/887.14	c cleaning 448 clauses out of 2439 for limit 3.740212089342374E10
889.46/887.19	c cleaning 605 clauses out of 2490 for limit 6.035733531624432E10
889.56/887.25	c cleaning 487 clauses out of 2390 for limit 1.0422213131247504E11
889.66/887.31	c cleaning 504 clauses out of 2399 for limit 1.7054753353736963E11
889.66/887.35	c cleaning 417 clauses out of 2396 for limit 2.8188974453890283E11
889.76/887.41	c cleaning 1049 clauses out of 2479 for limit 4.493093435558278E11
889.76/887.47	c cleaning 714 clauses out of 1928 for limit 9.508276678930273E11
889.86/887.53	c cleaning 480 clauses out of 1716 for limit 1.7652916512840344E12
889.86/887.60	c cleaning 408 clauses out of 1735 for limit 2.8764421687186953E12
889.96/887.65	c cleaning 323 clauses out of 1826 for limit 4.50272815644502E12
890.06/887.72	c cleaning 379 clauses out of 2006 for limit 6.779614422450717E12
890.16/887.80	c cleaning 392 clauses out of 2126 for limit 1.0538869787418143E13
890.16/887.88	c cleaning 435 clauses out of 2232 for limit 1.652151891863757E13
890.26/887.98	c cleaning 521 clauses out of 2297 for limit 2.647518808463099E13
890.36/888.05	c cleaning 724 clauses out of 2276 for limit 4.4063975649624805E13
890.46/888.12	c cleaning 612 clauses out of 2054 for limit 8.068269710188011E13
890.46/888.20	c cleaning 553 clauses out of 1941 for limit 1.4066196715044094E14
890.56/888.26	c cleaning 524 clauses out of 1890 for limit 2.3870709550024397E14
890.66/888.33	c cleaning 528 clauses out of 1863 for limit 3.981682528250341E14
890.66/888.37	c cleaning 908 clauses out of 1835 for limit 6.666521786740362E14
890.76/888.43	c cleaning 708 clauses out of 1427 for limit 1.4137326407017118E15
890.76/888.49	c cleaning 446 clauses out of 1223 for limit 2.731232901129647E15
890.86/888.56	c cleaning 379 clauses out of 1273 for limit 4.30997378604679E15
890.96/888.63	c cleaning 647 clauses out of 1394 for limit 6.490768885249613E-5
890.96/888.68	c cleaning 519 clauses out of 1247 for limit 1.196598221215453E-4
891.06/888.74	c cleaning 532 clauses out of 1228 for limit 2.0038828415338075E-4
891.16/888.81	c cleaning 397 clauses out of 1197 for limit 3.393649155468929E-4
891.16/888.87	c cleaning 228 clauses out of 1301 for limit 5.154353429217935E-4
891.26/888.94	c cleaning 396 clauses out of 1571 for limit 7.025256240229137E-4
891.36/889.00	c cleaning 432 clauses out of 1677 for limit 0.001087502345684236
891.36/889.07	c cleaning 467 clauses out of 1743 for limit 0.0017220776938322642
891.46/889.12	c cleaning 480 clauses out of 1776 for limit 0.0027871674023282928
891.46/889.19	c cleaning 487 clauses out of 1796 for limit 0.004545226919194924
891.56/889.27	c cleaning 486 clauses out of 1811 for limit 0.0074484921209728595
891.66/889.35	c cleaning 500 clauses out of 1823 for limit 0.012178309522166737
891.76/889.42	c cleaning 508 clauses out of 1824 for limit 0.020092743551325933
891.86/889.50	c cleaning 509 clauses out of 1815 for limit 0.033266631014129
891.86/889.57	c cleaning 491 clauses out of 1806 for limit 0.05513451918257253
891.96/889.64	c cleaning 506 clauses out of 1815 for limit 0.09047333410486053
891.96/889.69	c cleaning 503 clauses out of 1809 for limit 0.1496974990103382
892.06/889.76	c cleaning 492 clauses out of 1808 for limit 0.24750250335182206
892.16/889.83	c cleaning 496 clauses out of 1816 for limit 0.40636665577202224
892.16/889.89	c cleaning 477 clauses out of 1818 for limit 0.6680775740700284
892.26/889.95	c cleaning 486 clauses out of 1841 for limit 1.087984907936426
892.36/890.02	c cleaning 488 clauses out of 1856 for limit 1.7815133718184335
892.36/890.08	c cleaning 511 clauses out of 1867 for limit 2.9177233812554317
892.46/890.12	c cleaning 508 clauses out of 1857 for limit 4.842469885777175
892.46/890.19	c cleaning 512 clauses out of 1848 for limit 8.01674815866695
892.56/890.26	c cleaning 485 clauses out of 1836 for limit 13.307099914729417
892.66/890.32	c cleaning 802 clauses out of 1851 for limit 21.789139262822456
892.76/890.41	c cleaning 644 clauses out of 1549 for limit 42.93890475186535
892.76/890.48	c cleaning 586 clauses out of 1404 for limit 78.04707793887307
892.87/890.55	c cleaning 545 clauses out of 1318 for limit 137.10845352911946
892.97/890.64	c cleaning 511 clauses out of 1273 for limit 234.10307914984068
893.07/890.74	c cleaning 489 clauses out of 1262 for limit 389.4323826274216
893.07/890.79	c cleaning 474 clauses out of 1273 for limit 636.6766170552256
893.17/890.85	c cleaning 489 clauses out of 1302 for limit 1029.6645048466733
893.28/890.91	c cleaning 486 clauses out of 1310 for limit 1682.6267232016532
893.28/890.96	c cleaning 502 clauses out of 1325 for limit 2746.2090764571185
893.38/891.03	c cleaning 486 clauses out of 1322 for limit 4534.604310835273
893.47/891.10	c cleaning 478 clauses out of 1336 for limit 7399.80508923541
893.47/891.15	c cleaning 536 clauses out of 1358 for limit 12005.571975850999
893.57/891.23	c cleaning 525 clauses out of 1322 for limit 20337.94448690199
893.67/891.32	c cleaning 502 clauses out of 1297 for limit 34186.482955604995
893.77/891.42	c cleaning 468 clauses out of 1295 for limit 56465.154179321005
893.87/891.51	c cleaning 479 clauses out of 1328 for limit 90895.54762162371
893.87/891.58	c cleaning 481 clauses out of 1348 for limit 147527.22336642747
893.97/891.66	c cleaning 504 clauses out of 1367 for limit 239910.5979702155
894.07/891.74	c cleaning 479 clauses out of 1363 for limit 396805.7702657145
894.17/891.81	c cleaning 563 clauses out of 1384 for limit 644456.5346048214
894.17/891.87	c cleaning 520 clauses out of 1321 for limit 1113480.9496986489
894.27/891.93	c cleaning 513 clauses out of 1302 for limit 1864940.684365369
894.27/891.99	c cleaning 526 clauses out of 1288 for limit 3105857.4558737515
894.38/892.08	c cleaning 489 clauses out of 1262 for limit 5227498.476481504
894.48/892.14	c cleaning 489 clauses out of 1273 for limit 8546351.546866016
894.57/892.22	c cleaning 507 clauses out of 1284 for limit 1.3973333360829588E7
894.67/892.30	c cleaning 632 clauses out of 1277 for limit 2.3170213393840548E7
894.67/892.39	c cleaning 527 clauses out of 1145 for limit 4.26158672745043E7
894.77/892.44	c cleaning 462 clauses out of 1119 for limit 7.198419132369338E7
894.87/892.50	c cleaning 424 clauses out of 1156 for limit 1.1479705789873582E8
894.97/892.60	c cleaning 499 clauses out of 1231 for limit 1.7778144260582703E8
894.97/892.68	c cleaning 538 clauses out of 1232 for limit 2.9294740688514906E8
895.07/892.77	c cleaning 474 clauses out of 1194 for limit 4.9848480682420003E8
895.17/892.85	c cleaning 487 clauses out of 1220 for limit 8.045486477652935E8
895.27/892.93	c cleaning 488 clauses out of 1233 for limit 1.3128192927202988E9
895.37/893.00	c cleaning 481 clauses out of 1245 for limit 2.144147028535369E9
895.37/893.09	c cleaning 518 clauses out of 1264 for limit 3.4828336113102264E9
895.48/893.17	c cleaning 491 clauses out of 1246 for limit 5.826632750759963E9
895.58/893.23	c cleaning 448 clauses out of 1255 for limit 9.539988455153852E9
895.58/893.28	c cleaning 643 clauses out of 1309 for limit 1.5113910250679094E10
895.67/893.34	c cleaning 576 clauses out of 1165 for limit 2.797769525792336E10
895.67/893.39	c cleaning 502 clauses out of 1088 for limit 4.9354907309593216E10
895.77/893.43	c cleaning 432 clauses out of 1088 for limit 8.155587492887694E10
895.77/893.48	c cleaning 434 clauses out of 1154 for limit 1.2655088924132764E11
895.87/893.53	c cleaning 421 clauses out of 1220 for limit 1.974090535436628E11
895.87/893.57	c cleaning 507 clauses out of 1299 for limit 3.0575504588847943E11
895.97/893.63	c cleaning 467 clauses out of 1292 for limit 5.069628754094527E11
895.97/893.68	c cleaning 474 clauses out of 1325 for limit 8.152272343884946E11
896.07/893.74	c cleaning 645 clauses out of 1355 for limit 1.3199248244869663E12
896.17/893.80	c cleaning 516 clauses out of 1209 for limit 2.437157333763922E12
896.17/893.85	c cleaning 499 clauses out of 1192 for limit 4.072442744885348E12
896.27/893.91	c cleaning 382 clauses out of 1191 for limit 6.708205287185759E12
896.27/893.96	c cleaning 429 clauses out of 1310 for limit 1.0067860960292283E13
896.37/894.02	c cleaning 500 clauses out of 1380 for limit 1.5745294702939318E13
896.37/894.09	c cleaning 538 clauses out of 1383 for limit 2.5987656775587926E13
896.47/894.14	c cleaning 656 clauses out of 1342 for limit 4.403410141173108E13
896.47/894.19	c cleaning 586 clauses out of 1187 for limit 8.218287572680394E13
896.58/894.24	c cleaning 531 clauses out of 1100 for limit 1.4610354141822603E14
896.68/894.31	c cleaning 514 clauses out of 1069 for limit 2.4793144405876466E14
896.68/894.37	c cleaning 442 clauses out of 1055 for limit 4.14297910079748E14
896.77/894.44	c cleaning 489 clauses out of 1113 for limit 6.476284589102274E14
896.87/894.50	c cleaning 396 clauses out of 1126 for limit 1.0578098560328164E15
896.87/894.58	c cleaning 565 clauses out of 1228 for limit 1.5963734505137978E15
896.97/894.65	c cleaning 462 clauses out of 1163 for limit 2.77977110000839E15
897.07/894.70	c cleaning 424 clauses out of 1201 for limit 4.4391684968275055E15
897.07/894.77	c cleaning 525 clauses out of 1277 for limit 6.885090084447266E15
897.17/894.86	c cleaning 588 clauses out of 1253 for limit 1.1583501306495162E-4
897.27/894.94	c cleaning 539 clauses out of 1164 for limit 2.054278485983922E-4
897.37/895.01	c cleaning 498 clauses out of 1125 for limit 3.505223081228031E-4
897.37/895.06	c cleaning 382 clauses out of 1127 for limit 5.770323428537669E-4
897.47/895.10	c cleaning 445 clauses out of 1251 for limit 8.624416468374101E-4
897.47/895.18	c cleaning 527 clauses out of 1301 for limit 0.0013607961173338558
897.57/895.26	c cleaning 508 clauses out of 1273 for limit 0.002291201735587801
897.57/895.30	c cleaning 491 clauses out of 1265 for limit 0.0038023938140914894
897.68/895.35	c cleaning 494 clauses out of 1278 for limit 0.006231759731460912
897.68/895.40	c cleaning 530 clauses out of 1280 for limit 0.010219965380106852
897.78/895.45	c cleaning 501 clauses out of 1250 for limit 0.01725858827704786
897.78/895.49	c cleaning 464 clauses out of 1250 for limit 0.02849021109257788
897.87/895.55	c cleaning 497 clauses out of 1285 for limit 0.04565874053936683
897.97/895.60	c cleaning 503 clauses out of 1288 for limit 0.07512198919051562
897.97/895.66	c cleaning 487 clauses out of 1285 for limit 0.12417543832048362
898.07/895.71	c cleaning 486 clauses out of 1298 for limit 0.2027309352412874
898.07/895.77	c cleaning 488 clauses out of 1316 for limit 0.3310798586927534
898.17/895.83	c cleaning 475 clauses out of 1324 for limit 0.5405283850902055
898.17/895.89	c cleaning 486 clauses out of 1350 for limit 0.8751109551864632
898.27/895.95	c cleaning 500 clauses out of 1364 for limit 1.4283623883611805
898.37/896.04	c cleaning 508 clauses out of 1368 for limit 2.358091283050979
898.47/896.12	c cleaning 502 clauses out of 1355 for limit 3.906526216490463
898.47/896.18	c cleaning 493 clauses out of 1353 for limit 6.45190744734362
898.57/896.24	c cleaning 488 clauses out of 1360 for limit 10.585293494413557
898.67/896.31	c cleaning 499 clauses out of 1372 for limit 17.303883720570816
898.67/896.38	c cleaning 509 clauses out of 1376 for limit 28.538995819615465
898.78/896.44	c cleaning 499 clauses out of 1365 for limit 47.34905697634963
898.78/896.50	c cleaning 481 clauses out of 1365 for limit 78.0068442683209
898.88/896.57	c cleaning 512 clauses out of 1385 for limit 126.91296365859297
898.97/896.64	c cleaning 493 clauses out of 1373 for limit 211.12570315512235
898.97/896.70	c cleaning 500 clauses out of 1379 for limit 346.31296871469317
899.07/896.76	c cleaning 497 clauses out of 1379 for limit 571.1164143306256
899.17/896.84	c cleaning 494 clauses out of 1382 for limit 939.8028386246875
899.27/896.93	c cleaning 566 clauses out of 1388 for limit 1543.1609198521498
899.37/897.03	c cleaning 521 clauses out of 1322 for limit 2671.9302348929164
899.47/897.10	c cleaning 520 clauses out of 1304 for limit 4480.622964588591
899.47/897.16	c cleaning 505 clauses out of 1281 for limit 7499.273864109031
899.57/897.24	c cleaning 498 clauses out of 1276 for limit 12415.76706659287
899.67/897.31	c cleaning 514 clauses out of 1278 for limit 20443.218182685858
899.67/897.38	c cleaning 500 clauses out of 1264 for limit 34087.01177266358
899.77/897.48	c cleaning 469 clauses out of 1268 for limit 56261.41946196669
899.88/897.56	c cleaning 460 clauses out of 1299 for limit 90568.39564536151
899.98/897.64	c cleaning 525 clauses out of 1335 for limit 144751.27570133097
900.07/897.71	c cleaning 537 clauses out of 1310 for limit 243269.8329601551
900.07/897.80	c cleaning 505 clauses out of 1273 for limit 412845.00642229384
900.17/897.88	c cleaning 496 clauses out of 1268 for limit 683521.3320932192
900.27/897.96	c cleaning 482 clauses out of 1273 for limit 1123914.6229367275
900.37/898.03	c cleaning 504 clauses out of 1290 for limit 1827230.7292410666
900.47/898.11	c cleaning 492 clauses out of 1286 for limit 3022720.69241304
900.47/898.19	c cleaning 486 clauses out of 1294 for limit 4954052.427549982
900.57/898.27	c cleaning 494 clauses out of 1308 for limit 8082449.832899813
900.67/898.34	c cleaning 539 clauses out of 1314 for limit 1.3268177824217582E7
900.77/898.40	c cleaning 447 clauses out of 1276 for limit 2.2555183934256967E7
900.77/898.44	c cleaning 464 clauses out of 1328 for limit 3.5704285588452704E7
900.77/898.49	c cleaning 490 clauses out of 1365 for limit 5.7342440164954975E7
900.87/898.55	c cleaning 467 clauses out of 1374 for limit 9.385198531268258E7
900.98/898.60	c cleaning 492 clauses out of 1408 for limit 1.5118821538049456E8
900.98/898.69	c cleaning 595 clauses out of 1414 for limit 2.480233455017883E8
901.08/898.77	c cleaning 536 clauses out of 1319 for limit 4.3848330466764486E8
901.17/898.82	c cleaning 523 clauses out of 1283 for limit 7.434077569613572E8
901.27/898.91	c cleaning 502 clauses out of 1260 for limit 1.248357821411509E9
901.37/899.00	c cleaning 494 clauses out of 1258 for limit 2.061982037189753E9
901.37/899.06	c cleaning 498 clauses out of 1269 for limit 3.387913727099955E9
901.47/899.12	c cleaning 627 clauses out of 1266 for limit 5.572416725548047E9
901.57/899.21	c cleaning 534 clauses out of 1139 for limit 1.0214319909193808E10
901.57/899.26	c cleaning 451 clauses out of 1105 for limit 1.7363080899916912E10
901.67/899.32	c cleaning 445 clauses out of 1156 for limit 2.7425600358926456E10
901.67/899.39	c cleaning 457 clauses out of 1209 for limit 4.315931467687215E10
901.77/899.46	c cleaning 489 clauses out of 1254 for limit 6.875878831964334E10
901.87/899.54	c cleaning 601 clauses out of 1263 for limit 1.1235936193319041E11
901.97/899.62	c cleaning 442 clauses out of 1162 for limit 2.0140134835616785E11
901.97/899.70	c cleaning 448 clauses out of 1220 for limit 3.163476103207231E11
902.08/899.77	c cleaning 480 clauses out of 1272 for limit 5.00372190382824E11
902.18/899.85	c cleaning 493 clauses out of 1292 for limit 8.12406985790198E11
902.27/899.91	c cleaning 497 clauses out of 1300 for limit 1.3328559324307507E12
902.27/899.97	c cleaning 486 clauses out of 1303 for limit 2.1929969766012253E12
902.37/900.04	c cleaning 475 clauses out of 1316 for limit 3.5772388163502363E12
902.37/900.09	c cleaning 491 clauses out of 1341 for limit 5.789365024006763E12
902.47/900.15	c cleaning 570 clauses out of 1349 for limit 9.490818064840951E12
902.57/900.23	c cleaning 634 clauses out of 1280 for limit 1.6511861115762172E13
902.67/900.34	c cleaning 555 clauses out of 1145 for limit 3.0410382677246445E13
902.77/900.44	c cleaning 499 clauses out of 1090 for limit 5.26813336753433E13
902.87/900.51	c cleaning 500 clauses out of 1092 for limit 8.680625481395094E13
902.87/900.58	c cleaning 489 clauses out of 1091 for limit 1.431430551781557E14
902.97/900.65	c cleaning 495 clauses out of 1102 for limit 2.33705711098547E14
1598.25/1595.14	c cleaning 291833 clauses out of 585105 for limit 412808.873380023
1599.45/1596.34	c cleaning 146587 clauses out of 293772 for limit 1355902.0594583587
1599.95/1596.86	c cleaning 73055 clauses out of 147685 for limit 4447932.8282195665
1600.15/1597.09	c cleaning 36544 clauses out of 75130 for limit 1.4419065195953364E7
1600.45/1597.30	c cleaning 18474 clauses out of 39088 for limit 4.579646488251238E7
1600.55/1597.43	c cleaning 9462 clauses out of 21114 for limit 1.3981725603504854E8
1600.65/1597.52	c cleaning 5007 clauses out of 12150 for limit 3.998912278747414E8
1600.65/1597.59	c cleaning 2763 clauses out of 7643 for limit 1.0483593739068965E9
1600.75/1597.67	c cleaning 1620 clauses out of 5380 for limit 2.4561090973156056E9
1600.85/1597.75	c cleaning 1045 clauses out of 4261 for limit 5.119278938506926E9
1600.95/1597.80	c cleaning 777 clauses out of 3715 for limit 9.673483279182251E9
1600.95/1597.86	c cleaning 958 clauses out of 3438 for limit 1.7238192177064537E10
1601.05/1597.92	c cleaning 413 clauses out of 2980 for limit 3.2797233615851505E10
1601.05/1597.98	c cleaning 466 clauses out of 3067 for limit 5.2552767130260666E10
1601.15/1598.05	c cleaning 445 clauses out of 3101 for limit 8.57163136246904E10
1601.25/1598.12	c cleaning 564 clauses out of 3156 for limit 1.388942106300158E11
1601.25/1598.17	c cleaning 458 clauses out of 3094 for limit 2.341131129068453E11
1601.35/1598.22	c cleaning 454 clauses out of 3134 for limit 3.803942296513147E11
1601.35/1598.29	c cleaning 486 clauses out of 3180 for limit 6.182465185993087E11
1601.45/1598.36	c cleaning 462 clauses out of 3195 for limit 1.0158002976802261E12
1601.55/1598.44	c cleaning 1560 clauses out of 3233 for limit 1.655500745484813E12
1601.55/1598.49	c cleaning 620 clauses out of 2173 for limit 4.061918880296316E12
1601.65/1598.58	c cleaning 153 clauses out of 2053 for limit 7.090190596360809E12
1601.75/1598.66	c cleaning 916 clauses out of 2399 for limit 9.996270198209639E12
1601.85/1598.70	c cleaning 714 clauses out of 1985 for limit 1.996331382536765E13
1601.85/1598.76	c cleaning 309 clauses out of 1770 for limit 3.688427522031463E13
1601.95/1598.81	c cleaning 373 clauses out of 1960 for limit 5.487566853718859E13
1601.95/1598.86	c cleaning 365 clauses out of 2087 for limit 8.49902943769565E13
1602.05/1598.91	c cleaning 312 clauses out of 2224 for limit 1.3178983377077433E14
1602.05/1598.96	c cleaning 209 clauses out of 2410 for limit 2.0016425016807512E14
1602.15/1599.02	c cleaning 282 clauses out of 2703 for limit 2.9490519388129394E14
1602.25/1599.11	c cleaning 504 clauses out of 2920 for limit 4.4974567012260675E14
1602.25/1599.17	c cleaning 373 clauses out of 2916 for limit 7.427081844033024E14
1602.35/1599.25	c cleaning 1479 clauses out of 3042 for limit 1.172918658233092E-5
1602.35/1599.30	c cleaning 672 clauses out of 2064 for limit 2.85369668296889E-5
1602.45/1599.35	c cleaning 627 clauses out of 1891 for limit 5.131535642690464E-5
1602.45/1599.39	c cleaning 512 clauses out of 1764 for limit 9.071856770939238E-5
1602.55/1599.45	c cleaning 255 clauses out of 1754 for limit 1.5076137411034192E-4
1602.65/1599.51	c cleaning 389 clauses out of 1998 for limit 2.1804471645209204E-4
1602.65/1599.57	c cleaning 104 clauses out of 2110 for limit 3.408387743410457E-4
1602.75/1599.64	c cleaning 138 clauses out of 2504 for limit 4.726982441750929E-4
1602.85/1599.70	c cleaning 342 clauses out of 2867 for limit 6.815237886213943E-4
1602.85/1599.77	c cleaning 387 clauses out of 3026 for limit 0.0010659336869805124
1602.95/1599.83	c cleaning 454 clauses out of 3141 for limit 0.0016968993581397726
1603.05/1599.91	c cleaning 518 clauses out of 3183 for limit 0.0027504593014898962
1603.05/1599.98	c cleaning 544 clauses out of 3165 for limit 0.0045616717854393245
1603.15/1600.03	c cleaning 511 clauses out of 3121 for limit 0.007628863899418013
1603.25/1600.10	c cleaning 499 clauses out of 3110 for limit 0.01262551591574876
1603.25/1600.18	c cleaning 493 clauses out of 3111 for limit 0.020814472000101152
1603.35/1600.28	c cleaning 496 clauses out of 3118 for limit 0.03424878631696801
1603.45/1600.33	c cleaning 504 clauses out of 3122 for limit 0.05640846542415009
1603.45/1600.40	c cleaning 475 clauses out of 3118 for limit 0.09314444512956432
1603.55/1600.46	c cleaning 507 clauses out of 3144 for limit 0.15248984823137554
1603.65/1600.54	c cleaning 462 clauses out of 3136 for limit 0.2518655625951437
1603.75/1600.64	c cleaning 484 clauses out of 3174 for limit 0.4103872025786676
1603.85/1600.72	c cleaning 526 clauses out of 3190 for limit 0.6733888727913778
1603.95/1600.80	c cleaning 517 clauses out of 3164 for limit 1.119633878165368
1603.95/1600.86	c cleaning 511 clauses out of 3147 for limit 1.8564003853890703
1604.05/1600.93	c cleaning 488 clauses out of 3136 for limit 3.0721910938221755
1604.15/1601.02	c cleaning 500 clauses out of 3149 for limit 5.050588877352625
1604.15/1601.09	c cleaning 492 clauses out of 3148 for limit 8.323410809478482
1604.25/1601.16	c cleaning 482 clauses out of 3159 for limit 13.719739022256576
1604.35/1601.24	c cleaning 495 clauses out of 3174 for limit 22.45126962232619
1604.45/1601.31	c cleaning 490 clauses out of 3179 for limit 36.96691313169825
1604.45/1601.38	c cleaning 486 clauses out of 3190 for limit 60.813980510535885
1604.55/1601.46	c cleaning 521 clauses out of 3203 for limit 99.78345796993672
1604.65/1601.54	c cleaning 501 clauses out of 3182 for limit 165.64228031543578
1604.75/1601.62	c cleaning 467 clauses out of 3182 for limit 273.4397191871572
1604.85/1601.70	c cleaning 480 clauses out of 3215 for limit 446.3100685460893
1604.85/1601.79	c cleaning 515 clauses out of 3234 for limit 730.969104692581
1605.05/1601.90	c cleaning 505 clauses out of 3219 for limit 1211.0831095324959
1605.15/1602.01	c cleaning 497 clauses out of 3215 for limit 2001.724687718961
1605.15/1602.09	c cleaning 628 clauses out of 3218 for limit 3298.034314510971
1605.25/1602.14	c cleaning 551 clauses out of 3089 for limit 5660.368124801921
1605.25/1602.19	c cleaning 507 clauses out of 3038 for limit 9491.409310327428
1605.35/1602.27	c cleaning 523 clauses out of 3031 for limit 15688.752890960517
1605.45/1602.34	c cleaning 481 clauses out of 3008 for limit 26070.683306173767
1605.55/1602.41	c cleaning 482 clauses out of 3027 for limit 42724.17763199628
1605.55/1602.49	c cleaning 474 clauses out of 3046 for limit 70088.47857720233
1605.65/1602.59	c cleaning 467 clauses out of 3071 for limit 114529.69141499269
1605.75/1602.70	c cleaning 541 clauses out of 3108 for limit 187374.6484291873
1605.85/1602.77	c cleaning 517 clauses out of 3063 for limit 312293.31246348016
1605.95/1602.83	c cleaning 480 clauses out of 3047 for limit 518236.0560984745
1606.05/1602.91	c cleaning 452 clauses out of 3066 for limit 848495.0333608553
1606.05/1602.98	c cleaning 576 clauses out of 3115 for limit 1378649.2942500198
1606.15/1603.05	c cleaning 488 clauses out of 3038 for limit 2328871.1427849405
1606.25/1603.11	c cleaning 465 clauses out of 3050 for limit 3825509.428937648
1606.25/1603.18	c cleaning 512 clauses out of 3085 for limit 6237202.362473826
1606.35/1603.26	c cleaning 509 clauses out of 3073 for limit 1.032614763232565E7
1606.45/1603.33	c cleaning 680 clauses out of 3064 for limit 1.7079219345735364E7
1606.55/1603.40	c cleaning 395 clauses out of 2886 for limit 2.996300459635412E7
1606.55/1603.47	c cleaning 448 clauses out of 2989 for limit 4.761487363361655E7
1606.65/1603.53	c cleaning 556 clauses out of 3041 for limit 7.718057646048073E7
1606.65/1603.59	c cleaning 442 clauses out of 2985 for limit 1.2966894866621432E8
1606.75/1603.65	c cleaning 467 clauses out of 3045 for limit 2.1004770401691362E8
1606.85/1603.72	c cleaning 470 clauses out of 3076 for limit 3.4222030027924883E8
1800.01/1796.51	c starts		: 23
1800.01/1796.51	c conflicts		: 1631183
1800.01/1796.51	c decisions		: 5646750
1800.01/1796.51	c propagations		: 568004382
1800.01/1796.51	c inspects		: 9909627561
1800.01/1796.51	c learnt literals	: 33
1800.01/1796.51	c learnt binary clauses	: 89070
1800.01/1796.51	c learnt ternary clauses	: 63909
1800.01/1796.51	c learnt clauses	: 1631150
1800.01/1796.51	c root simplifications	: 0
1800.01/1796.51	c removed literals (reason simplification)	: 0
1800.01/1796.51	c reason swapping (by a shorter reason)	: 0
1800.01/1796.51	c Calls to reduceDB	: 313
1800.01/1796.51	c speed (decisions/second)	: 3144.0228905244744
1800.01/1796.51	c non guided choices	7962
1800.01/1796.51	s UNKNOWN
1800.01/1796.51	c Total wall clock time (ms): 1796.388

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742036-1338760537/watcher-3742036-1338760537 -o /tmp/evaluation-result-3742036-1338760537/solver-3742036-1338760537 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742036-1338760537.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 17825
/proc/meminfo: memFree=24169932/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/17825/stat : 17825 (java) R 17823 17825 16961 0 -1 4202496 148 0 0 0 0 0 0 0 20 0 1 0 342178068 9445376 97 33554432000 1073741824 1073778376 140736560737296 140736560734424 251035479943 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17825/statm: 2290 91 69 9 0 38 0

[startup+0.063166 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 17825
/proc/meminfo: memFree=24169932/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 3941 0 1 0 2 1 0 0 20 0 13 0 342178068 2686889984 5149 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 655979 5149 1703 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100301 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 17825
/proc/meminfo: memFree=24169932/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 4129 0 1 0 5 2 0 0 20 0 18 0 342178068 3028844544 5847 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 739464 5847 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.30022 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 17825
/proc/meminfo: memFree=24169932/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 8369 0 1 0 47 3 0 0 20 0 18 0 342178068 3028844544 10766 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 739464 10766 2243 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700229 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 17825
/proc/meminfo: memFree=24169932/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=3024420 CPUtime=1.34 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 11117 0 1 0 130 4 0 0 20 0 19 0 342178068 3097006080 18610 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 756105 18610 2272 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.50065 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 17844
/proc/meminfo: memFree=24101416/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 11123 0 1 0 210 4 0 0 20 0 19 0 342178068 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 756105 19637 2274 9 0 746526 0
[pid=17825/tid=17827] ppid=17823 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17823 17825 16961 0 -1 4202560 3073 0 1 0 143 3 0 0 20 0 19 0 342178069 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167345220136 140167214664192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17828] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167210552232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17829] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167209499688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17830] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167208446632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17831] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167207394088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17832] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167206341032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17833] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167205288488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17834] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167204235432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17835] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17823 17825 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140167203182888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17836] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17823 17825 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342178072 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166721145704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17837] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17823 17825 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166720092024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17838] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166719038856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17839] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166717987600 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17840] ppid=17823 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17823 17825 16961 0 -1 4202560 2860 0 0 0 33 0 0 0 20 0 19 0 342178076 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166716934456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17841] ppid=17823 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/17825/task/17841/stat : 17841 (java) S 17823 17825 16961 0 -1 4202560 3994 0 0 0 31 0 0 0 20 0 19 0 342178076 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166715881912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17842] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166714829048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17843] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17843/stat : 17843 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166713776712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17844] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178117 3097006080 19637 33554432000 1073741824 1073778376 140734364294592 140166711645736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 17844
/proc/meminfo: memFree=24097320/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=3024420 CPUtime=3.77 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 11138 0 1 0 372 5 0 0 20 0 19 0 342178068 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 756105 21173 2274 9 0 746526 0
[pid=17825/tid=17827] ppid=17823 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17823 17825 16961 0 -1 4202560 3077 0 1 0 302 3 0 0 20 0 19 0 342178069 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167345220200 140167214658352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17828] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167210552232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17829] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167209499688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17830] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167208446632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17831] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167207394088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17832] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167206341032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17833] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167205288488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17834] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167204235432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17835] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17823 17825 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140167203182888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17836] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17823 17825 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342178072 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166721145704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17837] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17823 17825 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166720092024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17838] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166719038856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17839] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166717987600 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17840] ppid=17823 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17823 17825 16961 0 -1 4202560 2860 0 0 0 35 0 0 0 20 0 19 0 342178076 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166716934456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17841] ppid=17823 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17825/task/17841/stat : 17841 (java) S 17823 17825 16961 0 -1 4202560 4005 0 0 0 33 0 0 0 20 0 19 0 342178076 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166715881912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17842] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166714829048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17843] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17843/stat : 17843 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166713776712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17844] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178117 3097006080 21173 33554432000 1073741824 1073778376 140734364294592 140166711645736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 17844
/proc/meminfo: memFree=24084288/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=3024420 CPUtime=6.97 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 11146 0 1 0 692 5 0 0 20 0 19 0 342178068 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 756105 23705 2276 9 0 746526 0
[pid=17825/tid=17827] ppid=17823 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17823 17825 16961 0 -1 4202560 3083 0 1 0 621 3 0 0 20 0 19 0 342178069 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167345222160 140167214658588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17828] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167210552232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17829] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167209499688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17830] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167208446632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17831] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167207394088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17832] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167206341032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17833] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167205288488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17834] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167204235432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17835] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17823 17825 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342178071 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140167203182888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17836] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17823 17825 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342178072 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166721145704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17837] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17823 17825 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166720092024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17838] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166719038856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17839] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166717987600 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17840] ppid=17823 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17823 17825 16961 0 -1 4202560 2860 0 0 0 35 0 0 0 20 0 19 0 342178076 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166716934456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17841] ppid=17823 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17825/task/17841/stat : 17841 (java) S 17823 17825 16961 0 -1 4202560 4006 0 0 0 33 0 0 0 20 0 19 0 342178076 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166715881912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17842] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166714829048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17843] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17843/stat : 17843 (java) S 17823 17825 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166713776712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17844] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178117 3097006080 23705 33554432000 1073741824 1073778376 140734364294592 140166711645736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=17825/tid=17840] ppid=17823 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17823 17825 16961 0 -1 4202560 2864 0 0 0 40 0 0 0 20 0 19 0 342178076 3097006080 418355 33554432000 1073741824 1073778376 140734364294592 140166716934456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17841] ppid=17823 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17825/task/17841/stat : 17841 (java) S 17823 17825 16961 0 -1 4202560 4179 0 0 0 39 0 0 0 20 0 19 0 342178076 3097006080 418355 33554432000 1073741824 1073778376 140734364294592 140166715881912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17842] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 418355 33554432000 1073741824 1073778376 140734364294592 140166714829048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17843] ppid=17823 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/17825/task/17843/stat : 17843 (java) S 17823 17825 16961 0 -1 4202560 100 0 0 0 51 18 0 0 20 0 19 0 342178076 3097006080 418355 33554432000 1073741824 1073778376 140734364294592 140166713776712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17844] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178117 3097006080 418355 33554432000 1073741824 1073778376 140734364294592 140166711645736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.44
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17940
/proc/meminfo: memFree=22204372/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=3024420 CPUtime=1785.81 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 13814 0 1 0 178440 141 0 0 20 0 19 0 342178068 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 756105 418403 2304 9 0 746526 0
[pid=17825/tid=17827] ppid=17823 vsize=3024420 CPUtime=1774.53 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17823 17825 16961 0 -1 4202560 3267 0 1 0 177417 36 0 0 20 0 19 0 342178069 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167345220912 140167214722399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17828] ppid=17823 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17823 17825 16961 0 -1 4202560 296 0 0 0 42 17 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167210552232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17829] ppid=17823 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17823 17825 16961 0 -1 4202560 201 0 0 0 25 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167209499688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17830] ppid=17823 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17823 17825 16961 0 -1 4202560 209 0 0 0 29 12 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167208446632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17831] ppid=17823 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17823 17825 16961 0 -1 4202560 283 0 0 0 33 18 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167207394088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17832] ppid=17823 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17823 17825 16961 0 -1 4202560 346 0 0 0 37 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167206341032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17833] ppid=17823 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17823 17825 16961 0 -1 4202560 320 0 0 0 33 18 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167205288488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17834] ppid=17823 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17823 17825 16961 0 -1 4202560 153 0 0 0 23 10 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167204235432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17835] ppid=17823 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17823 17825 16961 0 -1 4202560 190 0 0 0 27 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167203182888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17836] ppid=17823 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17823 17825 16961 0 -1 4202560 220 0 0 0 198 9 0 0 20 0 19 0 342178072 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166721145704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17837] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17823 17825 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166720092024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17838] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17823 17825 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166719038856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17839] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166717987600 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17840] ppid=17823 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17823 17825 16961 0 -1 4202560 2864 0 0 0 40 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166716934456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17841] ppid=17823 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17825/task/17841/stat : 17841 (java) S 17823 17825 16961 0 -1 4202560 4179 0 0 0 39 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166715881912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17842] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166714829048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17843] ppid=17823 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/17825/task/17843/stat : 17843 (java) S 17823 17825 16961 0 -1 4202560 104 0 0 0 53 19 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166713776712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17844] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178117 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166711645736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.81
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17940
/proc/meminfo: memFree=22204496/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 13814 0 1 0 179860 141 0 0 20 0 19 0 342178068 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 756105 418403 2304 9 0 746526 0
[pid=17825/tid=17827] ppid=17823 vsize=3024420 CPUtime=1788.69 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17823 17825 16961 0 -1 4202560 3267 0 1 0 178832 37 0 0 20 0 19 0 342178069 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167345220912 140167214658388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17828] ppid=17823 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17823 17825 16961 0 -1 4202560 296 0 0 0 42 17 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167210552232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17829] ppid=17823 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17823 17825 16961 0 -1 4202560 201 0 0 0 25 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167209499688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17830] ppid=17823 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17823 17825 16961 0 -1 4202560 209 0 0 0 29 12 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167208446632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17831] ppid=17823 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17823 17825 16961 0 -1 4202560 283 0 0 0 33 18 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167207394088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17832] ppid=17823 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17823 17825 16961 0 -1 4202560 346 0 0 0 37 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167206341032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17833] ppid=17823 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17823 17825 16961 0 -1 4202560 320 0 0 0 33 18 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167205288488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17834] ppid=17823 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17823 17825 16961 0 -1 4202560 153 0 0 0 23 10 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167204235432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17835] ppid=17823 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17823 17825 16961 0 -1 4202560 190 0 0 0 27 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167203182888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17836] ppid=17823 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17823 17825 16961 0 -1 4202560 220 0 0 0 198 9 0 0 20 0 19 0 342178072 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166721145704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17837] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17823 17825 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166720092024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17838] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17823 17825 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166719038856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17839] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166717987600 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17840] ppid=17823 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17823 17825 16961 0 -1 4202560 2864 0 0 0 40 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166716934456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17841] ppid=17823 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17825/task/17841/stat : 17841 (java) S 17823 17825 16961 0 -1 4202560 4179 0 0 0 39 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166715881912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17842] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166714829048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17843] ppid=17823 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/17825/task/17843/stat : 17843 (java) S 17823 17825 16961 0 -1 4202560 104 0 0 0 54 19 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166713776712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17844] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178117 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166711645736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17940
/proc/meminfo: memFree=22204496/32873844 swapFree=7628/7628
[pid=17825] ppid=17823 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/17825/stat : 17825 (java) S 17823 17825 16961 0 -1 4202496 13814 0 1 0 179860 141 0 0 20 0 19 0 342178068 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140734364285728 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17825/statm: 756105 418403 2304 9 0 746526 0
[pid=17825/tid=17827] ppid=17823 vsize=3024420 CPUtime=1788.69 cores=0,2,4,6
/proc/17825/task/17827/stat : 17827 (java) R 17823 17825 16961 0 -1 4202560 3267 0 1 0 178832 37 0 0 20 0 19 0 342178069 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167345220912 140167214658388 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17828] ppid=17823 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/17825/task/17828/stat : 17828 (java) S 17823 17825 16961 0 -1 4202560 296 0 0 0 42 17 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167210552232 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17829] ppid=17823 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17825/task/17829/stat : 17829 (java) S 17823 17825 16961 0 -1 4202560 201 0 0 0 25 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167209499688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17830] ppid=17823 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17825/task/17830/stat : 17830 (java) S 17823 17825 16961 0 -1 4202560 209 0 0 0 29 12 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167208446632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17825/tid=17831] ppid=17823 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/17825/task/17831/stat : 17831 (java) S 17823 17825 16961 0 -1 4202560 283 0 0 0 33 18 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167207394088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17832] ppid=17823 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/17825/task/17832/stat : 17832 (java) S 17823 17825 16961 0 -1 4202560 346 0 0 0 37 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167206341032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17833] ppid=17823 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/17825/task/17833/stat : 17833 (java) S 17823 17825 16961 0 -1 4202560 320 0 0 0 33 18 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167205288488 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17834] ppid=17823 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/17825/task/17834/stat : 17834 (java) S 17823 17825 16961 0 -1 4202560 153 0 0 0 23 10 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167204235432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17835] ppid=17823 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17825/task/17835/stat : 17835 (java) S 17823 17825 16961 0 -1 4202560 190 0 0 0 27 11 0 0 20 0 19 0 342178071 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140167203182888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17836] ppid=17823 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/17825/task/17836/stat : 17836 (java) S 17823 17825 16961 0 -1 4202560 220 0 0 0 198 9 0 0 20 0 19 0 342178072 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166721145704 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17837] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17837/stat : 17837 (java) S 17823 17825 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166720092024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17825/tid=17838] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17838/stat : 17838 (java) S 17823 17825 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342178073 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166719038856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17839] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17839/stat : 17839 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166717987600 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17840] ppid=17823 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17825/task/17840/stat : 17840 (java) S 17823 17825 16961 0 -1 4202560 2864 0 0 0 40 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166716934456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17841] ppid=17823 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17825/task/17841/stat : 17841 (java) S 17823 17825 16961 0 -1 4202560 4179 0 0 0 39 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166715881912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17842] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17842/stat : 17842 (java) S 17823 17825 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166714829048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17825/tid=17843] ppid=17823 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/17825/task/17843/stat : 17843 (java) S 17823 17825 16961 0 -1 4202560 104 0 0 0 54 19 0 0 20 0 19 0 342178076 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166713776712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17825/tid=17844] ppid=17823 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17825/task/17844/stat : 17844 (java) S 17823 17825 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342178117 3097006080 418403 33554432000 1073741824 1073778376 140734364294592 140166711645736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17825 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=258231
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=864716
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.52
CPU time (s): 1800.01
CPU user time (s): 1798.6
CPU system time (s): 1.41
CPU usage (%): 100.194
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 1.86472
maximum resident set size= 1673728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13845
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38154
involuntary context switches= 14990

runsolver used 7.66083 second user time and 13.6029 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 23:55:37
IDJOB=3742036
IDBENCH=90127
IDSOLVER=2319
FILE ID=node143/3742036-1338760537
RUNJOBID= node143-1338750755-16977
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742036-1338760537/watcher-3742036-1338760537 -o /tmp/evaluation-result-3742036-1338760537/solver-3742036-1338760537 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742036-1338760537.opb           

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

MD5SUM BENCH= f523e4bc7acd98550e38ca37c8d9200b
RANDOM SEED=1000891169

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24170312 kB
Buffers:         2377144 kB
Cached:          3975348 kB
SwapCached:          188 kB
Active:          5522440 kB
Inactive:        2190200 kB
Active(anon):    1347968 kB
Inactive(anon):    10988 kB
Active(file):    4174472 kB
Inactive(file):  2179212 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3932 kB
Writeback:             0 kB
AnonPages:       1388404 kB
Mapped:            18728 kB
Shmem:               160 kB
Slab:             822244 kB
SReclaimable:     263692 kB
SUnreclaim:       558552 kB
KernelStack:        1600 kB
PageTables:         6780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1349632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-04 00:25:36