Trace number 3742062

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.44 1795.29

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K98.opb
MD5SUM0d56c20200c8726f988a44319a68d2e3
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 benchmark165.396
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6664
Total number of constraints6862
Number of constraints which are clauses6764
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
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 99
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.10	c no version file found!!!
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version	1.6.0_24
0.00/0.10	c os.name	Linux
0.00/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch	amd64
0.00/0.10	c Free memory 1599470296
0.00/0.10	c Max memory 1607860224
0.00/0.10	c Total memory 1607860224
0.00/0.10	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742062-1338761563.opb
0.07/0.12	c reading problem ... 
0.78/0.46	c ... done. Wall clock time 0.339s.
0.78/0.46	c CPU time (experimental) 0.41s.
0.78/0.46	c #vars     6664
0.78/0.46	c #constraints  6860
953.19/949.82	c cleaning 274293 clauses out of 549483 for limit 1.062767147468338E-7
954.40/951.08	c cleaning 137585 clauses out of 275685 for limit 3.4758623788764046E-7
954.91/951.54	c cleaning 69015 clauses out of 138600 for limit 1.1401667360895525E-6
955.10/951.79	c cleaning 34586 clauses out of 70086 for limit 3.7221230055670532E-6
955.30/951.97	c cleaning 17791 clauses out of 36003 for limit 1.1985129401654945E-5
955.50/952.12	c cleaning 9116 clauses out of 18708 for limit 3.788540170903779E-5
955.60/952.21	c cleaning 4280 clauses out of 10092 for limit 1.1581849119787444E-4
955.70/952.32	c cleaning 2355 clauses out of 6316 for limit 3.064128381925742E-4
955.80/952.43	c cleaning 1463 clauses out of 4457 for limit 7.132212672224853E-4
955.90/952.53	c cleaning 932 clauses out of 3494 for limit 0.0015003752973447586
956.00/952.61	c cleaning 723 clauses out of 3063 for limit 0.00282531065812491
956.10/952.72	c cleaning 618 clauses out of 2839 for limit 0.005021913030324085
956.20/952.82	c cleaning 554 clauses out of 2721 for limit 0.008640958613775321
956.30/952.91	c cleaning 516 clauses out of 2667 for limit 0.014538625113426502
956.40/953.01	c cleaning 501 clauses out of 2652 for limit 0.024135885278673188
956.40/953.09	c cleaning 538 clauses out of 2651 for limit 0.03981831811425941
956.50/953.18	c cleaning 502 clauses out of 2613 for limit 0.06662068854309365
956.60/953.27	c cleaning 504 clauses out of 2610 for limit 0.10988271830311536
956.70/953.36	c cleaning 480 clauses out of 2607 for limit 0.1816014323024337
956.80/953.45	c cleaning 498 clauses out of 2626 for limit 0.2970208620097887
956.90/953.56	c cleaning 509 clauses out of 2631 for limit 0.49036588689600447
957.00/953.66	c cleaning 493 clauses out of 2620 for limit 0.8104508281665627
957.10/953.76	c cleaning 511 clauses out of 2626 for limit 1.332154558353105
957.20/953.86	c cleaning 492 clauses out of 2615 for limit 2.206142345662565
957.30/953.94	c cleaning 498 clauses out of 2623 for limit 3.6271274857231215
957.40/954.04	c cleaning 496 clauses out of 2625 for limit 5.977061028808603
957.50/954.13	c cleaning 490 clauses out of 2631 for limit 9.854192920755093
957.60/954.23	c cleaning 485 clauses out of 2639 for limit 16.169231602325603
957.70/954.32	c cleaning 508 clauses out of 2655 for limit 26.53106266206821
957.80/954.40	c cleaning 480 clauses out of 2646 for limit 43.858190151243896
957.90/954.50	c cleaning 494 clauses out of 2666 for limit 71.78542698313197
957.90/954.59	c cleaning 494 clauses out of 2672 for limit 118.11794055359518
958.10/954.72	c cleaning 507 clauses out of 2681 for limit 194.72195821011113
958.20/954.82	c cleaning 511 clauses out of 2671 for limit 321.35880666334214
958.30/954.91	c cleaning 521 clauses out of 2660 for limit 532.1552418565653
958.40/955.02	c cleaning 506 clauses out of 2639 for limit 884.5787003313318
958.50/955.10	c cleaning 497 clauses out of 2635 for limit 1463.9294885843922
958.50/955.18	c cleaning 476 clauses out of 2637 for limit 2409.9721512174615
958.60/955.27	c cleaning 510 clauses out of 2660 for limit 3936.0616530821044
958.70/955.37	c cleaning 494 clauses out of 2652 for limit 6523.714099339032
958.80/955.46	c cleaning 503 clauses out of 2659 for limit 10740.895742574103
958.90/955.59	c cleaning 475 clauses out of 2653 for limit 17700.027459691497
959.00/955.67	c cleaning 538 clauses out of 2678 for limit 28917.217693260394
959.10/955.75	c cleaning 958 clauses out of 2640 for limit 48374.783822507234
959.20/955.81	c cleaning 277 clauses out of 2188 for limit 96836.3929589009
959.20/955.88	c cleaning 417 clauses out of 2405 for limit 144417.4450473171
959.30/955.94	c cleaning 413 clauses out of 2488 for limit 230218.5154827758
959.30/956.00	c cleaning 483 clauses out of 2575 for limit 366833.74435782136
959.40/956.08	c cleaning 449 clauses out of 2592 for limit 600990.2161882597
959.50/956.15	c cleaning 497 clauses out of 2643 for limit 971988.4919585367
959.60/956.21	c cleaning 732 clauses out of 2647 for limit 1602118.8995908254
959.60/956.28	c cleaning 393 clauses out of 2415 for limit 2895925.845309468
959.70/956.35	c cleaning 459 clauses out of 2522 for limit 4573149.265027519
959.80/956.41	c cleaning 460 clauses out of 2562 for limit 7416563.317843298
959.80/956.47	c cleaning 468 clauses out of 2602 for limit 1.2042881943915932E7
959.90/956.52	c cleaning 480 clauses out of 2635 for limit 1.963122951024369E7
959.90/956.58	c cleaning 481 clauses out of 2654 for limit 3.211061154118345E7
960.00/956.65	c cleaning 513 clauses out of 2674 for limit 5.2611234335944325E7
960.10/956.72	c cleaning 570 clauses out of 2661 for limit 8.718683379677004E7
960.10/956.78	c cleaning 500 clauses out of 2590 for limit 1.4757656320553425E8
960.20/956.84	c cleaning 689 clauses out of 2590 for limit 2.4337349516534522E8
960.30/956.90	c cleaning 406 clauses out of 2403 for limit 4.33455165706462E8
960.30/956.96	c cleaning 421 clauses out of 2499 for limit 6.887420648119612E8
960.40/957.02	c cleaning 621 clauses out of 2574 for limit 1.0983282690667028E9
960.40/957.08	c cleaning 414 clauses out of 2453 for limit 1.9006364031203542E9
960.50/957.14	c cleaning 425 clauses out of 2539 for limit 3.0282364138809056E9
960.60/957.20	c cleaning 1298 clauses out of 2615 for limit 4.853680488551672E9
960.60/957.26	c cleaning 440 clauses out of 1816 for limit 1.1514588130788406E10
960.72/957.32	c cleaning 694 clauses out of 1876 for limit 1.83817690504414E10
960.72/957.38	c cleaning 448 clauses out of 1682 for limit 3.381037867632061E10
960.82/957.43	c cleaning 325 clauses out of 1734 for limit 5.408574549583998E10
960.82/957.49	c cleaning 279 clauses out of 1912 for limit 8.11341046233629E10
960.92/957.54	c cleaning 380 clauses out of 2133 for limit 1.1993787977725824E11
961.02/957.61	c cleaning 296 clauses out of 2251 for limit 1.8705037842454785E11
961.02/957.68	c cleaning 376 clauses out of 2454 for limit 2.826707707004835E11
961.12/957.75	c cleaning 443 clauses out of 2581 for limit 4.4455641258380365E11
961.22/957.82	c cleaning 510 clauses out of 2636 for limit 7.164012604245665E11
961.22/957.88	c cleaning 668 clauses out of 2625 for limit 1.1852059271136323E12
961.32/957.95	c cleaning 382 clauses out of 2457 for limit 2.088208469896013E12
961.42/958.03	c cleaning 444 clauses out of 2575 for limit 3.285925124548206E12
961.42/958.10	c cleaning 1304 clauses out of 2633 for limit 5.31017639562098E12
961.52/958.16	c cleaning 589 clauses out of 1827 for limit 1.2595288600788309E13
961.62/958.24	c cleaning 355 clauses out of 1738 for limit 2.183497934118054E13
961.62/958.30	c cleaning 326 clauses out of 1883 for limit 3.3235952105665344E13
961.72/958.35	c cleaning 180 clauses out of 2057 for limit 5.0174151842818734E13
961.82/958.42	c cleaning 338 clauses out of 2377 for limit 7.160461875549719E13
961.92/958.50	c cleaning 436 clauses out of 2540 for limit 1.1061827982269289E14
961.92/958.58	c cleaning 1039 clauses out of 2603 for limit 1.778311448444316E14
962.02/958.65	c cleaning 385 clauses out of 2067 for limit 3.704255532687543E14
962.12/958.72	c cleaning 310 clauses out of 2179 for limit 5.777454531674115E14
962.22/958.80	c cleaning 471 clauses out of 2370 for limit 8.768712262111194E14
962.22/958.88	c cleaning 1169 clauses out of 2398 for limit 1.4277637844545735E-5
962.32/958.94	c cleaning 574 clauses out of 1729 for limit 3.26562591854437E-5
962.42/959.00	c cleaning 587 clauses out of 1658 for limit 5.6329555431305125E-5
962.42/959.06	c cleaning 539 clauses out of 1570 for limit 9.800372267881462E-5
962.52/959.12	c cleaning 399 clauses out of 1529 for limit 1.6562336467072517E-4
962.52/959.18	c cleaning 360 clauses out of 1630 for limit 2.562107638191226E-4
962.62/959.23	c cleaning 152 clauses out of 1770 for limit 3.891057030648744E-4
962.62/959.30	c cleaning 241 clauses out of 2119 for limit 5.365377759217802E-4
962.72/959.37	c cleaning 369 clauses out of 2379 for limit 7.889095586582765E-4
962.82/959.43	c cleaning 401 clauses out of 2511 for limit 0.0012338584686519948
962.92/959.52	c cleaning 443 clauses out of 2611 for limit 0.001958824764270899
962.92/959.59	c cleaning 508 clauses out of 2665 for limit 0.0031554230672812818
963.02/959.67	c cleaning 494 clauses out of 2656 for limit 0.005216126484663338
963.12/959.75	c cleaning 485 clauses out of 2662 for limit 0.008582701740676482
963.22/959.83	c cleaning 506 clauses out of 2677 for limit 0.014074714284967073
963.32/959.90	c cleaning 475 clauses out of 2671 for limit 0.023263226954807925
963.32/959.99	c cleaning 512 clauses out of 2696 for limit 0.038008422481693324
963.42/960.07	c cleaning 473 clauses out of 2684 for limit 0.06296121614995775
963.52/960.14	c cleaning 515 clauses out of 2712 for limit 0.1028623242471531
963.62/960.23	c cleaning 492 clauses out of 2696 for limit 0.17046982128524574
963.72/960.32	c cleaning 492 clauses out of 2705 for limit 0.2804726533437664
963.82/960.40	c cleaning 508 clauses out of 2712 for limit 0.46088171951369516
963.82/960.48	c cleaning 506 clauses out of 2704 for limit 0.7623042963714903
963.92/960.56	c cleaning 524 clauses out of 2699 for limit 1.2607313982193398
964.02/960.65	c cleaning 508 clauses out of 2674 for limit 2.096454425763633
964.12/960.73	c cleaning 499 clauses out of 2666 for limit 3.467708401808688
964.22/960.81	c cleaning 490 clauses out of 2667 for limit 5.71657080619814
964.22/960.88	c cleaning 552 clauses out of 2680 for limit 9.409861495987316
1800.44/1795.28	c starts		: 22
1800.44/1795.28	c conflicts		: 1138495
1800.44/1795.28	c decisions		: 3521771
1800.44/1795.28	c propagations		: 374186630
1800.44/1795.28	c inspects		: 8160690738
1800.44/1795.28	c learnt literals	: 25
1800.44/1795.28	c learnt binary clauses	: 47553
1800.44/1795.28	c learnt ternary clauses	: 35401
1800.44/1795.28	c learnt clauses	: 1138470
1800.44/1795.28	c root simplifications	: 0
1800.44/1795.28	c removed literals (reason simplification)	: 0
1800.44/1795.28	c reason swapping (by a shorter reason)	: 0
1800.44/1795.28	c Calls to reduceDB	: 119
1800.44/1795.28	c speed (decisions/second)	: 1962.1992993122385
1800.44/1795.28	c non guided choices	4516
1800.44/1795.28	s UNKNOWN
1800.44/1795.28	c Total wall clock time (ms): 1795.153

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-3742062-1338761563/watcher-3742062-1338761563 -o /tmp/evaluation-result-3742062-1338761563/solver-3742062-1338761563 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742062-1338761563.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.01 2.00 2.00 3/194 17916
/proc/meminfo: memFree=23871680/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/17916/stat : 17916 (java) D 17914 17916 16961 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 342280702 2560000 46 33554432000 1073741824 1073778376 140733673444800 140733673441928 251035479335 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17916/statm: 625 46 37 9 0 29 0

