Trace number 3741906

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.02 1795.23

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K104.opb
MD5SUMa8d55fafa030e5024da65ad802ff80be
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 benchmark92.024
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7072
Total number of constraints7282
Number of constraints which are clauses7178
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint104
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 105
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.13	--- Begin Solver configuration ---
0.06/0.13	c Stops conflict analysis at the first Unique Implication Point
0.06/0.13	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.13	c No reason simplification
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3741906-1338757968.opb
0.06/0.13	c reading problem ... 
0.77/0.46	c ... done. Wall clock time 0.339s.
0.77/0.47	c CPU time (experimental) 0.42s.
0.77/0.47	c #vars     7072
0.77/0.47	c #constraints  7280
666.25/663.17	c cleaning 272055 clauses out of 545437 for limit 1.949228008992005E11
667.06/663.98	c cleaning 136679 clauses out of 273881 for limit 6.395385217878136E11
667.36/664.26	c cleaning 68637 clauses out of 137702 for limit 2.0977042236573164E12
667.56/664.41	c cleaning 33966 clauses out of 69565 for limit 6.847776830789188E12
667.66/664.53	c cleaning 17187 clauses out of 36099 for limit 2.1762115116480395E13
667.76/664.64	c cleaning 8829 clauses out of 19412 for limit 6.673933563048716E13
667.86/664.73	c cleaning 4604 clauses out of 11083 for limit 1.927750016392198E14
667.96/664.81	c cleaning 2579 clauses out of 6979 for limit 5.048597378034202E14
667.96/664.88	c cleaning 2410 clauses out of 4900 for limit 1.1858335754650669E-5
668.05/664.93	c cleaning 1466 clauses out of 2990 for limit 3.2048264880285697E-5
668.05/664.98	c cleaning 636 clauses out of 2024 for limit 7.807663518874113E-5
668.15/665.03	c cleaning 478 clauses out of 1888 for limit 1.3803381581313794E-4
668.15/665.09	c cleaning 623 clauses out of 1910 for limit 2.2501424014162517E-4
668.25/665.14	c cleaning 142 clauses out of 1787 for limit 3.966200868341798E-4
668.35/665.20	c cleaning 166 clauses out of 2147 for limit 5.454966952944294E-4
668.35/665.28	c cleaning 290 clauses out of 2481 for limit 7.784904531865127E-4
668.45/665.34	c cleaning 378 clauses out of 2690 for limit 0.0011829030472891558
668.56/665.41	c cleaning 446 clauses out of 2815 for limit 0.001869745315176261
668.56/665.48	c cleaning 449 clauses out of 2865 for limit 0.0030175471620561153
668.66/665.55	c cleaning 483 clauses out of 2916 for limit 0.004889304215737341
668.75/665.61	c cleaning 489 clauses out of 2933 for limit 0.008016381993891125
668.75/665.69	c cleaning 487 clauses out of 2944 for limit 0.01317069061736023
668.85/665.77	c cleaning 503 clauses out of 2957 for limit 0.021624741085993337
668.95/665.86	c cleaning 495 clauses out of 2955 for limit 0.035721949685584356
669.05/665.95	c cleaning 501 clauses out of 2959 for limit 0.05877180780802323
669.15/666.06	c cleaning 494 clauses out of 2960 for limit 0.09708390003073286
669.25/666.17	c cleaning 501 clauses out of 2965 for limit 0.15967451400082464
669.35/666.28	c cleaning 634 clauses out of 2963 for limit 0.2632388739918009
669.45/666.36	c cleaning 555 clauses out of 2829 for limit 0.454678706131464
669.55/666.41	c cleaning 525 clauses out of 2774 for limit 0.7646927860946651
669.55/666.48	c cleaning 519 clauses out of 2749 for limit 1.2725492434468018
669.66/666.55	c cleaning 491 clauses out of 2730 for limit 2.113209609489968
669.76/666.63	c cleaning 443 clauses out of 2739 for limit 3.473514200457013
669.85/666.71	c cleaning 461 clauses out of 2796 for limit 5.611511159020958
669.95/666.80	c cleaning 482 clauses out of 2835 for limit 9.126827067985623
669.95/666.87	c cleaning 570 clauses out of 2853 for limit 14.956397545929658
670.05/666.93	c cleaning 524 clauses out of 2783 for limit 25.28549457291534
670.05/666.99	c cleaning 522 clauses out of 2760 for limit 42.08874495516949
670.15/667.07	c cleaning 502 clauses out of 2737 for limit 69.92325478152364
670.25/667.13	c cleaning 485 clauses out of 2735 for limit 115.39712510391479
670.35/667.20	c cleaning 528 clauses out of 2751 for limit 189.3878563689408
670.35/667.27	c cleaning 507 clauses out of 2722 for limit 315.3377562813333
670.45/667.36	c cleaning 502 clauses out of 2715 for limit 521.374933089675
670.55/667.42	c cleaning 491 clauses out of 2713 for limit 860.4508625781016
670.55/667.48	c cleaning 482 clauses out of 2722 for limit 1414.3068153817937
670.65/667.54	c cleaning 477 clauses out of 2740 for limit 2317.058929269233
670.76/667.60	c cleaning 511 clauses out of 2765 for limit 3794.1755142484317
670.76/667.66	c cleaning 499 clauses out of 2752 for limit 6274.093500273998
670.86/667.74	c cleaning 500 clauses out of 2754 for limit 10349.655140155173
670.95/667.81	c cleaning 506 clauses out of 2755 for limit 17078.84945874738
670.95/667.89	c cleaning 493 clauses out of 2750 for limit 28244.761937061554
671.05/667.99	c cleaning 484 clauses out of 2754 for limit 46372.34179063878
671.15/668.07	c cleaning 494 clauses out of 2770 for limit 76032.46699037692
671.25/668.13	c cleaning 468 clauses out of 2778 for limit 125277.05061640608
671.35/668.21	c cleaning 475 clauses out of 2809 for limit 204114.28392477444
671.35/668.27	c cleaning 611 clauses out of 2833 for limit 333426.3648857718
671.45/668.33	c cleaning 663 clauses out of 2722 for limit 572287.5240117463
671.45/668.38	c cleaning 564 clauses out of 2559 for limit 1003894.3275679649
671.55/668.43	c cleaning 685 clauses out of 2496 for limit 1699041.9580196047
671.55/668.48	c cleaning 467 clauses out of 2310 for limit 3024531.279439813
671.65/668.53	c cleaning 506 clauses out of 2343 for limit 4917605.191614616
671.65/668.59	c cleaning 486 clauses out of 2337 for limit 8130609.850369957
671.75/668.65	c cleaning 493 clauses out of 2351 for limit 1.332861710679258E7
671.75/668.70	c cleaning 543 clauses out of 2360 for limit 2.1940707554797307E7
671.86/668.75	c cleaning 453 clauses out of 2316 for limit 3.6833708937910765E7
671.96/668.80	c cleaning 458 clauses out of 2362 for limit 5.950116772806994E7
671.96/668.87	c cleaning 521 clauses out of 2404 for limit 9.641104848938125E7
672.05/668.92	c cleaning 1160 clauses out of 2383 for limit 1.6039584502825624E8
672.05/668.98	c cleaning 660 clauses out of 1723 for limit 3.6583711693455935E8
672.17/669.04	c cleaning 172 clauses out of 1563 for limit 6.650739726545165E8
672.27/669.12	c cleaning 405 clauses out of 1891 for limit 9.065531858280336E8
672.27/669.18	c cleaning 444 clauses out of 1986 for limit 1.4235130738054898E9
672.37/669.25	c cleaning 357 clauses out of 2042 for limit 2.283183690917849E9
672.47/669.33	c cleaning 354 clauses out of 2185 for limit 3.518852290546294E9
672.47/669.40	c cleaning 483 clauses out of 2331 for limit 5.4395890618125725E9
672.57/669.45	c cleaning 479 clauses out of 2350 for limit 8.915904614819426E9
672.67/669.50	c cleaning 458 clauses out of 2369 for limit 1.455643678287387E10
672.67/669.56	c cleaning 513 clauses out of 2412 for limit 2.360115377963847E10
672.77/669.62	c cleaning 1169 clauses out of 2398 for limit 3.9109542406082924E10
672.77/669.68	c cleaning 615 clauses out of 1729 for limit 8.945256682813556E10
672.87/669.73	c cleaning 704 clauses out of 1614 for limit 1.5803022447265375E11
672.87/669.79	c cleaning 343 clauses out of 1410 for limit 2.9831868895874097E11
672.98/669.84	c cleaning 334 clauses out of 1568 for limit 4.4283701513949445E11
672.98/669.90	c cleaning 391 clauses out of 1733 for limit 6.601046402937484E11
673.08/669.97	c cleaning 241 clauses out of 1842 for limit 1.0241831100742035E12
673.17/670.04	c cleaning 378 clauses out of 2101 for limit 1.4808022649563508E12
673.27/670.11	c cleaning 389 clauses out of 2224 for limit 2.309291400453742E12
673.27/670.19	c cleaning 515 clauses out of 2334 for limit 3.6252173075028477E12
673.37/670.26	c cleaning 454 clauses out of 2321 for limit 6.023995885252075E12
673.47/670.33	c cleaning 476 clauses out of 2365 for limit 9.73006015798744E12
673.57/670.40	c cleaning 483 clauses out of 2389 for limit 1.588497032020589E13
673.57/670.49	c cleaning 1183 clauses out of 2407 for limit 2.6026565749367145E13
673.67/670.54	c cleaning 592 clauses out of 1723 for limit 5.9900307800742E13
673.77/670.60	c cleaning 399 clauses out of 1633 for limit 1.0443667999607234E14
673.77/670.66	c cleaning 441 clauses out of 1732 for limit 1.6206088932961384E14
673.87/670.71	c cleaning 284 clauses out of 1793 for limit 2.5868469018818866E14
673.87/670.77	c cleaning 913 clauses out of 2007 for limit 3.8035620627497944E14
673.97/670.83	c cleaning 367 clauses out of 1594 for limit 7.897787593800459E14
673.97/670.89	c cleaning 397 clauses out of 1727 for limit 1.2021462775415398E15
674.08/670.95	c cleaning 403 clauses out of 1831 for limit 1.8717666629612E15
674.18/671.01	c cleaning 440 clauses out of 1927 for limit 2.9300815844126755E15
674.18/671.08	c cleaning 945 clauses out of 1988 for limit 4.688516473525984E-5
674.27/671.14	c cleaning 468 clauses out of 1542 for limit 9.958383059816602E-5
674.37/671.20	c cleaning 407 clauses out of 1574 for limit 1.608882621229598E-4
674.37/671.28	c cleaning 428 clauses out of 1674 for limit 2.512297720835597E-4
674.47/671.35	c cleaning 204 clauses out of 1741 for limit 3.963794356825255E-4
674.57/671.44	c cleaning 278 clauses out of 2035 for limit 5.581261049784147E-4
674.67/671.53	c cleaning 391 clauses out of 2257 for limit 8.29891043501898E-4
674.77/671.63	c cleaning 442 clauses out of 2368 for limit 0.0013070609781124889
674.87/671.71	c cleaning 512 clauses out of 2425 for limit 0.0021027477622650175
674.87/671.76	c cleaning 489 clauses out of 2412 for limit 0.0034829159501784035
674.97/671.82	c cleaning 512 clauses out of 2427 for limit 0.0057311853683249415
674.97/671.87	c cleaning 494 clauses out of 2413 for limit 0.009487324894615515
675.07/671.93	c cleaning 500 clauses out of 2418 for limit 0.01559790151642828
675.07/671.99	c cleaning 473 clauses out of 2417 for limit 0.025707935124655343
675.18/672.05	c cleaning 513 clauses out of 2444 for limit 0.04192745786032946
675.28/672.11	c cleaning 480 clauses out of 2431 for limit 0.06951374090764567
675.28/672.19	c cleaning 494 clauses out of 2455 for limit 0.11397197058978037
675.47/672.30	c cleaning 478 clauses out of 2457 for limit 0.18705194879325293
675.47/672.37	c cleaning 518 clauses out of 2479 for limit 0.305736122939731
675.57/672.44	c cleaning 512 clauses out of 2462 for limit 0.5081894336745931
675.67/672.51	c cleaning 485 clauses out of 2449 for limit 0.8416785697788933
675.67/672.58	c cleaning 504 clauses out of 2464 for limit 1.3795906370739464
675.77/672.64	c cleaning 470 clauses out of 2462 for limit 2.281538510548368
675.87/672.71	c cleaning 504 clauses out of 2490 for limit 3.7128155016955673
675.97/672.80	c cleaning 498 clauses out of 2486 for limit 6.132781311395993
675.97/672.88	c cleaning 499 clauses out of 2488 for limit 10.105646765629528
676.07/672.96	c cleaning 475 clauses out of 2489 for limit 16.65886773937035
676.17/673.05	c cleaning 495 clauses out of 2514 for limit 27.199504374641982
676.28/673.14	c cleaning 505 clauses out of 2519 for limit 44.76658681839231
676.38/673.23	c cleaning 502 clauses out of 2514 for limit 73.97292036360484
676.47/673.32	c cleaning 500 clauses out of 2512 for limit 122.08836838453892
676.57/673.41	c cleaning 507 clauses out of 2517 for limit 201.9478133893355
676.57/673.49	c cleaning 509 clauses out of 2506 for limit 333.1648257026639
676.67/673.57	c cleaning 499 clauses out of 2496 for limit 551.082988432705
676.77/673.65	c cleaning 486 clauses out of 2497 for limit 908.4456099078817
676.87/673.73	c cleaning 502 clauses out of 2511 for limit 1489.7954623745934
676.97/673.80	c cleaning 489 clauses out of 2509 for limit 2458.8304659320606
676.97/673.86	c cleaning 534 clauses out of 2520 for limit 4037.2402382202267
677.07/673.94	c cleaning 528 clauses out of 2488 for limit 6757.0894547006565
677.17/674.00	c cleaning 486 clauses out of 2458 for limit 11256.802056249773
677.17/674.08	c cleaning 525 clauses out of 2472 for limit 18458.83673221423
677.27/674.15	c cleaning 505 clauses out of 2447 for limit 30752.095350976288
677.38/674.21	c cleaning 463 clauses out of 2442 for limit 50818.15684782408
677.38/674.28	c cleaning 474 clauses out of 2480 for limit 82604.4201351288
677.48/674.35	c cleaning 475 clauses out of 2505 for limit 134731.33490573356
677.57/674.41	c cleaning 544 clauses out of 2530 for limit 219994.44198188264
677.57/674.47	c cleaning 506 clauses out of 2486 for limit 369221.5087891588
677.67/674.53	c cleaning 497 clauses out of 2480 for limit 610368.7962281551
677.67/674.59	c cleaning 598 clauses out of 2488 for limit 1008375.0090382897
677.77/674.66	c cleaning 556 clauses out of 2385 for limit 1726105.731504268
677.87/674.74	c cleaning 423 clauses out of 2330 for limit 2916689.8865915835
677.97/674.81	c cleaning 437 clauses out of 2406 for limit 4653416.538488164
677.97/674.86	c cleaning 1224 clauses out of 2470 for limit 7482745.898171552
678.07/674.91	c cleaning 746 clauses out of 1745 for limit 1.7449536466162246E7
678.07/674.95	c cleaning 299 clauses out of 1499 for limit 3.349913401095534E7
678.17/675.01	c cleaning 482 clauses out of 1700 for limit 4.871269739625757E7
678.17/675.06	c cleaning 386 clauses out of 1718 for limit 7.949207389211158E7
678.27/675.13	c cleaning 342 clauses out of 1832 for limit 1.2293552627546702E8
678.27/675.18	c cleaning 388 clauses out of 1990 for limit 1.8664041208585605E8
678.37/675.23	c cleaning 1012 clauses out of 2103 for limit 2.915478795943057E8
678.37/675.28	c cleaning 291 clauses out of 1590 for limit 6.352920355761192E8
678.48/675.34	c cleaning 367 clauses out of 1799 for limit 9.25966465634098E8
1523.32/1519.28	c cleaning 279497 clauses out of 560416 for limit 2.3254184151259375E9
1524.92/1520.85	c cleaning 140598 clauses out of 281416 for limit 7.614040793147077E9
1525.43/1521.31	c cleaning 70351 clauses out of 141318 for limit 2.500474267569008E10
1525.72/1521.64	c cleaning 35154 clauses out of 71467 for limit 8.153990612467653E10
1525.92/1521.82	c cleaning 17910 clauses out of 36813 for limit 2.6105404998213632E11
1526.02/1521.96	c cleaning 9186 clauses out of 19403 for limit 8.168054923873562E11
1526.12/1522.02	c cleaning 4905 clauses out of 10717 for limit 2.43876632386445E12
1526.12/1522.08	c cleaning 2694 clauses out of 6313 for limit 6.834362801047909E12
1526.22/1522.14	c cleaning 1991 clauses out of 4119 for limit 1.7274198821537482E13
1526.32/1522.21	c cleaning 1206 clauses out of 2628 for limit 4.464987341587715E13
1526.32/1522.28	c cleaning 648 clauses out of 1921 for limit 1.0063281079985322E14
1526.43/1522.34	c cleaning 504 clauses out of 1773 for limit 1.7981011529861928E14
1526.43/1522.39	c cleaning 495 clauses out of 1769 for limit 2.9720143991689344E14
1526.53/1522.44	c cleaning 533 clauses out of 1774 for limit 4.8874352144507656E14
1526.53/1522.48	c cleaning 459 clauses out of 1741 for limit 8.212809419573985E14
1526.62/1522.56	c cleaning 816 clauses out of 1783 for limit 1.323821931702231E-5
1526.72/1522.63	c cleaning 692 clauses out of 1467 for limit 2.6534242145324212E-5
1526.72/1522.69	c cleaning 478 clauses out of 1274 for limit 5.033716463232446E-5
1526.82/1522.74	c cleaning 540 clauses out of 1301 for limit 8.169760524358039E-5
1526.92/1522.80	c cleaning 470 clauses out of 1256 for limit 1.3886100745175704E-4
1526.92/1522.86	c cleaning 464 clauses out of 1287 for limit 2.2370814831393875E-4
1527.02/1522.93	c cleaning 347 clauses out of 1323 for limit 3.588858973508828E-4
1527.12/1523.00	c cleaning 240 clauses out of 1477 for limit 5.30671959702322E-4
1527.12/1523.05	c cleaning 369 clauses out of 1736 for limit 7.438378784426099E-4
1527.22/1523.11	c cleaning 425 clauses out of 1867 for limit 0.0011406163169895716
1527.22/1523.17	c cleaning 465 clauses out of 1945 for limit 0.0018110219524193104
1527.32/1523.24	c cleaning 476 clauses out of 1977 for limit 0.0029294696482213807
1527.42/1523.30	c cleaning 478 clauses out of 2000 for limit 0.00477075431301783
1527.42/1523.37	c cleaning 482 clauses out of 2022 for limit 0.007782009972562004
1527.53/1523.44	c cleaning 486 clauses out of 2042 for limit 0.012733333300516719
1527.63/1523.52	c cleaning 499 clauses out of 2054 for limit 0.020834556924549642
1527.72/1523.60	c cleaning 502 clauses out of 2058 for limit 0.034395272947319096
1527.72/1523.68	c cleaning 497 clauses out of 2053 for limit 0.05669014044652704
1527.82/1523.76	c cleaning 497 clauses out of 2057 for limit 0.0934012286886043
1527.92/1523.85	c cleaning 558 clauses out of 2062 for limit 0.1539653986084405
1528.02/1523.91	c cleaning 525 clauses out of 2001 for limit 0.26086574515250804
1528.02/1523.96	c cleaning 498 clauses out of 1977 for limit 0.435860861374676
1528.12/1524.03	c cleaning 516 clauses out of 1978 for limit 0.7177110455887935
1528.12/1524.09	c cleaning 476 clauses out of 1962 for limit 1.1932537319424936
1528.22/1524.16	c cleaning 472 clauses out of 1987 for limit 1.9450211851953572
1528.32/1524.23	c cleaning 511 clauses out of 2018 for limit 3.16781976056685
1528.42/1524.30	c cleaning 508 clauses out of 2006 for limit 5.2501543565718505
1528.42/1524.36	c cleaning 502 clauses out of 1995 for limit 8.67985464367875
1528.52/1524.42	c cleaning 476 clauses out of 1993 for limit 14.328605994894444
1528.52/1524.49	c cleaning 457 clauses out of 2017 for limit 23.348620598645997
1528.63/1524.54	c cleaning 505 clauses out of 2060 for limit 37.701253767292975
1528.73/1524.61	c cleaning 495 clauses out of 2055 for limit 62.32568698504605
1528.73/1524.67	c cleaning 487 clauses out of 2060 for limit 102.53392135836422
1528.82/1524.74	c cleaning 488 clauses out of 2073 for limit 168.03175847025153
1528.92/1524.81	c cleaning 476 clauses out of 2086 for limit 275.6555679149648
1528.92/1524.89	c cleaning 485 clauses out of 2109 for limit 449.185645022554
1529.02/1524.96	c cleaning 507 clauses out of 2125 for limit 735.9256038081822
1529.12/1525.05	c cleaning 504 clauses out of 2118 for limit 1217.6508562190495
1529.22/1525.13	c cleaning 508 clauses out of 2113 for limit 2010.8080372067611
1529.32/1525.20	c cleaning 498 clauses out of 2105 for limit 3328.6941773077774
1529.32/1525.29	c cleaning 493 clauses out of 2107 for limit 5484.251313037096
1529.42/1525.37	c cleaning 538 clauses out of 2114 for limit 9014.316190891057
1529.52/1525.45	c cleaning 511 clauses out of 2080 for limit 15169.39882344105
1529.62/1525.54	c cleaning 515 clauses out of 2065 for limit 25097.443692421624
1529.73/1525.60	c cleaning 510 clauses out of 2052 for limit 41734.68103265448
1529.73/1525.67	c cleaning 477 clauses out of 2040 for limit 69092.53880481502
1529.83/1525.76	c cleaning 493 clauses out of 2063 for limit 112672.51218040622
1529.92/1525.83	c cleaning 512 clauses out of 2070 for limit 185183.6957316939
1530.02/1525.90	c cleaning 487 clauses out of 2060 for limit 307489.84867587656
1530.02/1525.98	c cleaning 497 clauses out of 2071 for limit 503390.21303107473
1530.12/1526.05	c cleaning 924 clauses out of 2074 for limit 828956.9967742207
1530.22/1526.11	c cleaning 356 clauses out of 1650 for limit 1718354.2302491753
1530.22/1526.17	c cleaning 470 clauses out of 1794 for limit 2606334.116468944
1530.32/1526.22	c cleaning 342 clauses out of 1825 for limit 4229412.627527376
1530.32/1526.28	c cleaning 697 clauses out of 1987 for limit 6431895.702042748
1530.42/1526.34	c cleaning 345 clauses out of 1785 for limit 1.1748487744702091E7
1530.52/1526.42	c cleaning 446 clauses out of 1944 for limit 1.7861497295133352E7
1530.52/1526.48	c cleaning 454 clauses out of 1995 for limit 2.86169651360599E7
1530.62/1526.55	c cleaning 469 clauses out of 2040 for limit 4.610602508638471E7
1530.72/1526.62	c cleaning 758 clauses out of 2071 for limit 7.489686469102651E7
1530.72/1526.68	c cleaning 344 clauses out of 1814 for limit 1.4115519058469936E8
1530.83/1526.74	c cleaning 416 clauses out of 1970 for limit 2.143501522423348E8
1530.93/1526.81	c cleaning 476 clauses out of 2055 for limit 3.3920995950060624E8
1530.93/1526.88	c cleaning 574 clauses out of 2077 for limit 5.523708963937168E8
1531.02/1526.94	c cleaning 429 clauses out of 2003 for limit 9.445875615333029E8
1531.12/1527.00	c cleaning 463 clauses out of 2074 for limit 1.5044241856432905E9
1531.12/1527.08	c cleaning 489 clauses out of 2112 for limit 2.4387963908863587E9
1531.22/1527.15	c cleaning 498 clauses out of 2122 for limit 3.998945203771834E9
1531.32/1527.23	c cleaning 765 clauses out of 2126 for limit 6.595572265391969E9
1531.32/1527.29	c cleaning 605 clauses out of 1861 for limit 1.2425825694626604E10
1531.42/1527.35	c cleaning 353 clauses out of 1754 for limit 2.1698459644562416E10
1531.52/1527.41	c cleaning 391 clauses out of 1902 for limit 3.3032266974746098E10
1531.52/1527.47	c cleaning 438 clauses out of 2010 for limit 5.1496084691302086E10
1531.62/1527.53	c cleaning 439 clauses out of 2074 for limit 8.246818306121065E10
1531.62/1527.59	c cleaning 563 clauses out of 2133 for limit 1.3197485282469234E11
1531.72/1527.65	c cleaning 474 clauses out of 2071 for limit 2.2438423557546533E11
1531.82/1527.71	c cleaning 471 clauses out of 2096 for limit 3.652603555382463E11
1531.82/1527.78	c cleaning 471 clauses out of 2125 for limit 5.941427040525029E11
1531.93/1527.84	c cleaning 485 clauses out of 2154 for limit 9.666291570053282E11
1532.03/1527.90	c cleaning 1059 clauses out of 2170 for limit 1.583930985654912E12
1532.03/1527.97	c cleaning 423 clauses out of 1610 for limit 3.5171548368823564E12
1532.12/1528.05	c cleaning 689 clauses out of 1687 for limit 5.535516737727367E12
1532.22/1528.13	c cleaning 297 clauses out of 1500 for limit 1.0287430219412008E13
1532.32/1528.20	c cleaning 412 clauses out of 1702 for limit 1.4936883058998709E13
1532.32/1528.26	c cleaning 626 clauses out of 1789 for limit 2.341157175168368E13
1532.42/1528.34	c cleaning 393 clauses out of 1664 for limit 4.1550665943121336E13
1532.52/1528.40	c cleaning 318 clauses out of 1770 for limit 6.435457396198698E13
1532.52/1528.48	c cleaning 970 clauses out of 1954 for limit 9.632810950483456E13
1532.62/1528.53	c cleaning 474 clauses out of 1483 for limit 2.0910182375076766E14
1532.62/1528.58	c cleaning 262 clauses out of 1508 for limit 3.387809686322312E14
1532.72/1528.66	c cleaning 860 clauses out of 1746 for limit 4.8253852748064544E14
1532.82/1528.72	c cleaning 678 clauses out of 1386 for limit 1.002464243019412E15
1532.82/1528.77	c cleaning 401 clauses out of 1208 for limit 1.8967979590997905E15
1532.92/1528.83	c cleaning 556 clauses out of 1308 for limit 2.891816043142E15
1532.92/1528.88	c cleaning 593 clauses out of 1251 for limit 4.981297411032872E-5
1533.03/1528.93	c cleaning 452 clauses out of 1158 for limit 8.874565714045989E-5
1533.03/1528.98	c cleaning 491 clauses out of 1211 for limit 1.4065007618074807E-4
1533.13/1529.03	c cleaning 378 clauses out of 1215 for limit 2.3003354117155333E-4
1533.13/1529.07	c cleaning 348 clauses out of 1337 for limit 3.447401948504814E-4
1533.22/1529.13	c cleaning 195 clauses out of 1489 for limit 5.104868030007979E-4
1533.22/1529.18	c cleaning 354 clauses out of 1794 for limit 6.987352694805955E-4
1533.32/1529.25	c cleaning 428 clauses out of 1941 for limit 0.0010661049687002292
1533.42/1529.31	c cleaning 462 clauses out of 2013 for limit 0.0016952650747980573
1533.52/1529.40	c cleaning 477 clauses out of 2051 for limit 0.0027439210820826895
1533.52/1529.48	c cleaning 491 clauses out of 2073 for limit 0.004472592693389757
1533.62/1529.55	c cleaning 499 clauses out of 2085 for limit 0.007355496871399417
1533.72/1529.63	c cleaning 488 clauses out of 2083 for limit 0.012105456073416192
1533.72/1529.69	c cleaning 502 clauses out of 2096 for limit 0.019859556540242584
1533.82/1529.76	c cleaning 475 clauses out of 2093 for limit 0.032765211205066695
1533.92/1529.84	c cleaning 508 clauses out of 2120 for limit 0.05345289724468128
1534.02/1529.93	c cleaning 493 clauses out of 2110 for limit 0.08839170656349592
1534.13/1530.02	c cleaning 502 clauses out of 2117 for limit 0.14528775167372002
1534.13/1530.10	c cleaning 540 clauses out of 2115 for limit 0.23982550985813517
1534.23/1530.17	c cleaning 512 clauses out of 2075 for limit 0.40312852926121423
1534.32/1530.25	c cleaning 499 clauses out of 2063 for limit 0.6686799390291865
1534.42/1530.33	c cleaning 495 clauses out of 2065 for limit 1.102777419635217
1534.52/1530.41	c cleaning 498 clauses out of 2069 for limit 1.8132964258131925
1534.52/1530.47	c cleaning 492 clauses out of 2071 for limit 2.987480534902319
1534.62/1530.54	c cleaning 492 clauses out of 2081 for limit 4.9129010089453224
1534.72/1530.61	c cleaning 498 clauses out of 2087 for limit 8.062588748478577
1534.72/1530.69	c cleaning 491 clauses out of 2089 for limit 13.283557629210177
1534.82/1530.79	c cleaning 498 clauses out of 2099 for limit 21.823821679820075
1534.92/1530.88	c cleaning 498 clauses out of 2100 for limit 35.93728993902964
1535.02/1530.96	c cleaning 535 clauses out of 2102 for limit 59.20900918154265
1535.12/1531.02	c cleaning 502 clauses out of 2067 for limit 99.29695152963495
1535.12/1531.08	c cleaning 502 clauses out of 2065 for limit 163.91255625476845
1535.22/1531.15	c cleaning 458 clauses out of 2065 for limit 270.8551725835789
1535.32/1531.22	c cleaning 510 clauses out of 2106 for limit 437.542453943903
1535.42/1531.30	c cleaning 494 clauses out of 2096 for limit 725.0086260041758
1535.42/1531.39	c cleaning 495 clauses out of 2101 for limit 1191.5980254438416
1535.52/1531.47	c cleaning 489 clauses out of 2107 for limit 1961.470091847685
1535.62/1531.56	c cleaning 540 clauses out of 2117 for limit 3216.2273688485325
1535.72/1531.65	c cleaning 509 clauses out of 2079 for limit 5411.753697441283
1535.82/1531.71	c cleaning 485 clauses out of 2069 for limit 8958.8733365605
1535.82/1531.79	c cleaning 493 clauses out of 2086 for limit 14683.327773089666
1535.92/1531.85	c cleaning 482 clauses out of 2091 for limit 24108.579844699252
1536.02/1531.93	c cleaning 486 clauses out of 2108 for limit 39398.204473194564
1800.02/1795.22	c starts		: 22
1800.02/1795.22	c conflicts		: 1464454
1800.02/1795.22	c decisions		: 4410395
1800.02/1795.22	c propagations		: 493375454
1800.02/1795.22	c inspects		: 8796547091
1800.02/1795.22	c learnt literals	: 83
1800.02/1795.22	c learnt binary clauses	: 62698
1800.02/1795.22	c learnt ternary clauses	: 47000
1800.02/1795.22	c learnt clauses	: 1464371
1800.02/1795.22	c root simplifications	: 0
1800.02/1795.22	c removed literals (reason simplification)	: 0
1800.02/1795.22	c reason swapping (by a shorter reason)	: 0
1800.02/1795.22	c Calls to reduceDB	: 315
1800.02/1795.22	c speed (decisions/second)	: 2457.393668738456
1800.02/1795.22	c non guided choices	6334
1800.02/1795.22	s UNKNOWN
1800.02/1795.22	c Total wall clock time (ms): 1795.091

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-3741906-1338757968/watcher-3741906-1338757968 -o /tmp/evaluation-result-3741906-1338757968/solver-3741906-1338757968 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741906-1338757968.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.13 2.03 1.98 3/194 17615
/proc/meminfo: memFree=23867124/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/17615/stat : 17615 (java) D 17613 17615 16961 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 341921150 278528 33 33554432000 1073741824 1073778376 140735397698496 140735397695672 251035479335 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17615/statm: 68 33 25 9 0 25 0

