Trace number 3741841

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.87 1796.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K102.opb
MD5SUM2946edf6ae8af40eb44098433ff3dcec
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark213.965
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
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 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3741841-1338755873.opb
0.09/0.10	c reading problem ... 
0.79/0.43	c ... done. Wall clock time 0.335s.
0.79/0.43	c CPU time (experimental) 0.4s.
0.79/0.43	c #vars     6936
0.79/0.43	c #constraints  7140
704.55/702.09	c cleaning 292163 clauses out of 584975 for limit 2.6571927152863622E8
705.66/703.15	c cleaning 146420 clauses out of 293308 for limit 8.704709670287192E8
706.16/703.68	c cleaning 72962 clauses out of 147387 for limit 2.8539108023897867E9
706.47/703.93	c cleaning 36967 clauses out of 74925 for limit 9.258245863183004E9
706.57/704.05	c cleaning 18669 clauses out of 38458 for limit 2.9745731489652687E10
706.66/704.16	c cleaning 9657 clauses out of 20292 for limit 9.324937230378828E10
706.76/704.22	c cleaning 4935 clauses out of 11132 for limit 2.794794788603382E11
706.76/704.30	c cleaning 3011 clauses out of 6698 for limit 7.667757650954186E11
706.86/704.34	c cleaning 1700 clauses out of 4186 for limit 2.02132278922877E12
706.96/704.40	c cleaning 1186 clauses out of 2986 for limit 4.673055941883841E12
707.06/704.50	c cleaning 814 clauses out of 2300 for limit 1.0005040118974018E13
707.06/704.57	c cleaning 736 clauses out of 1986 for limit 1.9108355536239566E13
707.16/704.63	c cleaning 540 clauses out of 1750 for limit 3.576188446569591E13
707.16/704.67	c cleaning 521 clauses out of 1711 for limit 6.038079595707816E13
707.26/704.73	c cleaning 570 clauses out of 1689 for limit 1.007721603207915E14
707.26/704.79	c cleaning 463 clauses out of 1619 for limit 1.7337211878869072E14
707.36/704.86	c cleaning 482 clauses out of 1658 for limit 2.7974767762811875E14
707.46/704.92	c cleaning 644 clauses out of 1674 for limit 4.5601846236193644E14
707.46/704.97	c cleaning 438 clauses out of 1530 for limit 8.228152565044376E14
707.57/705.04	c cleaning 454 clauses out of 1594 for limit 1.3050596431565525E15
707.57/705.10	c cleaning 481 clauses out of 1638 for limit 2.0902182876203082E15
707.67/705.16	c cleaning 452 clauses out of 1659 for limit 3.4102330976519055E15
707.76/705.21	c cleaning 813 clauses out of 1705 for limit 5.461260984528018E-5
707.76/705.26	c cleaning 666 clauses out of 1394 for limit 1.1037721994672787E-4
707.86/705.33	c cleaning 469 clauses out of 1227 for limit 2.065946342279837E-4
707.86/705.39	c cleaning 431 clauses out of 1257 for limit 3.322383015315583E-4
707.96/705.45	c cleaning 370 clauses out of 1326 for limit 5.193944905164601E-4
708.06/705.50	c cleaning 361 clauses out of 1456 for limit 7.800732305158457E-4
708.06/705.56	c cleaning 502 clauses out of 1595 for limit 0.001174334849645003
708.16/705.63	c cleaning 461 clauses out of 1593 for limit 0.0019390666983668688
708.26/705.72	c cleaning 497 clauses out of 1633 for limit 0.003122573988666658
708.26/705.79	c cleaning 501 clauses out of 1637 for limit 0.005142101462675011
708.36/705.88	c cleaning 481 clauses out of 1635 for limit 0.008481895928506976
708.46/705.95	c cleaning 496 clauses out of 1653 for limit 0.013821628574519514
708.56/706.03	c cleaning 509 clauses out of 1657 for limit 0.02273869048935232
708.67/706.11	c cleaning 470 clauses out of 1648 for limit 0.03770393155114797
708.67/706.15	c cleaning 512 clauses out of 1678 for limit 0.061067167467607306
708.77/706.22	c cleaning 468 clauses out of 1667 for limit 0.1014739419362291
708.77/706.28	c cleaning 486 clauses out of 1698 for limit 0.16412465296520623
708.86/706.33	c cleaning 487 clauses out of 1712 for limit 0.2684501391267648
708.86/706.39	c cleaning 540 clauses out of 1725 for limit 0.43937382537251685
708.96/706.46	c cleaning 518 clauses out of 1685 for limit 0.7417870761549777
709.06/706.54	c cleaning 494 clauses out of 1667 for limit 1.2365151873956226
709.16/706.62	c cleaning 487 clauses out of 1673 for limit 2.031865708159111
709.16/706.68	c cleaning 496 clauses out of 1686 for limit 3.3249816930557117
709.26/706.74	c cleaning 505 clauses out of 1690 for limit 5.470361301314747
709.36/706.81	c cleaning 483 clauses out of 1685 for limit 9.048127204825146
709.36/706.87	c cleaning 483 clauses out of 1702 for limit 14.7725318172069
709.46/706.94	c cleaning 495 clauses out of 1719 for limit 24.12095509208414
709.56/707.01	c cleaning 484 clauses out of 1724 for limit 39.6633143839035
709.56/707.07	c cleaning 477 clauses out of 1740 for limit 64.80863919283317
709.66/707.13	c cleaning 493 clauses out of 1763 for limit 105.48379001367087
709.66/707.20	c cleaning 521 clauses out of 1770 for limit 173.26891603500587
709.77/707.26	c cleaning 506 clauses out of 1749 for limit 289.1745060122512
709.87/707.31	c cleaning 493 clauses out of 1746 for limit 479.1428312681997
709.87/707.37	c cleaning 456 clauses out of 1751 for limit 786.3392456580073
709.96/707.42	c cleaning 489 clauses out of 1796 for limit 1265.5524941908798
709.96/707.48	c cleaning 482 clauses out of 1807 for limit 2074.3604850282613
710.06/707.55	c cleaning 475 clauses out of 1823 for limit 3384.095249052928
710.16/707.64	c cleaning 490 clauses out of 1848 for limit 5505.327597572989
710.26/707.70	c cleaning 513 clauses out of 1858 for limit 9030.157210875697
710.26/707.77	c cleaning 500 clauses out of 1845 for limit 14996.866912878979
710.36/707.85	c cleaning 500 clauses out of 1845 for limit 24731.839784299835
710.46/707.92	c cleaning 491 clauses out of 1845 for limit 40786.11237064411
710.46/707.99	c cleaning 478 clauses out of 1855 for limit 66966.12462726086
710.56/708.07	c cleaning 487 clauses out of 1877 for limit 109141.69522382398
710.66/708.14	c cleaning 588 clauses out of 1890 for limit 178751.23480033473
710.66/708.18	c cleaning 471 clauses out of 1801 for limit 309042.7197191333
710.77/708.25	c cleaning 493 clauses out of 1832 for limit 502032.3130576898
710.89/708.31	c cleaning 480 clauses out of 1837 for limit 824014.488103328
710.89/708.38	c cleaning 508 clauses out of 1857 for limit 1344274.5830205744
710.99/708.44	c cleaning 500 clauses out of 1849 for limit 2226480.351345402
711.08/708.53	c cleaning 920 clauses out of 1849 for limit 3671763.9525811663
711.08/708.59	c cleaning 576 clauses out of 1429 for limit 7834933.654025477
711.18/708.67	c cleaning 555 clauses out of 1353 for limit 1.3646637092472346E7
711.28/708.75	c cleaning 487 clauses out of 1299 for limit 2.3464142459205054E7
711.28/708.79	c cleaning 348 clauses out of 1311 for limit 3.830297626424228E7
711.38/708.85	c cleaning 356 clauses out of 1463 for limit 5.660395459578749E7
711.48/708.92	c cleaning 471 clauses out of 1607 for limit 8.498281452809362E7
711.48/708.98	c cleaning 471 clauses out of 1636 for limit 1.3766374335981265E8
711.58/709.03	c cleaning 502 clauses out of 1665 for limit 2.2307172375426418E8
711.68/709.12	c cleaning 529 clauses out of 1663 for limit 3.683175379410895E8
711.68/709.17	c cleaning 474 clauses out of 1634 for limit 6.181850284981759E8
711.78/709.23	c cleaning 555 clauses out of 1662 for limit 1.0043022281177424E9
711.78/709.29	c cleaning 469 clauses out of 1605 for limit 1.7116196842114322E9
711.88/709.36	c cleaning 474 clauses out of 1636 for limit 2.7692036590570717E9
711.98/709.42	c cleaning 492 clauses out of 1662 for limit 4.495345372106267E9
711.98/709.49	c cleaning 487 clauses out of 1670 for limit 7.377912477686274E9
712.08/709.54	c cleaning 833 clauses out of 1683 for limit 1.207318182266603E10
712.18/709.60	c cleaning 579 clauses out of 1351 for limit 2.482795256152388E10
712.18/709.65	c cleaning 622 clauses out of 1271 for limit 4.347825252352309E10
712.28/709.71	c cleaning 371 clauses out of 1149 for limit 7.931466413072275E10
712.28/709.79	c cleaning 389 clauses out of 1278 for limit 1.1759762514667184E11
712.38/709.85	c cleaning 510 clauses out of 1389 for limit 1.7843623310792142E11
712.48/709.90	c cleaning 339 clauses out of 1379 for limit 2.963991221342923E11
712.48/709.95	c cleaning 762 clauses out of 1540 for limit 4.376997971864943E11
712.58/710.00	c cleaning 396 clauses out of 1278 for limit 8.698053996771498E11
712.58/710.05	c cleaning 322 clauses out of 1382 for limit 1.32648027763946E12
712.68/710.10	c cleaning 384 clauses out of 1561 for limit 1.9386362800318723E12
712.68/710.16	c cleaning 476 clauses out of 1680 for limit 2.9795410940233687E12
712.78/710.22	c cleaning 487 clauses out of 1702 for limit 4.840452570957552E12
712.78/710.28	c cleaning 476 clauses out of 1713 for limit 7.915439344986168E12
712.88/710.34	c cleaning 498 clauses out of 1737 for limit 1.2873257512580137E13
712.98/710.40	c cleaning 498 clauses out of 1739 for limit 2.120530777826249E13
712.98/710.45	c cleaning 501 clauses out of 1742 for limit 3.4945109880486984E13
712.98/710.50	c cleaning 475 clauses out of 1742 for limit 5.7686847913999914E13
713.08/710.55	c cleaning 483 clauses out of 1765 for limit 9.370593827185545E13
713.18/710.61	c cleaning 511 clauses out of 1782 for limit 1.5305940143701634E14
713.18/710.66	c cleaning 574 clauses out of 1771 for limit 2.5398322658500484E14
713.28/710.72	c cleaning 467 clauses out of 1697 for limit 4.37116944615809E14
713.28/710.78	c cleaning 441 clauses out of 1730 for limit 7.071137270906575E14
713.38/710.84	c cleaning 488 clauses out of 1789 for limit 1.127667120336115E15
713.38/710.88	c cleaning 896 clauses out of 1802 for limit 1.8481059723199098E15
713.48/710.93	c cleaning 588 clauses out of 1405 for limit 3.905050981948379E15
713.48/710.99	c cleaning 614 clauses out of 1319 for limit 6.873582464232899E-5
713.58/711.04	c cleaning 486 clauses out of 1203 for limit 1.2403640746929737E-4
713.58/711.09	c cleaning 457 clauses out of 1218 for limit 2.022357439051103E-4
713.68/711.15	c cleaning 318 clauses out of 1261 for limit 3.221410023073943E-4
713.78/711.22	c cleaning 291 clauses out of 1442 for limit 4.641060256313041E-4
713.78/711.29	c cleaning 409 clauses out of 1651 for limit 6.684844066262751E-4
713.88/711.34	c cleaning 441 clauses out of 1742 for limit 0.0010448310990737338
713.98/711.41	c cleaning 467 clauses out of 1801 for limit 0.0016666193338976088
713.98/711.49	c cleaning 484 clauses out of 1834 for limit 0.0026990236131597452
714.08/711.55	c cleaning 473 clauses out of 1854 for limit 0.004420691614286758
714.18/711.61	c cleaning 482 clauses out of 1881 for limit 0.007185666236696389
714.18/711.67	c cleaning 491 clauses out of 1895 for limit 0.011715598025809846
714.28/711.73	c cleaning 474 clauses out of 1904 for limit 0.019229262118372056
714.28/711.79	c cleaning 488 clauses out of 1930 for limit 0.03128442243038515
714.38/711.85	c cleaning 525 clauses out of 1944 for limit 0.05132324415875886
714.48/711.91	c cleaning 506 clauses out of 1917 for limit 0.08565941648425648
714.58/712.00	c cleaning 490 clauses out of 1911 for limit 0.14170736562516903
714.58/712.08	c cleaning 493 clauses out of 1923 for limit 0.23270126160170987
714.68/712.14	c cleaning 510 clauses out of 1934 for limit 0.3831029414028365
714.78/712.22	c cleaning 496 clauses out of 1919 for limit 0.6335491456330197
714.78/712.28	c cleaning 510 clauses out of 1922 for limit 1.0421333067174474
714.88/712.34	c cleaning 500 clauses out of 1915 for limit 1.730084453493537
714.98/712.40	c cleaning 485 clauses out of 1913 for limit 2.8504142159953116
714.98/712.45	c cleaning 502 clauses out of 1927 for limit 4.6618962694915655
715.08/712.51	c cleaning 554 clauses out of 1925 for limit 7.696078232320207
715.08/712.58	c cleaning 519 clauses out of 1873 for limit 13.070353714728167
715.18/712.64	c cleaning 512 clauses out of 1852 for limit 21.755596694767007
715.18/712.70	c cleaning 485 clauses out of 1840 for limit 36.11187559629248
715.28/712.76	c cleaning 495 clauses out of 1856 for limit 59.09902220441168
715.38/712.81	c cleaning 492 clauses out of 1860 for limit 97.15534502762229
715.38/712.87	c cleaning 460 clauses out of 1868 for limit 159.53598488101926
715.48/712.93	c cleaning 489 clauses out of 1908 for limit 257.58053819486446
715.58/713.00	c cleaning 476 clauses out of 1922 for limit 422.95820632929104
715.58/713.05	c cleaning 503 clauses out of 1943 for limit 687.9080474952947
715.68/713.13	c cleaning 536 clauses out of 1946 for limit 1139.5235694837886
715.78/713.21	c cleaning 505 clauses out of 1906 for limit 1911.0017815851775
715.78/713.28	c cleaning 515 clauses out of 1900 for limit 3158.2882350372347
715.88/713.33	c cleaning 518 clauses out of 1884 for limit 5247.420169436519
715.88/713.39	c cleaning 514 clauses out of 1867 for limit 8741.235473934288
715.98/713.45	c cleaning 488 clauses out of 1852 for limit 14517.690395077825
716.08/713.52	c cleaning 478 clauses out of 1864 for limit 23787.48304367978
716.08/713.57	c cleaning 467 clauses out of 1886 for limit 38771.14245080578
716.18/713.63	c cleaning 474 clauses out of 1919 for limit 62839.27980941797
716.18/713.69	c cleaning 512 clauses out of 1945 for limit 102245.08848223208
716.28/713.75	c cleaning 492 clauses out of 1933 for limit 169662.59049419558
716.38/713.81	c cleaning 499 clauses out of 1944 for limit 279049.410576622
716.38/713.86	c cleaning 852 clauses out of 1943 for limit 459506.26070901577
716.48/713.95	c cleaning 674 clauses out of 1591 for limit 925443.5671069534
716.58/714.03	c cleaning 586 clauses out of 1416 for limit 1713082.35753717
716.68/714.11	c cleaning 634 clauses out of 1330 for limit 3007777.746740847
716.68/714.19	c cleaning 533 clauses out of 1196 for limit 5515972.472675211
716.78/714.26	c cleaning 469 clauses out of 1163 for limit 9354690.902115451
716.88/714.32	c cleaning 487 clauses out of 1194 for limit 1.50265996945602E7
716.88/714.37	c cleaning 460 clauses out of 1208 for limit 2.4518195765246928E7
716.98/714.44	c cleaning 460 clauses out of 1247 for limit 3.913004653512958E7
716.98/714.50	c cleaning 492 clauses out of 1287 for limit 6.252506587499635E7
717.08/714.57	c cleaning 624 clauses out of 1295 for limit 1.0247521152968055E8
717.18/714.65	c cleaning 423 clauses out of 1171 for limit 1.868906540117586E8
717.28/714.72	c cleaning 486 clauses out of 1248 for limit 2.8919167089943683E8
717.28/714.78	c cleaning 508 clauses out of 1262 for limit 4.7162508664665896E8
717.38/714.85	c cleaning 460 clauses out of 1254 for limit 7.82734729085837E8
717.48/714.92	c cleaning 502 clauses out of 1294 for limit 1.2509321390448942E9
717.48/715.00	c cleaning 522 clauses out of 1292 for limit 2.0661478719245155E9
717.58/715.07	c cleaning 479 clauses out of 1272 for limit 3.467861252045376E9
717.68/715.13	c cleaning 485 clauses out of 1291 for limit 5.623535559602432E9
717.78/715.20	c cleaning 463 clauses out of 1307 for limit 9.169602281101152E9
717.78/715.27	c cleaning 516 clauses out of 1343 for limit 1.4701831783477798E10
717.88/715.33	c cleaning 654 clauses out of 1327 for limit 2.4537619412588078E10
717.98/715.41	c cleaning 551 clauses out of 1173 for limit 4.577846475092593E10
717.98/715.48	c cleaning 465 clauses out of 1122 for limit 7.892639489444104E10
718.08/715.55	c cleaning 471 clauses out of 1159 for limit 1.2625732902582094E11
718.08/715.59	c cleaning 412 clauses out of 1186 for limit 2.0306833501118317E11
718.18/715.65	c cleaning 452 clauses out of 1276 for limit 3.118897722072492E11
718.28/715.72	c cleaning 475 clauses out of 1325 for limit 4.958226110717692E11
718.28/715.78	c cleaning 479 clauses out of 1347 for limit 8.019124614437489E11
718.38/715.85	c cleaning 674 clauses out of 1368 for limit 1.3021599915699531E12
718.48/715.92	c cleaning 539 clauses out of 1194 for limit 2.460378964400403E12
718.48/715.98	c cleaning 414 clauses out of 1155 for limit 4.1945003487023213E12
718.58/716.04	c cleaning 579 clauses out of 1242 for limit 6.439186768925183E12
718.58/716.09	c cleaning 413 clauses out of 1162 for limit 1.133882010337747E13
718.68/716.14	c cleaning 421 clauses out of 1250 for limit 1.7400205557602227E13
718.78/716.20	c cleaning 474 clauses out of 1328 for limit 2.6982842108074145E13
718.78/716.27	c cleaning 490 clauses out of 1354 for limit 4.364384349670743E13
718.88/716.32	c cleaning 500 clauses out of 1364 for limit 7.144686394004883E13
718.88/716.38	c cleaning 665 clauses out of 1366 for limit 1.178885842873441E14
718.98/716.44	c cleaning 541 clauses out of 1199 for limit 2.2104980291810966E14
719.08/716.51	c cleaning 512 clauses out of 1158 for limit 3.774475778360315E14
719.08/716.57	c cleaning 500 clauses out of 1147 for limit 6.290601628368281E14
719.18/716.63	c cleaning 437 clauses out of 1146 for limit 1.0372712924878162E15
719.18/716.67	c cleaning 516 clauses out of 1209 for limit 1.6214612053191935E15
719.28/716.73	c cleaning 421 clauses out of 1193 for limit 2.709869060611649E15
719.28/716.78	c cleaning 419 clauses out of 1272 for limit 4.191384720668035E15
719.38/716.84	c cleaning 472 clauses out of 1353 for limit 6.498344447774575E15
719.38/716.90	c cleaning 649 clauses out of 1381 for limit 1.0499357718972598E-4
719.48/716.96	c cleaning 561 clauses out of 1232 for limit 1.940892985134125E-4
719.58/717.01	c cleaning 534 clauses out of 1172 for limit 3.368023284702335E-4
719.58/717.07	c cleaning 443 clauses out of 1139 for limit 5.720966065389327E-4
719.68/717.12	c cleaning 375 clauses out of 1194 for limit 8.982053394872775E-4
719.68/717.18	c cleaning 457 clauses out of 1320 for limit 0.0013412089004934203
719.78/717.23	c cleaning 482 clauses out of 1368 for limit 0.0021449279405402503
719.78/717.28	c cleaning 489 clauses out of 1380 for limit 0.0034855276629171305
719.88/717.33	c cleaning 467 clauses out of 1391 for limit 0.00570264553152012
719.88/717.39	c cleaning 477 clauses out of 1427 for limit 0.009194729484192234
719.98/717.46	c cleaning 488 clauses out of 1448 for limit 0.014913556751716782
720.08/717.52	c cleaning 506 clauses out of 1459 for limit 0.024384613503671004
720.08/717.57	c cleaning 491 clauses out of 1453 for limit 0.04037954686378901
720.18/717.64	c cleaning 471 clauses out of 1462 for limit 0.06618134205019323
720.28/717.70	c cleaning 530 clauses out of 1491 for limit 0.10701907326748411
720.28/717.77	c cleaning 530 clauses out of 1463 for limit 0.18022681745675406
720.38/717.84	c cleaning 494 clauses out of 1431 for limit 0.30325709442885557
720.38/717.89	c cleaning 507 clauses out of 1439 for limit 0.49832734598200545
720.48/717.95	c cleaning 497 clauses out of 1430 for limit 0.8253275452532891
720.58/718.02	c cleaning 487 clauses out of 1433 for limit 1.3582261070669184
720.58/718.08	c cleaning 483 clauses out of 1446 for limit 2.219759168246055
720.68/718.15	c cleaning 491 clauses out of 1463 for limit 3.6181428730994294
720.78/718.22	c cleaning 497 clauses out of 1472 for limit 5.930319820825907
720.78/718.29	c cleaning 480 clauses out of 1476 for limit 9.763150109731777
720.88/718.35	c cleaning 489 clauses out of 1495 for limit 15.880219708777712
720.98/718.40	c cleaning 497 clauses out of 1506 for limit 25.997322073540396
720.98/718.45	c cleaning 476 clauses out of 1510 for limit 42.8022932269643
721.08/718.51	c cleaning 495 clauses out of 1534 for limit 69.48235225202801
721.08/718.56	c cleaning 495 clauses out of 1538 for limit 114.17339415635978
721.18/718.61	c cleaning 501 clauses out of 1544 for limit 187.7432580517997
721.18/718.66	c cleaning 566 clauses out of 1542 for limit 309.70530730061927
721.28/718.72	c cleaning 551 clauses out of 1477 for limit 533.7561904232742
721.28/718.79	c cleaning 533 clauses out of 1425 for limit 911.4438757749457
721.38/718.84	c cleaning 506 clauses out of 1392 for limit 1538.7265493927769
721.48/718.90	c cleaning 503 clauses out of 1386 for limit 2548.551060987278
721.48/718.97	c cleaning 480 clauses out of 1383 for limit 4212.01856192352
721.58/719.02	c cleaning 480 clauses out of 1403 for limit 6847.163093316777
721.58/719.08	c cleaning 498 clauses out of 1423 for limit 11133.182555848312
721.68/719.14	c cleaning 529 clauses out of 1425 for limit 18334.338833313675
721.78/719.21	c cleaning 507 clauses out of 1396 for limit 30863.8845849899
721.78/719.28	c cleaning 505 clauses out of 1391 for limit 51183.948423793416
721.88/719.34	c cleaning 488 clauses out of 1384 for limit 84666.5158808879
721.88/719.40	c cleaning 474 clauses out of 1397 for limit 138465.56152521365
721.98/719.47	c cleaning 491 clauses out of 1422 for limit 224109.3397874797
722.08/719.54	c cleaning 510 clauses out of 1431 for limit 367261.8400947367
722.08/719.59	c cleaning 493 clauses out of 1421 for limit 609926.1429234222
722.18/719.65	c cleaning 495 clauses out of 1428 for limit 1000919.1678455342
722.28/719.72	c cleaning 550 clauses out of 1433 for limit 1644890.1889189936
722.38/719.80	c cleaning 486 clauses out of 1383 for limit 2810714.97501307
722.38/719.85	c cleaning 488 clauses out of 1397 for limit 4588793.014495002
722.48/719.90	c cleaning 476 clauses out of 1410 for limit 7505267.239887197
722.48/719.96	c cleaning 562 clauses out of 1433 for limit 1.2166354264495125E7
722.58/720.03	c cleaning 488 clauses out of 1371 for limit 2.0971286860256117E7
722.58/720.09	c cleaning 478 clauses out of 1383 for limit 3.428437546020547E7
722.68/720.14	c cleaning 492 clauses out of 1407 for limit 5.568641194510919E7
722.78/720.23	c cleaning 499 clauses out of 1413 for limit 9.126159081360444E7
722.78/720.29	c cleaning 495 clauses out of 1415 for limit 1.5044028781323788E8
722.88/720.35	c cleaning 519 clauses out of 1420 for limit 2.472225821169905E8
722.98/720.41	c cleaning 691 clauses out of 1400 for limit 4.131139134690066E8
722.98/720.46	c cleaning 375 clauses out of 1209 for limit 7.88909968719105E8
723.08/720.51	c cleaning 643 clauses out of 1334 for limit 1.1791085869403772E9
723.08/720.59	c cleaning 494 clauses out of 1191 for limit 2.1779793474262347E9
723.18/720.65	c cleaning 423 clauses out of 1197 for limit 3.5737754024606137E9
723.28/720.71	c cleaning 409 clauses out of 1274 for limit 5.537425097757977E9
723.28/720.78	c cleaning 479 clauses out of 1365 for limit 8.523157785034061E9
723.38/720.83	c cleaning 466 clauses out of 1387 for limit 1.3846726607218435E10
723.38/720.89	c cleaning 465 clauses out of 1425 for limit 2.2315295816451416E10
1377.60/1374.31	c cleaning 248360 clauses out of 497454 for limit 3459.571717382578
1378.80/1375.51	c cleaning 124593 clauses out of 249593 for limit 11359.631399563046
1379.20/1375.91	c cleaning 62139 clauses out of 125500 for limit 37257.07892386682
1379.40/1376.15	c cleaning 31290 clauses out of 63864 for limit 121103.25986902518
1379.60/1376.37	c cleaning 15830 clauses out of 33071 for limit 384518.2652532086
1379.80/1376.54	c cleaning 8122 clauses out of 17742 for limit 1183183.556924822
1379.90/1376.66	c cleaning 4316 clauses out of 10119 for limit 3417735.7383556115
1380.00/1376.74	c cleaning 2397 clauses out of 6303 for limit 9048668.031253856
1380.10/1376.83	c cleaning 2161 clauses out of 4406 for limit 2.134731983119038E7
1380.20/1376.93	c cleaning 938 clauses out of 2746 for limit 5.654285267609777E7
1380.30/1377.03	c cleaning 407 clauses out of 2308 for limit 1.1094259779923946E8
1380.40/1377.12	c cleaning 582 clauses out of 2400 for limit 1.7576980421561757E8
1380.40/1377.17	c cleaning 543 clauses out of 2319 for limit 3.0029296692840534E8
1380.50/1377.24	c cleaning 501 clauses out of 2275 for limit 5.04296418377912E8
1380.60/1377.30	c cleaning 500 clauses out of 2275 for limit 8.324847422152728E8
1380.60/1377.37	c cleaning 1127 clauses out of 2274 for limit 1.3721089538364928E9
1380.70/1377.43	c cleaning 477 clauses out of 1648 for limit 3.125447801912615E9
1380.80/1377.50	c cleaning 357 clauses out of 1672 for limit 5.085382019808214E9
1380.80/1377.57	c cleaning 502 clauses out of 1813 for limit 7.718784492629627E9
1380.90/1377.63	c cleaning 341 clauses out of 1811 for limit 1.2743365996094048E10
1381.00/1377.70	c cleaning 749 clauses out of 1970 for limit 1.9319339196224606E10
1381.00/1377.75	c cleaning 326 clauses out of 1721 for limit 3.6469810815909996E10
1381.10/1377.81	c cleaning 327 clauses out of 1895 for limit 5.462117690211989E10
1381.10/1377.86	c cleaning 387 clauses out of 2068 for limit 8.254212025368694E10
1381.20/1377.94	c cleaning 459 clauses out of 2181 for limit 1.2907031686156293E11
1381.30/1378.01	c cleaning 492 clauses out of 2222 for limit 2.0892666612282263E11
1381.40/1378.10	c cleaning 474 clauses out of 2231 for limit 3.435015944712818E11
1381.40/1378.18	c cleaning 474 clauses out of 2256 for limit 5.596423963260499E11
1381.50/1378.26	c cleaning 504 clauses out of 2284 for limit 9.134368201814224E11
1381.60/1378.35	c cleaning 493 clauses out of 2278 for limit 1.507327966914964E12
1381.70/1378.45	c cleaning 499 clauses out of 2285 for limit 2.4781703664685312E12
1381.80/1378.55	c cleaning 623 clauses out of 2287 for limit 4.087347836050335E12
1381.90/1378.63	c cleaning 807 clauses out of 2164 for limit 7.123712654246253E12
1382.00/1378.71	c cleaning 373 clauses out of 1858 for limit 1.369646016652595E13
1382.00/1378.77	c cleaning 917 clauses out of 1983 for limit 2.1121180970127133E13
1382.10/1378.82	c cleaning 371 clauses out of 1566 for limit 4.4106748289415414E13
1382.10/1378.89	c cleaning 298 clauses out of 1701 for limit 6.736827744909698E13
1382.20/1378.95	c cleaning 294 clauses out of 1897 for limit 9.9024177093109E13
1382.30/1379.02	c cleaning 396 clauses out of 2104 for limit 1.473849831855458E14
1382.30/1379.09	c cleaning 441 clauses out of 2207 for limit 2.3148241989007912E14
1382.40/1379.16	c cleaning 466 clauses out of 2267 for limit 3.720139499805085E14
1382.50/1379.24	c cleaning 497 clauses out of 2300 for limit 6.040936699238718E14
1382.60/1379.32	c cleaning 482 clauses out of 2303 for limit 9.949335365143496E14
1382.60/1379.40	c cleaning 497 clauses out of 2321 for limit 1.6280538082918165E15
1382.70/1379.50	c cleaning 1123 clauses out of 2325 for limit 2.682942323485693E-5
1382.80/1379.56	c cleaning 725 clauses out of 1702 for limit 6.044085858399684E-5
1382.90/1379.64	c cleaning 401 clauses out of 1476 for limit 1.1482202412846422E-4
1383.00/1379.71	c cleaning 511 clauses out of 1575 for limit 1.7745444604662722E-4
1383.00/1379.77	c cleaning 593 clauses out of 1564 for limit 2.9470437373087905E-4
1383.10/1379.84	c cleaning 83 clauses out of 1471 for limit 5.16733412418892E-4
1383.20/1379.92	c cleaning 277 clauses out of 1889 for limit 6.64259322026204E-4
1383.20/1379.98	c cleaning 395 clauses out of 2111 for limit 9.792706937484142E-4
1383.30/1380.06	c cleaning 440 clauses out of 2216 for limit 0.0015384278100058337
1383.40/1380.14	c cleaning 478 clauses out of 2280 for limit 0.0024757453108880945
1383.50/1380.22	c cleaning 538 clauses out of 2298 for limit 0.00403467565421975
1383.50/1380.28	c cleaning 494 clauses out of 2261 for limit 0.006769373680285296
1383.60/1380.33	c cleaning 482 clauses out of 2267 for limit 0.011134056421187826
1383.60/1380.39	c cleaning 529 clauses out of 2284 for limit 0.018206657126900255
1383.70/1380.45	c cleaning 503 clauses out of 2255 for limit 0.030411346808073034
1383.80/1380.52	c cleaning 501 clauses out of 2252 for limit 0.05021918969562574
1383.80/1380.59	c cleaning 505 clauses out of 2254 for limit 0.08299340783424812
1383.90/1380.65	c cleaning 484 clauses out of 2248 for limit 0.13709530364243755
1384.00/1380.72	c cleaning 485 clauses out of 2262 for limit 0.22424003242703683
1384.00/1380.79	c cleaning 468 clauses out of 2277 for limit 0.3673656997000536
1384.10/1380.88	c cleaning 513 clauses out of 2314 for limit 0.5991378083266157
1384.20/1380.96	c cleaning 478 clauses out of 2296 for limit 0.9908354251634072
1384.30/1381.04	c cleaning 474 clauses out of 2318 for limit 1.6185117795545754
1384.40/1381.14	c cleaning 483 clauses out of 2346 for limit 2.6425681663061034
1384.50/1381.21	c cleaning 534 clauses out of 2361 for limit 4.321605137383743
1384.50/1381.26	c cleaning 507 clauses out of 2327 for limit 7.23103683630204
1384.60/1381.33	c cleaning 510 clauses out of 2320 for limit 11.960927537681098
1384.60/1381.39	c cleaning 500 clauses out of 2310 for limit 19.81055995854395
1384.70/1381.46	c cleaning 506 clauses out of 2310 for limit 32.67026358093612
1384.80/1381.53	c cleaning 497 clauses out of 2304 for limit 54.01794153628603
1384.80/1381.60	c cleaning 488 clauses out of 2308 for limit 89.0174398019145
1384.90/1381.67	c cleaning 485 clauses out of 2321 for limit 146.1255511922998
1385.00/1381.76	c cleaning 517 clauses out of 2334 for limit 239.15932255280737
1385.10/1381.82	c cleaning 485 clauses out of 2317 for limit 397.29950090541877
1385.10/1381.89	c cleaning 503 clauses out of 2332 for limit 650.9856183639151
1385.20/1381.95	c cleaning 503 clauses out of 2332 for limit 1076.7895112219885
1385.30/1382.03	c cleaning 492 clauses out of 2326 for limit 1775.014903714341
1385.40/1382.10	c cleaning 490 clauses out of 2334 for limit 2917.2036588913274
1385.40/1382.17	c cleaning 491 clauses out of 2344 for limit 4790.334947159742
1385.50/1382.23	c cleaning 472 clauses out of 2353 for limit 7869.686793204577
1385.60/1382.30	c cleaning 489 clauses out of 2381 for limit 12825.54612645817
1385.60/1382.37	c cleaning 501 clauses out of 2392 for limit 21053.774838967798
1385.70/1382.43	c cleaning 504 clauses out of 2391 for limit 34735.01255938703
1385.80/1382.52	c cleaning 475 clauses out of 2388 for limit 57412.05770392067
1385.80/1382.60	c cleaning 495 clauses out of 2413 for limit 93699.22531298359
1385.90/1382.68	c cleaning 494 clauses out of 2417 for limit 154112.56436628065
1386.00/1382.75	c cleaning 485 clauses out of 2423 for limit 253522.88612574106
1386.10/1382.82	c cleaning 493 clauses out of 2440 for limit 416011.8184192444
1386.10/1382.89	c cleaning 487 clauses out of 2446 for limit 683691.8729733836
1386.20/1382.98	c cleaning 514 clauses out of 2458 for limit 1120872.8942419898
1386.30/1383.07	c cleaning 1217 clauses out of 2444 for limit 1859057.9635977405
1386.40/1383.15	c cleaning 556 clauses out of 1727 for limit 4338680.619534089
1386.50/1383.22	c cleaning 391 clauses out of 1671 for limit 7394851.490355099
1386.50/1383.30	c cleaning 165 clauses out of 1780 for limit 1.1448320816010669E7
1386.60/1383.37	c cleaning 627 clauses out of 2117 for limit 1.5906178286538953E7
1386.70/1383.43	c cleaning 333 clauses out of 1989 for limit 2.789159151384674E7
1386.70/1383.49	c cleaning 443 clauses out of 2158 for limit 4.24797106073698E7
1386.80/1383.54	c cleaning 470 clauses out of 2212 for limit 6.813970026645173E7
1386.80/1383.58	c cleaning 469 clauses out of 2243 for limit 1.1092934961155424E8
1386.90/1383.63	c cleaning 590 clauses out of 2273 for limit 1.8034233140274996E8
1386.90/1383.70	c cleaning 442 clauses out of 2183 for limit 3.0967009461982286E8
1800.03/1796.41	c starts		: 23
1800.03/1796.41	c conflicts		: 1649769
1800.03/1796.41	c decisions		: 5200941
1800.03/1796.41	c propagations		: 535469858
1800.03/1796.41	c inspects		: 10424620521
1800.03/1796.41	c learnt literals	: 32
1800.03/1796.41	c learnt binary clauses	: 78435
1800.03/1796.41	c learnt ternary clauses	: 57131
1800.03/1796.41	c learnt clauses	: 1649737
1800.03/1796.41	c root simplifications	: 0
1800.03/1796.41	c removed literals (reason simplification)	: 0
1800.03/1796.41	c reason swapping (by a shorter reason)	: 0
1800.03/1796.41	c Calls to reduceDB	: 379
1800.03/1796.41	c speed (decisions/second)	: 2895.8968668167436
1800.03/1796.41	c non guided choices	6440
1800.03/1796.41	s UNKNOWN
1800.03/1796.41	c Total wall clock time (ms): 1796.31

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11849
/proc/meminfo: memFree=25390892/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11849/stat : 11849 (java) D 11847 11849 11123 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 341714672 9515008 182 33554432000 1073741824 1073778376 140735532210560 140735532201592 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11849/statm: 2323 182 140 9 0 71 0