[startup+0.105653 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 17916
/proc/meminfo: memFree=23871680/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 4182 0 1 0 6 1 0 0 20 0 18 0 342280702 3028844544 5389 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 739464 5389 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.200268 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 17916
/proc/meminfo: memFree=23871680/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=2957856 CPUtime=0.23 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 5343 0 1 0 21 2 0 0 20 0 18 0 342280702 3028844544 6978 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 739464 6978 2189 9 0 729885 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 2957856

[startup+0.300301 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 17916
/proc/meminfo: memFree=23871680/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 8316 0 1 0 48 2 0 0 20 0 18 0 342280702 3028844544 10435 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 739464 10435 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700265 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 17916
/proc/meminfo: memFree=23871680/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 9889 0 1 0 131 3 0 0 20 0 19 0 342280702 3097006080 17838 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 756105 17838 2272 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 17935
/proc/meminfo: memFree=23809028/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 9933 0 1 0 214 3 0 0 20 0 19 0 342280702 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 756105 18358 2275 9 0 746526 0
[pid=17916/tid=17918] ppid=17914 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/17916/task/17918/stat : 17918 (java) R 17914 17916 16961 0 -1 4202560 3125 0 1 0 143 2 0 0 20 0 19 0 342280704 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745949151688 139745889559004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17919] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745815030312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17920] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745813977512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17921] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745812924712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17922] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745811871912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17923] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745810820136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17924] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745809767336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17925] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745808714536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17926] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17916 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745807661736 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17927] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17916 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342280707 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745795250664 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17928] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17916 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745794196728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17929] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745793143816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17930] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745792092304 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17931] ppid=17914 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17916 16961 0 -1 4202560 2888 0 0 0 39 0 0 0 20 0 19 0 342280710 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745791040440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17932] ppid=17914 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17916 16961 0 -1 4202560 2724 0 0 0 29 0 0 0 20 0 19 0 342280710 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745789987640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17933] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745788935032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17934] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745787882440 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17935] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280750 3097006080 18358 33554432000 1073741824 1073778376 140736457375152 139745785750696 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 3024420

