Trace number 3742153

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.94 1796.82

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
MD5SUM87eecd69bf3cf4e36ad8fc8a9d8af53d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5644
Total number of constraints5812
Number of constraints which are clauses5729
Number of constraints which are cardinality constraints (but not clauses)83
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint83
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 84
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.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3742153-1338763068.opb
0.08/0.10	c reading problem ... 
0.81/0.41	c ... done. Wall clock time 0.308s.
0.81/0.41	c CPU time (experimental) 0.37s.
0.81/0.41	c #vars     5644
0.81/0.41	c #constraints  5810
879.87/877.44	c cleaning 288321 clauses out of 577478 for limit 147723.1511853284
881.29/878.84	c cleaning 144561 clauses out of 289657 for limit 485686.31386196474
881.88/879.43	c cleaning 72091 clauses out of 145596 for limit 1593478.9742383382
882.28/879.82	c cleaning 36289 clauses out of 74004 for limit 5164900.528381354
882.49/880.06	c cleaning 18364 clauses out of 38216 for limit 1.6510579882746577E7
882.68/880.24	c cleaning 9515 clauses out of 20353 for limit 5.117637513843799E7
882.78/880.37	c cleaning 5024 clauses out of 11337 for limit 1.5136350731968677E8
882.88/880.46	c cleaning 2760 clauses out of 6812 for limit 4.150171703725328E8
882.98/880.55	c cleaning 1642 clauses out of 4553 for limit 1.0250226279110714E9
883.08/880.63	c cleaning 1644 clauses out of 3410 for limit 2.254748461830973E9
883.08/880.69	c cleaning 1098 clauses out of 2266 for limit 5.595623169940449E9
883.18/880.74	c cleaning 537 clauses out of 1668 for limit 1.2536266214335579E10
883.18/880.78	c cleaning 608 clauses out of 1632 for limit 2.115117491181627E10
883.28/880.83	c cleaning 600 clauses out of 1523 for limit 3.7340155570302864E10
883.28/880.88	c cleaning 681 clauses out of 1423 for limit 6.590631250160684E10
883.38/880.93	c cleaning 455 clauses out of 1244 for limit 1.245765913439148E11
883.38/880.98	c cleaning 481 clauses out of 1289 for limit 1.982712723563436E11
883.49/881.02	c cleaning 394 clauses out of 1307 for limit 3.221502691917806E11
883.49/881.07	c cleaning 571 clauses out of 1414 for limit 4.915583474129897E11
883.59/881.12	c cleaning 371 clauses out of 1341 for limit 8.530658774265944E11
883.59/881.16	c cleaning 429 clauses out of 1474 for limit 1.285013821683605E12
883.68/881.21	c cleaning 476 clauses out of 1541 for limit 2.0189263846030403E12
883.68/881.25	c cleaning 525 clauses out of 1565 for limit 3.2784205818111846E12
883.78/881.30	c cleaning 496 clauses out of 1540 for limit 5.494322854358202E12
883.78/881.35	c cleaning 501 clauses out of 1544 for limit 9.037399638902299E12
883.78/881.39	c cleaning 497 clauses out of 1543 for limit 1.4913540034763604E13
883.88/881.45	c cleaning 772 clauses out of 1547 for limit 2.455538544036718E13
883.88/881.49	c cleaning 601 clauses out of 1274 for limit 4.912346767265922E13
883.98/881.53	c cleaning 426 clauses out of 1174 for limit 8.799960978071611E13
883.98/881.58	c cleaning 416 clauses out of 1248 for limit 1.3651807158265384E14
884.08/881.63	c cleaning 384 clauses out of 1331 for limit 2.1088614599465834E14
884.08/881.68	c cleaning 429 clauses out of 1447 for limit 3.19899426420218E14
884.18/881.73	c cleaning 727 clauses out of 1518 for limit 5.028820197588153E14
884.18/881.79	c cleaning 426 clauses out of 1291 for limit 9.751412412484815E14
884.28/881.84	c cleaning 448 clauses out of 1365 for limit 1.5209572317320385E15
884.38/881.90	c cleaning 668 clauses out of 1420 for limit 2.4183587779873024E-5
884.38/881.95	c cleaning 583 clauses out of 1249 for limit 4.520630274750372E-5
884.48/882.00	c cleaning 530 clauses out of 1166 for limit 7.985806156621173E-5
884.48/882.05	c cleaning 509 clauses out of 1136 for limit 1.3517453061828526E-4
884.48/882.10	c cleaning 347 clauses out of 1127 for limit 2.247010865852163E-4
884.59/882.16	c cleaning 421 clauses out of 1282 for limit 3.26411892869298E-4
884.69/882.21	c cleaning 354 clauses out of 1359 for limit 5.067822622699246E-4
884.69/882.27	c cleaning 419 clauses out of 1505 for limit 7.546754974292849E-4
884.78/882.33	c cleaning 514 clauses out of 1586 for limit 0.0011809987926757778
884.78/882.38	c cleaning 509 clauses out of 1573 for limit 0.001965686761458489
884.88/882.44	c cleaning 449 clauses out of 1563 for limit 0.0032591581319060614
884.98/882.50	c cleaning 476 clauses out of 1614 for limit 0.005204952460861406
884.98/882.58	c cleaning 521 clauses out of 1640 for limit 0.008464500990691261
885.08/882.64	c cleaning 493 clauses out of 1618 for limit 0.014134747871283394
885.08/882.70	c cleaning 481 clauses out of 1624 for limit 0.023200745160626143
885.18/882.77	c cleaning 513 clauses out of 1643 for limit 0.0378186726696847
885.28/882.84	c cleaning 554 clauses out of 1630 for limit 0.06286546442370872
885.28/882.89	c cleaning 524 clauses out of 1577 for limit 0.10726509905370597
885.38/882.94	c cleaning 499 clauses out of 1552 for limit 0.17956421439105727
885.38/882.99	c cleaning 506 clauses out of 1554 for limit 0.29604033775411354
885.48/883.04	c cleaning 485 clauses out of 1547 for limit 0.4899287968762723
885.48/883.08	c cleaning 493 clauses out of 1563 for limit 0.8004877707657378
885.58/883.13	c cleaning 508 clauses out of 1570 for limit 1.3142255742293314
885.58/883.18	c cleaning 507 clauses out of 1561 for limit 2.17764979484318
885.69/883.23	c cleaning 512 clauses out of 1554 for limit 3.6074125704581426
885.69/883.28	c cleaning 490 clauses out of 1546 for limit 6.003869906822217
885.79/883.34	c cleaning 489 clauses out of 1553 for limit 9.82701590201305
885.79/883.38	c cleaning 492 clauses out of 1563 for limit 16.086275849575344
885.88/883.42	c cleaning 501 clauses out of 1571 for limit 26.39333023761477
885.88/883.45	c cleaning 472 clauses out of 1572 for limit 43.58557157657009
885.88/883.49	c cleaning 483 clauses out of 1599 for limit 70.5940663587479
885.98/883.53	c cleaning 504 clauses out of 1615 for limit 115.15041597158054
885.98/883.58	c cleaning 528 clauses out of 1612 for limit 190.44229178431647
886.10/883.64	c cleaning 516 clauses out of 1584 for limit 319.61646685538443
886.10/883.69	c cleaning 511 clauses out of 1567 for limit 532.2757767438831
886.20/883.76	c cleaning 516 clauses out of 1556 for limit 883.9994467403801
886.30/883.81	c cleaning 484 clauses out of 1540 for limit 1472.979667493494
886.30/883.86	c cleaning 466 clauses out of 1556 for limit 2404.1622146674836
886.40/883.91	c cleaning 523 clauses out of 1590 for limit 3880.0035465556857
886.40/883.96	c cleaning 500 clauses out of 1567 for limit 6492.562476269924
886.50/884.01	c cleaning 464 clauses out of 1572 for limit 10726.574120346959
886.50/884.06	c cleaning 493 clauses out of 1603 for limit 17260.897975210195
886.60/884.10	c cleaning 518 clauses out of 1610 for limit 28341.766709337626
886.60/884.15	c cleaning 509 clauses out of 1592 for limit 47267.82495216016
886.60/884.19	c cleaning 489 clauses out of 1586 for limit 78481.07104030972
886.70/884.24	c cleaning 484 clauses out of 1594 for limit 128390.27790036658
886.70/884.29	c cleaning 487 clauses out of 1611 for limit 209708.15255905353
886.81/884.33	c cleaning 489 clauses out of 1626 for limit 343332.7436154089
886.81/884.38	c cleaning 505 clauses out of 1634 for limit 561740.9246327104
886.91/884.42	c cleaning 513 clauses out of 1632 for limit 930309.3480008176
886.91/884.47	c cleaning 490 clauses out of 1616 for limit 1544751.1761566978
887.00/884.53	c cleaning 803 clauses out of 1627 for limit 2532810.7269147937
887.00/884.58	c cleaning 534 clauses out of 1324 for limit 5132845.495285792
887.10/884.64	c cleaning 347 clauses out of 1289 for limit 8685896.192088846
887.10/884.69	c cleaning 429 clauses out of 1442 for limit 1.280436892241002E7
887.20/884.73	c cleaning 743 clauses out of 1514 for limit 2.0132048252647046E7
887.20/884.78	c cleaning 325 clauses out of 1270 for limit 3.953952904127721E7
887.30/884.82	c cleaning 412 clauses out of 1445 for limit 5.730905576030303E7
887.30/884.87	c cleaning 446 clauses out of 1534 for limit 8.911609324229556E7
887.40/884.93	c cleaning 469 clauses out of 1588 for limit 1.4196683089680085E8
887.40/884.98	c cleaning 492 clauses out of 1621 for limit 2.29815481503547E8
887.50/885.03	c cleaning 801 clauses out of 1628 for limit 3.769895145679001E8
887.50/885.08	c cleaning 638 clauses out of 1325 for limit 7.62350442691343E8
887.60/885.13	c cleaning 406 clauses out of 1187 for limit 1.4033813577723188E9
887.60/885.17	c cleaning 381 clauses out of 1281 for limit 2.144535201529568E9
887.70/885.21	c cleaning 386 clauses out of 1400 for limit 3.236012275869587E9
887.70/885.25	c cleaning 425 clauses out of 1515 for limit 4.936463862172865E9
887.70/885.30	c cleaning 482 clauses out of 1589 for limit 7.754004932496035E9
887.80/885.34	c cleaning 495 clauses out of 1607 for limit 1.2644159930023108E10
887.80/885.39	c cleaning 509 clauses out of 1612 for limit 2.0787234086047462E10
887.91/885.43	c cleaning 794 clauses out of 1603 for limit 3.4473399224827446E10
887.91/885.48	c cleaning 404 clauses out of 1309 for limit 6.961997638365274E10
888.01/885.52	c cleaning 463 clauses out of 1406 for limit 1.069987234300078E11
888.01/885.57	c cleaning 389 clauses out of 1442 for limit 1.718778972169943E11
888.10/885.62	c cleaning 775 clauses out of 1557 for limit 2.6356674535247086E11
888.10/885.65	c cleaning 537 clauses out of 1278 for limit 5.274316804907735E11
888.10/885.69	c cleaning 312 clauses out of 1241 for limit 8.957383567988798E11
888.20/885.73	c cleaning 380 clauses out of 1429 for limit 1.282852164938948E12
888.20/885.78	c cleaning 658 clauses out of 1550 for limit 1.9523943439547095E12
888.30/885.82	c cleaning 378 clauses out of 1391 for limit 3.5842103059411997E12
888.30/885.87	c cleaning 413 clauses out of 1513 for limit 5.434224463759819E12
888.40/885.92	c cleaning 454 clauses out of 1604 for limit 8.487231952299019E12
888.40/885.97	c cleaning 678 clauses out of 1646 for limit 1.3584962514794676E13
888.50/886.03	c cleaning 387 clauses out of 1468 for limit 2.511991159836448E13
888.50/886.07	c cleaning 442 clauses out of 1581 for limit 3.846521633801226E13
888.60/886.12	c cleaning 479 clauses out of 1640 for limit 6.121341376653854E13
888.60/886.17	c cleaning 473 clauses out of 1662 for limit 9.97125510513007E13
888.70/886.22	c cleaning 842 clauses out of 1687 for limit 1.6167863269754997E14
888.70/886.27	c cleaning 320 clauses out of 1345 for limit 3.344269845963195E14
888.80/886.32	c cleaning 466 clauses out of 1525 for limit 4.8641800328723844E14
888.80/886.36	c cleaning 428 clauses out of 1559 for limit 7.846739883687341E14
888.90/886.41	c cleaning 460 clauses out of 1631 for limit 1.2369077120057282E15
888.90/886.46	c cleaning 799 clauses out of 1671 for limit 1.9909974118243024E-5
888.90/886.50	c cleaning 652 clauses out of 1372 for limit 3.998977135304346E-5
889.01/886.55	c cleaning 527 clauses out of 1220 for limit 7.416501496752427E-5
889.01/886.60	c cleaning 558 clauses out of 1194 for limit 1.2509645171600997E-4
889.11/886.65	c cleaning 456 clauses out of 1135 for limit 2.1680776470515555E-4
889.20/886.70	c cleaning 484 clauses out of 1179 for limit 3.442015132364047E-4
889.20/886.74	c cleaning 242 clauses out of 1195 for limit 5.600342167032233E-4
889.20/886.79	c cleaning 377 clauses out of 1453 for limit 7.595786340949741E-4
889.30/886.84	c cleaning 433 clauses out of 1576 for limit 0.0011548831057020762
889.30/886.90	c cleaning 493 clauses out of 1643 for limit 0.0018268907001519395
889.40/886.94	c cleaning 490 clauses out of 1650 for limit 0.0030000056403242715
889.40/886.99	c cleaning 481 clauses out of 1661 for limit 0.004919565891523121
889.50/887.04	c cleaning 504 clauses out of 1679 for limit 0.008018019226824845
889.60/887.10	c cleaning 495 clauses out of 1675 for limit 0.013254363139647738
889.60/887.14	c cleaning 510 clauses out of 1680 for limit 0.021793163734155283
889.60/887.18	c cleaning 471 clauses out of 1670 for limit 0.036155051072242005
889.70/887.23	c cleaning 545 clauses out of 1699 for limit 0.0586067931981907
889.70/887.28	c cleaning 501 clauses out of 1654 for limit 0.09927998875472906
889.80/887.32	c cleaning 500 clauses out of 1653 for limit 0.16382503067737555
889.80/887.38	c cleaning 490 clauses out of 1653 for limit 0.27016939170750154
889.90/887.44	c cleaning 469 clauses out of 1664 for limit 0.4430432001412923
889.90/887.48	c cleaning 519 clauses out of 1694 for limit 0.7169805369889679
890.00/887.53	c cleaning 503 clauses out of 1678 for limit 1.1972593528597593
890.00/887.58	c cleaning 476 clauses out of 1672 for limit 1.975587517510118
890.11/887.62	c cleaning 519 clauses out of 1698 for limit 3.214546935156058
890.11/887.66	c cleaning 538 clauses out of 1677 for limit 5.356871861246467
890.21/887.71	c cleaning 506 clauses out of 1639 for limit 9.03901805809428
890.21/887.75	c cleaning 487 clauses out of 1635 for limit 14.972949545985369
890.30/887.80	c cleaning 493 clauses out of 1646 for limit 24.478350594598346
890.30/887.87	c cleaning 488 clauses out of 1653 for limit 40.19712710053163
890.40/887.93	c cleaning 499 clauses out of 1666 for limit 65.83900672952532
890.40/887.98	c cleaning 517 clauses out of 1667 for limit 108.51219651047538
890.50/888.03	c cleaning 466 clauses out of 1651 for limit 180.8662273958006
890.50/888.07	c cleaning 495 clauses out of 1683 for limit 292.01643902305767
890.60/888.12	c cleaning 499 clauses out of 1688 for limit 480.14770942612694
890.60/888.16	c cleaning 486 clauses out of 1690 for limit 791.6824139425638
890.70/888.21	c cleaning 471 clauses out of 1703 for limit 1294.3282486166563
890.70/888.26	c cleaning 536 clauses out of 1732 for limit 2098.780773255991
890.80/888.30	c cleaning 508 clauses out of 1696 for limit 3534.6385017241932
890.80/888.35	c cleaning 526 clauses out of 1690 for limit 5861.503891378577
890.80/888.39	c cleaning 502 clauses out of 1662 for limit 9809.606945370431
890.90/888.44	c cleaning 487 clauses out of 1661 for limit 16203.296982524025
891.00/888.50	c cleaning 471 clauses out of 1673 for limit 26503.2088424505
891.00/888.56	c cleaning 503 clauses out of 1703 for limit 42980.370071904385
891.10/888.61	c cleaning 474 clauses out of 1700 for limit 71005.46308324487
891.10/888.66	c cleaning 498 clauses out of 1725 for limit 115285.0417959097
891.21/888.71	c cleaning 501 clauses out of 1728 for limit 189980.3666080922
891.21/888.76	c cleaning 506 clauses out of 1726 for limit 313352.4130197966
891.31/888.80	c cleaning 734 clauses out of 1720 for limit 518562.699937833
891.31/888.85	c cleaning 724 clauses out of 1486 for limit 989844.1013135364
891.40/888.90	c cleaning 504 clauses out of 1263 for limit 1922527.926400404
891.40/888.95	c cleaning 618 clauses out of 1258 for limit 3179924.00887551
891.40/888.99	c cleaning 537 clauses out of 1140 for limit 5786932.523964612
891.50/889.03	c cleaning 445 clauses out of 1106 for limit 9866373.799014028
891.50/889.08	c cleaning 429 clauses out of 1159 for limit 1.5495875543624032E7
891.60/889.12	c cleaning 592 clauses out of 1229 for limit 2.4075152566260684E7
891.60/889.16	c cleaning 537 clauses out of 1139 for limit 4.2926167643806025E7
891.70/889.21	c cleaning 403 clauses out of 1103 for limit 7.317466245233916E7
891.70/889.26	c cleaning 573 clauses out of 1198 for limit 1.108833365343128E8
891.80/889.30	c cleaning 534 clauses out of 1126 for limit 1.9474894421210268E8
891.80/889.33	c cleaning 414 clauses out of 1091 for limit 3.311388430433217E8
891.80/889.37	c cleaning 451 clauses out of 1176 for limit 5.061146763164072E8
891.90/889.41	c cleaning 589 clauses out of 1225 for limit 8.012647757335985E8
891.90/889.45	c cleaning 548 clauses out of 1135 for limit 1.426172852796589E9
892.00/889.50	c cleaning 484 clauses out of 1087 for limit 2.4558077741734443E9
892.00/889.54	c cleaning 476 clauses out of 1103 for limit 3.991207329733568E9
892.00/889.59	c cleaning 493 clauses out of 1127 for limit 6.441867264815363E9
892.10/889.64	c cleaning 524 clauses out of 1134 for limit 1.055792373123288E10
892.10/889.68	c cleaning 524 clauses out of 1110 for limit 1.7787891968658714E10
892.20/889.74	c cleaning 538 clauses out of 1086 for limit 2.9982892228826176E10
892.20/889.79	c cleaning 423 clauses out of 1048 for limit 5.123868239774563E10
892.31/889.83	c cleaning 457 clauses out of 1125 for limit 7.871592450805759E10
892.31/889.86	c cleaning 571 clauses out of 1168 for limit 1.2503401214425693E11
1667.32/1664.15	c cleaning 271949 clauses out of 544598 for limit 63567.4141716339
1668.72/1665.57	c cleaning 136406 clauses out of 273149 for limit 209009.9009933754
1669.22/1666.08	c cleaning 68256 clauses out of 137242 for limit 685331.6854623571
1669.63/1666.46	c cleaning 34370 clauses out of 69488 for limit 2236675.3330662646
1669.82/1666.64	c cleaning 17349 clauses out of 35616 for limit 7182150.16298641
1669.92/1666.75	c cleaning 8842 clauses out of 18767 for limit 2.247815474596271E7
1670.02/1666.84	c cleaning 4674 clauses out of 10425 for limit 6.673218330135876E7
1670.12/1666.94	c cleaning 2735 clauses out of 6252 for limit 1.8368886349717438E8
1670.12/1666.98	c cleaning 1568 clauses out of 4016 for limit 4.711177504360572E8
1670.22/1667.04	c cleaning 1411 clauses out of 2948 for limit 1.0584042608630205E9
1670.22/1667.08	c cleaning 589 clauses out of 2037 for limit 2.5260614823634934E9
1670.32/1667.12	c cleaning 884 clauses out of 1948 for limit 4.356140514581022E9
1670.32/1667.15	c cleaning 642 clauses out of 1564 for limit 8.947670259039331E9
1670.32/1667.19	c cleaning 379 clauses out of 1423 for limit 1.6234249582629942E10
1670.42/1667.22	c cleaning 504 clauses out of 1543 for limit 2.466565017275598E10
1670.42/1667.26	c cleaning 421 clauses out of 1540 for limit 4.079699466621239E10
1670.52/1667.30	c cleaning 729 clauses out of 1618 for limit 6.397226837423807E10
1670.52/1667.34	c cleaning 514 clauses out of 1390 for limit 1.2292659903401576E11
1670.52/1667.38	c cleaning 373 clauses out of 1375 for limit 2.0472898987277728E11
1670.62/1667.42	c cleaning 369 clauses out of 1502 for limit 3.0907793084215173E11
1670.62/1667.45	c cleaning 676 clauses out of 1633 for limit 4.688216198457834E11
1670.62/1667.50	c cleaning 426 clauses out of 1457 for limit 8.665430652790452E11
1670.72/1667.54	c cleaning 466 clauses out of 1531 for limit 1.3599733534875747E12
1670.72/1667.58	c cleaning 767 clauses out of 1571 for limit 2.1988335885166716E12
1670.83/1667.63	c cleaning 628 clauses out of 1298 for limit 4.362572640508932E12
1670.83/1667.68	c cleaning 389 clauses out of 1170 for limit 7.98155276627869E12
1670.92/1667.72	c cleaning 506 clauses out of 1281 for limit 1.2022090920847074E13
1670.92/1667.76	c cleaning 328 clauses out of 1277 for limit 1.9927974149886617E13
1671.02/1667.81	c cleaning 413 clauses out of 1448 for limit 2.8953886112467516E13
1671.02/1667.86	c cleaning 449 clauses out of 1534 for limit 4.502683691083738E13
1671.12/1667.90	c cleaning 494 clauses out of 1585 for limit 7.186599111212425E13
1671.12/1667.94	c cleaning 777 clauses out of 1591 for limit 1.1806968192685592E14
1671.12/1667.97	c cleaning 372 clauses out of 1315 for limit 2.358159730968733E14
1671.22/1668.01	c cleaning 418 clauses out of 1442 for limit 3.5428689368752056E14
1671.22/1668.04	c cleaning 462 clauses out of 1524 for limit 5.5282957282231425E14
1671.32/1668.10	c cleaning 777 clauses out of 1562 for limit 8.895105254960979E14
1671.32/1668.15	c cleaning 574 clauses out of 1285 for limit 1.7831376922899203E-5
1671.32/1668.18	c cleaning 525 clauses out of 1211 for limit 3.1203244335634115E-5
1671.42/1668.23	c cleaning 538 clauses out of 1186 for limit 5.254302749748823E-5
1671.42/1668.28	c cleaning 495 clauses out of 1152 for limit 8.956559946717768E-5
1671.52/1668.32	c cleaning 491 clauses out of 1155 for limit 1.4702750765326433E-4
1671.52/1668.36	c cleaning 447 clauses out of 1163 for limit 2.4055934913713072E-4
1671.62/1668.40	c cleaning 324 clauses out of 1216 for limit 3.7942353580150244E-4
1671.62/1668.45	c cleaning 369 clauses out of 1391 for limit 5.464520845925132E-4
1671.72/1668.50	c cleaning 444 clauses out of 1522 for limit 8.236078012143128E-4
1671.72/1668.56	c cleaning 467 clauses out of 1578 for limit 0.0013100382981640628
1671.82/1668.62	c cleaning 479 clauses out of 1615 for limit 0.0021193974061570935
1671.82/1668.67	c cleaning 509 clauses out of 1632 for limit 0.0034449475228016113
1671.93/1668.72	c cleaning 499 clauses out of 1623 for limit 0.005712683088969161
1671.93/1668.77	c cleaning 507 clauses out of 1624 for limit 0.009415177547557803
1672.02/1668.82	c cleaning 484 clauses out of 1617 for limit 0.015594103278247309
1672.02/1668.87	c cleaning 513 clauses out of 1636 for limit 0.025494502941911704
1672.12/1668.92	c cleaning 496 clauses out of 1621 for limit 0.042348077289012964
1672.12/1668.97	c cleaning 500 clauses out of 1625 for limit 0.06966573662557876
1672.22/1669.02	c cleaning 491 clauses out of 1624 for limit 0.11484390446365529
1672.22/1669.07	c cleaning 498 clauses out of 1633 for limit 0.1883491551091642
1672.32/1669.11	c cleaning 504 clauses out of 1636 for limit 0.31035372374205233
1672.32/1669.16	c cleaning 489 clauses out of 1633 for limit 0.5132683370720774
1672.42/1669.21	c cleaning 498 clauses out of 1642 for limit 0.8401258917278994
1672.42/1669.25	c cleaning 496 clauses out of 1644 for limit 1.383794486724559
1672.52/1669.31	c cleaning 479 clauses out of 1648 for limit 2.27652324332979
1672.52/1669.36	c cleaning 466 clauses out of 1670 for limit 3.7085421875664295
1672.62/1669.42	c cleaning 511 clauses out of 1703 for limit 5.991373886883723
1672.62/1669.47	c cleaning 482 clauses out of 1692 for limit 9.944812481131665
1672.72/1669.55	c cleaning 523 clauses out of 1712 for limit 16.2411997373755
1672.82/1669.62	c cleaning 525 clauses out of 1687 for limit 27.126492889292418
1672.82/1669.69	c cleaning 502 clauses out of 1665 for limit 45.4625629815303
1672.92/1669.75	c cleaning 523 clauses out of 1661 for limit 75.00416569465455
1672.92/1669.80	c cleaning 509 clauses out of 1638 for limit 125.42872470257505
1673.02/1669.85	c cleaning 494 clauses out of 1629 for limit 207.99155734377484
1673.02/1669.90	c cleaning 496 clauses out of 1634 for limit 341.6143566941557
1673.12/1669.95	c cleaning 495 clauses out of 1639 for limit 562.2113532677594
1673.12/1669.99	c cleaning 506 clauses out of 1644 for limit 924.3418978739351
1673.22/1670.04	c cleaning 489 clauses out of 1639 for limit 1530.5442751857834
1673.22/1670.09	c cleaning 504 clauses out of 1648 for limit 2505.2698216259355
1673.32/1670.14	c cleaning 491 clauses out of 1644 for limit 4141.577457331104
1673.32/1670.18	c cleaning 490 clauses out of 1654 for limit 6795.516868829164
1673.42/1670.22	c cleaning 503 clauses out of 1663 for limit 11134.920640054306
1673.42/1670.27	c cleaning 493 clauses out of 1662 for limit 18410.82569971742
1673.52/1670.32	c cleaning 465 clauses out of 1668 for limit 30222.44631610676
1673.52/1670.37	c cleaning 500 clauses out of 1702 for limit 48796.36605728203
1673.62/1670.42	c cleaning 451 clauses out of 1702 for limit 80471.73548952115
1673.62/1670.49	c cleaning 477 clauses out of 1751 for limit 128994.93686439081
1673.72/1670.54	c cleaning 500 clauses out of 1774 for limit 209971.85347987543
1673.72/1670.59	c cleaning 538 clauses out of 1777 for limit 346726.22555414814
1673.82/1670.63	c cleaning 513 clauses out of 1738 for limit 584044.2099786837
1673.82/1670.68	c cleaning 504 clauses out of 1726 for limit 970834.2790058247
1673.92/1670.72	c cleaning 511 clauses out of 1719 for limit 1602737.3903704497
1673.92/1670.76	c cleaning 486 clauses out of 1708 for limit 2660150.8565766197
1674.02/1670.81	c cleaning 502 clauses out of 1726 for limit 4358602.615753242
1674.02/1670.84	c cleaning 492 clauses out of 1720 for limit 7184184.209525198
1674.02/1670.89	c cleaning 519 clauses out of 1728 for limit 1.1792830470196132E7
1674.12/1670.93	c cleaning 478 clauses out of 1709 for limit 1.9664169892988335E7
1674.12/1670.96	c cleaning 668 clauses out of 1731 for limit 3.2016695058070444E7
1674.22/1671.01	c cleaning 446 clauses out of 1564 for limit 5.8496141132313155E7
1674.22/1671.05	c cleaning 498 clauses out of 1618 for limit 9.324838867878425E7
1674.22/1671.09	c cleaning 474 clauses out of 1620 for limit 1.5358921677698457E8
1674.32/1671.13	c cleaning 810 clauses out of 1645 for limit 2.4919034606592643E8
1674.32/1671.18	c cleaning 654 clauses out of 1335 for limit 5.063743944232741E8
1674.42/1671.22	c cleaning 408 clauses out of 1183 for limit 9.442634257619154E8
1674.42/1671.25	c cleaning 303 clauses out of 1273 for limit 1.444230036004026E9
1674.52/1671.30	c cleaning 582 clauses out of 1470 for limit 2.0625445068472955E9
1674.52/1671.34	c cleaning 355 clauses out of 1388 for limit 3.602359774255427E9
1674.52/1671.39	c cleaning 520 clauses out of 1534 for limit 5.380734827231789E9
1674.62/1671.44	c cleaning 399 clauses out of 1515 for limit 8.993830847787804E9
1674.62/1671.49	c cleaning 432 clauses out of 1616 for limit 1.3905028351094355E10
1674.72/1671.56	c cleaning 642 clauses out of 1683 for limit 2.19963435648147E10
1674.82/1671.60	c cleaning 397 clauses out of 1540 for limit 3.960365465173699E10
1674.82/1671.65	c cleaning 458 clauses out of 1646 for limit 6.1289429248904274E10
1674.82/1671.69	c cleaning 826 clauses out of 1685 for limit 9.843914986296556E10
1674.92/1671.73	c cleaning 309 clauses out of 1363 for limit 2.0149572567046762E11
1674.92/1671.78	c cleaning 467 clauses out of 1552 for limit 2.9124390152369507E11
1675.02/1671.83	c cleaning 415 clauses out of 1584 for limit 4.7012652495763947E11
1675.02/1671.88	c cleaning 766 clauses out of 1668 for limit 7.355213124404458E11
1675.12/1671.93	c cleaning 307 clauses out of 1404 for limit 1.4439398770862446E12
1675.12/1671.97	c cleaning 415 clauses out of 1595 for limit 2.0919071016265308E12
1675.22/1672.02	c cleaning 462 clauses out of 1680 for limit 3.2752894548496636E12
1675.22/1672.07	c cleaning 592 clauses out of 1718 for limit 5.281918505241378E12
1675.32/1672.12	c cleaning 440 clauses out of 1626 for limit 9.203440340569762E12
1675.32/1672.17	c cleaning 468 clauses out of 1688 for limit 1.4649513791603129E13
1675.42/1672.22	c cleaning 492 clauses out of 1718 for limit 2.3689688885809754E13
1675.42/1672.27	c cleaning 532 clauses out of 1726 for limit 3.888638864344971E13
1675.52/1672.32	c cleaning 505 clauses out of 1694 for limit 6.534026398100053E13
1675.52/1672.36	c cleaning 839 clauses out of 1689 for limit 1.0807382641133764E14
1675.62/1672.41	c cleaning 626 clauses out of 1350 for limit 2.2298327834334266E14
1675.62/1672.46	c cleaning 384 clauses out of 1224 for limit 4.0558373840896975E14
1675.72/1672.51	c cleaning 360 clauses out of 1342 for limit 6.112717798390435E14
1675.72/1672.55	c cleaning 367 clauses out of 1480 for limit 9.122460895341418E14
1675.82/1672.61	c cleaning 441 clauses out of 1613 for limit 1.3803691523965665E15
1675.82/1672.66	c cleaning 553 clauses out of 1672 for limit 2.1960854101588662E15
1675.92/1672.70	c cleaning 446 clauses out of 1620 for limit 3.741630387602586E15
1675.92/1672.75	c cleaning 803 clauses out of 1673 for limit 5.968996618328765E-5
1676.02/1672.80	c cleaning 631 clauses out of 1370 for limit 1.202077847041867E-4
1676.02/1672.85	c cleaning 434 clauses out of 1239 for limit 2.1919858254972275E-4
1676.12/1672.90	c cleaning 472 clauses out of 1305 for limit 3.432056455605008E-4
1676.12/1672.94	c cleaning 323 clauses out of 1333 for limit 5.541032180799975E-4
1676.12/1672.99	c cleaning 420 clauses out of 1511 for limit 8.069502422192316E-4
1676.22/1673.02	c cleaning 437 clauses out of 1590 for limit 0.0012633842880765572
1676.22/1673.07	c cleaning 481 clauses out of 1653 for limit 0.002004082654971341
1676.32/1673.12	c cleaning 494 clauses out of 1672 for limit 0.003267443576708015
1676.32/1673.17	c cleaning 490 clauses out of 1680 for limit 0.005373533969994366
1676.42/1673.23	c cleaning 472 clauses out of 1688 for limit 0.008802047372662256
1676.42/1673.27	c cleaning 498 clauses out of 1718 for limit 0.014290844543052085
1676.52/1673.32	c cleaning 515 clauses out of 1718 for limit 0.023520402985094016
1676.52/1673.36	c cleaning 515 clauses out of 1703 for limit 0.03912993774635728
1676.62/1673.41	c cleaning 504 clauses out of 1688 for limit 0.06510393660932177
1676.62/1673.46	c cleaning 482 clauses out of 1684 for limit 0.10762012491027124
1676.72/1673.52	c cleaning 491 clauses out of 1702 for limit 0.17560299154369954
1676.72/1673.57	c cleaning 495 clauses out of 1711 for limit 0.2880695428495219
1676.82/1673.62	c cleaning 512 clauses out of 1716 for limit 0.47368099076304027
1676.82/1673.66	c cleaning 492 clauses out of 1704 for limit 0.7866644718301598
1676.92/1673.71	c cleaning 497 clauses out of 1712 for limit 1.2912527327356755
1676.92/1673.76	c cleaning 489 clauses out of 1717 for limit 2.1275002969911343
1677.02/1673.81	c cleaning 507 clauses out of 1730 for limit 3.4891427020471513
1677.02/1673.86	c cleaning 486 clauses out of 1720 for limit 5.770171745923353
1677.12/1673.91	c cleaning 495 clauses out of 1733 for limit 9.434958609984669
1677.12/1673.97	c cleaning 501 clauses out of 1738 for limit 15.514746250116204
1677.22/1674.03	c cleaning 492 clauses out of 1737 for limit 25.6006220241821
1677.22/1674.09	c cleaning 506 clauses out of 1746 for limit 42.04327083789465
1677.32/1674.13	c cleaning 522 clauses out of 1740 for limit 69.57406419107635
1677.32/1674.18	c cleaning 485 clauses out of 1717 for limit 116.15761916867557
1677.42/1674.23	c cleaning 500 clauses out of 1733 for limit 189.98085293122716
1677.42/1674.27	c cleaning 519 clauses out of 1732 for limit 313.17124829792175
1677.52/1674.31	c cleaning 497 clauses out of 1713 for limit 522.189692611473
1677.52/1674.35	c cleaning 503 clauses out of 1718 for limit 860.3742602483131
1677.52/1674.39	c cleaning 491 clauses out of 1713 for limit 1420.1691330176043
1677.62/1674.44	c cleaning 483 clauses out of 1722 for limit 2329.8082135473046
1677.62/1674.48	c cleaning 499 clauses out of 1744 for limit 3812.723264449672
1677.72/1674.54	c cleaning 494 clauses out of 1742 for limit 6276.043802633591
1677.72/1674.59	c cleaning 503 clauses out of 1746 for limit 10305.682079902686
1677.82/1674.65	c cleaning 478 clauses out of 1743 for limit 17024.70048192651
1677.92/1674.70	c cleaning 534 clauses out of 1766 for limit 27738.09087787542
1677.92/1674.75	c cleaning 501 clauses out of 1731 for limit 46622.072275323815
1678.02/1674.81	c cleaning 467 clauses out of 1730 for limit 76930.47696557228
1678.02/1674.85	c cleaning 583 clauses out of 1763 for limit 124493.90879068224
1678.12/1674.90	c cleaning 521 clauses out of 1682 for limit 215625.1101564065
1678.12/1674.95	c cleaning 496 clauses out of 1659 for limit 359803.8475801709
1678.22/1675.01	c cleaning 502 clauses out of 1668 for limit 593122.7588755884
1678.22/1675.06	c cleaning 496 clauses out of 1661 for limit 977359.4821829264
1678.32/1675.11	c cleaning 509 clauses out of 1666 for limit 1608567.7781755489
1678.32/1675.16	c cleaning 486 clauses out of 1657 for limit 2667151.839847423
1678.42/1675.21	c cleaning 752 clauses out of 1670 for limit 4359886.194665941
1678.42/1675.25	c cleaning 360 clauses out of 1418 for limit 8467813.424218025
1678.53/1675.31	c cleaning 749 clauses out of 1559 for limit 1.2714280685441364E7
1678.53/1675.35	c cleaning 589 clauses out of 1309 for limit 2.4947075346756242E7
1678.53/1675.39	c cleaning 328 clauses out of 1222 for limit 4.415836551074487E7
1678.62/1675.45	c cleaning 555 clauses out of 1393 for limit 6.3819655369928986E7
1678.72/1675.50	c cleaning 301 clauses out of 1337 for limit 1.0954575150307421E8
1678.72/1675.56	c cleaning 415 clauses out of 1536 for limit 1.5725034886654767E8
1678.82/1675.61	c cleaning 465 clauses out of 1621 for limit 2.4572859951338637E8
1678.82/1675.66	c cleaning 451 clauses out of 1657 for limit 3.9683193134933615E8
1678.92/1675.71	c cleaning 485 clauses out of 1705 for limit 6.353691308926519E8
1678.92/1675.77	c cleaning 489 clauses out of 1722 for limit 1.0395425199347478E9
1679.02/1675.83	c cleaning 506 clauses out of 1732 for limit 1.7027421722748733E9
1679.02/1675.90	c cleaning 846 clauses out of 1728 for limit 2.8201873001530113E9
1679.12/1675.95	c cleaning 632 clauses out of 1379 for limit 5.810450104982146E9
1679.22/1676.01	c cleaning 420 clauses out of 1247 for limit 1.0596525215363201E10
1679.22/1676.07	c cleaning 290 clauses out of 1327 for limit 1.6421578228651796E10
1800.05/1796.81	c starts		: 22
1800.05/1796.81	c conflicts		: 1470955
1800.05/1796.81	c decisions		: 4127496
1800.05/1796.81	c propagations		: 454497861
1800.05/1796.81	c inspects		: 10872283547
1800.05/1796.81	c learnt literals	: 24
1800.05/1796.81	c learnt binary clauses	: 52668
1800.05/1796.81	c learnt ternary clauses	: 41141
1800.05/1796.81	c learnt clauses	: 1470931
1800.05/1796.81	c root simplifications	: 0
1800.05/1796.81	c removed literals (reason simplification)	: 0
1800.05/1796.81	c reason swapping (by a shorter reason)	: 0
1800.05/1796.81	c Calls to reduceDB	: 398
1800.05/1796.81	c speed (decisions/second)	: 2297.652467689492
1800.05/1796.81	c non guided choices	576
1800.05/1796.81	s UNKNOWN
1800.05/1796.81	c Total wall clock time (ms): 1796.71

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-3742153-1338763068/watcher-3742153-1338763068 -o /tmp/evaluation-result-3742153-1338763068/solver-3742153-1338763068 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742153-1338763068.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: 1.93 2.00 1.99 3/194 12440
/proc/meminfo: memFree=25384956/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12440/stat : 12440 (java) D 12438 12440 11123 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342434191 9515008 182 33554432000 1073741824 1073778376 140735771758144 140735771749176 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12440/statm: 2323 182 140 9 0 71 0