[startup+0.0334981 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11849
/proc/meminfo: memFree=25390892/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=2414972 CPUtime=0 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 3696 0 1 0 0 0 0 0 20 0 10 0 341714672 2472931328 4396 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 603743 4396 1539 9 0 594444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2414972

[startup+0.100252 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11849
/proc/meminfo: memFree=25390892/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 4917 0 1 0 8 1 0 0 20 0 18 0 341714672 3028844544 6631 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 739464 6631 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300232 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11849
/proc/meminfo: memFree=25390892/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=2957856 CPUtime=0.54 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 8687 0 1 0 52 2 0 0 20 0 18 0 341714672 3028844544 11335 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 739464 11335 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700241 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 11849
/proc/meminfo: memFree=25390892/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=3024420 CPUtime=1.35 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 11291 0 1 0 132 3 0 0 20 0 19 0 341714672 3097006080 18086 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 756105 18086 2272 9 0 746526 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 3024420

[startup+1.50061 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 11868
/proc/meminfo: memFree=25324624/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=3024420 CPUtime=2.16 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 11297 0 1 0 213 3 0 0 20 0 19 0 341714672 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 756105 19113 2274 9 0 746526 0
[pid=11849/tid=11851] ppid=11847 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/11849/task/11851/stat : 11851 (java) R 11847 11849 11123 0 -1 4202560 3053 0 1 0 145 1 0 0 20 0 19 0 341714673 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762645291592 139762480939085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762628717480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762627664936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762626611880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762625559336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762624506280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762623453736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11858] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11858/stat : 11858 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762622400680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11859] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11859/stat : 11859 (java) S 11847 11849 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762621348136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11860] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11860/stat : 11860 (java) S 11847 11849 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762608937832 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11861] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11861/stat : 11861 (java) S 11847 11849 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762607884152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11862] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11862/stat : 11862 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762606830984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11863] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11863/stat : 11863 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762605779728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11864] ppid=11847 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/11849/task/11864/stat : 11864 (java) S 11847 11849 11123 0 -1 4202560 4044 0 0 0 33 0 0 0 20 0 19 0 341714679 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762604726584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11865] ppid=11847 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/11849/task/11865/stat : 11865 (java) S 11847 11849 11123 0 -1 4202560 3006 0 0 0 32 0 0 0 20 0 19 0 341714679 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762603674040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11866] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11866/stat : 11866 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762602621176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11867] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11867/stat : 11867 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762601568840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11868] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11868/stat : 11868 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714717 3097006080 19113 33554432000 1073741824 1073778376 140733774438848 139762599368232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420