[startup+3.10066 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 17935
/proc/meminfo: memFree=23804436/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=3024420 CPUtime=3.79 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 9938 0 1 0 376 3 0 0 20 0 19 0 342280702 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 756105 19384 2275 9 0 746526 0
[pid=17916/tid=17918] ppid=17914 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/17916/task/17918/stat : 17918 (java) R 17914 17916 16961 0 -1 4202560 3128 0 1 0 302 2 0 0 20 0 19 0 342280704 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745949151816 139745889483242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17919] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745815030312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17920] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745813977512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17921] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745812924712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17922] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745811871912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17923] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745810820136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17924] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745809767336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17925] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745808714536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17926] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17916 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745807661736 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17927] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17916 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342280707 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745795250664 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17928] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17916 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745794196728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17929] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745793143816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17930] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745792092304 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17931] ppid=17914 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17916 16961 0 -1 4202560 2889 0 0 0 39 0 0 0 20 0 19 0 342280710 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745791040440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17932] ppid=17914 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17916 16961 0 -1 4202560 2725 0 0 0 31 0 0 0 20 0 19 0 342280710 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745789987640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17933] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745788935032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17934] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745787882440 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17935] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280750 3097006080 19384 33554432000 1073741824 1073778376 140736457375152 139745785750696 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 3024420