[startup+0.0794281 s]
/proc/loadavg: 2.13 2.03 1.98 3/194 17615
/proc/meminfo: memFree=23867124/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 3449 0 1 0 3 1 0 0 20 0 13 0 341921150 2686889984 5679 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 655979 5680 1710 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100334 s]
/proc/loadavg: 2.13 2.03 1.98 3/194 17615
/proc/meminfo: memFree=23867124/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=2956804 CPUtime=0.06 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 3605 0 1 0 5 1 0 0 20 0 18 0 341921150 3027767296 5835 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 739201 5835 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804

[startup+0.300304 s]
/proc/loadavg: 2.13 2.03 1.98 3/194 17615
/proc/meminfo: memFree=23867124/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 7514 0 1 0 47 2 0 0 20 0 18 0 341921150 3028844544 10857 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 739464 10857 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700309 s]
/proc/loadavg: 2.13 2.03 1.98 3/194 17615
/proc/meminfo: memFree=23867124/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 8744 0 1 0 129 4 0 0 20 0 19 0 341921150 3097006080 18701 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 756105 18701 2272 9 0 746526 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 2.13 2.03 1.98 3/213 17634
/proc/meminfo: memFree=23801196/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=3024420 CPUtime=2.16 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 8859 0 1 0 212 4 0 0 20 0 19 0 341921150 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 756105 19217 2275 9 0 746526 0
[pid=17615/tid=17617] ppid=17613 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/17615/task/17617/stat : 17617 (java) R 17613 17615 16961 0 -1 4202560 2553 0 1 0 142 2 0 0 20 0 19 0 341921151 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409763647944 140409611893914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17618] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17618/stat : 17618 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409747073192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17619] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17619/stat : 17619 (java) S 17613 17615 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409746020648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17620] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17620/stat : 17620 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409744968104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17621] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17621/stat : 17621 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409743915560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17622] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17622/stat : 17622 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409742863016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17623] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17623/stat : 17623 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409741810472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17624] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17624/stat : 17624 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409740757928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17625] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17625/stat : 17625 (java) S 17613 17615 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409739705384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17626] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17626/stat : 17626 (java) S 17613 17615 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341921154 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409609111656 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17627] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17627/stat : 17627 (java) S 17613 17615 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409608057976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17628] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17628/stat : 17628 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409607005320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17629] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17629/stat : 17629 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409605954064 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17630] ppid=17613 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/17615/task/17630/stat : 17630 (java) S 17613 17615 16961 0 -1 4202560 2501 0 0 0 34 0 0 0 20 0 19 0 341921158 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409604901432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17631] ppid=17613 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/17615/task/17631/stat : 17631 (java) S 17613 17615 16961 0 -1 4202560 2608 0 0 0 32 0 0 0 20 0 19 0 341921158 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409603848888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17632] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17632/stat : 17632 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409602796536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17633] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17633/stat : 17633 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409601744200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17634] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17634/stat : 17634 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921198 3097006080 19217 33554432000 1073741824 1073778376 140734849613040 140409599611688 251048015785 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.10074 s]
/proc/loadavg: 2.13 2.03 1.98 3/213 17634
/proc/meminfo: memFree=23794300/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=3024420 CPUtime=3.78 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 8865 0 1 0 374 4 0 0 20 0 19 0 341921150 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 756105 21266 2275 9 0 746526 0
[pid=17615/tid=17617] ppid=17613 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/17615/task/17617/stat : 17617 (java) R 17613 17615 16961 0 -1 4202560 2558 0 1 0 302 2 0 0 20 0 19 0 341921151 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409763646104 140409611860722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17618] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17618/stat : 17618 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409747073192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17619] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17619/stat : 17619 (java) S 17613 17615 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409746020648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17620] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17620/stat : 17620 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409744968104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17621] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17621/stat : 17621 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409743915560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17622] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17622/stat : 17622 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409742863016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17623] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17623/stat : 17623 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409741810472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17624] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17624/stat : 17624 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409740757928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17625] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17625/stat : 17625 (java) S 17613 17615 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409739705384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17626] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17626/stat : 17626 (java) S 17613 17615 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341921154 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409609111656 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17627] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17627/stat : 17627 (java) S 17613 17615 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409608057976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17628] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17628/stat : 17628 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409607005320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17629] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17629/stat : 17629 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409605954064 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17630] ppid=17613 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17615/task/17630/stat : 17630 (java) S 17613 17615 16961 0 -1 4202560 2502 0 0 0 36 0 0 0 20 0 19 0 341921158 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409604901432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17631] ppid=17613 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17615/task/17631/stat : 17631 (java) S 17613 17615 16961 0 -1 4202560 2608 0 0 0 33 0 0 0 20 0 19 0 341921158 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409603848888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17632] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17632/stat : 17632 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409602796536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17633] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17633/stat : 17633 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409601744200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17634] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17634/stat : 17634 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921198 3097006080 21266 33554432000 1073741824 1073778376 140734849613040 140409599611688 251048015785 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.30084 s]
/proc/loadavg: 2.12 2.03 1.98 3/213 17634
/proc/meminfo: memFree=23782136/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=3024420 CPUtime=6.98 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 8872 0 1 0 694 4 0 0 20 0 19 0 341921150 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 756105 23528 2276 9 0 746526 0
[pid=17615/tid=17617] ppid=17613 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/17615/task/17617/stat : 17617 (java) R 17613 17615 16961 0 -1 4202560 2564 0 1 0 621 2 0 0 20 0 19 0 341921151 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409763645984 140409611931921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17618] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17618/stat : 17618 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409747073192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17619] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17619/stat : 17619 (java) S 17613 17615 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409746020648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17620] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17620/stat : 17620 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409744968104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17621] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17621/stat : 17621 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409743915560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17622] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17622/stat : 17622 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409742863016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17623] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17623/stat : 17623 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409741810472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17624] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17624/stat : 17624 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409740757928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17625] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17625/stat : 17625 (java) S 17613 17615 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341921153 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409739705384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17626] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17626/stat : 17626 (java) S 17613 17615 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341921154 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409609111656 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17627] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17627/stat : 17627 (java) S 17613 17615 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409608057976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17628] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17628/stat : 17628 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409607005320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17629] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17629/stat : 17629 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409605954064 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17630] ppid=17613 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17615/task/17630/stat : 17630 (java) S 17613 17615 16961 0 -1 4202560 2502 0 0 0 36 0 0 0 20 0 19 0 341921158 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409604901432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17631] ppid=17613 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17615/task/17631/stat : 17631 (java) S 17613 17615 16961 0 -1 4202560 2608 0 0 0 33 0 0 0 20 0 19 0 341921158 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409603848888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17632] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17632/stat : 17632 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409602796536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17633] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17633/stat : 17633 (java) S 17613 17615 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409601744200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17634] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17634/stat : 17634 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921198 3097006080 23528 33554432000 1073741824 1073778376 140734849613040 140409599611688 251048015785 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.7009 s]

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