[startup+0.0213319 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12440
/proc/meminfo: memFree=25384956/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=1878320 CPUtime=0 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 1667 0 1 0 0 0 0 0 20 0 2 0 342434191 1923399680 1859 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 469580 1877 931 9 0 460689 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1878320

[startup+0.10028 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12440
/proc/meminfo: memFree=25384956/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 4408 0 1 0 7 1 0 0 20 0 18 0 342434191 3028844544 6627 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 739464 6627 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300283 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12440
/proc/meminfo: memFree=25384956/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=2957856 CPUtime=0.55 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 8380 0 1 0 53 2 0 0 20 0 18 0 342434191 3028844544 11467 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 739464 11467 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856

[startup+0.70028 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 12440
/proc/meminfo: memFree=25384956/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 12778 0 1 0 140 4 0 0 20 0 19 0 342434191 3097006080 18548 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 756105 18548 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 3024420

[startup+1.50066 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 12459
/proc/meminfo: memFree=25317428/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=3024420 CPUtime=2.29 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 12794 0 1 0 225 4 0 0 20 0 19 0 342434191 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 756105 19585 2272 9 0 746526 0
[pid=12440/tid=12442] ppid=12438 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/12440/task/12442/stat : 12442 (java) R 12438 12440 11123 0 -1 4202560 2533 0 1 0 144 2 0 0 20 0 19 0 342434192 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060738851464 140060578743052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12443] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12443/stat : 12443 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060722277416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12444] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12444/stat : 12444 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060721224616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12445] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12445/stat : 12445 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060720171816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12440/tid=12446] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12446/stat : 12446 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060719119016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12447] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12447/stat : 12447 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060718066216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12448] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12448/stat : 12448 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060717013416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12449] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12449/stat : 12449 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060715960616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12450] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12450/stat : 12450 (java) S 12438 12440 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060714907816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12451] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12451/stat : 12451 (java) S 12438 12440 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060702497768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12452] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12452/stat : 12452 (java) S 12438 12440 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060701443832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12453] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12453/stat : 12453 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060700390920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12454] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12454/stat : 12454 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060699339408 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12455] ppid=12438 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/12440/task/12455/stat : 12455 (java) S 12438 12440 11123 0 -1 4202560 3264 0 0 0 41 0 0 0 20 0 19 0 342434197 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060698286520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12456] ppid=12438 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/12440/task/12456/stat : 12456 (java) S 12438 12440 11123 0 -1 4202560 5802 0 0 0 37 0 0 0 20 0 19 0 342434197 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060697233720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12457] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12457/stat : 12457 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060578015608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12458] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12458/stat : 12458 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060576963016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12459] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12459/stat : 12459 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434233 3097006080 19585 33554432000 1073741824 1073778376 140733957703104 140060574832296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 1.93 2.00 1.99 3/213 12459
/proc/meminfo: memFree=25310788/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=3024420 CPUtime=3.94 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 12800 0 1 0 390 4 0 0 20 0 19 0 342434191 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 756105 22145 2272 9 0 746526 0
[pid=12440/tid=12442] ppid=12438 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/12440/task/12442/stat : 12442 (java) R 12438 12440 11123 0 -1 4202560 2539 0 1 0 304 2 0 0 20 0 19 0 342434192 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060738851224 140060578743635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12443] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12443/stat : 12443 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060722277416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12444] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12444/stat : 12444 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060721224616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12445] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12445/stat : 12445 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060720171816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12440/tid=12446] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12446/stat : 12446 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060719119016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12447] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12447/stat : 12447 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060718066216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12448] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12448/stat : 12448 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060717013416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12449] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12449/stat : 12449 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060715960616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12450] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12450/stat : 12450 (java) S 12438 12440 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060714907816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12451] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12451/stat : 12451 (java) S 12438 12440 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060702497768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12452] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12452/stat : 12452 (java) S 12438 12440 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060701443832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12453] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12453/stat : 12453 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060700390920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12454] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12454/stat : 12454 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060699339408 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12455] ppid=12438 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12440/task/12455/stat : 12455 (java) S 12438 12440 11123 0 -1 4202560 3264 0 0 0 44 0 0 0 20 0 19 0 342434197 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060698286520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12456] ppid=12438 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12440/task/12456/stat : 12456 (java) S 12438 12440 11123 0 -1 4202560 5802 0 0 0 39 0 0 0 20 0 19 0 342434197 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060697233720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12457] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12457/stat : 12457 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060578015608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12458] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12458/stat : 12458 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060576963016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12459] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12459/stat : 12459 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434233 3097006080 22145 33554432000 1073741824 1073778376 140733957703104 140060574832296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 12459
/proc/meminfo: memFree=25297128/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=3024420 CPUtime=7.14 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 12811 0 1 0 710 4 0 0 20 0 19 0 342434191 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 756105 24888 2273 9 0 746526 0
[pid=12440/tid=12442] ppid=12438 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/12440/task/12442/stat : 12442 (java) R 12438 12440 11123 0 -1 4202560 2549 0 1 0 623 3 0 0 20 0 19 0 342434192 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060738849296 140060578086839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12443] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12443/stat : 12443 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060722277416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12444] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12444/stat : 12444 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060721224616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12445] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12445/stat : 12445 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060720171816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12440/tid=12446] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12446/stat : 12446 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060719119016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12447] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12447/stat : 12447 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060718066216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12448] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12448/stat : 12448 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060717013416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12449] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12449/stat : 12449 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060715960616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12450] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12450/stat : 12450 (java) S 12438 12440 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342434193 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060714907816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12451] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12451/stat : 12451 (java) S 12438 12440 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060702497768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12452] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12452/stat : 12452 (java) S 12438 12440 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060701443832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12453] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12453/stat : 12453 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060700390920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12454] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12454/stat : 12454 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060699339408 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12455] ppid=12438 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12440/task/12455/stat : 12455 (java) S 12438 12440 11123 0 -1 4202560 3264 0 0 0 44 0 0 0 20 0 19 0 342434197 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060698286520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12456] ppid=12438 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12440/task/12456/stat : 12456 (java) S 12438 12440 11123 0 -1 4202560 5802 0 0 0 39 0 0 0 20 0 19 0 342434197 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060697233720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12457] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12457/stat : 12457 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060578015608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12458] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12458/stat : 12458 (java) S 12438 12440 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060576963016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12459] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12459/stat : 12459 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434233 3097006080 24888 33554432000 1073741824 1073778376 140733957703104 140060574832296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=12440/tid=12448] ppid=12438 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12440/task/12448/stat : 12448 (java) S 12438 12440 11123 0 -1 4202560 271 0 0 0 29 16 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060717013416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12449] ppid=12438 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12440/task/12449/stat : 12449 (java) S 12438 12440 11123 0 -1 4202560 190 0 0 0 17 10 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060715960616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12450] ppid=12438 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/12440/task/12450/stat : 12450 (java) S 12438 12440 11123 0 -1 4202560 210 0 0 0 30 12 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060714907816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12440/tid=12451] ppid=12438 vsize=3024420 CPUtime=1.79 cores=1,3,5,7
/proc/12440/task/12451/stat : 12451 (java) S 12438 12440 11123 0 -1 4202560 209 0 0 0 173 6 0 0 20 0 19 0 342434195 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060702497768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12452] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12452/stat : 12452 (java) S 12438 12440 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060701443832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12453] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12453/stat : 12453 (java) S 12438 12440 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060700390920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12454] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12454/stat : 12454 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060699339408 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12455] ppid=12438 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12440/task/12455/stat : 12455 (java) S 12438 12440 11123 0 -1 4202560 3272 0 0 0 50 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060698286520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12456] ppid=12438 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12440/task/12456/stat : 12456 (java) S 12438 12440 11123 0 -1 4202560 5808 0 0 0 44 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060697233720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12457] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12457/stat : 12457 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060578015608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12458] ppid=12438 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/12440/task/12458/stat : 12458 (java) S 12438 12440 11123 0 -1 4202560 96 0 0 0 31 40 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060576963016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12459] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12459/stat : 12459 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434233 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060574832296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.52
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12556
/proc/meminfo: memFree=23721084/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=3024420 CPUtime=1725.53 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 15193 0 1 0 172406 147 0 0 20 0 19 0 342434191 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 756105 418297 2302 9 0 746526 0
[pid=12440/tid=12442] ppid=12438 vsize=3024420 CPUtime=1719.44 cores=1,3,5,7
/proc/12440/task/12442/stat : 12442 (java) R 12438 12440 11123 0 -1 4202560 2730 0 1 0 171907 37 0 0 20 0 19 0 342434192 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060738850080 140060578661161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12443] ppid=12438 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/12440/task/12443/stat : 12443 (java) S 12438 12440 11123 0 -1 4202560 201 0 0 0 22 11 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060722277416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12444] ppid=12438 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12440/task/12444/stat : 12444 (java) S 12438 12440 11123 0 -1 4202560 327 0 0 0 25 20 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060721224616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12445] ppid=12438 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12440/task/12445/stat : 12445 (java) S 12438 12440 11123 0 -1 4202560 162 0 0 0 21 10 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060720171816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12446] ppid=12438 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/12440/task/12446/stat : 12446 (java) S 12438 12440 11123 0 -1 4202560 321 0 0 0 37 19 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060719119016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12447] ppid=12438 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12440/task/12447/stat : 12447 (java) S 12438 12440 11123 0 -1 4202560 208 0 0 0 18 13 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060718066216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12448] ppid=12438 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12440/task/12448/stat : 12448 (java) S 12438 12440 11123 0 -1 4202560 271 0 0 0 29 16 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060717013416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12449] ppid=12438 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12440/task/12449/stat : 12449 (java) S 12438 12440 11123 0 -1 4202560 190 0 0 0 17 10 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060715960616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12450] ppid=12438 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/12440/task/12450/stat : 12450 (java) S 12438 12440 11123 0 -1 4202560 210 0 0 0 30 12 0 0 20 0 19 0 342434193 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060714907816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12440/tid=12451] ppid=12438 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/12440/task/12451/stat : 12451 (java) S 12438 12440 11123 0 -1 4202560 210 0 0 0 185 6 0 0 20 0 19 0 342434195 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060702497768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12452] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12452/stat : 12452 (java) S 12438 12440 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060701443832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12453] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12453/stat : 12453 (java) S 12438 12440 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060700390920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12454] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12454/stat : 12454 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060699339408 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12455] ppid=12438 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12440/task/12455/stat : 12455 (java) S 12438 12440 11123 0 -1 4202560 3274 0 0 0 50 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060698286520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12456] ppid=12438 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12440/task/12456/stat : 12456 (java) S 12438 12440 11123 0 -1 4202560 5808 0 0 0 44 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060697233720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12457] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12457/stat : 12457 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060578015608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12458] ppid=12438 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/12440/task/12458/stat : 12458 (java) S 12438 12440 11123 0 -1 4202560 100 0 0 0 32 41 0 0 20 0 19 0 342434197 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060576963016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12459] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12459/stat : 12459 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434233 3097006080 418297 33554432000 1073741824 1073778376 140733957703104 140060574832296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.53
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12556
/proc/meminfo: memFree=23710652/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=3024420 CPUtime=1785.54 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 15197 0 1 0 178406 148 0 0 20 0 19 0 342434191 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 756105 420693 2302 9 0 746526 0
[pid=12440/tid=12442] ppid=12438 vsize=3024420 CPUtime=1779.44 cores=1,3,5,7
/proc/12440/task/12442/stat : 12442 (java) R 12438 12440 11123 0 -1 4202560 2730 0 1 0 177906 38 0 0 20 0 19 0 342434192 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060738850080 140060578743048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12443] ppid=12438 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/12440/task/12443/stat : 12443 (java) S 12438 12440 11123 0 -1 4202560 201 0 0 0 22 11 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060722277416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12444] ppid=12438 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12440/task/12444/stat : 12444 (java) S 12438 12440 11123 0 -1 4202560 327 0 0 0 25 20 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060721224616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12445] ppid=12438 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12440/task/12445/stat : 12445 (java) S 12438 12440 11123 0 -1 4202560 162 0 0 0 21 10 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060720171816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12446] ppid=12438 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/12440/task/12446/stat : 12446 (java) S 12438 12440 11123 0 -1 4202560 321 0 0 0 37 19 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060719119016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12447] ppid=12438 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12440/task/12447/stat : 12447 (java) S 12438 12440 11123 0 -1 4202560 208 0 0 0 18 13 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060718066216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12448] ppid=12438 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12440/task/12448/stat : 12448 (java) S 12438 12440 11123 0 -1 4202560 271 0 0 0 29 16 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060717013416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12449] ppid=12438 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12440/task/12449/stat : 12449 (java) S 12438 12440 11123 0 -1 4202560 190 0 0 0 17 10 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060715960616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12450] ppid=12438 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/12440/task/12450/stat : 12450 (java) S 12438 12440 11123 0 -1 4202560 210 0 0 0 30 12 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060714907816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12440/tid=12451] ppid=12438 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/12440/task/12451/stat : 12451 (java) S 12438 12440 11123 0 -1 4202560 210 0 0 0 185 6 0 0 20 0 19 0 342434195 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060702497768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12452] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12452/stat : 12452 (java) S 12438 12440 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060701443832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12453] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12453/stat : 12453 (java) S 12438 12440 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060700390920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12454] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12454/stat : 12454 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060699339408 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12455] ppid=12438 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12440/task/12455/stat : 12455 (java) S 12438 12440 11123 0 -1 4202560 3274 0 0 0 50 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060698286520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12456] ppid=12438 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12440/task/12456/stat : 12456 (java) S 12438 12440 11123 0 -1 4202560 5808 0 0 0 44 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060697233720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12457] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12457/stat : 12457 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060578015608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12458] ppid=12438 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/12440/task/12458/stat : 12458 (java) S 12438 12440 11123 0 -1 4202560 104 0 0 0 32 44 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060576963016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12459] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12459/stat : 12459 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434233 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060574832296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12556
/proc/meminfo: memFree=23711028/32873648 swapFree=7120/7120
[pid=12440] ppid=12438 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7
/proc/12440/stat : 12440 (java) S 12438 12440 11123 0 -1 4202496 15197 0 1 0 179856 149 0 0 20 0 19 0 342434191 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140733957694240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12440/statm: 756105 420693 2302 9 0 746526 0
[pid=12440/tid=12442] ppid=12438 vsize=3024420 CPUtime=1793.95 cores=1,3,5,7
/proc/12440/task/12442/stat : 12442 (java) R 12438 12440 11123 0 -1 4202560 2730 0 1 0 179357 38 0 0 20 0 19 0 342434192 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060738850080 140060578289576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12443] ppid=12438 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/12440/task/12443/stat : 12443 (java) S 12438 12440 11123 0 -1 4202560 201 0 0 0 22 11 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060722277416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12444] ppid=12438 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12440/task/12444/stat : 12444 (java) S 12438 12440 11123 0 -1 4202560 327 0 0 0 25 20 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060721224616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12445] ppid=12438 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12440/task/12445/stat : 12445 (java) S 12438 12440 11123 0 -1 4202560 162 0 0 0 21 10 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060720171816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12446] ppid=12438 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/12440/task/12446/stat : 12446 (java) S 12438 12440 11123 0 -1 4202560 321 0 0 0 37 19 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060719119016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12447] ppid=12438 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/12440/task/12447/stat : 12447 (java) S 12438 12440 11123 0 -1 4202560 208 0 0 0 18 13 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060718066216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12440/tid=12448] ppid=12438 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12440/task/12448/stat : 12448 (java) S 12438 12440 11123 0 -1 4202560 271 0 0 0 29 16 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060717013416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12449] ppid=12438 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12440/task/12449/stat : 12449 (java) S 12438 12440 11123 0 -1 4202560 190 0 0 0 17 10 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060715960616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12450] ppid=12438 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/12440/task/12450/stat : 12450 (java) S 12438 12440 11123 0 -1 4202560 210 0 0 0 30 12 0 0 20 0 19 0 342434193 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060714907816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12440/tid=12451] ppid=12438 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/12440/task/12451/stat : 12451 (java) S 12438 12440 11123 0 -1 4202560 210 0 0 0 185 6 0 0 20 0 19 0 342434195 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060702497768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12452] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12452/stat : 12452 (java) S 12438 12440 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060701443832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12453] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12453/stat : 12453 (java) S 12438 12440 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342434195 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060700390920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12454] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12454/stat : 12454 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060699339408 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12455] ppid=12438 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12440/task/12455/stat : 12455 (java) S 12438 12440 11123 0 -1 4202560 3274 0 0 0 50 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060698286520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12456] ppid=12438 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12440/task/12456/stat : 12456 (java) S 12438 12440 11123 0 -1 4202560 5808 0 0 0 44 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060697233720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12457] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12457/stat : 12457 (java) S 12438 12440 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060578015608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12440/tid=12458] ppid=12438 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12440/task/12458/stat : 12458 (java) S 12438 12440 11123 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 19 0 342434197 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060576963016 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12440/tid=12459] ppid=12438 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12440/task/12459/stat : 12459 (java) S 12438 12440 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342434233 3097006080 420693 33554432000 1073741824 1073778376 140733957703104 140060574832296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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
Real time (s): 1796.82
CPU time (s): 1800.94
CPU user time (s): 1798.81
CPU system time (s): 2.13168
CPU usage (%): 100.229
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 2.13167
maximum resident set size= 1682888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15228
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38092
involuntary context switches= 14086

runsolver used 6.09007 second user time and 15.9936 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-04 00:37:48
IDJOB=3742153
IDBENCH=90136
IDSOLVER=2319
FILE ID=node114/3742153-1338763068
RUNJOBID= node114-1338749374-11140
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

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

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

MD5SUM BENCH= 87eecd69bf3cf4e36ad8fc8a9d8af53d
RANDOM SEED=264273633

node114.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.242
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	: 5332.48
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.242
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.242
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	: 5451.90
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.242
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.242
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		: 2666.242
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		: 2666.242
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.242
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:        25385228 kB
Buffers:         1063620 kB
Cached:          3727044 kB
SwapCached:         2244 kB
Active:          4608176 kB
Inactive:        1873144 kB
Active(anon):    1677344 kB
Inactive(anon):     8360 kB
Active(file):    2930832 kB
Inactive(file):  1864784 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3964 kB
Writeback:             0 kB
AnonPages:       1688304 kB
Mapped:            19200 kB
Shmem:               100 kB
Slab:             865552 kB
SReclaimable:     309308 kB
SUnreclaim:       556244 kB
KernelStack:        1624 kB
PageTables:         7272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 70132 MiB
End job on node114 at 2012-06-04 01:07:47