[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17935
/proc/meminfo: memFree=23791776/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=3024420 CPUtime=7 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 9946 0 1 0 696 4 0 0 20 0 19 0 342280702 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 756105 22383 2276 9 0 746526 0
[pid=17916/tid=17918] ppid=17914 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/17916/task/17918/stat : 17918 (java) R 17914 17916 16961 0 -1 4202560 3135 0 1 0 621 2 0 0 20 0 19 0 342280704 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745949149616 139745889559203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17919] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745815030312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17920] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745813977512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17921] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745812924712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17922] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745811871912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17923] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745810820136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17924] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745809767336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17925] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745808714536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17926] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17916 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342280706 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745807661736 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17927] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17916 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342280707 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745795250664 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17928] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17916 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745794196728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17929] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745793143816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17930] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745792092304 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17931] ppid=17914 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17916 16961 0 -1 4202560 2889 0 0 0 39 0 0 0 20 0 19 0 342280710 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745791040440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17932] ppid=17914 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17916 16961 0 -1 4202560 2725 0 0 0 31 0 0 0 20 0 19 0 342280710 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745789987640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17933] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745788935032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17934] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17916 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745787882440 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17935] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280750 3097006080 22383 33554432000 1073741824 1073778376 140736457375152 139745785750696 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=17916/tid=17933] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 418456 33554432000 1073741824 1073778376 140736457375152 139745788935032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17934] ppid=17914 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17916 16961 0 -1 4202560 104 0 0 0 56 50 0 0 20 0 19 0 342280710 3097006080 418456 33554432000 1073741824 1073778376 140736457375152 139745787882440 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17935] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280750 3097006080 418456 33554432000 1073741824 1073778376 140736457375152 139745785750696 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.52
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 18010
/proc/meminfo: memFree=22198420/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 12337 0 1 0 179761 243 0 0 20 0 19 0 342280702 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 756105 418614 2304 9 0 746526 0
[pid=17916/tid=17918] ppid=17914 vsize=3024420 CPUtime=1787.59 cores=1,3,5,7
/proc/17916/task/17918/stat : 17918 (java) R 17914 17916 16961 0 -1 4202560 3320 0 1 0 178724 35 0 0 20 0 19 0 342280704 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745949150512 139745889109916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17919] ppid=17914 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17916 16961 0 -1 4202560 222 0 0 0 24 16 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745815030312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17920] ppid=17914 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17916 16961 0 -1 4202560 241 0 0 0 38 17 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745813977512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17921] ppid=17914 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17916 16961 0 -1 4202560 207 0 0 0 26 16 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745812924712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17922] ppid=17914 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17916 16961 0 -1 4202560 312 0 0 0 29 25 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745811871912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17923] ppid=17914 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17916 16961 0 -1 4202560 220 0 0 0 24 18 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745810820136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17924] ppid=17914 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17916 16961 0 -1 4202560 195 0 0 0 29 16 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745809767336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17925] ppid=17914 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17916 16961 0 -1 4202560 305 0 0 0 32 23 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745808714536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17926] ppid=17914 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17916 16961 0 -1 4202560 163 0 0 0 27 13 0 0 20 0 19 0 342280706 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745807661736 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17927] ppid=17914 vsize=3024420 CPUtime=1.66 cores=1,3,5,7
/proc/17916/task/17927/stat : 17927 (java) S 17914 17916 16961 0 -1 4202560 212 0 0 0 159 7 0 0 20 0 19 0 342280707 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745795250664 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17928] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17916 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745794196728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17929] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17916 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342280708 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745793143816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17930] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745792092304 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17931] ppid=17914 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17916 16961 0 -1 4202560 2892 0 0 0 41 0 0 0 20 0 19 0 342280710 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745791040440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17932] ppid=17914 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17916 16961 0 -1 4202560 2762 0 0 0 40 0 0 0 20 0 19 0 342280710 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745789987640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17933] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342280710 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745788935032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17934] ppid=17914 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17916 16961 0 -1 4202560 104 0 0 0 56 51 0 0 20 0 19 0 342280710 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745787882440 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17935] ppid=17914 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342280750 3097006080 418614 33554432000 1073741824 1073778376 140736457375152 139745785750696 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 18010
/proc/meminfo: memFree=22198420/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=3157548 CPUtime=1800.33 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 12372 0 1 0 179790 243 0 0 20 0 21 0 342280702 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 789387 418646 2304 9 0 779808 0
[pid=17916/tid=17918] ppid=17914 vsize=3157548 CPUtime=1787.6 cores=1,3,5,7
/proc/17916/task/17918/stat : 17918 (java) S 17914 17916 16961 0 -1 4202560 3321 0 1 0 178725 35 0 0 20 0 21 0 342280704 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745949151832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17919] ppid=17914 vsize=3157548 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17916 16961 0 -1 4202560 222 0 0 0 24 16 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745815030312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17920] ppid=17914 vsize=3157548 CPUtime=0.55 cores=1,3,5,7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17916 16961 0 -1 4202560 241 0 0 0 38 17 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745813977512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17921] ppid=17914 vsize=3157548 CPUtime=0.42 cores=1,3,5,7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17916 16961 0 -1 4202560 207 0 0 0 26 16 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745812924712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17922] ppid=17914 vsize=3157548 CPUtime=0.54 cores=1,3,5,7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17916 16961 0 -1 4202560 312 0 0 0 29 25 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745811871912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17923] ppid=17914 vsize=3157548 CPUtime=0.42 cores=1,3,5,7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17916 16961 0 -1 4202560 220 0 0 0 24 18 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745810820136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17924] ppid=17914 vsize=3157548 CPUtime=0.45 cores=1,3,5,7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17916 16961 0 -1 4202560 195 0 0 0 29 16 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745809767336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17925] ppid=17914 vsize=3157548 CPUtime=0.55 cores=1,3,5,7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17916 16961 0 -1 4202560 305 0 0 0 32 23 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745808714536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17926] ppid=17914 vsize=3157548 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17916 16961 0 -1 4202560 163 0 0 0 27 13 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745807661736 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17927] ppid=17914 vsize=3157548 CPUtime=1.94 cores=1,3,5,7
/proc/17916/task/17927/stat : 17927 (java) R 17914 17916 16961 0 -1 4202560 217 0 0 0 187 7 0 0 20 0 21 0 342280707 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745795250576 139745955659808 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17928] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17916 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 342280708 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745794196728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17929] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17916 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 342280708 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745793143816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17930] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17916 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745792092304 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17931] ppid=17914 vsize=3157548 CPUtime=0.41 cores=1,3,5,7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17916 16961 0 -1 4202560 2892 0 0 0 41 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745791040440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17932] ppid=17914 vsize=3157548 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17916 16961 0 -1 4202560 2762 0 0 0 40 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745789987640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17933] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745788935032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17934] ppid=17914 vsize=3157548 CPUtime=1.07 cores=1,3,5,7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17916 16961 0 -1 4202560 104 0 0 0 56 51 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745787882440 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17935] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342280750 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745785750696 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 3157548

