Trace number 3741828

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.15 1796.97

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K99.opb
MD5SUM827b46126fccb5cb8162396480ca6949
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 benchmark341.971
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6732
Total number of constraints6932
Number of constraints which are clauses6833
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint99
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 100
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.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.09	c no version file found!!!
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version	1.6.0_24
0.03/0.09	c os.name	Linux
0.03/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch	amd64
0.03/0.09	c Free memory 1599470296
0.03/0.09	c Max memory 1607860224
0.03/0.09	c Total memory 1607860224
0.03/0.09	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@18e2b22
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-3741828-1338755141.opb
0.07/0.12	c reading problem ... 
0.78/0.46	c ... done. Wall clock time 0.344s.
0.78/0.46	c CPU time (experimental) 0.42s.
0.78/0.46	c #vars     6732
0.78/0.46	c #constraints  6930
679.94/677.62	c cleaning 289266 clauses out of 579476 for limit 1087771.2838465169
680.74/678.49	c cleaning 145141 clauses out of 290710 for limit 3575764.9178184653
681.24/678.97	c cleaning 72515 clauses out of 146069 for limit 1.1736179986176433E7
681.74/679.45	c cleaning 36587 clauses out of 74055 for limit 3.821385310200746E7
681.94/679.69	c cleaning 18563 clauses out of 37967 for limit 1.2279772162283637E8
682.15/679.83	c cleaning 9465 clauses out of 19905 for limit 3.8665604840427566E8
682.24/679.93	c cleaning 5005 clauses out of 10939 for limit 1.1591262549670954E9
682.34/680.02	c cleaning 2840 clauses out of 6434 for limit 3.249998763679165E9
682.44/680.11	c cleaning 1688 clauses out of 4094 for limit 8.423106677730353E9
682.44/680.18	c cleaning 1408 clauses out of 2907 for limit 1.9582381464220074E10
682.54/680.26	c cleaning 952 clauses out of 1998 for limit 4.693928062551878E10
682.64/680.33	c cleaning 595 clauses out of 1550 for limit 1.0018302692361388E11
682.74/680.40	c cleaning 553 clauses out of 1451 for limit 1.757827583038334E11
682.74/680.46	c cleaning 457 clauses out of 1399 for limit 3.0096526221133466E11
682.84/680.53	c cleaning 402 clauses out of 1441 for limit 4.813838107557159E11
682.94/680.60	c cleaning 474 clauses out of 1539 for limit 7.433147119097225E11
682.94/680.67	c cleaning 761 clauses out of 1565 for limit 1.2054602484068232E12
683.04/680.73	c cleaning 498 clauses out of 1304 for limit 2.385863158491783E12
683.04/680.79	c cleaning 514 clauses out of 1306 for limit 3.9285820907614883E12
683.15/680.87	c cleaning 393 clauses out of 1292 for limit 6.54896067779538E12
683.25/680.94	c cleaning 419 clauses out of 1399 for limit 9.974085091111613E12
683.34/681.02	c cleaning 538 clauses out of 1480 for limit 1.5548373157865027E13
683.34/681.08	c cleaning 496 clauses out of 1442 for limit 2.631705554436323E13
683.44/681.15	c cleaning 503 clauses out of 1446 for limit 4.328028894534429E13
683.54/681.21	c cleaning 520 clauses out of 1445 for limit 7.156744417951566E13
683.54/681.29	c cleaning 491 clauses out of 1423 for limit 1.1960940181434773E14
683.64/681.36	c cleaning 552 clauses out of 1432 for limit 1.960121929601189E14
683.74/681.43	c cleaning 473 clauses out of 1380 for limit 3.354307753840981E14
683.74/681.49	c cleaning 485 clauses out of 1408 for limit 5.427123899424152E14
683.84/681.55	c cleaning 472 clauses out of 1422 for limit 8.853075544668E14
683.94/681.62	c cleaning 482 clauses out of 1450 for limit 1.4317976698718845E15
684.04/681.70	c cleaning 495 clauses out of 1468 for limit 2.3322735389114885E15
684.04/681.76	c cleaning 725 clauses out of 1473 for limit 3.8331752974631454E-5
684.14/681.85	c cleaning 582 clauses out of 1248 for limit 7.461097739279076E-5
684.25/681.92	c cleaning 554 clauses out of 1166 for limit 1.316966267430292E-4
684.25/681.98	c cleaning 471 clauses out of 1112 for limit 2.2773212642224704E-4
684.35/682.06	c cleaning 485 clauses out of 1141 for limit 3.660153768844608E-4
684.44/682.13	c cleaning 349 clauses out of 1156 for limit 5.957760332394703E-4
684.54/682.20	c cleaning 394 clauses out of 1308 for limit 8.692076048763395E-4
684.54/682.29	c cleaning 435 clauses out of 1415 for limit 0.0013263716184085089
684.64/682.35	c cleaning 450 clauses out of 1478 for limit 0.002089941306155906
684.74/682.42	c cleaning 475 clauses out of 1528 for limit 0.003333811623147365
684.74/682.49	c cleaning 492 clauses out of 1553 for limit 0.005409396826677598
684.84/682.57	c cleaning 497 clauses out of 1561 for limit 0.008875100540208729
684.94/682.64	c cleaning 510 clauses out of 1564 for limit 0.014608153474220455
685.04/682.71	c cleaning 484 clauses out of 1554 for limit 0.02424582377146516
685.04/682.77	c cleaning 504 clauses out of 1570 for limit 0.03957712050719234
685.14/682.83	c cleaning 501 clauses out of 1566 for limit 0.06543467880628684
685.24/682.90	c cleaning 514 clauses out of 1565 for limit 0.10797949146740358
685.24/682.97	c cleaning 489 clauses out of 1553 for limit 0.17980802654443187
685.35/683.06	c cleaning 494 clauses out of 1563 for limit 0.29433569089564454
685.45/683.14	c cleaning 488 clauses out of 1568 for limit 0.4833672504895365
685.54/683.21	c cleaning 495 clauses out of 1580 for limit 0.7910830527348995
685.54/683.28	c cleaning 482 clauses out of 1587 for limit 1.3014489924959933
685.64/683.35	c cleaning 508 clauses out of 1603 for limit 2.1205934683407386
685.74/683.42	c cleaning 478 clauses out of 1595 for limit 3.5146828429416637
685.84/683.50	c cleaning 458 clauses out of 1618 for limit 5.719508506789833
685.84/683.60	c cleaning 475 clauses out of 1660 for limit 9.19358776857004
685.94/683.68	c cleaning 459 clauses out of 1686 for limit 14.942592159215161
686.04/683.76	c cleaning 464 clauses out of 1725 for limit 24.037056117850902
686.14/683.83	c cleaning 491 clauses out of 1764 for limit 38.88044423015316
686.24/683.91	c cleaning 494 clauses out of 1770 for limit 63.71018768109053
686.24/683.98	c cleaning 496 clauses out of 1776 for limit 104.71166767685956
686.34/684.06	c cleaning 485 clauses out of 1781 for limit 172.3711254106222
686.45/684.15	c cleaning 499 clauses out of 1798 for limit 282.1393488937718
686.55/684.22	c cleaning 505 clauses out of 1796 for limit 464.4076515354481
686.64/684.31	c cleaning 492 clauses out of 1793 for limit 768.6883867398792
686.64/684.39	c cleaning 549 clauses out of 1799 for limit 1260.91644688159
686.75/684.48	c cleaning 485 clauses out of 1750 for limit 2137.643660584345
686.86/684.57	c cleaning 578 clauses out of 1765 for limit 3495.3006453391163
686.96/684.65	c cleaning 521 clauses out of 1687 for limit 6030.732306055111
687.06/684.72	c cleaning 488 clauses out of 1666 for limit 10070.84759772341
687.06/684.79	c cleaning 537 clauses out of 1678 for limit 16489.403727212124
687.16/684.85	c cleaning 519 clauses out of 1642 for limit 27817.24745575879
687.26/684.92	c cleaning 517 clauses out of 1622 for limit 46393.57418239148
687.26/684.99	c cleaning 472 clauses out of 1606 for limit 77348.79276685553
687.36/685.05	c cleaning 488 clauses out of 1633 for limit 125324.00671964747
687.46/685.14	c cleaning 467 clauses out of 1647 for limit 205329.69750116556
687.56/685.24	c cleaning 519 clauses out of 1678 for limit 331696.0299250078
687.56/685.30	c cleaning 481 clauses out of 1661 for limit 553716.5547993346
687.66/685.35	c cleaning 490 clauses out of 1679 for limit 902459.7048780912
687.76/685.43	c cleaning 505 clauses out of 1688 for limit 1478861.3155623365
687.76/685.48	c cleaning 825 clauses out of 1683 for limit 2446085.6622921443
687.86/685.54	c cleaning 580 clauses out of 1359 for limit 5000653.006444731
687.96/685.60	c cleaning 433 clauses out of 1278 for limit 8760657.426919032
687.96/685.65	c cleaning 321 clauses out of 1345 for limit 1.372780668112658E7
688.06/685.70	c cleaning 410 clauses out of 1524 for limit 1.9979948250297323E7
688.06/685.77	c cleaning 456 clauses out of 1614 for limit 3.111226882430115E7
688.15/685.84	c cleaning 621 clauses out of 1658 for limit 4.994667404923877E7
688.25/685.90	c cleaning 447 clauses out of 1537 for limit 8.88532094643121E7
688.25/685.95	c cleaning 572 clauses out of 1590 for limit 1.4164646801047522E8
688.35/686.01	c cleaning 405 clauses out of 1518 for limit 2.4467353099529216E8
688.35/686.06	c cleaning 447 clauses out of 1614 for limit 3.7987930036358416E8
688.45/686.14	c cleaning 475 clauses out of 1666 for limit 6.063111263901737E8
688.55/686.21	c cleaning 479 clauses out of 1692 for limit 9.855089555724415E8
688.55/686.27	c cleaning 839 clauses out of 1713 for limit 1.6053120213963974E9
688.66/686.35	c cleaning 666 clauses out of 1373 for limit 3.299648351214437E9
688.76/686.42	c cleaning 388 clauses out of 1211 for limit 6.194239411066674E9
688.76/686.49	c cleaning 607 clauses out of 1319 for limit 9.341253857267778E9
688.85/686.56	c cleaning 387 clauses out of 1212 for limit 1.6764987629989384E10
688.95/686.62	c cleaning 362 clauses out of 1325 for limit 2.5289827431478123E10
688.95/686.69	c cleaning 690 clauses out of 1463 for limit 3.777228910280137E10
689.05/686.77	c cleaning 238 clauses out of 1274 for limit 7.160421731480415E10
689.15/686.86	c cleaning 424 clauses out of 1538 for limit 9.801140278023767E10
689.25/686.97	c cleaning 419 clauses out of 1612 for limit 1.5390572196694574E11
689.35/687.04	c cleaning 834 clauses out of 1694 for limit 2.4176687487732703E11
689.45/687.12	c cleaning 614 clauses out of 1358 for limit 4.9636059474757623E11
689.45/687.18	c cleaning 239 clauses out of 1244 for limit 8.935782160670497E11
689.55/687.26	c cleaning 437 clauses out of 1505 for limit 1.2180702615931938E12
689.65/687.32	c cleaning 403 clauses out of 1568 for limit 1.928051672127978E12
689.65/687.39	c cleaning 613 clauses out of 1665 for limit 2.9943762976361616E12
689.76/687.45	c cleaning 372 clauses out of 1554 for limit 5.301448053905967E12
689.86/687.51	c cleaning 451 clauses out of 1682 for limit 8.077471239539061E12
689.86/687.59	c cleaning 573 clauses out of 1729 for limit 1.2932821457115117E13
689.95/687.66	c cleaning 441 clauses out of 1657 for limit 2.2276972341320836E13
690.05/687.73	c cleaning 771 clauses out of 1715 for limit 3.545977086320547E13
690.15/687.80	c cleaning 391 clauses out of 1444 for limit 6.945263751976874E13
690.15/687.87	c cleaning 728 clauses out of 1553 for limit 1.0649773409518806E14
690.25/687.95	c cleaning 604 clauses out of 1328 for limit 2.0600282241233806E14
690.35/688.01	c cleaning 306 clauses out of 1222 for limit 3.68457077603012E14
690.35/688.06	c cleaning 444 clauses out of 1417 for limit 5.245400552267418E14
690.45/688.12	c cleaning 386 clauses out of 1471 for limit 8.316157361433422E14
690.45/688.18	c cleaning 422 clauses out of 1585 for limit 1.2728053490734022E15
690.55/688.26	c cleaning 777 clauses out of 1663 for limit 2.000575270690564E-5
690.65/688.32	c cleaning 671 clauses out of 1387 for limit 3.959689054330146E-5
690.65/688.39	c cleaning 518 clauses out of 1216 for limit 7.448346229484379E-5
690.75/688.45	c cleaning 501 clauses out of 1197 for limit 1.246581438475913E-4
690.75/688.50	c cleaning 461 clauses out of 1196 for limit 2.057498435956112E-4
690.86/688.57	c cleaning 517 clauses out of 1238 for limit 3.287830886944859E-4
690.96/688.63	c cleaning 457 clauses out of 1218 for limit 5.49458857931322E-4
690.96/688.69	c cleaning 424 clauses out of 1262 for limit 8.754140474388768E-4
691.05/688.74	c cleaning 433 clauses out of 1337 for limit 0.0013613281784491153
691.15/688.80	c cleaning 469 clauses out of 1404 for limit 0.002137878504522527
691.15/688.86	c cleaning 482 clauses out of 1435 for limit 0.003449483837306641
691.25/688.94	c cleaning 483 clauses out of 1454 for limit 0.005619944254346543
691.35/689.00	c cleaning 512 clauses out of 1470 for limit 0.009157996110094463
691.35/689.06	c cleaning 469 clauses out of 1458 for limit 0.015227063277715959
691.45/689.13	c cleaning 528 clauses out of 1490 for limit 0.02459675452189151
691.45/689.19	c cleaning 510 clauses out of 1461 for limit 0.041327128877921886
691.55/689.24	c cleaning 485 clauses out of 1451 for limit 0.0686236675697626
691.65/689.31	c cleaning 481 clauses out of 1469 for limit 0.11211893506037322
691.65/689.37	c cleaning 472 clauses out of 1488 for limit 0.18253817981557768
691.75/689.45	c cleaning 476 clauses out of 1514 for limit 0.2952688517397834
691.85/689.54	c cleaning 458 clauses out of 1538 for limit 0.47933932707094073
691.96/689.64	c cleaning 553 clauses out of 1579 for limit 0.7691988788215999
692.06/689.71	c cleaning 517 clauses out of 1526 for limit 1.3125689485654992
692.06/689.76	c cleaning 528 clauses out of 1510 for limit 2.1897276941026482
692.15/689.82	c cleaning 531 clauses out of 1481 for limit 3.678183357733877
692.15/689.89	c cleaning 497 clauses out of 1450 for limit 6.195499387110553
692.25/689.96	c cleaning 484 clauses out of 1453 for limit 10.196111904484852
692.35/690.03	c cleaning 487 clauses out of 1469 for limit 16.631610240601194
692.45/690.10	c cleaning 501 clauses out of 1485 for limit 27.213792138487708
692.45/690.15	c cleaning 489 clauses out of 1481 for limit 44.86553078810171
692.55/690.21	c cleaning 478 clauses out of 1492 for limit 73.44376503095012
692.55/690.27	c cleaning 490 clauses out of 1515 for limit 119.39922876763178
692.65/690.33	c cleaning 468 clauses out of 1525 for limit 195.61411887805622
692.65/690.39	c cleaning 479 clauses out of 1556 for limit 315.850685652831
692.75/690.44	c cleaning 459 clauses out of 1577 for limit 513.9437752132532
692.75/690.49	c cleaning 520 clauses out of 1618 for limit 826.0848802740217
692.85/690.55	c cleaning 496 clauses out of 1598 for limit 1379.3748481815774
692.95/690.63	c cleaning 512 clauses out of 1602 for limit 2269.093819774886
692.95/690.68	c cleaning 501 clauses out of 1590 for limit 3770.281068505798
693.06/690.74	c cleaning 514 clauses out of 1589 for limit 6221.610823926043
693.16/690.80	c cleaning 486 clauses out of 1575 for limit 10351.47094806706
693.16/690.86	c cleaning 555 clauses out of 1589 for limit 16920.555451028547
693.25/690.93	c cleaning 534 clauses out of 1534 for limit 28904.73819649254
693.25/690.99	c cleaning 526 clauses out of 1500 for limit 48748.24977481369
693.35/691.05	c cleaning 485 clauses out of 1474 for limit 81810.43280479954
693.45/691.10	c cleaning 481 clauses out of 1489 for limit 133557.21766148004
693.45/691.17	c cleaning 496 clauses out of 1508 for limit 217478.63887618307
693.55/691.24	c cleaning 499 clauses out of 1512 for limit 357702.55613238626
693.65/691.32	c cleaning 708 clauses out of 1513 for limit 589509.4804316402
693.65/691.39	c cleaning 596 clauses out of 1305 for limit 1127132.8234114274
693.75/691.47	c cleaning 594 clauses out of 1209 for limit 2006389.2624256932
693.85/691.57	c cleaning 522 clauses out of 1116 for limit 3588126.1217896994
693.95/691.65	c cleaning 475 clauses out of 1093 for limit 6035775.917035362
694.05/691.75	c cleaning 514 clauses out of 1118 for limit 9731221.39459788
1788.93/1785.75	c cleaning 269881 clauses out of 540102 for limit 0.052926108855493405
1790.53/1787.33	c cleaning 135320 clauses out of 270720 for limit 0.17395895296789665
1791.03/1787.84	c cleaning 67812 clauses out of 135900 for limit 0.5714833168552136
1791.33/1788.13	c cleaning 34146 clauses out of 68588 for limit 1.8673716503509308
1791.53/1788.35	c cleaning 17197 clauses out of 34947 for limit 6.07431691114829
1791.63/1788.48	c cleaning 8898 clauses out of 18246 for limit 19.109860452847425
1791.74/1788.58	c cleaning 4653 clauses out of 9847 for limit 58.336802798410275
1791.84/1788.67	c cleaning 2485 clauses out of 5695 for limit 166.51111609459616
1791.93/1788.76	c cleaning 1464 clauses out of 3709 for limit 421.2127436463453
1792.03/1788.85	c cleaning 917 clauses out of 2745 for limit 938.5812491652002
1792.13/1788.93	c cleaning 760 clauses out of 2328 for limit 1825.1019684784735
1792.13/1788.99	c cleaning 741 clauses out of 2068 for limit 3388.250117617443
1792.23/1789.06	c cleaning 663 clauses out of 1827 for limit 6324.749598560023
1792.33/1789.12	c cleaning 573 clauses out of 1665 for limit 11456.660520907513
1792.33/1789.18	c cleaning 528 clauses out of 1591 for limit 19752.564011606417
1792.43/1789.24	c cleaning 490 clauses out of 1565 for limit 33182.12738244625
1792.43/1789.29	c cleaning 488 clauses out of 1573 for limit 54334.62936275552
1792.53/1789.37	c cleaning 478 clauses out of 1585 for limit 88926.67455004583
1792.63/1789.45	c cleaning 492 clauses out of 1607 for limit 144644.30157322838
1792.73/1789.53	c cleaning 459 clauses out of 1615 for limit 237356.19205238787
1792.73/1789.60	c cleaning 512 clauses out of 1656 for limit 381740.85961645487
1792.84/1789.67	c cleaning 563 clauses out of 1646 for limit 634635.0578301504
1792.94/1789.72	c cleaning 519 clauses out of 1581 for limit 1087448.9635102681
1792.94/1789.78	c cleaning 512 clauses out of 1564 for limit 1816472.8683374254
1793.03/1789.84	c cleaning 711 clauses out of 1551 for limit 3017694.2932263575
1793.13/1789.91	c cleaning 652 clauses out of 1339 for limit 5758744.85974027
1793.13/1789.98	c cleaning 526 clauses out of 1187 for limit 1.0713061120630885E7
1793.23/1790.04	c cleaning 383 clauses out of 1162 for limit 1.8065441193597414E7
1793.23/1790.09	c cleaning 405 clauses out of 1278 for limit 2.706108602223821E7
1793.33/1790.15	c cleaning 468 clauses out of 1373 for limit 4.1539515368530996E7
1793.33/1790.19	c cleaning 420 clauses out of 1405 for limit 6.694397948485752E7
1793.43/1790.24	c cleaning 466 clauses out of 1486 for limit 1.0448632129782267E8
1793.53/1790.31	c cleaning 753 clauses out of 1523 for limit 1.686311366810915E8
1793.53/1790.37	c cleaning 401 clauses out of 1267 for limit 3.332831885693762E8
1793.63/1790.43	c cleaning 521 clauses out of 1365 for limit 5.0965788345543224E8
1793.63/1790.49	c cleaning 490 clauses out of 1344 for limit 8.536267498584448E8
1793.73/1790.54	c cleaning 664 clauses out of 1354 for limit 1.3973477738192067E9
1793.73/1790.59	c cleaning 367 clauses out of 1191 for limit 2.622417346838177E9
1793.83/1790.64	c cleaning 529 clauses out of 1323 for limit 3.8893327585596647E9
1793.83/1790.70	c cleaning 599 clauses out of 1294 for limit 6.557775674191524E9
1793.94/1790.75	c cleaning 289 clauses out of 1195 for limit 1.1710591033587877E10
1794.04/1790.80	c cleaning 408 clauses out of 1406 for limit 1.6414107979321707E10
1794.04/1790.86	c cleaning 513 clauses out of 1499 for limit 2.5415073657087692E10
1794.13/1790.91	c cleaning 488 clauses out of 1485 for limit 4.226568647419603E10
1794.13/1790.98	c cleaning 491 clauses out of 1500 for limit 6.921218246640883E10
1794.23/1791.04	c cleaning 476 clauses out of 1507 for limit 1.1338286175002118E11
1794.33/1791.10	c cleaning 476 clauses out of 1530 for limit 1.8398847129089462E11
1794.33/1791.17	c cleaning 758 clauses out of 1554 for limit 2.9873555477793555E11
1794.43/1791.25	c cleaning 576 clauses out of 1296 for limit 5.907297108087687E11
1794.53/1791.32	c cleaning 352 clauses out of 1221 for limit 1.0350672098073247E12
1794.53/1791.38	c cleaning 551 clauses out of 1369 for limit 1.5224276169445393E12
1794.63/1791.43	c cleaning 392 clauses out of 1317 for limit 2.6072081310799453E12
1794.63/1791.48	c cleaning 434 clauses out of 1425 for limit 3.973767920968838E12
1794.73/1791.53	c cleaning 449 clauses out of 1492 for limit 6.265257708476619E12
1794.73/1791.59	c cleaning 586 clauses out of 1542 for limit 9.987223391442998E12
1794.83/1791.64	c cleaning 443 clauses out of 1465 for limit 1.7492746647074787E13
1794.83/1791.69	c cleaning 748 clauses out of 1513 for limit 2.768228807915539E13
1794.93/1791.76	c cleaning 523 clauses out of 1266 for limit 5.461319757452915E13
1795.04/1791.83	c cleaning 304 clauses out of 1243 for limit 9.173098755450298E13
1795.14/1791.91	c cleaning 691 clauses out of 1439 for limit 1.3067192553611833E14
1795.14/1791.97	c cleaning 604 clauses out of 1248 for limit 2.484759652422984E14
1795.23/1792.02	c cleaning 470 clauses out of 1145 for limit 4.4707860156330644E14
1795.23/1792.08	c cleaning 403 clauses out of 1173 for limit 7.182542787563571E14
1795.33/1792.13	c cleaning 326 clauses out of 1271 for limit 1.0942614060361739E15
1795.43/1792.20	c cleaning 544 clauses out of 1444 for limit 1.5867949685543955E15
1795.43/1792.26	c cleaning 666 clauses out of 1401 for limit 2.6998539503424243E-5
1795.53/1792.32	c cleaning 589 clauses out of 1234 for limit 5.049921443437704E-5
1795.53/1792.38	c cleaning 506 clauses out of 1145 for limit 8.975324975428174E-5
1795.63/1792.46	c cleaning 496 clauses out of 1139 for limit 1.4879482670203083E-4
1795.73/1792.52	c cleaning 469 clauses out of 1144 for limit 2.4455465301266105E-4
1795.73/1792.58	c cleaning 434 clauses out of 1175 for limit 3.9266299534862053E-4
1795.83/1792.64	c cleaning 320 clauses out of 1241 for limit 6.131150083751677E-4
1795.93/1792.71	c cleaning 424 clauses out of 1420 for limit 8.827683615832325E-4
1795.93/1792.77	c cleaning 447 clauses out of 1497 for limit 0.0013823044383748475
1796.03/1792.83	c cleaning 473 clauses out of 1549 for limit 0.0022008754208992405
1796.03/1792.89	c cleaning 491 clauses out of 1576 for limit 0.003567356825642289
1796.14/1792.95	c cleaning 492 clauses out of 1585 for limit 0.005849643314446039
1796.24/1793.01	c cleaning 517 clauses out of 1597 for limit 0.009612750494306327
1796.24/1793.06	c cleaning 508 clauses out of 1581 for limit 0.01602917295712976
1796.33/1793.12	c cleaning 548 clauses out of 1568 for limit 0.026520411274132735
1796.33/1793.17	c cleaning 488 clauses out of 1521 for limit 0.04513230327777127
1796.43/1793.23	c cleaning 488 clauses out of 1534 for limit 0.07387232213736919
1796.43/1793.27	c cleaning 523 clauses out of 1547 for limit 0.12092252182184553
1796.53/1793.33	c cleaning 527 clauses out of 1521 for limit 0.20221838941043088
1796.53/1793.37	c cleaning 499 clauses out of 1494 for limit 0.33951201696784206
1796.63/1793.42	c cleaning 497 clauses out of 1495 for limit 0.5595262195431571
1796.63/1793.49	c cleaning 490 clauses out of 1499 for limit 0.9211925162101475
1796.73/1793.56	c cleaning 508 clauses out of 1508 for limit 1.5085929284981276
1796.83/1793.61	c cleaning 488 clauses out of 1500 for limit 2.5011402033383305
1796.83/1793.67	c cleaning 508 clauses out of 1512 for limit 4.091978960173745
1796.93/1793.74	c cleaning 493 clauses out of 1504 for limit 6.784115511544537
1796.93/1793.78	c cleaning 491 clauses out of 1511 for limit 11.136083863715942
1797.03/1793.84	c cleaning 533 clauses out of 1520 for limit 18.256152557513197
1797.03/1793.89	c cleaning 510 clauses out of 1488 for limit 30.785081791627917
1797.13/1793.96	c cleaning 497 clauses out of 1478 for limit 51.112214292751645
1797.24/1794.02	c cleaning 496 clauses out of 1480 for limit 84.0927954727045
1797.24/1794.08	c cleaning 504 clauses out of 1487 for limit 138.44234885308313
1797.34/1794.13	c cleaning 496 clauses out of 1480 for limit 228.70231666628163
1797.34/1794.19	c cleaning 587 clauses out of 1484 for limit 376.14410972928005
1797.43/1794.28	c cleaning 560 clauses out of 1397 for limit 658.9426940571609
1797.53/1794.35	c cleaning 517 clauses out of 1337 for limit 1135.451355291434
1797.63/1794.43	c cleaning 506 clauses out of 1320 for limit 1896.626857164781
1797.73/1794.51	c cleaning 514 clauses out of 1314 for limit 3142.073566240144
1797.73/1794.59	c cleaning 479 clauses out of 1301 for limit 5238.715533252194
1797.83/1794.68	c cleaning 482 clauses out of 1321 for limit 8500.034153022258
1797.93/1794.75	c cleaning 471 clauses out of 1340 for limit 13832.767860704234
1798.03/1794.82	c cleaning 491 clauses out of 1370 for limit 22334.88489994918
1798.03/1794.87	c cleaning 470 clauses out of 1377 for limit 36572.71562440876
1798.13/1794.93	c cleaning 494 clauses out of 1407 for limit 59027.30279281744
1798.13/1794.97	c cleaning 482 clauses out of 1413 for limit 96930.56886282041
1798.23/1795.02	c cleaning 490 clauses out of 1431 for limit 157840.76481449936
1798.23/1795.07	c cleaning 500 clauses out of 1444 for limit 258732.53251275895
1798.34/1795.12	c cleaning 492 clauses out of 1441 for limit 426291.43170206057
1798.34/1795.17	c cleaning 463 clauses out of 1449 for limit 699130.2376383059
1798.44/1795.22	c cleaning 517 clauses out of 1486 for limit 1124251.689752086
1798.44/1795.26	c cleaning 714 clauses out of 1470 for limit 1876097.5765199263
1798.53/1795.30	c cleaning 580 clauses out of 1255 for limit 3620348.7354843603
1798.53/1795.35	c cleaning 441 clauses out of 1176 for limit 6377892.714087694
1798.63/1795.40	c cleaning 519 clauses out of 1234 for limit 1.0013611702093478E7
1798.63/1795.45	c cleaning 387 clauses out of 1215 for limit 1.6772025557612311E7
1798.73/1795.50	c cleaning 446 clauses out of 1328 for limit 2.530577285174482E7
1798.73/1795.55	c cleaning 681 clauses out of 1382 for limit 4.01019530720116E7
1798.83/1795.61	c cleaning 591 clauses out of 1201 for limit 7.610031371041383E7
1798.83/1795.67	c cleaning 335 clauses out of 1115 for limit 1.3585731680317333E8
1798.93/1795.72	c cleaning 596 clauses out of 1275 for limit 1.9495350325297028E8
1798.93/1795.78	c cleaning 578 clauses out of 1181 for limit 3.4778931999414855E8
1799.03/1795.84	c cleaning 426 clauses out of 1101 for limit 6.139962003225002E8
1799.13/1795.91	c cleaning 351 clauses out of 1175 for limit 9.487920191273438E8
1799.13/1795.97	c cleaning 539 clauses out of 1325 for limit 1.3889397592559571E9
1799.23/1796.03	c cleaning 366 clauses out of 1285 for limit 2.359486712113254E9
1799.23/1796.09	c cleaning 433 clauses out of 1420 for limit 3.524704540220885E9
1799.33/1796.16	c cleaning 728 clauses out of 1486 for limit 5.548985987717767E9
1799.44/1796.22	c cleaning 590 clauses out of 1259 for limit 1.0811777665340857E10
1799.44/1796.28	c cleaning 295 clauses out of 1168 for limit 1.920000619371881E10
1799.54/1796.34	c cleaning 413 clauses out of 1373 for limit 2.6935780315632614E10
1799.63/1796.41	c cleaning 477 clauses out of 1460 for limit 4.177371792032534E10
1799.63/1796.48	c cleaning 449 clauses out of 1485 for limit 6.786634218394128E10
1799.73/1796.55	c cleaning 454 clauses out of 1538 for limit 1.0828030520940366E11
1799.83/1796.61	c cleaning 576 clauses out of 1580 for limit 1.731277000799092E11
1799.83/1796.67	c cleaning 749 clauses out of 1504 for limit 2.999381423570352E11
1799.93/1796.73	c cleaning 619 clauses out of 1255 for limit 5.927774781811703E11
1800.03/1796.80	c cleaning 536 clauses out of 1136 for limit 1.0799731946748811E12
1800.15/1796.96	c starts		: 22
1800.15/1796.96	c conflicts		: 1277603
1800.15/1796.96	c decisions		: 3913235
1800.15/1796.96	c propagations		: 427201081
1800.15/1796.96	c inspects		: 9832176569
1800.15/1796.96	c learnt literals	: 27
1800.15/1796.96	c learnt binary clauses	: 57076
1800.15/1796.96	c learnt ternary clauses	: 42637
1800.15/1796.96	c learnt clauses	: 1277576
1800.15/1796.96	c root simplifications	: 0
1800.15/1796.96	c removed literals (reason simplification)	: 0
1800.15/1796.96	c reason swapping (by a shorter reason)	: 0
1800.15/1796.96	c Calls to reduceDB	: 319
1800.15/1796.96	c speed (decisions/second)	: 2178.2710609416476
1800.15/1796.96	c non guided choices	4851
1800.15/1796.96	s UNKNOWN
1800.15/1796.96	c Total wall clock time (ms): 1796.84

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-3741828-1338755141/watcher-3741828-1338755141 -o /tmp/evaluation-result-3741828-1338755141/solver-3741828-1338755141 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741828-1338755141.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.94 1.99 1.95 3/194 17391
/proc/meminfo: memFree=24914268/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17391/stat : 17391 (java) D 17389 17391 16961 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341638457 9515008 182 33554432000 1073741824 1073778376 140733828337552 140733828328584 251044642485 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 2323 182 140 9 0 71 0