[startup+3.10063 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 11868
/proc/meminfo: memFree=25318108/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=3024420 CPUtime=3.78 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 11303 0 1 0 375 3 0 0 20 0 19 0 341714672 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 756105 21673 2274 9 0 746526 0
[pid=11849/tid=11851] ppid=11847 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/11849/task/11851/stat : 11851 (java) R 11847 11849 11123 0 -1 4202560 3059 0 1 0 305 1 0 0 20 0 19 0 341714673 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762645289624 139762481128096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762628717480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762627664936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762626611880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762625559336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762624506280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762623453736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11858] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11858/stat : 11858 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762622400680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11859] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11859/stat : 11859 (java) S 11847 11849 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762621348136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11860] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11860/stat : 11860 (java) S 11847 11849 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762608937832 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11861] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11861/stat : 11861 (java) S 11847 11849 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762607884152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11862] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11862/stat : 11862 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762606830984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11863] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11863/stat : 11863 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762605779728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11864] ppid=11847 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/11849/task/11864/stat : 11864 (java) S 11847 11849 11123 0 -1 4202560 4044 0 0 0 35 0 0 0 20 0 19 0 341714679 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762604726584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11865] ppid=11847 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/11849/task/11865/stat : 11865 (java) S 11847 11849 11123 0 -1 4202560 3006 0 0 0 33 0 0 0 20 0 19 0 341714679 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762603674040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11866] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11866/stat : 11866 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762602621176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11867] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11867/stat : 11867 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762601568840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11868] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11868/stat : 11868 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714717 3097006080 21673 33554432000 1073741824 1073778376 140733774438848 139762599368232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 3024420