[startup+1795.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/216 18013
/proc/meminfo: memFree=22198412/32873844 swapFree=7628/7628
[pid=17916] ppid=17914 vsize=3157548 CPUtime=1800.44 cores=1,3,5,7
/proc/17916/stat : 17916 (java) S 17914 17916 16961 0 -1 4202496 12372 0 1 0 179801 243 0 0 20 0 21 0 342280702 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 140736457366288 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17916/statm: 789387 418646 2304 9 0 779808 0
[pid=17916/tid=17918] ppid=17914 vsize=3157548 CPUtime=1787.6 cores=1,3,5,7
/proc/17916/task/17918/stat : 17918 (java) S 17914 17916 16961 0 -1 4202560 3321 0 1 0 178725 35 0 0 20 0 21 0 342280704 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745949151832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17919] ppid=17914 vsize=3157548 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17919/stat : 17919 (java) S 17914 17916 16961 0 -1 4202560 222 0 0 0 24 16 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745815030312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17920] ppid=17914 vsize=3157548 CPUtime=0.55 cores=1,3,5,7
/proc/17916/task/17920/stat : 17920 (java) S 17914 17916 16961 0 -1 4202560 241 0 0 0 38 17 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745813977512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17921] ppid=17914 vsize=3157548 CPUtime=0.42 cores=1,3,5,7
/proc/17916/task/17921/stat : 17921 (java) S 17914 17916 16961 0 -1 4202560 207 0 0 0 26 16 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745812924712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17922] ppid=17914 vsize=3157548 CPUtime=0.54 cores=1,3,5,7
/proc/17916/task/17922/stat : 17922 (java) S 17914 17916 16961 0 -1 4202560 312 0 0 0 29 25 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745811871912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17923] ppid=17914 vsize=3157548 CPUtime=0.42 cores=1,3,5,7
/proc/17916/task/17923/stat : 17923 (java) S 17914 17916 16961 0 -1 4202560 220 0 0 0 24 18 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745810820136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17924] ppid=17914 vsize=3157548 CPUtime=0.45 cores=1,3,5,7
/proc/17916/task/17924/stat : 17924 (java) S 17914 17916 16961 0 -1 4202560 195 0 0 0 29 16 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745809767336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17925] ppid=17914 vsize=3157548 CPUtime=0.55 cores=1,3,5,7
/proc/17916/task/17925/stat : 17925 (java) S 17914 17916 16961 0 -1 4202560 305 0 0 0 32 23 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745808714536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17916/tid=17926] ppid=17914 vsize=3157548 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17926/stat : 17926 (java) S 17914 17916 16961 0 -1 4202560 163 0 0 0 27 13 0 0 20 0 21 0 342280706 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745807661736 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17927] ppid=17914 vsize=3157548 CPUtime=2.05 cores=1,3,5,7
/proc/17916/task/17927/stat : 17927 (java) R 17914 17916 16961 0 -1 4202560 217 0 0 0 198 7 0 0 20 0 21 0 342280707 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745795250576 251044315428 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17916/tid=17928] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17928/stat : 17928 (java) S 17914 17916 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 342280708 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745794196728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17929] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17929/stat : 17929 (java) S 17914 17916 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 342280708 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745793143816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17930] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17930/stat : 17930 (java) S 17914 17916 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745792092304 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17931] ppid=17914 vsize=3157548 CPUtime=0.41 cores=1,3,5,7
/proc/17916/task/17931/stat : 17931 (java) S 17914 17916 16961 0 -1 4202560 2892 0 0 0 41 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745791040440 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17932] ppid=17914 vsize=3157548 CPUtime=0.4 cores=1,3,5,7
/proc/17916/task/17932/stat : 17932 (java) S 17914 17916 16961 0 -1 4202560 2762 0 0 0 40 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745789987640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17933] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17933/stat : 17933 (java) S 17914 17916 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745788935032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=17934] ppid=17914 vsize=3157548 CPUtime=1.07 cores=1,3,5,7
/proc/17916/task/17934/stat : 17934 (java) S 17914 17916 16961 0 -1 4202560 104 0 0 0 56 51 0 0 20 0 21 0 342280710 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745787882440 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=17935] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/17935/stat : 17935 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342280750 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745785750696 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17916/tid=18012] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/18012/stat : 18012 (java) S 17914 17916 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 342460184 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745784697192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17916/tid=18013] ppid=17914 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/17916/task/18013/stat : 18013 (java) S 17914 17916 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342460184 3233329152 418646 33554432000 1073741824 1073778376 140736457375152 139745783644520 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 3157548

