Trace number 3741997

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.08 1796.23

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K106.opb
MD5SUMafe4117ba13dcfbcd06fd88e1353402a
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 benchmark143.74
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7208
Total number of constraints7422
Number of constraints which are clauses7316
Number of constraints which are cardinality constraints (but not clauses)106
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint106
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 107
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3741997-1338759932.opb
0.09/0.10	c reading problem ... 
0.79/0.44	c ... done. Wall clock time 0.335s.
0.98/0.58	c CPU time (experimental) 0.4s.
0.98/0.58	c #vars     7208
0.98/0.58	c #constraints  7420
667.77/665.38	c cleaning 271537 clauses out of 543975 for limit 4.3533754597854454E10
668.39/665.93	c cleaning 135918 clauses out of 272939 for limit 1.4322864006781616E11
668.89/666.48	c cleaning 68211 clauses out of 137520 for limit 4.683289189757162E11
669.19/666.73	c cleaning 34272 clauses out of 69809 for limit 1.5214627003151907E12
669.39/666.91	c cleaning 17313 clauses out of 36037 for limit 4.860489216243533E12
669.49/667.01	c cleaning 8950 clauses out of 19224 for limit 1.5025908604143768E13
669.49/667.09	c cleaning 5175 clauses out of 10776 for limit 4.429470651716318E13
669.59/667.16	c cleaning 2288 clauses out of 6101 for limit 1.290221495976203E14
669.69/667.22	c cleaning 1358 clauses out of 4311 for limit 3.0052052499629244E14
669.69/667.29	c cleaning 1403 clauses out of 3456 for limit 6.200659027043929E14
669.79/667.36	c cleaning 935 clauses out of 2550 for limit 1.381731807894145E15
669.89/667.43	c cleaning 626 clauses out of 2115 for limit 2.7473212859474353E-5
669.89/667.49	c cleaning 807 clauses out of 1989 for limit 4.817713021219417E-5
669.98/667.56	c cleaning 629 clauses out of 1683 for limit 9.399007422277418E-5
670.09/667.61	c cleaning 382 clauses out of 1553 for limit 1.6780930087263645E-4
670.09/667.69	c cleaning 291 clauses out of 1677 for limit 2.578204599317131E-4
670.19/667.76	c cleaning 140 clauses out of 1880 for limit 3.770000506237656E-4
670.28/667.83	c cleaning 252 clauses out of 2240 for limit 5.218036665932813E-4
670.38/667.92	c cleaning 374 clauses out of 2488 for limit 7.747483425087784E-4
670.48/668.01	c cleaning 486 clauses out of 2614 for limit 0.001216077730685012
670.48/668.08	c cleaning 447 clauses out of 2629 for limit 0.0019960284700533907
670.58/668.14	c cleaning 484 clauses out of 2681 for limit 0.0032246447666134915
670.68/668.21	c cleaning 467 clauses out of 2704 for limit 0.005309693777092706
670.68/668.28	c cleaning 504 clauses out of 2731 for limit 0.008617936276841716
670.78/668.37	c cleaning 485 clauses out of 2726 for limit 0.014223959346114643
670.88/668.45	c cleaning 504 clauses out of 2741 for limit 0.02332884326569949
670.98/668.51	c cleaning 513 clauses out of 2737 for limit 0.03852860904624803
670.98/668.57	c cleaning 461 clauses out of 2724 for limit 0.06384206288690923
671.09/668.65	c cleaning 518 clauses out of 2763 for limit 0.10379800751760093
671.19/668.73	c cleaning 507 clauses out of 2747 for limit 0.17251869051885707
671.29/668.80	c cleaning 605 clauses out of 2740 for limit 0.28523324097049063
671.29/668.87	c cleaning 530 clauses out of 2634 for limit 0.4888282586481363
671.39/668.93	c cleaning 526 clauses out of 2603 for limit 0.8149280786118328
671.49/669.00	c cleaning 500 clauses out of 2578 for limit 1.3583163730974024
671.49/669.06	c cleaning 613 clauses out of 2577 for limit 2.238673742300199
671.59/669.12	c cleaning 534 clauses out of 2466 for limit 3.8657793535326435
671.59/669.17	c cleaning 515 clauses out of 2430 for limit 6.456701728651276
671.69/669.24	c cleaning 506 clauses out of 2415 for limit 10.714101340678774
671.79/669.31	c cleaning 502 clauses out of 2410 for limit 17.723367433216335
671.79/669.38	c cleaning 503 clauses out of 2407 for limit 29.235368257757955
671.89/669.44	c cleaning 511 clauses out of 2406 for limit 48.32968299815518
671.99/669.51	c cleaning 1025 clauses out of 2393 for limit 79.97490528083168
672.09/669.60	c cleaning 747 clauses out of 1868 for limit 168.95671154133134
672.09/669.69	c cleaning 586 clauses out of 1621 for limit 321.0888259581031
672.19/669.76	c cleaning 541 clauses out of 1535 for limit 559.1852590213612
672.29/669.85	c cleaning 517 clauses out of 1494 for limit 947.47854306457
672.39/669.93	c cleaning 501 clauses out of 1478 for limit 1581.0148376891032
672.39/669.98	c cleaning 532 clauses out of 1477 for limit 2609.0702425304403
672.48/670.04	c cleaning 473 clauses out of 1444 for limit 4396.635364402839
672.48/670.08	c cleaning 503 clauses out of 1471 for limit 7117.5554025822
672.58/670.13	c cleaning 492 clauses out of 1470 for limit 11769.312783297379
672.68/670.20	c cleaning 505 clauses out of 1476 for limit 19291.63096594265
672.68/670.25	c cleaning 488 clauses out of 1472 for limit 31932.86550855311
672.78/670.32	c cleaning 478 clauses out of 1483 for limit 52218.68441170019
672.78/670.37	c cleaning 502 clauses out of 1507 for limit 84913.88970787456
672.88/670.41	c cleaning 497 clauses out of 1503 for limit 140126.36963629012
672.88/670.46	c cleaning 510 clauses out of 1508 for limit 230782.25902677458
672.98/670.52	c cleaning 471 clauses out of 1496 for limit 382876.7824339216
672.98/670.57	c cleaning 747 clauses out of 1525 for limit 619407.7978500929
673.08/670.61	c cleaning 487 clauses out of 1278 for limit 1218909.7342409808
673.08/670.66	c cleaning 353 clauses out of 1292 for limit 1990353.8091081968
673.18/670.72	c cleaning 412 clauses out of 1438 for limit 2946152.9335811655
673.18/670.77	c cleaning 453 clauses out of 1526 for limit 4578418.909243754
673.28/670.83	c cleaning 498 clauses out of 1573 for limit 7324824.516181211
673.28/670.90	c cleaning 497 clauses out of 1576 for limit 1.2068690022709634E7
673.39/670.97	c cleaning 773 clauses out of 1579 for limit 1.9865070148089416E7
673.49/671.03	c cleaning 604 clauses out of 1305 for limit 3.9598897677956186E7
673.49/671.09	c cleaning 329 clauses out of 1202 for limit 7.097077362745535E7
673.59/671.17	c cleaning 482 clauses out of 1373 for limit 1.0246354014152624E8
673.70/671.22	c cleaning 444 clauses out of 1390 for limit 1.667425615600522E8
673.80/671.31	c cleaning 527 clauses out of 1446 for limit 2.6433146521599904E8
673.90/671.40	c cleaning 492 clauses out of 1419 for limit 4.4421236961116683E8
673.90/671.49	c cleaning 479 clauses out of 1427 for limit 7.284587380932089E8
674.00/671.54	c cleaning 471 clauses out of 1449 for limit 1.1842705883252554E9
674.00/671.59	c cleaning 494 clauses out of 1478 for limit 1.914700197205123E9
674.10/671.65	c cleaning 500 clauses out of 1485 for limit 3.1458583329990788E9
674.20/671.71	c cleaning 739 clauses out of 1484 for limit 5.186245716635539E9
674.20/671.75	c cleaning 616 clauses out of 1244 for limit 1.0192670500872272E10
674.30/671.80	c cleaning 383 clauses out of 1129 for limit 1.8539790495111443E10
674.30/671.86	c cleaning 395 clauses out of 1245 for limit 2.7698151597291725E10
674.40/671.94	c cleaning 451 clauses out of 1350 for limit 4.212522735820111E10
674.51/672.03	c cleaning 479 clauses out of 1401 for limit 6.707532746953799E10
674.61/672.11	c cleaning 456 clauses out of 1421 for limit 1.0895025077564996E11
674.61/672.17	c cleaning 501 clauses out of 1464 for limit 1.742218458325568E11
674.70/672.24	c cleaning 506 clauses out of 1463 for limit 2.8751151840862933E11
674.70/672.29	c cleaning 725 clauses out of 1457 for limit 4.760975094708226E11
674.80/672.34	c cleaning 417 clauses out of 1238 for limit 9.296035517554753E11
674.80/672.39	c cleaning 419 clauses out of 1316 for limit 1.4349800322789985E12
674.90/672.46	c cleaning 475 clauses out of 1396 for limit 2.2286286236914707E12
675.00/672.54	c cleaning 474 clauses out of 1421 for limit 3.610646172086216E12
675.10/672.61	c cleaning 468 clauses out of 1447 for limit 5.847447958335623E12
675.10/672.66	c cleaning 477 clauses out of 1481 for limit 9.440711984922395E12
675.20/672.72	c cleaning 468 clauses out of 1502 for limit 1.532063400375519E13
675.20/672.79	c cleaning 628 clauses out of 1534 for limit 2.4738718445222863E13
675.30/672.85	c cleaning 445 clauses out of 1406 for limit 4.4511591618042664E13
675.40/672.91	c cleaning 474 clauses out of 1462 for limit 7.06645293314371E13
675.40/672.96	c cleaning 470 clauses out of 1487 for limit 1.144614517698839E14
675.50/673.01	c cleaning 752 clauses out of 1517 for limit 1.850293080546415E14
675.50/673.08	c cleaning 537 clauses out of 1265 for limit 3.6592448223719906E14
675.61/673.13	c cleaning 399 clauses out of 1228 for limit 6.216408029266155E14
675.61/673.18	c cleaning 391 clauses out of 1330 for limit 9.474943683922971E14
675.71/673.23	c cleaning 426 clauses out of 1438 for limit 1.443745911901418E15
675.71/673.29	c cleaning 730 clauses out of 1512 for limit 2.264403144922007E-5
675.80/673.35	c cleaning 581 clauses out of 1282 for limit 4.4042645968511886E-5
675.90/673.40	c cleaning 525 clauses out of 1201 for limit 7.753080748226729E-5
675.90/673.46	c cleaning 513 clauses out of 1176 for limit 1.3057675746800358E-4
676.00/673.52	c cleaning 532 clauses out of 1163 for limit 2.1774559293339562E-4
676.00/673.57	c cleaning 410 clauses out of 1131 for limit 3.6925158711332466E-4
676.10/673.62	c cleaning 414 clauses out of 1221 for limit 5.640598643937987E-4
676.10/673.67	c cleaning 332 clauses out of 1308 for limit 8.692076048763404E-4
676.20/673.73	c cleaning 423 clauses out of 1475 for limit 0.0012698739560568037
676.20/673.79	c cleaning 475 clauses out of 1552 for limit 0.0019902920428469272
676.30/673.85	c cleaning 490 clauses out of 1577 for limit 0.0032302245784205314
676.40/673.91	c cleaning 497 clauses out of 1587 for limit 0.005293505527303287
676.40/673.97	c cleaning 480 clauses out of 1590 for limit 0.008713227637274112
676.50/674.05	c cleaning 495 clauses out of 1611 for limit 0.01419616514943299
676.60/674.13	c cleaning 502 clauses out of 1615 for limit 0.023330037238920676
676.71/674.20	c cleaning 500 clauses out of 1614 for limit 0.03853672705933445
676.71/674.28	c cleaning 479 clauses out of 1615 for limit 0.06357644349670799
676.81/674.34	c cleaning 559 clauses out of 1634 for limit 0.10341976997949003
676.90/674.40	c cleaning 585 clauses out of 1575 for limit 0.17694200681582292
676.90/674.47	c cleaning 542 clauses out of 1490 for limit 0.3084474081778677
677.00/674.56	c cleaning 510 clauses out of 1448 for limit 0.5234253099223715
677.10/674.63	c cleaning 473 clauses out of 1440 for limit 0.8697325003523316
677.20/674.70	c cleaning 494 clauses out of 1465 for limit 1.407010796852227
677.20/674.78	c cleaning 501 clauses out of 1472 for limit 2.3116263884470127
677.30/674.85	c cleaning 490 clauses out of 1470 for limit 3.8135504316271835
677.40/674.94	c cleaning 482 clauses out of 1480 for limit 6.246561215690523
677.50/675.01	c cleaning 479 clauses out of 1498 for limit 10.177633070848099
677.50/675.06	c cleaning 488 clauses out of 1521 for limit 16.56358341909059
677.60/675.15	c cleaning 521 clauses out of 1531 for limit 27.082901243169715
677.70/675.22	c cleaning 479 clauses out of 1513 for limit 45.3305377541244
677.70/675.29	c cleaning 495 clauses out of 1532 for limit 73.68140476999865
677.81/675.36	c cleaning 490 clauses out of 1537 for limit 121.11520876380787
677.91/675.44	c cleaning 479 clauses out of 1546 for limit 198.37385600385633
678.00/675.51	c cleaning 482 clauses out of 1567 for limit 322.76082387710915
678.00/675.57	c cleaning 490 clauses out of 1585 for limit 526.2310045158771
678.10/675.66	c cleaning 498 clauses out of 1595 for limit 862.384413246415
678.20/675.73	c cleaning 477 clauses out of 1597 for limit 1420.4061915716857
678.20/675.79	c cleaning 481 clauses out of 1622 for limit 2310.9552382528373
678.30/675.87	c cleaning 491 clauses out of 1639 for limit 3764.0058810393803
678.40/675.93	c cleaning 492 clauses out of 1648 for limit 6173.449878831902
678.40/675.99	c cleaning 514 clauses out of 1656 for limit 10131.661894811115
678.50/676.08	c cleaning 494 clauses out of 1643 for limit 16857.52670154144
678.60/676.13	c cleaning 503 clauses out of 1648 for limit 27688.255098321348
678.70/676.20	c cleaning 500 clauses out of 1645 for limit 45744.910227257744
678.70/676.26	c cleaning 513 clauses out of 1646 for limit 75469.1137202734
678.80/676.33	c cleaning 487 clauses out of 1632 for limit 125400.79839043159
678.91/676.41	c cleaning 495 clauses out of 1646 for limit 205248.98771120005
678.91/676.47	c cleaning 491 clauses out of 1650 for limit 337324.8110388867
679.00/676.54	c cleaning 497 clauses out of 1659 for limit 553275.8715188962
679.00/676.59	c cleaning 492 clauses out of 1663 for limit 911142.4200182292
679.10/676.64	c cleaning 483 clauses out of 1671 for limit 1495401.9852702636
679.10/676.69	c cleaning 823 clauses out of 1689 for limit 2442278.3071350628
679.20/676.76	c cleaning 595 clauses out of 1364 for limit 4977339.844811313
679.30/676.81	c cleaning 407 clauses out of 1269 for limit 8822789.749095762
679.30/676.89	c cleaning 355 clauses out of 1362 for limit 1.3556461076442914E7
679.40/676.95	c cleaning 490 clauses out of 1507 for limit 2.0205335854978845E7
679.50/677.01	c cleaning 526 clauses out of 1517 for limit 3.3101649230337545E7
679.50/677.07	c cleaning 455 clauses out of 1491 for limit 5.5540969532956325E7
679.60/677.12	c cleaning 496 clauses out of 1536 for limit 8.891105660589044E7
679.60/677.19	c cleaning 472 clauses out of 1540 for limit 1.462453793095166E8
679.70/677.24	c cleaning 485 clauses out of 1568 for limit 2.368714413589627E8
679.80/677.32	c cleaning 518 clauses out of 1583 for limit 3.869311848364106E8
679.80/677.38	c cleaning 507 clauses out of 1571 for limit 6.468467801912326E8
679.90/677.43	c cleaning 502 clauses out of 1558 for limit 1.0692000460049695E9
679.90/677.48	c cleaning 773 clauses out of 1556 for limit 1.7655203040870028E9
680.00/677.56	c cleaning 599 clauses out of 1283 for limit 3.531112382086845E9
680.10/677.63	c cleaning 501 clauses out of 1185 for limit 6.311175317461511E9
680.20/677.71	c cleaning 459 clauses out of 1183 for limit 1.0415142719979881E10
680.20/677.78	c cleaning 464 clauses out of 1227 for limit 1.6609816317079618E10
680.30/677.85	c cleaning 489 clauses out of 1260 for limit 2.6594461386276596E10
680.40/677.90	c cleaning 401 clauses out of 1271 for limit 4.347825252352352E10
680.40/677.96	c cleaning 423 clauses out of 1371 for limit 6.653812754125492E10
680.50/678.01	c cleaning 412 clauses out of 1449 for limit 1.0392739540271187E11
680.50/678.09	c cleaning 446 clauses out of 1535 for limit 1.6146444806964545E11
680.60/678.13	c cleaning 488 clauses out of 1589 for limit 2.5722743198438864E11
680.60/678.19	c cleaning 467 clauses out of 1602 for limit 4.2118128594712604E11
680.70/678.25	c cleaning 502 clauses out of 1634 for limit 6.803006736765054E11
680.80/678.30	c cleaning 490 clauses out of 1632 for limit 1.1232817056971548E12
680.80/678.35	c cleaning 472 clauses out of 1642 for limit 1.8411601838591167E12
680.90/678.41	c cleaning 642 clauses out of 1670 for limit 2.985411099140245E12
680.90/678.47	c cleaning 454 clauses out of 1528 for limit 5.380878019416627E12
681.00/678.54	c cleaning 511 clauses out of 1574 for limit 8.614452095274151E12
681.10/678.61	c cleaning 518 clauses out of 1563 for limit 1.430636487482536E13
681.10/678.66	c cleaning 480 clauses out of 1545 for limit 2.386798072906088E13
681.20/678.71	c cleaning 763 clauses out of 1565 for limit 3.885847094594082E13
681.20/678.76	c cleaning 591 clauses out of 1302 for limit 7.702734913866825E13
681.30/678.82	c cleaning 362 clauses out of 1211 for limit 1.365738902145558E14
681.30/678.88	c cleaning 399 clauses out of 1349 for limit 2.0218817891828525E14
681.40/678.94	c cleaning 422 clauses out of 1451 for limit 3.10306374108119E14
681.50/679.01	c cleaning 490 clauses out of 1530 for limit 4.8579951520019156E14
681.50/679.10	c cleaning 492 clauses out of 1538 for limit 7.95388002514211E14
681.60/679.17	c cleaning 482 clauses out of 1546 for limit 1.3049136340759008E15
1329.73/1326.34	c cleaning 288886 clauses out of 578551 for limit 2971.6599077864075
1330.83/1327.41	c cleaning 144619 clauses out of 290165 for limit 9771.283510799509
1331.24/1327.82	c cleaning 72248 clauses out of 146048 for limit 32079.37786051061
1331.54/1328.11	c cleaning 36351 clauses out of 74299 for limit 103886.70164117229
1331.74/1328.38	c cleaning 18370 clauses out of 38447 for limit 330751.51637810125
1331.94/1328.54	c cleaning 9305 clauses out of 20577 for limit 1019150.0522084478
1332.04/1328.67	c cleaning 4850 clauses out of 11772 for limit 2937824.323515157
1332.14/1328.75	c cleaning 2739 clauses out of 7423 for limit 7691074.423607638
1332.24/1328.82	c cleaning 1587 clauses out of 5185 for limit 1.8176410087588586E7
1332.24/1328.89	c cleaning 1476 clauses out of 4097 for limit 3.7897650341363065E7
1332.34/1328.94	c cleaning 545 clauses out of 3120 for limit 8.198700647593717E7
1332.44/1329.00	c cleaning 532 clauses out of 3078 for limit 1.374644600447782E8
1332.44/1329.07	c cleaning 487 clauses out of 3043 for limit 2.2861748633475682E8
1332.54/1329.15	c cleaning 587 clauses out of 3058 for limit 3.75922938826444E8
1332.64/1329.24	c cleaning 503 clauses out of 2970 for limit 6.37677706579039E8
1332.74/1329.30	c cleaning 509 clauses out of 2966 for limit 1.0519810387809118E9
1332.74/1329.36	c cleaning 638 clauses out of 2957 for limit 1.7401377205189166E9
1332.84/1329.41	c cleaning 452 clauses out of 2819 for limit 3.010202810359642E9
1332.84/1329.47	c cleaning 499 clauses out of 2868 for limit 4.884297227889505E9
1332.94/1329.54	c cleaning 475 clauses out of 2868 for limit 8.046804678844603E9
1333.04/1329.62	c cleaning 497 clauses out of 2893 for limit 1.3155581823906836E10
1333.04/1329.68	c cleaning 480 clauses out of 2896 for limit 2.1672839922023865E10
1333.14/1329.74	c cleaning 1435 clauses out of 2918 for limit 3.554299363465168E10
1333.14/1329.79	c cleaning 605 clauses out of 1981 for limit 8.616714017396497E10
1333.24/1329.85	c cleaning 289 clauses out of 1876 for limit 1.5005456347285114E11
1333.34/1329.91	c cleaning 310 clauses out of 2087 for limit 2.2244132828218106E11
1333.34/1329.97	c cleaning 394 clauses out of 2277 for limit 3.362256061520265E11
1333.44/1330.02	c cleaning 1173 clauses out of 2383 for limit 5.2981672098681024E11
1333.44/1330.06	c cleaning 389 clauses out of 1712 for limit 1.2186271596345613E12
1333.54/1330.12	c cleaning 572 clauses out of 1821 for limit 1.8856085165471104E12
1333.54/1330.17	c cleaning 327 clauses out of 1749 for limit 3.237632525660717E12
1333.64/1330.23	c cleaning 768 clauses out of 1922 for limit 4.858697573645196E12
1333.64/1330.28	c cleaning 380 clauses out of 1654 for limit 9.310942242808404E12
1333.74/1330.33	c cleaning 186 clauses out of 1774 for limit 1.4316320401042494E13
1333.74/1330.39	c cleaning 719 clauses out of 2089 for limit 2.0069519909455703E13
1333.84/1330.43	c cleaning 285 clauses out of 1869 for limit 3.695621606272046E13
1333.84/1330.48	c cleaning 309 clauses out of 2086 for limit 5.471512621454014E13
1333.94/1330.54	c cleaning 405 clauses out of 2275 for limit 8.257092920686936E13
1334.04/1330.60	c cleaning 432 clauses out of 2371 for limit 1.3078785517603898E14
1334.04/1330.68	c cleaning 530 clauses out of 2438 for limit 2.0954950807932922E14
1334.14/1330.73	c cleaning 1190 clauses out of 2408 for limit 3.498805103742554E14
1334.14/1330.79	c cleaning 488 clauses out of 1723 for limit 8.104372652278684E14
1334.24/1330.84	c cleaning 349 clauses out of 1730 for limit 1.3244693263540735E15
1334.24/1330.88	c cleaning 381 clauses out of 1881 for limit 2.0088851084770365E15
1334.34/1330.93	c cleaning 482 clauses out of 2002 for limit 3.118923569975683E15
1334.34/1330.98	c cleaning 958 clauses out of 2018 for limit 5.092540682291993E-5
1334.44/1331.04	c cleaning 549 clauses out of 1561 for limit 1.0867838217051955E-4
1334.44/1331.09	c cleaning 551 clauses out of 1511 for limit 1.8497071642848252E-4
1334.54/1331.13	c cleaning 437 clauses out of 1460 for limit 3.156970140514336E-4
1334.54/1331.19	c cleaning 102 clauses out of 1523 for limit 4.990905119292101E-4
1334.64/1331.25	c cleaning 221 clauses out of 1921 for limit 6.52540902367614E-4
1334.74/1331.31	c cleaning 368 clauses out of 2200 for limit 9.396547429558607E-4
1334.74/1331.38	c cleaning 400 clauses out of 2332 for limit 0.0014619022414120563
1334.84/1331.42	c cleaning 458 clauses out of 2432 for limit 0.0023117411008273994
1334.84/1331.48	c cleaning 492 clauses out of 2474 for limit 0.0037476494152776695
1334.94/1331.55	c cleaning 488 clauses out of 2482 for limit 0.006160454608071668
1335.04/1331.62	c cleaning 508 clauses out of 2494 for limit 0.010110531275431397
1335.04/1331.69	c cleaning 507 clauses out of 2486 for limit 0.016727274689396655
1335.14/1331.74	c cleaning 501 clauses out of 2480 for limit 0.02767993277640727
1335.24/1331.80	c cleaning 490 clauses out of 2478 for limit 0.04563906989287689
1335.24/1331.86	c cleaning 503 clauses out of 2489 for limit 0.07500730978024078
1335.34/1331.92	c cleaning 475 clauses out of 2488 for limit 0.12399467095238288
1335.34/1331.98	c cleaning 480 clauses out of 2510 for limit 0.2020840451593449
1335.44/1332.06	c cleaning 519 clauses out of 2532 for limit 0.33102969764561707
1335.54/1332.12	c cleaning 498 clauses out of 2511 for limit 0.5493774250168104
1335.54/1332.18	c cleaning 496 clauses out of 2513 for limit 0.9052758202050041
1335.64/1332.23	c cleaning 502 clauses out of 2518 for limit 1.491447883549751
1335.64/1332.28	c cleaning 490 clauses out of 2517 for limit 2.463037313529635
1335.74/1332.34	c cleaning 494 clauses out of 2527 for limit 4.0458041153997675
1335.84/1332.40	c cleaning 498 clauses out of 2532 for limit 6.652237829486192
1335.84/1332.46	c cleaning 502 clauses out of 2533 for limit 10.955132999376245
1335.94/1332.52	c cleaning 482 clauses out of 2532 for limit 18.091706834890307
1335.94/1332.57	c cleaning 481 clauses out of 2550 for limit 29.6250402841909
1336.04/1332.64	c cleaning 481 clauses out of 2571 for limit 48.55365900504389
1336.14/1332.72	c cleaning 502 clauses out of 2587 for limit 79.33776529252226
1336.14/1332.78	c cleaning 489 clauses out of 2585 for limit 130.93981766580123
1336.24/1332.85	c cleaning 502 clauses out of 2596 for limit 215.02228768807797
1336.34/1332.91	c cleaning 497 clauses out of 2594 for limit 354.87391811790735
1336.34/1332.98	c cleaning 505 clauses out of 2597 for limit 584.5585144492277
1336.44/1333.05	c cleaning 498 clauses out of 2592 for limit 965.8747883709518
1336.54/1333.11	c cleaning 489 clauses out of 2594 for limit 1591.6286299304325
1336.64/1333.21	c cleaning 505 clauses out of 2605 for limit 2613.7248905383244
1336.64/1333.29	c cleaning 498 clauses out of 2600 for limit 4318.671198516305
1336.74/1333.38	c cleaning 507 clauses out of 2604 for limit 7125.369968026267
1336.84/1333.45	c cleaning 494 clauses out of 2595 for limit 11767.871031636532
1336.94/1333.52	c cleaning 526 clauses out of 2604 for limit 19397.85482764766
1337.04/1333.60	c cleaning 500 clauses out of 2576 for limit 32272.72887386378
1337.04/1333.68	c cleaning 517 clauses out of 2576 for limit 53222.04728142933
1337.14/1333.76	c cleaning 507 clauses out of 2558 for limit 88299.50525783749
1337.24/1333.82	c cleaning 474 clauses out of 2551 for limit 146017.2748229318
1337.24/1333.88	c cleaning 481 clauses out of 2577 for limit 238372.5079870655
1337.34/1333.95	c cleaning 1233 clauses out of 2596 for limit 390231.0147680675
1337.44/1334.02	c cleaning 255 clauses out of 1863 for limit 896746.1143164774
1337.44/1334.07	c cleaning 633 clauses out of 2108 for limit 1306976.0787698308
1337.54/1334.12	c cleaning 257 clauses out of 1975 for limit 2300525.399003983
1337.54/1334.17	c cleaning 391 clauses out of 2218 for limit 3378224.269583116
1337.64/1334.23	c cleaning 401 clauses out of 2327 for limit 5310183.429472858
1337.64/1334.29	c cleaning 403 clauses out of 2426 for limit 8399839.675391145
1337.74/1334.36	c cleaning 1229 clauses out of 2526 for limit 1.3344056420871722E7
1337.84/1334.41	c cleaning 389 clauses out of 1794 for limit 3.0892362957368974E7
1337.84/1334.47	c cleaning 175 clauses out of 1905 for limit 4.797715315811382E7
1337.94/1334.53	c cleaning 343 clauses out of 2230 for limit 6.758969371721552E7
1337.94/1334.59	c cleaning 526 clauses out of 2388 for limit 1.0419368977333124E8
1338.04/1334.65	c cleaning 325 clauses out of 2361 for limit 1.736205503085341E8
1338.14/1334.73	c cleaning 454 clauses out of 2537 for limit 2.6672704101621172E8
1338.24/1334.80	c cleaning 556 clauses out of 2582 for limit 4.317701868608155E8
1338.24/1334.85	c cleaning 938 clauses out of 2527 for limit 7.282727269545467E8
1338.34/1334.90	c cleaning 436 clauses out of 2089 for limit 1.4528364770062187E9
1338.34/1334.95	c cleaning 474 clauses out of 2152 for limit 2.323455096034634E9
1338.44/1335.01	c cleaning 341 clauses out of 2178 for limit 3.785947280876303E9
1338.44/1335.07	c cleaning 414 clauses out of 2337 for limit 5.818748845778115E9
1338.54/1335.13	c cleaning 490 clauses out of 2425 for limit 9.266196212523083E9
1338.54/1335.19	c cleaning 488 clauses out of 2433 for limit 1.5200504058102571E10
1338.64/1335.24	c cleaning 1206 clauses out of 2445 for limit 2.4944633195777084E10
1338.64/1335.28	c cleaning 531 clauses out of 1739 for limit 5.783786997606933E10
1338.74/1335.33	c cleaning 231 clauses out of 1709 for limit 9.715389322564049E10
1338.74/1335.38	c cleaning 545 clauses out of 1977 for limit 1.3836204659901688E11
1338.84/1335.43	c cleaning 228 clauses out of 1932 for limit 2.3349221848083868E11
1338.84/1335.49	c cleaning 281 clauses out of 2204 for limit 3.375388997810199E11
1338.94/1335.55	c cleaning 1202 clauses out of 2423 for limit 5.0633493567918427E11
1339.04/1335.61	c cleaning 405 clauses out of 1725 for limit 1.1775955133901584E12
1339.04/1335.68	c cleaning 410 clauses out of 1816 for limit 1.8373303012633901E12
1339.14/1335.74	c cleaning 210 clauses out of 1906 for limit 2.886928795460354E12
1339.14/1335.79	c cleaning 580 clauses out of 2198 for limit 4.1367206202636235E12
1339.24/1335.84	c cleaning 377 clauses out of 2116 for limit 7.072208881742171E12
1339.24/1335.90	c cleaning 334 clauses out of 2239 for limit 1.1022307838340734E13
1339.34/1335.96	c cleaning 439 clauses out of 2407 for limit 1.6942420247814129E13
1339.44/1336.02	c cleaning 720 clauses out of 2466 for limit 2.721731824760511E13
1339.44/1336.07	c cleaning 372 clauses out of 2247 for limit 4.930894721326351E13
1339.54/1336.13	c cleaning 473 clauses out of 2374 for limit 7.688992957403088E13
1339.54/1336.18	c cleaning 451 clauses out of 2407 for limit 1.258163393392506E14
1339.64/1336.24	c cleaning 469 clauses out of 2450 for limit 2.026263248214608E14
1339.64/1336.29	c cleaning 486 clauses out of 2481 for limit 3.2998262612399706E14
1339.74/1336.35	c cleaning 446 clauses out of 2495 for limit 5.4113194890201594E14
1339.84/1336.41	c cleaning 1256 clauses out of 2549 for limit 8.734937005946104E14
1339.84/1336.46	c cleaning 881 clauses out of 1795 for limit 2.049698911235329E-5
1339.94/1336.51	c cleaning 497 clauses out of 1413 for limit 4.2897673233660314E-5
1339.94/1336.57	c cleaning 486 clauses out of 1415 for limit 7.057336637783767E-5
1340.04/1336.64	c cleaning 464 clauses out of 1429 for limit 1.1524469212367801E-4
1340.04/1336.69	c cleaning 469 clauses out of 1466 for limit 1.8544263484433047E-4
1340.14/1336.76	c cleaning 259 clauses out of 1496 for limit 2.9938727771153327E-4
1340.24/1336.83	c cleaning 125 clauses out of 1737 for limit 4.2522716735787953E-4
1340.24/1336.89	c cleaning 297 clauses out of 2112 for limit 5.76743614667266E-4
1340.34/1336.94	c cleaning 400 clauses out of 2316 for limit 8.68217534478229E-4
1340.34/1337.00	c cleaning 443 clauses out of 2415 for limit 0.001371738562595291
1340.44/1337.06	c cleaning 457 clauses out of 2472 for limit 0.002210018470977266
1340.54/1337.12	c cleaning 484 clauses out of 2515 for limit 0.0035823025936335684
1340.54/1337.17	c cleaning 457 clauses out of 2531 for limit 0.005870350045457879
1340.64/1337.23	c cleaning 506 clauses out of 2574 for limit 0.009519266563630335
1340.74/1337.30	c cleaning 518 clauses out of 2568 for limit 0.015735222869311345
1340.74/1337.37	c cleaning 504 clauses out of 2550 for limit 0.02613266038511626
1340.84/1337.44	c cleaning 503 clauses out of 2546 for limit 0.043163961114114364
1340.84/1337.50	c cleaning 500 clauses out of 2543 for limit 0.07126712164722643
1340.94/1337.57	c cleaning 498 clauses out of 2543 for limit 0.11752901754124133
1341.04/1337.64	c cleaning 512 clauses out of 2546 for limit 0.193786476113007
1341.14/1337.72	c cleaning 486 clauses out of 2535 for limit 0.3212878481557523
1800.08/1796.22	c starts		: 23
1800.08/1796.22	c conflicts		: 1635182
1800.08/1796.22	c decisions		: 5391959
1800.08/1796.22	c propagations		: 548818869
1800.08/1796.22	c inspects		: 10045170115
1800.08/1796.22	c learnt literals	: 39
1800.08/1796.22	c learnt binary clauses	: 83357
1800.08/1796.22	c learnt ternary clauses	: 62300
1800.08/1796.22	c learnt clauses	: 1635143
1800.08/1796.22	c root simplifications	: 0
1800.08/1796.22	c removed literals (reason simplification)	: 0
1800.08/1796.22	c reason swapping (by a shorter reason)	: 0
1800.08/1796.22	c Calls to reduceDB	: 350
1800.08/1796.22	c speed (decisions/second)	: 3002.5788294308422
1800.08/1796.22	c non guided choices	6918
1800.08/1796.22	s UNKNOWN
1800.08/1796.22	c Total wall clock time (ms): 1796.118

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-3741997-1338759932/watcher-3741997-1338759932 -o /tmp/evaluation-result-3741997-1338759932/solver-3741997-1338759932 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741997-1338759932.opb 