[startup+6.30071 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 11868
/proc/meminfo: memFree=25305136/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=3024420 CPUtime=6.98 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 11311 0 1 0 695 3 0 0 20 0 19 0 341714672 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 756105 23767 2276 9 0 746526 0
[pid=11849/tid=11851] ppid=11847 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/11849/task/11851/stat : 11851 (java) R 11847 11849 11123 0 -1 4202560 3065 0 1 0 624 2 0 0 20 0 19 0 341714673 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762645291472 139762481078564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762628717480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762627664936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762626611880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762625559336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762624506280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762623453736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11858] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11858/stat : 11858 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762622400680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11859] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11859/stat : 11859 (java) S 11847 11849 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341714675 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762621348136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11860] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11860/stat : 11860 (java) S 11847 11849 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762608937832 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11861] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11861/stat : 11861 (java) S 11847 11849 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762607884152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11862] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11862/stat : 11862 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762606830984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11863] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11863/stat : 11863 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762605779728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11864] ppid=11847 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/11849/task/11864/stat : 11864 (java) S 11847 11849 11123 0 -1 4202560 4045 0 0 0 35 0 0 0 20 0 19 0 341714679 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762604726584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11865] ppid=11847 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/11849/task/11865/stat : 11865 (java) S 11847 11849 11123 0 -1 4202560 3006 0 0 0 33 0 0 0 20 0 19 0 341714679 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762603674040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11866] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11866/stat : 11866 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762602621176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11867] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11867/stat : 11867 (java) S 11847 11849 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762601568840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11868] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11868/stat : 11868 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714717 3097006080 23767 33554432000 1073741824 1073778376 140733774438848 139762599368232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=11849/tid=11857] ppid=11847 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11123 0 -1 4202560 231 0 0 0 27 13 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762623453736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11858] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11858/stat : 11858 (java) S 11847 11849 11123 0 -1 4202560 181 0 0 0 23 11 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762622400680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11859] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11859/stat : 11859 (java) S 11847 11849 11123 0 -1 4202560 171 0 0 0 24 10 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762621348136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11860] ppid=11847 vsize=3024420 CPUtime=1.78 cores=1,3,5,7
/proc/11849/task/11860/stat : 11860 (java) S 11847 11849 11123 0 -1 4202560 219 0 0 0 171 7 0 0 20 0 19 0 341714676 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762608937832 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11861] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11861/stat : 11861 (java) S 11847 11849 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762607884152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11862] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11862/stat : 11862 (java) S 11847 11849 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762606830984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11863] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11863/stat : 11863 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762605779728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11864] ppid=11847 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/11849/task/11864/stat : 11864 (java) S 11847 11849 11123 0 -1 4202560 4255 0 0 0 44 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762604726584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11865] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11865/stat : 11865 (java) S 11847 11849 11123 0 -1 4202560 3010 0 0 0 34 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762603674040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11866] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11866/stat : 11866 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762602621176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11867] ppid=11847 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/11849/task/11867/stat : 11867 (java) S 11847 11849 11123 0 -1 4202560 96 0 0 0 21 55 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762601568840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11868] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11868/stat : 11868 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714717 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762599368232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.93
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11965
/proc/meminfo: memFree=23725652/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=3024420 CPUtime=1725.92 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 13926 0 1 0 172435 157 0 0 20 0 19 0 341714672 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 756105 417679 2304 9 0 746526 0
[pid=11849/tid=11851] ppid=11847 vsize=3024420 CPUtime=1719.66 cores=1,3,5,7
/proc/11849/task/11851/stat : 11851 (java) R 11847 11849 11123 0 -1 4202560 3248 0 1 0 171931 35 0 0 20 0 19 0 341714673 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762645290288 139762481158947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11123 0 -1 4202560 323 0 0 0 39 21 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762628717480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11123 0 -1 4202560 281 0 0 0 28 14 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762627664936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11123 0 -1 4202560 235 0 0 0 30 14 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762626611880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11123 0 -1 4202560 256 0 0 0 34 16 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762625559336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11123 0 -1 4202560 236 0 0 0 27 13 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762624506280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11123 0 -1 4202560 231 0 0 0 27 13 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762623453736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11858] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11858/stat : 11858 (java) S 11847 11849 11123 0 -1 4202560 181 0 0 0 23 11 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762622400680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11859] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11859/stat : 11859 (java) S 11847 11849 11123 0 -1 4202560 171 0 0 0 24 10 0 0 20 0 19 0 341714675 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762621348136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11860] ppid=11847 vsize=3024420 CPUtime=1.78 cores=1,3,5,7
/proc/11849/task/11860/stat : 11860 (java) S 11847 11849 11123 0 -1 4202560 219 0 0 0 171 7 0 0 20 0 19 0 341714676 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762608937832 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11861] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11861/stat : 11861 (java) S 11847 11849 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762607884152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11862] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11862/stat : 11862 (java) S 11847 11849 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762606830984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11863] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11863/stat : 11863 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762605779728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11864] ppid=11847 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/11849/task/11864/stat : 11864 (java) S 11847 11849 11123 0 -1 4202560 4255 0 0 0 44 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762604726584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11865] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11865/stat : 11865 (java) S 11847 11849 11123 0 -1 4202560 3010 0 0 0 34 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762603674040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11866] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11866/stat : 11866 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762602621176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11867] ppid=11847 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/11849/task/11867/stat : 11867 (java) S 11847 11849 11123 0 -1 4202560 100 0 0 0 22 58 0 0 20 0 19 0 341714679 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762601568840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11868] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11868/stat : 11868 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714717 3097006080 417679 33554432000 1073741824 1073778376 140733774438848 139762599368232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.92
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11966
/proc/meminfo: memFree=23718944/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=3024420 CPUtime=1785.93 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 13931 0 1 0 178435 158 0 0 20 0 19 0 341714672 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 756105 419182 2304 9 0 746526 0
[pid=11849/tid=11851] ppid=11847 vsize=3024420 CPUtime=1779.66 cores=1,3,5,7
/proc/11849/task/11851/stat : 11851 (java) R 11847 11849 11123 0 -1 4202560 3249 0 1 0 177930 36 0 0 20 0 19 0 341714673 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762645290288 139762481083184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11123 0 -1 4202560 323 0 0 0 39 21 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762628717480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11123 0 -1 4202560 281 0 0 0 28 14 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762627664936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11123 0 -1 4202560 235 0 0 0 30 14 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762626611880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11123 0 -1 4202560 256 0 0 0 34 16 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762625559336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11123 0 -1 4202560 236 0 0 0 27 13 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762624506280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11123 0 -1 4202560 231 0 0 0 27 13 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762623453736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11858] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11858/stat : 11858 (java) S 11847 11849 11123 0 -1 4202560 181 0 0 0 23 11 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762622400680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11859] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11859/stat : 11859 (java) S 11847 11849 11123 0 -1 4202560 171 0 0 0 24 10 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762621348136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11860] ppid=11847 vsize=3024420 CPUtime=1.78 cores=1,3,5,7
/proc/11849/task/11860/stat : 11860 (java) S 11847 11849 11123 0 -1 4202560 219 0 0 0 171 7 0 0 20 0 19 0 341714676 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762608937832 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11861] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11861/stat : 11861 (java) S 11847 11849 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762607884152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11862] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11862/stat : 11862 (java) S 11847 11849 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762606830984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11863] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11863/stat : 11863 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762605779728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11864] ppid=11847 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/11849/task/11864/stat : 11864 (java) S 11847 11849 11123 0 -1 4202560 4255 0 0 0 44 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762604726584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11865] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11865/stat : 11865 (java) S 11847 11849 11123 0 -1 4202560 3010 0 0 0 34 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762603674040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11866] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11866/stat : 11866 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762602621176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11867] ppid=11847 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/11849/task/11867/stat : 11867 (java) S 11847 11849 11123 0 -1 4202560 104 0 0 0 23 59 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762601568840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11868] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11868/stat : 11868 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714717 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762599368232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.93
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11966
/proc/meminfo: memFree=23719196/32873648 swapFree=7120/7120
[pid=11849] ppid=11847 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/11849/stat : 11849 (java) S 11847 11849 11123 0 -1 4202496 13931 0 1 0 179845 158 0 0 20 0 19 0 341714672 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 140733774429984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11849/statm: 756105 419182 2304 9 0 746526 0
[pid=11849/tid=11851] ppid=11847 vsize=3024420 CPUtime=1793.77 cores=1,3,5,7
/proc/11849/task/11851/stat : 11851 (java) R 11847 11849 11123 0 -1 4202560 3249 0 1 0 179341 36 0 0 20 0 19 0 341714673 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762645290288 139762481083458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11123 0 -1 4202560 323 0 0 0 39 21 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762628717480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11123 0 -1 4202560 281 0 0 0 28 14 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762627664936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11123 0 -1 4202560 235 0 0 0 30 14 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762626611880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11123 0 -1 4202560 256 0 0 0 34 16 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762625559336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11123 0 -1 4202560 236 0 0 0 27 13 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762624506280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11123 0 -1 4202560 231 0 0 0 27 13 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762623453736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11858] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11858/stat : 11858 (java) S 11847 11849 11123 0 -1 4202560 181 0 0 0 23 11 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762622400680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11849/tid=11859] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11859/stat : 11859 (java) S 11847 11849 11123 0 -1 4202560 171 0 0 0 24 10 0 0 20 0 19 0 341714675 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762621348136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11860] ppid=11847 vsize=3024420 CPUtime=1.78 cores=1,3,5,7
/proc/11849/task/11860/stat : 11860 (java) S 11847 11849 11123 0 -1 4202560 219 0 0 0 171 7 0 0 20 0 19 0 341714676 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762608937832 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11861] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11861/stat : 11861 (java) S 11847 11849 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762607884152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11862] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11862/stat : 11862 (java) S 11847 11849 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341714676 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762606830984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11863] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11863/stat : 11863 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762605779728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11864] ppid=11847 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/11849/task/11864/stat : 11864 (java) S 11847 11849 11123 0 -1 4202560 4255 0 0 0 44 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762604726584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11865] ppid=11847 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/11849/task/11865/stat : 11865 (java) S 11847 11849 11123 0 -1 4202560 3010 0 0 0 34 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762603674040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11866] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11866/stat : 11866 (java) S 11847 11849 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762602621176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11849/tid=11867] ppid=11847 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/11849/task/11867/stat : 11867 (java) S 11847 11849 11123 0 -1 4202560 104 0 0 0 24 59 0 0 20 0 19 0 341714679 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762601568840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11849/tid=11868] ppid=11847 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11849/task/11868/stat : 11868 (java) S 11847 11849 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341714717 3097006080 419182 33554432000 1073741824 1073778376 140733774438848 139762599368232 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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.42
CPU time (s): 1800.87
CPU user time (s): 1798.6
CPU system time (s): 2.27165
CPU usage (%): 100.248
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 2.27165
maximum resident set size= 1676844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13962
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38096
involuntary context switches= 5060

runsolver used 9.00963 second user time and 12.914 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-03 22:37:53
IDJOB=3741841
IDBENCH=90112
IDSOLVER=2319
FILE ID=node114/3741841-1338755873
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_K102.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741841-1338755873/watcher-3741841-1338755873 -o /tmp/evaluation-result-3741841-1338755873/solver-3741841-1338755873 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741841-1338755873.opb           

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

MD5SUM BENCH= 2946edf6ae8af40eb44098433ff3dcec
RANDOM SEED=65996760

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:        25391172 kB
Buffers:         1062000 kB
Cached:          3726768 kB
SwapCached:         2244 kB
Active:          4602848 kB
Inactive:        1872492 kB
Active(anon):    1673364 kB
Inactive(anon):     8360 kB
Active(file):    2929484 kB
Inactive(file):  1864132 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              4032 kB
Writeback:             0 kB
AnonPages:       1684608 kB
Mapped:            19160 kB
Shmem:               100 kB
Slab:             865664 kB
SReclaimable:     309384 kB
SUnreclaim:       556280 kB
KernelStack:        1592 kB
PageTables:         7528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1829180 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-03 23:07:52