[pid=17615/tid=17630] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17630/stat : 17630 (java) S 17613 17615 16961 0 -1 4202560 2508 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409604901432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17631] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17631/stat : 17631 (java) S 17613 17615 16961 0 -1 4202560 2639 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409603848888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17632] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17632/stat : 17632 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409602796536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17633] ppid=17613 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/17615/task/17633/stat : 17633 (java) S 17613 17615 16961 0 -1 4202560 95 0 0 0 46 40 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409601744200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17634] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17634/stat : 17634 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921198 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409599611688 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.51
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 17709
/proc/meminfo: memFree=22206508/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=3024420 CPUtime=1726.58 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 11237 0 1 0 172442 216 0 0 20 0 19 0 341921150 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 756105 417903 2304 9 0 746526 0
[pid=17615/tid=17617] ppid=17613 vsize=3024420 CPUtime=1714.64 cores=1,3,5,7
/proc/17615/task/17617/stat : 17617 (java) R 17613 17615 16961 0 -1 4202560 2747 0 1 0 171428 36 0 0 20 0 19 0 341921151 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409763646768 140409611860379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17618] ppid=17613 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17615/task/17618/stat : 17618 (java) S 17613 17615 16961 0 -1 4202560 166 0 0 0 22 11 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409747073192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17619] ppid=17613 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/17615/task/17619/stat : 17619 (java) S 17613 17615 16961 0 -1 4202560 232 0 0 0 26 18 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409746020648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17620] ppid=17613 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17615/task/17620/stat : 17620 (java) S 17613 17615 16961 0 -1 4202560 201 0 0 0 33 14 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409744968104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17621] ppid=17613 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/17615/task/17621/stat : 17621 (java) S 17613 17615 16961 0 -1 4202560 357 0 0 0 27 26 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409743915560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17622] ppid=17613 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/17615/task/17622/stat : 17622 (java) S 17613 17615 16961 0 -1 4202560 161 0 0 0 18 12 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409742863016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17623] ppid=17613 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17615/task/17623/stat : 17623 (java) S 17613 17615 16961 0 -1 4202560 177 0 0 0 23 13 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409741810472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17624] ppid=17613 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/17615/task/17624/stat : 17624 (java) S 17613 17615 16961 0 -1 4202560 319 0 0 0 35 23 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409740757928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17625] ppid=17613 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17615/task/17625/stat : 17625 (java) S 17613 17615 16961 0 -1 4202560 232 0 0 0 20 18 0 0 20 0 19 0 341921153 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409739705384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17626] ppid=17613 vsize=3024420 CPUtime=2.07 cores=1,3,5,7
/proc/17615/task/17626/stat : 17626 (java) S 17613 17615 16961 0 -1 4202560 217 0 0 0 199 8 0 0 20 0 19 0 341921154 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409609111656 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17627] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17627/stat : 17627 (java) S 17613 17615 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409608057976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17628] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17628/stat : 17628 (java) S 17613 17615 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409607005320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17629] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17629/stat : 17629 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409605954064 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17630] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17630/stat : 17630 (java) S 17613 17615 16961 0 -1 4202560 2508 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409604901432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17631] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17631/stat : 17631 (java) S 17613 17615 16961 0 -1 4202560 2639 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409603848888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17632] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17632/stat : 17632 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409602796536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17633] ppid=17613 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/17615/task/17633/stat : 17633 (java) S 17613 17615 16961 0 -1 4202560 99 0 0 0 47 43 0 0 20 0 19 0 341921158 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409601744200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17634] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17634/stat : 17634 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921198 3097006080 417903 33554432000 1073741824 1073778376 140734849613040 140409599611688 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.58
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 17709
/proc/meminfo: memFree=22206136/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=3024420 CPUtime=1787.08 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 11311 0 1 0 178489 219 0 0 20 0 19 0 341921150 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 756105 417970 2304 9 0 746526 0
[pid=17615/tid=17617] ppid=17613 vsize=3024420 CPUtime=1774.34 cores=1,3,5,7
/proc/17615/task/17617/stat : 17617 (java) R 17613 17615 16961 0 -1 4202560 2748 0 1 0 177398 36 0 0 20 0 19 0 341921151 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409763646768 140409611860379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17618] ppid=17613 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17615/task/17618/stat : 17618 (java) S 17613 17615 16961 0 -1 4202560 167 0 0 0 35 11 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409747073192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17619] ppid=17613 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17615/task/17619/stat : 17619 (java) S 17613 17615 16961 0 -1 4202560 243 0 0 0 30 18 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409746020648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17620] ppid=17613 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17615/task/17620/stat : 17620 (java) S 17613 17615 16961 0 -1 4202560 208 0 0 0 37 14 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409744968104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17621] ppid=17613 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17615/task/17621/stat : 17621 (java) S 17613 17615 16961 0 -1 4202560 370 0 0 0 34 26 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409743915560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17622] ppid=17613 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17615/task/17622/stat : 17622 (java) S 17613 17615 16961 0 -1 4202560 173 0 0 0 27 12 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409742863016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17623] ppid=17613 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17615/task/17623/stat : 17623 (java) S 17613 17615 16961 0 -1 4202560 187 0 0 0 32 13 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409741810472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17624] ppid=17613 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17615/task/17624/stat : 17624 (java) S 17613 17615 16961 0 -1 4202560 332 0 0 0 39 23 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409740757928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17625] ppid=17613 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17615/task/17625/stat : 17625 (java) S 17613 17615 16961 0 -1 4202560 232 0 0 0 28 18 0 0 20 0 19 0 341921153 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409739705384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17626] ppid=17613 vsize=3024420 CPUtime=2.07 cores=1,3,5,7
/proc/17615/task/17626/stat : 17626 (java) S 17613 17615 16961 0 -1 4202560 219 0 0 0 199 8 0 0 20 0 19 0 341921154 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409609111656 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17627] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17627/stat : 17627 (java) S 17613 17615 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409608057976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17628] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17628/stat : 17628 (java) S 17613 17615 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409607005320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17629] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17629/stat : 17629 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409605954064 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17630] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17630/stat : 17630 (java) S 17613 17615 16961 0 -1 4202560 2508 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409604901432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17631] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17631/stat : 17631 (java) S 17613 17615 16961 0 -1 4202560 2639 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409603848888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17632] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17632/stat : 17632 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409602796536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17633] ppid=17613 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/17615/task/17633/stat : 17633 (java) S 17613 17615 16961 0 -1 4202560 103 0 0 0 50 44 0 0 20 0 19 0 341921158 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409601744200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17634] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17634/stat : 17634 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921198 3097006080 417970 33554432000 1073741824 1073778376 140734849613040 140409599611688 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.08
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.21 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 17709
/proc/meminfo: memFree=22202280/32873844 swapFree=7628/7628
[pid=17615] ppid=17613 vsize=3024420 CPUtime=1800.02 cores=1,3,5,7
/proc/17615/stat : 17615 (java) S 17613 17615 16961 0 -1 4202496 11311 0 1 0 179781 221 0 0 20 0 19 0 341921150 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140734849604176 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17615/statm: 756105 418813 2304 9 0 746526 0
[pid=17615/tid=17617] ppid=17613 vsize=3024420 CPUtime=1787.22 cores=1,3,5,7
/proc/17615/task/17617/stat : 17617 (java) R 17613 17615 16961 0 -1 4202560 2748 0 1 0 178685 37 0 0 20 0 19 0 341921151 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409763646768 140409611860440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17618] ppid=17613 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17615/task/17618/stat : 17618 (java) S 17613 17615 16961 0 -1 4202560 167 0 0 0 35 11 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409747073192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17619] ppid=17613 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/17615/task/17619/stat : 17619 (java) S 17613 17615 16961 0 -1 4202560 243 0 0 0 30 18 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409746020648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17620] ppid=17613 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17615/task/17620/stat : 17620 (java) S 17613 17615 16961 0 -1 4202560 208 0 0 0 37 14 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409744968104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17621] ppid=17613 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/17615/task/17621/stat : 17621 (java) S 17613 17615 16961 0 -1 4202560 370 0 0 0 34 26 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409743915560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17622] ppid=17613 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17615/task/17622/stat : 17622 (java) S 17613 17615 16961 0 -1 4202560 173 0 0 0 27 12 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409742863016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17623] ppid=17613 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17615/task/17623/stat : 17623 (java) S 17613 17615 16961 0 -1 4202560 187 0 0 0 32 13 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409741810472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17615/tid=17624] ppid=17613 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/17615/task/17624/stat : 17624 (java) S 17613 17615 16961 0 -1 4202560 332 0 0 0 39 23 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409740757928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17625] ppid=17613 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/17615/task/17625/stat : 17625 (java) S 17613 17615 16961 0 -1 4202560 232 0 0 0 28 18 0 0 20 0 19 0 341921153 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409739705384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17626] ppid=17613 vsize=3024420 CPUtime=2.07 cores=1,3,5,7
/proc/17615/task/17626/stat : 17626 (java) S 17613 17615 16961 0 -1 4202560 219 0 0 0 199 8 0 0 20 0 19 0 341921154 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409609111656 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17627] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17627/stat : 17627 (java) S 17613 17615 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409608057976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17628] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17628/stat : 17628 (java) S 17613 17615 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341921155 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409607005320 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17629] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17629/stat : 17629 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409605954064 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17630] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17630/stat : 17630 (java) S 17613 17615 16961 0 -1 4202560 2508 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409604901432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17615/tid=17631] ppid=17613 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17615/task/17631/stat : 17631 (java) S 17613 17615 16961 0 -1 4202560 2639 0 0 0 40 0 0 0 20 0 19 0 341921158 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409603848888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17632] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17632/stat : 17632 (java) S 17613 17615 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341921158 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409602796536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17615/tid=17633] ppid=17613 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/17615/task/17633/stat : 17633 (java) S 17613 17615 16961 0 -1 4202560 103 0 0 0 50 44 0 0 20 0 19 0 341921158 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409601744200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17615/tid=17634] ppid=17613 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17615/task/17634/stat : 17634 (java) S 17613 17615 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341921198 3097006080 418813 33554432000 1073741824 1073778376 140734849613040 140409599611688 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17615 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=909436
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=372639
# CPU time returned by wait4() is 1795.28
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.23
CPU time (s): 1800.02
CPU user time (s): 1797.81
CPU system time (s): 2.21
CPU usage (%): 100.267
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.91
system time used= 2.37264
maximum resident set size= 1675368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11342
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38042
involuntary context switches= 17022

runsolver used 4.67029 second user time and 18.6732 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 23:12:48
IDJOB=3741906
IDBENCH=90117
IDSOLVER=2319
FILE ID=node143/3741906-1338757968
RUNJOBID= node143-1338750755-16978
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= a8d55fafa030e5024da65ad802ff80be
RANDOM SEED=767331291

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23867024 kB
Buffers:         2376472 kB
Cached:          3974672 kB
SwapCached:          188 kB
Active:          5839852 kB
Inactive:        2189792 kB
Active(anon):    1666052 kB
Inactive(anon):    10988 kB
Active(file):    4173800 kB
Inactive(file):  2178804 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3944 kB
Writeback:             0 kB
AnonPages:       1691976 kB
Mapped:            18760 kB
Shmem:               160 kB
Slab:             822224 kB
SReclaimable:     263676 kB
SUnreclaim:       558548 kB
KernelStack:        1600 kB
PageTables:         7500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-03 23:42:45