running on 4 cores: 1,3,5,7

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: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5168/stat : 5168 (java) D 5166 5168 32179 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342118624 9515008 182 33554432000 1073741824 1073778376 140736912693520 140736912684552 260190322357 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5168/statm: 2323 182 140 9 0 71 0

[startup+0.014486 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 2 0 342118624 98578432 990 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 24067 990 756 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268

[startup+0.100234 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 4924 0 1 0 8 1 0 0 20 0 18 0 342118624 3028844544 6634 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 739464 6634 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.30023 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=2957856 CPUtime=0.54 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 8167 0 1 0 52 2 0 0 20 0 18 0 342118624 3028844544 11457 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 739464 11457 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700159 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9766 0 1 0 131 3 0 0 20 0 19 0 342118624 3097006080 18734 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 18734 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.50062 s]
/proc/loadavg: 2.49 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27780280/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=2.16 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9881 0 1 0 213 3 0 0 20 0 19 0 342118624 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 19761 2275 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3091 0 1 0 144 2 0 0 20 0 19 0 342118625 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636171469256 139636043724112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3044 0 0 0 36 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2552 0 0 0 29 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420

[startup+3.10056 s]
/proc/loadavg: 2.49 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27765060/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=3.78 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9884 0 1 0 375 3 0 0 20 0 19 0 342118624 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 20785 2275 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3094 0 1 0 303 2 0 0 20 0 19 0 342118625 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636171469384 139636043120576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3044 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2552 0 0 0 31 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 3024420

[startup+6.3006 s]
/proc/loadavg: 2.45 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27739084/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=6.98 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9891 0 1 0 695 3 0 0 20 0 19 0 342118624 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 23083 2276 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3100 0 1 0 623 2 0 0 20 0 19 0 342118625 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636171469328 139636043691491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3044 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2552 0 0 0 31 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 96 0 0 0 28 43 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.14
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/213 5268
/proc/meminfo: memFree=24564360/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1726.14 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 12412 0 1 0 172444 170 0 0 20 0 19 0 342118624 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 418988 2304 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1715.14 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3286 0 1 0 171480 34 0 0 20 0 19 0 342118625 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636171468080 139636043691317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 176 0 0 0 30 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 241 0 0 0 26 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 339 0 0 0 29 21 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 256 0 0 0 28 16 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 245 0 0 0 36 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 215 0 0 0 27 10 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 147 0 0 0 25 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 296 0 0 0 31 18 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=1.74 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 220 0 0 0 167 7 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 100 0 0 0 28 44 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.14
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 5268
/proc/meminfo: memFree=24563992/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1786.16 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 12416 0 1 0 178444 172 0 0 20 0 19 0 342118624 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 418988 2304 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1774.99 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3286 0 1 0 177465 34 0 0 20 0 19 0 342118625 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636171468080 139636043784974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 176 0 0 0 30 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 241 0 0 0 26 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 339 0 0 0 29 21 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 256 0 0 0 28 16 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 245 0 0 0 36 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 215 0 0 0 27 10 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 147 0 0 0 25 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 296 0 0 0 31 18 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=1.74 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 220 0 0 0 167 7 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 104 0 0 0 30 45 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.16
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 5268
/proc/meminfo: memFree=24564120/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1800.08 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 12416 0 1 0 179835 173 0 0 20 0 19 0 342118624 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 418988 2304 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1788.87 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3286 0 1 0 178852 35 0 0 20 0 19 0 342118625 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636171468080 139636043691300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 176 0 0 0 30 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 241 0 0 0 26 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 339 0 0 0 29 21 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 256 0 0 0 28 16 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 245 0 0 0 36 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 215 0 0 0 27 10 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 147 0 0 0 25 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 296 0 0 0 31 18 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=1.74 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 220 0 0 0 167 7 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 104 0 0 0 30 45 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5168 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=729311
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=141674
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.23
CPU time (s): 1800.08
CPU user time (s): 1798.35
CPU system time (s): 1.73
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.73
system time used= 2.14167
maximum resident set size= 1676068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12448
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38116
involuntary context switches= 7505

runsolver used 6.20106 second user time and 15.2017 second system time

The end

Launcher Data

Begin job on node123 at 2012-06-03 23:45:32
IDJOB=3741997
IDBENCH=90124
IDSOLVER=2319
FILE ID=node123/3741997-1338759932
RUNJOBID= node123-1338758132-5020
PBS_JOBID= 14636768
Free space on /tmp= 71300 MiB

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

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

MD5SUM BENCH= afe4117ba13dcfbcd06fd88e1353402a
RANDOM SEED=1465850795

node123.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		: 2667.217
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	: 5334.43
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		: 2667.217
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		: 2667.217
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.92
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		: 2667.217
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		: 2667.217
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.91
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		: 2667.217
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	: 5331.91
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		: 2667.217
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		: 2667.217
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:       32873648 kB
MemFree:        27906220 kB
Buffers:         1808020 kB
Cached:          2259592 kB
SwapCached:         2268 kB
Active:          2168520 kB
Inactive:        1910704 kB
Active(anon):       4484 kB
Inactive(anon):     5504 kB
Active(file):    2164036 kB
Inactive(file):  1905200 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              3992 kB
Writeback:             0 kB
AnonPages:         12996 kB
Mapped:             9944 kB
Shmem:                 0 kB
Slab:             750356 kB
SReclaimable:     194424 kB
SUnreclaim:       555932 kB
KernelStack:        1448 kB
PageTables:         3948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71296 MiB
End job on node123 at 2012-06-04 00:15:30