[startup+0.0572309 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 17391
/proc/meminfo: memFree=24914268/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 3988 0 1 0 3 0 0 0 20 0 13 0 341638457 2686889984 4685 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 655979 4685 1703 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100251 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 17391
/proc/meminfo: memFree=24914268/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 4192 0 1 0 6 1 0 0 20 0 18 0 341638457 3028844544 5399 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 739464 5399 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300223 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 17391
/proc/meminfo: memFree=24914268/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 8280 0 1 0 49 1 0 0 20 0 18 0 341638457 3028844544 10398 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 739464 10398 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700228 s]
/proc/loadavg: 1.94 1.99 1.95 3/194 17391
/proc/meminfo: memFree=24914268/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=3024420 CPUtime=1.3 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 9405 0 1 0 128 2 0 0 20 0 19 0 341638457 3097006080 17769 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 756105 17769 2271 9 0 746526 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 3024420

[startup+1.50062 s]
/proc/loadavg: 1.94 1.99 1.95 3/213 17410
/proc/meminfo: memFree=24851468/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=3024420 CPUtime=2.12 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 9510 0 1 0 210 2 0 0 20 0 19 0 341638457 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 756105 18290 2274 9 0 746526 0
[pid=17391/tid=17393] ppid=17389 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/17391/task/17393/stat : 17393 (java) R 17389 17391 16961 0 -1 4202560 3114 0 1 0 144 2 0 0 20 0 19 0 341638459 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140715008278984 140714881274193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17394] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17394/stat : 17394 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714874149032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17395] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17395/stat : 17395 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714805553448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17396] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17396/stat : 17396 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714804500904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17397] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17397/stat : 17397 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714803448360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17398] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17398/stat : 17398 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714802395816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17399] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17399/stat : 17399 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714801343272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17400] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17400/stat : 17400 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714800290728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17401] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17401/stat : 17401 (java) S 17389 17391 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714799238184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17402] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17402/stat : 17402 (java) S 17389 17391 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341638461 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714787039336 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17403] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17403/stat : 17403 (java) S 17389 17391 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714785985656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17404] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17404/stat : 17404 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714784933000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17405] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17405/stat : 17405 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714783881744 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17406] ppid=17389 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/17391/task/17406/stat : 17406 (java) S 17389 17391 16961 0 -1 4202560 2173 0 0 0 31 0 0 0 20 0 19 0 341638465 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714782829112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17407] ppid=17389 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17407/stat : 17407 (java) S 17389 17391 16961 0 -1 4202560 3029 0 0 0 32 0 0 0 20 0 19 0 341638465 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714781776568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17408] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17408/stat : 17408 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714780724216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17409] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17409/stat : 17409 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714779671880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17410] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17410/stat : 17410 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638505 3097006080 18290 33554432000 1073741824 1073778376 140735657926176 140714777469736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 1.94 1.99 1.95 3/213 17410
/proc/meminfo: memFree=24846876/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=3024420 CPUtime=3.78 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 9519 0 1 0 375 3 0 0 20 0 19 0 341638457 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 756105 19831 2274 9 0 746526 0
[pid=17391/tid=17393] ppid=17389 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/17391/task/17393/stat : 17393 (java) R 17389 17391 16961 0 -1 4202560 3118 0 1 0 304 2 0 0 20 0 19 0 341638459 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140715008279112 140714881290271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17394] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17394/stat : 17394 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714874149032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17395] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17395/stat : 17395 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714805553448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17396] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17396/stat : 17396 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714804500904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17397] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17397/stat : 17397 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714803448360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17398] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17398/stat : 17398 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714802395816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17399] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17399/stat : 17399 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714801343272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17400] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17400/stat : 17400 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714800290728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17401] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17401/stat : 17401 (java) S 17389 17391 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714799238184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17402] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17402/stat : 17402 (java) S 17389 17391 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341638461 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714787039336 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17403] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17403/stat : 17403 (java) S 17389 17391 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714785985656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17404] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17404/stat : 17404 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714784933000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17405] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17405/stat : 17405 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714783881744 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17406] ppid=17389 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/17391/task/17406/stat : 17406 (java) S 17389 17391 16961 0 -1 4202560 2176 0 0 0 34 0 0 0 20 0 19 0 341638465 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714782829112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17407] ppid=17389 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/17391/task/17407/stat : 17407 (java) S 17389 17391 16961 0 -1 4202560 3031 0 0 0 34 0 0 0 20 0 19 0 341638465 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714781776568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17408] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17408/stat : 17408 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714780724216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17409] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17409/stat : 17409 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714779671880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17410] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17410/stat : 17410 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638505 3097006080 19831 33554432000 1073741824 1073778376 140735657926176 140714777469736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 3024420