Child status: 143

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

Real time (s): 1795.29
CPU time (s): 1800.44
CPU user time (s): 1798.01
CPU system time (s): 2.43
CPU usage (%): 100.287
Max. virtual memory (cumulated for all children) (KiB): 3157548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.09
system time used= 2.50162
maximum resident set size= 1674592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12375
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37988
involuntary context switches= 2930

runsolver used 6.17106 second user time and 16.9324 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 00:12:43
IDJOB=3742062
IDBENCH=90129
IDSOLVER=2319
FILE ID=node143/3742062-1338761563
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_K98.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742062-1338761563/watcher-3742062-1338761563 -o /tmp/evaluation-result-3742062-1338761563/solver-3742062-1338761563 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742062-1338761563.opb           

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

MD5SUM BENCH= 0d56c20200c8726f988a44319a68d2e3
RANDOM SEED=1000891169

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:        23872324 kB
Buffers:         2377412 kB
Cached:          3975476 kB
SwapCached:          188 kB
Active:          5844536 kB
Inactive:        2190444 kB
Active(anon):    1669648 kB
Inactive(anon):    10988 kB
Active(file):    4174888 kB
Inactive(file):  2179456 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3964 kB
Writeback:             0 kB
AnonPages:       1685400 kB
Mapped:            18768 kB
Shmem:               160 kB
Slab:             822240 kB
SReclaimable:     263704 kB
SUnreclaim:       558536 kB
KernelStack:        1600 kB
PageTables:         7484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827376 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-04 00:42:40