[startup+6.30069 s]
/proc/loadavg: 1.94 1.99 1.95 3/213 17410
/proc/meminfo: memFree=24828088/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=3024420 CPUtime=6.98 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 9530 0 1 0 695 3 0 0 20 0 19 0 341638457 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 756105 23813 2276 9 0 746526 0
[pid=17391/tid=17393] ppid=17389 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/17391/task/17393/stat : 17393 (java) R 17389 17391 16961 0 -1 4202560 3127 0 1 0 622 2 0 0 20 0 19 0 341638459 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140715008279056 140714881214803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17394] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17394/stat : 17394 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714874149032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17395] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17395/stat : 17395 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714805553448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17396] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17396/stat : 17396 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714804500904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17397] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17397/stat : 17397 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714803448360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17398] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17398/stat : 17398 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714802395816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17399] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17399/stat : 17399 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714801343272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17400] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17400/stat : 17400 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714800290728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17401] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17401/stat : 17401 (java) S 17389 17391 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341638460 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714799238184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17402] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17402/stat : 17402 (java) S 17389 17391 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341638461 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714787039336 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17403] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17403/stat : 17403 (java) S 17389 17391 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714785985656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17404] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17404/stat : 17404 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714784933000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17405] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17405/stat : 17405 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714783881744 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17406] ppid=17389 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/17391/task/17406/stat : 17406 (java) S 17389 17391 16961 0 -1 4202560 2177 0 0 0 34 0 0 0 20 0 19 0 341638465 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714782829112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17407] ppid=17389 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/17391/task/17407/stat : 17407 (java) S 17389 17391 16961 0 -1 4202560 3031 0 0 0 34 0 0 0 20 0 19 0 341638465 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714781776568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17408] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17408/stat : 17408 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714780724216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17409] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17409/stat : 17409 (java) S 17389 17391 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714779671880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17410] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17410/stat : 17410 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638505 3097006080 23813 33554432000 1073741824 1073778376 140735657926176 140714777469736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=17391/tid=17406] ppid=17389 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17391/task/17406/stat : 17406 (java) S 17389 17391 16961 0 -1 4202560 2194 0 0 0 39 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714782829112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17407] ppid=17389 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17391/task/17407/stat : 17407 (java) S 17389 17391 16961 0 -1 4202560 3040 0 0 0 40 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714781776568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17408] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17408/stat : 17408 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714780724216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17409] ppid=17389 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/17391/task/17409/stat : 17409 (java) S 17389 17391 16961 0 -1 4202560 100 0 0 0 45 30 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714779671880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17410] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17410/stat : 17410 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638505 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714777469736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.52
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/213 17485
/proc/meminfo: memFree=22207884/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=3024420 CPUtime=1785.53 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 11880 0 1 0 178410 143 0 0 20 0 19 0 341638457 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 756105 417692 2304 9 0 746526 0
[pid=17391/tid=17393] ppid=17389 vsize=3024420 CPUtime=1775.13 cores=0,2,4,6
/proc/17391/task/17393/stat : 17393 (java) R 17389 17391 16961 0 -1 4202560 3308 0 1 0 177479 34 0 0 20 0 19 0 341638459 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140715008277808 140714881290403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17394] ppid=17389 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17391/task/17394/stat : 17394 (java) S 17389 17391 16961 0 -1 4202560 208 0 0 0 29 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714874149032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17395] ppid=17389 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17395/stat : 17395 (java) S 17389 17391 16961 0 -1 4202560 226 0 0 0 19 13 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714805553448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17396] ppid=17389 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17391/task/17396/stat : 17396 (java) S 17389 17391 16961 0 -1 4202560 228 0 0 0 24 13 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714804500904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17397] ppid=17389 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/17391/task/17397/stat : 17397 (java) S 17389 17391 16961 0 -1 4202560 358 0 0 0 36 23 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714803448360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17398] ppid=17389 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17391/task/17398/stat : 17398 (java) S 17389 17391 16961 0 -1 4202560 208 0 0 0 25 13 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714802395816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17399] ppid=17389 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17391/task/17399/stat : 17399 (java) S 17389 17391 16961 0 -1 4202560 202 0 0 0 18 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714801343272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17400] ppid=17389 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17400/stat : 17400 (java) S 17389 17391 16961 0 -1 4202560 206 0 0 0 20 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714800290728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17401] ppid=17389 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17401/stat : 17401 (java) S 17389 17391 16961 0 -1 4202560 204 0 0 0 20 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714799238184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17402] ppid=17389 vsize=3024420 CPUtime=1.67 cores=0,2,4,6
/proc/17391/task/17402/stat : 17402 (java) S 17389 17391 16961 0 -1 4202560 214 0 0 0 160 7 0 0 20 0 19 0 341638461 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714787039336 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17403] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17403/stat : 17403 (java) S 17389 17391 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714785985656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17404] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17404/stat : 17404 (java) S 17389 17391 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714784933000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17405] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17405/stat : 17405 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714783881744 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17406] ppid=17389 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17391/task/17406/stat : 17406 (java) S 17389 17391 16961 0 -1 4202560 2194 0 0 0 39 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714782829112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17407] ppid=17389 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17391/task/17407/stat : 17407 (java) S 17389 17391 16961 0 -1 4202560 3040 0 0 0 40 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714781776568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17408] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17408/stat : 17408 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714780724216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17409] ppid=17389 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/17391/task/17409/stat : 17409 (java) S 17389 17391 16961 0 -1 4202560 104 0 0 0 47 32 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714779671880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17410] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17410/stat : 17410 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638505 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714777469736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.97 3/213 17485
/proc/meminfo: memFree=22207760/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 11881 0 1 0 179861 143 0 0 20 0 19 0 341638457 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 756105 417692 2304 9 0 746526 0
[pid=17391/tid=17393] ppid=17389 vsize=3024420 CPUtime=1789.59 cores=0,2,4,6
/proc/17391/task/17393/stat : 17393 (java) R 17389 17391 16961 0 -1 4202560 3308 0 1 0 178924 35 0 0 20 0 19 0 341638459 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140715008270176 140714881307816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17394] ppid=17389 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17391/task/17394/stat : 17394 (java) S 17389 17391 16961 0 -1 4202560 208 0 0 0 29 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714874149032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17395] ppid=17389 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17395/stat : 17395 (java) S 17389 17391 16961 0 -1 4202560 226 0 0 0 19 13 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714805553448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17396] ppid=17389 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17391/task/17396/stat : 17396 (java) S 17389 17391 16961 0 -1 4202560 228 0 0 0 24 13 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714804500904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17397] ppid=17389 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/17391/task/17397/stat : 17397 (java) S 17389 17391 16961 0 -1 4202560 358 0 0 0 36 23 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714803448360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17398] ppid=17389 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/17391/task/17398/stat : 17398 (java) S 17389 17391 16961 0 -1 4202560 208 0 0 0 25 13 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714802395816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17399] ppid=17389 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/17391/task/17399/stat : 17399 (java) S 17389 17391 16961 0 -1 4202560 202 0 0 0 18 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714801343272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17400] ppid=17389 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17400/stat : 17400 (java) S 17389 17391 16961 0 -1 4202560 206 0 0 0 20 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714800290728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17401] ppid=17389 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17401/stat : 17401 (java) S 17389 17391 16961 0 -1 4202560 204 0 0 0 20 12 0 0 20 0 19 0 341638460 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714799238184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17402] ppid=17389 vsize=3024420 CPUtime=1.67 cores=0,2,4,6
/proc/17391/task/17402/stat : 17402 (java) S 17389 17391 16961 0 -1 4202560 214 0 0 0 160 7 0 0 20 0 19 0 341638461 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714787039336 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17403] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17403/stat : 17403 (java) S 17389 17391 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714785985656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17404] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17404/stat : 17404 (java) S 17389 17391 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341638462 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714784933000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17405] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17405/stat : 17405 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714783881744 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17406] ppid=17389 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17391/task/17406/stat : 17406 (java) S 17389 17391 16961 0 -1 4202560 2194 0 0 0 39 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714782829112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17407] ppid=17389 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17391/task/17407/stat : 17407 (java) S 17389 17391 16961 0 -1 4202560 3041 0 0 0 40 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714781776568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17408] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17408/stat : 17408 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714780724216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17409] ppid=17389 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/17391/task/17409/stat : 17409 (java) S 17389 17391 16961 0 -1 4202560 104 0 0 0 47 32 0 0 20 0 19 0 341638465 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714779671880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17410] ppid=17389 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17410/stat : 17410 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341638505 3097006080 417692 33554432000 1073741824 1073778376 140735657926176 140714777469736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/213 17485
/proc/meminfo: memFree=22207760/32873844 swapFree=7628/7628
[pid=17391] ppid=17389 vsize=3090984 CPUtime=1800.15 cores=0,2,4,6
/proc/17391/stat : 17391 (java) S 17389 17391 16961 0 -1 4202496 11904 0 1 0 179872 143 0 0 20 0 20 0 341638457 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140735657917312 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17391/statm: 772746 417712 2304 9 0 763167 0
[pid=17391/tid=17393] ppid=17389 vsize=3090984 CPUtime=1789.6 cores=0,2,4,6
/proc/17391/task/17393/stat : 17393 (java) S 17389 17391 16961 0 -1 4202560 3309 0 1 0 178925 35 0 0 20 0 20 0 341638459 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140715008279112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17394] ppid=17389 vsize=3090984 CPUtime=0.41 cores=0,2,4,6
/proc/17391/task/17394/stat : 17394 (java) S 17389 17391 16961 0 -1 4202560 208 0 0 0 29 12 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714874149032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17395] ppid=17389 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17395/stat : 17395 (java) S 17389 17391 16961 0 -1 4202560 226 0 0 0 19 13 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714805553448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17396] ppid=17389 vsize=3090984 CPUtime=0.37 cores=0,2,4,6
/proc/17391/task/17396/stat : 17396 (java) S 17389 17391 16961 0 -1 4202560 228 0 0 0 24 13 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714804500904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17397] ppid=17389 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/17391/task/17397/stat : 17397 (java) S 17389 17391 16961 0 -1 4202560 358 0 0 0 36 23 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714803448360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17398] ppid=17389 vsize=3090984 CPUtime=0.38 cores=0,2,4,6
/proc/17391/task/17398/stat : 17398 (java) S 17389 17391 16961 0 -1 4202560 208 0 0 0 25 13 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714802395816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17399] ppid=17389 vsize=3090984 CPUtime=0.3 cores=0,2,4,6
/proc/17391/task/17399/stat : 17399 (java) S 17389 17391 16961 0 -1 4202560 202 0 0 0 18 12 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714801343272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17400] ppid=17389 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17400/stat : 17400 (java) S 17389 17391 16961 0 -1 4202560 206 0 0 0 20 12 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714800290728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17401] ppid=17389 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/17391/task/17401/stat : 17401 (java) S 17389 17391 16961 0 -1 4202560 204 0 0 0 20 12 0 0 20 0 20 0 341638460 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714799238184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17402] ppid=17389 vsize=3090984 CPUtime=1.77 cores=0,2,4,6
/proc/17391/task/17402/stat : 17402 (java) R 17389 17391 16961 0 -1 4202560 218 0 0 0 170 7 0 0 20 0 20 0 341638461 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714787039152 140715014787104 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17403] ppid=17389 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17403/stat : 17403 (java) S 17389 17391 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341638462 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714785985656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17391/tid=17404] ppid=17389 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17404/stat : 17404 (java) S 17389 17391 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341638462 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714784933000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17405] ppid=17389 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17405/stat : 17405 (java) S 17389 17391 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 341638465 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714783881744 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17406] ppid=17389 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/17391/task/17406/stat : 17406 (java) S 17389 17391 16961 0 -1 4202560 2194 0 0 0 39 0 0 0 20 0 20 0 341638465 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714782829112 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17391/tid=17407] ppid=17389 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/17391/task/17407/stat : 17407 (java) S 17389 17391 16961 0 -1 4202560 3041 0 0 0 40 0 0 0 20 0 20 0 341638465 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714781776568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17408] ppid=17389 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17408/stat : 17408 (java) S 17389 17391 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341638465 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714780724216 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17391/tid=17409] ppid=17389 vsize=3090984 CPUtime=0.79 cores=0,2,4,6
/proc/17391/task/17409/stat : 17409 (java) S 17389 17391 16961 0 -1 4202560 104 0 0 0 47 32 0 0 20 0 20 0 341638465 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714779671880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17391/tid=17410] ppid=17389 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17391/task/17410/stat : 17410 (java) S 17389 17391 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341638505 3165167616 417712 33554432000 1073741824 1073778376 140735657926176 140714777469736 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 3090984

Child status: 143

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

Real time (s): 1796.97
CPU time (s): 1800.15
CPU user time (s): 1798.72
CPU system time (s): 1.43
CPU usage (%): 100.177
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 1.9717
maximum resident set size= 1670896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11919
page faults= 1
swaps= 0
block input operations= 40
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38118
involuntary context switches= 5493

runsolver used 5.96109 second user time and 15.3837 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 22:25:41
IDJOB=3741828
IDBENCH=90111
IDSOLVER=2319
FILE ID=node143/3741828-1338755141
RUNJOBID= node143-1338750755-16977
PBS_JOBID= 14636808
Free space on /tmp= 68436 MiB

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

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

MD5SUM BENCH= 827b46126fccb5cb8162396480ca6949
RANDOM SEED=1885113222

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:        24914268 kB
Buffers:         2375760 kB
Cached:          4005096 kB
SwapCached:          188 kB
Active:          4790932 kB
Inactive:        2189440 kB
Active(anon):     587452 kB
Inactive(anon):    10988 kB
Active(file):    4203480 kB
Inactive(file):  2178452 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              4040 kB
Writeback:             0 kB
AnonPages:        617968 kB
Mapped:            18848 kB
Shmem:               160 kB
Slab:             822296 kB
SReclaimable:     263720 kB
SUnreclaim:       558576 kB
KernelStack:        1592 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    571392 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-03 22:55:40