Trace number 3741854

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.06 1794.92

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K87.opb
MD5SUM800363f05bcd3a7fdae42567bbf8c0cf
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5916
Total number of constraints6092
Number of constraints which are clauses6005
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint87
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 88
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-3741854-1338756171.opb
0.06/0.13	c reading problem ... 
0.76/0.45	c ... done. Wall clock time 0.321s.
0.76/0.45	c CPU time (experimental) 0.4s.
0.76/0.45	c #vars     5916
0.76/0.45	c #constraints  6090
896.53/893.20	c cleaning 283696 clauses out of 567975 for limit 11.189042762023762
897.75/894.33	c cleaning 142204 clauses out of 284778 for limit 36.76521359514568
898.54/895.12	c cleaning 70977 clauses out of 143074 for limit 120.68094351701923
899.14/895.73	c cleaning 35631 clauses out of 72597 for limit 392.2262256805559
899.44/896.09	c cleaning 18125 clauses out of 37466 for limit 1253.3543172626257
899.64/896.29	c cleaning 9240 clauses out of 19843 for limit 3910.4682876375696
899.85/896.42	c cleaning 4834 clauses out of 11101 for limit 11504.317565212063
899.95/896.52	c cleaning 2681 clauses out of 6767 for limit 31123.087566623897
900.04/896.62	c cleaning 1570 clauses out of 4587 for limit 75794.99170825451
900.14/896.71	c cleaning 1008 clauses out of 3516 for limit 162907.75498326114
900.14/896.78	c cleaning 686 clauses out of 3008 for limit 314028.2219818451
900.24/896.84	c cleaning 658 clauses out of 2822 for limit 552008.0228065092
900.34/896.91	c cleaning 593 clauses out of 2664 for limit 964326.4205129176
900.34/896.99	c cleaning 1199 clauses out of 2572 for limit 1648836.985698645
900.44/897.04	c cleaning 619 clauses out of 1873 for limit 3733935.3531352724
900.54/897.11	c cleaning 171 clauses out of 1754 for limit 6575531.611402168
900.54/897.18	c cleaning 388 clauses out of 2085 for limit 9140696.941815142
900.64/897.26	c cleaning 334 clauses out of 2194 for limit 1.4282396908873864E7
900.74/897.34	c cleaning 1129 clauses out of 2360 for limit 2.189684808039518E7
900.84/897.42	c cleaning 544 clauses out of 1732 for limit 4.925338908787591E7
900.84/897.49	c cleaning 384 clauses out of 1688 for limit 8.334267808904925E7
900.95/897.56	c cleaning 361 clauses out of 1804 for limit 1.2860541282328442E8
901.05/897.63	c cleaning 248 clauses out of 1942 for limit 1.9681941230810183E8
901.14/897.72	c cleaning 404 clauses out of 2196 for limit 2.8761380724943674E8
901.24/897.80	c cleaning 361 clauses out of 2290 for limit 4.539347682353738E8
901.24/897.88	c cleaning 428 clauses out of 2431 for limit 7.065922699677418E8
901.34/897.96	c cleaning 660 clauses out of 2501 for limit 1.1303866311786058E9
901.44/898.04	c cleaning 377 clauses out of 2341 for limit 1.9915681746493928E9
901.54/898.13	c cleaning 450 clauses out of 2464 for limit 3.1204108177125077E9
901.64/898.22	c cleaning 464 clauses out of 2515 for limit 5.046669772390704E9
901.74/898.31	c cleaning 474 clauses out of 2550 for limit 8.200192959024214E9
901.84/898.40	c cleaning 488 clauses out of 2580 for limit 1.3419566304830553E10
901.94/898.50	c cleaning 468 clauses out of 2588 for limit 2.1974133281905434E10
901.94/898.58	c cleaning 567 clauses out of 2620 for limit 3.579568041594906E10
902.05/898.65	c cleaning 539 clauses out of 2553 for limit 6.0581076398686226E10
902.15/898.72	c cleaning 529 clauses out of 2514 for limit 1.014561584323239E11
902.15/898.79	c cleaning 720 clauses out of 2485 for limit 1.6926734464057285E11
902.24/898.85	c cleaning 403 clauses out of 2266 for limit 3.064291437505408E11
902.34/898.91	c cleaning 1154 clauses out of 2364 for limit 4.8487846902619214E11
902.34/898.97	c cleaning 620 clauses out of 1708 for limit 1.104534712386814E12
902.44/899.03	c cleaning 334 clauses out of 1588 for limit 1.9591722661670562E12
902.44/899.09	c cleaning 676 clauses out of 1754 for limit 2.9251586148999453E12
902.54/899.14	c cleaning 345 clauses out of 1581 for limit 5.367926514599374E12
902.54/899.19	c cleaning 381 clauses out of 1733 for limit 8.051785944873138E12
902.64/899.24	c cleaning 301 clauses out of 1852 for limit 1.2425265806501209E13
902.74/899.30	c cleaning 1016 clauses out of 2051 for limit 1.850277625303353E13
902.74/899.35	c cleaning 508 clauses out of 1535 for limit 4.077087805535364E13
902.84/899.40	c cleaning 664 clauses out of 1529 for limit 6.763568138613481E13
902.84/899.44	c cleaning 384 clauses out of 1363 for limit 1.2487467262055527E14
902.94/899.50	c cleaning 341 clauses out of 1479 for limit 1.8978327269701844E14
902.94/899.55	c cleaning 210 clauses out of 1639 for limit 2.827076435984829E14
903.04/899.61	c cleaning 488 clauses out of 1928 for limit 3.959413412831336E14
903.04/899.68	c cleaning 300 clauses out of 1941 for limit 6.49236223576379E14
903.15/899.76	c cleaning 1045 clauses out of 2141 for limit 9.70660815562986E14
903.25/899.81	c cleaning 361 clauses out of 1595 for limit 2.1465690000765298E15
903.25/899.88	c cleaning 843 clauses out of 1735 for limit 3.257590277980121E-5
903.34/899.93	c cleaning 475 clauses out of 1391 for limit 6.694068999727022E-5
903.34/899.99	c cleaning 567 clauses out of 1417 for limit 1.0847704923156896E-4
903.44/900.04	c cleaning 425 clauses out of 1349 for limit 1.877228499492504E-4
903.54/900.11	c cleaning 415 clauses out of 1424 for limit 2.932749613940799E-4
903.54/900.17	c cleaning 196 clauses out of 1509 for limit 4.564062918653596E-4
903.64/900.23	c cleaning 293 clauses out of 1813 for limit 6.264680770165879E-4
903.64/900.29	c cleaning 397 clauses out of 2021 for limit 9.277283642790656E-4
903.74/900.35	c cleaning 430 clauses out of 2124 for limit 0.0014557557795547096
903.84/900.40	c cleaning 466 clauses out of 2193 for limit 0.002322874674039751
903.84/900.45	c cleaning 471 clauses out of 2227 for limit 0.003772246642043246
903.94/900.51	c cleaning 477 clauses out of 2259 for limit 0.006151251572392964
903.94/900.57	c cleaning 481 clauses out of 2279 for limit 0.010025077680421586
904.06/900.64	c cleaning 488 clauses out of 2298 for limit 0.01639600093161743
904.16/900.72	c cleaning 496 clauses out of 2310 for limit 0.026898735582810376
904.16/900.79	c cleaning 521 clauses out of 2315 for limit 0.04430811243668948
904.27/900.86	c cleaning 517 clauses out of 2293 for limit 0.07369729792694575
904.37/900.93	c cleaning 500 clauses out of 2278 for limit 0.1225820303878414
904.37/900.99	c cleaning 483 clauses out of 2276 for limit 0.20192734542399934
904.46/901.07	c cleaning 494 clauses out of 2293 for limit 0.3305363492226747
904.56/901.14	c cleaning 497 clauses out of 2299 for limit 0.5436760432018883
904.66/901.22	c cleaning 495 clauses out of 2302 for limit 0.8954260718455733
904.76/901.31	c cleaning 496 clauses out of 2307 for limit 1.4734769526442149
904.76/901.40	c cleaning 494 clauses out of 2311 for limit 2.4257547098623773
904.86/901.47	c cleaning 485 clauses out of 2318 for limit 3.992305765308865
904.96/901.53	c cleaning 484 clauses out of 2333 for limit 6.5415155147133595
905.06/901.60	c cleaning 501 clauses out of 2348 for limit 10.70819810599926
905.06/901.68	c cleaning 494 clauses out of 2349 for limit 17.687089912613054
905.16/901.76	c cleaning 515 clauses out of 2353 for limit 29.060583934487862
905.26/901.82	c cleaning 510 clauses out of 2338 for limit 48.232263556685304
905.26/901.90	c cleaning 487 clauses out of 2328 for limit 79.88312791842894
905.37/901.99	c cleaning 523 clauses out of 2341 for limit 131.00639956512677
905.47/902.08	c cleaning 496 clauses out of 2319 for limit 218.3149993527076
905.56/902.16	c cleaning 503 clauses out of 2323 for limit 359.41069875629603
905.66/902.26	c cleaning 508 clauses out of 2320 for limit 593.482766873784
905.76/902.37	c cleaning 503 clauses out of 2311 for limit 981.5615265858851
905.86/902.45	c cleaning 508 clauses out of 2308 for limit 1620.8303318988753
905.96/902.53	c cleaning 497 clauses out of 2300 for limit 2682.2633213145828
905.96/902.59	c cleaning 497 clauses out of 2303 for limit 4417.648892885355
906.06/902.66	c cleaning 493 clauses out of 2306 for limit 7275.8161742442335
906.16/902.72	c cleaning 479 clauses out of 2313 for limit 11962.481389650646
906.16/902.80	c cleaning 497 clauses out of 2334 for limit 19550.233248514814
906.26/902.87	c cleaning 487 clauses out of 2337 for limit 32199.562397877184
906.36/902.95	c cleaning 486 clauses out of 2350 for limit 52807.6336265474
906.47/903.02	c cleaning 514 clauses out of 2368 for limit 86771.44004491693
906.47/903.08	c cleaning 508 clauses out of 2350 for limit 143617.8697612181
906.57/903.14	c cleaning 481 clauses out of 2345 for limit 238063.5569802366
906.66/903.21	c cleaning 463 clauses out of 2362 for limit 388993.8502642561
1800.06/1794.91	c starts		: 22
1800.06/1794.91	c conflicts		: 1143317
1800.06/1794.91	c decisions		: 3146711
1800.06/1794.91	c propagations		: 349101500
1800.06/1794.91	c inspects		: 8786422203
1800.06/1794.91	c learnt literals	: 26
1800.06/1794.91	c learnt binary clauses	: 37741
1800.06/1794.91	c learnt ternary clauses	: 28551
1800.06/1794.91	c learnt clauses	: 1143291
1800.06/1794.91	c root simplifications	: 0
1800.06/1794.91	c removed literals (reason simplification)	: 0
1800.06/1794.91	c reason swapping (by a shorter reason)	: 0
1800.06/1794.91	c Calls to reduceDB	: 103
1800.06/1794.91	c speed (decisions/second)	: 1753.574479633672
1800.06/1794.91	c non guided choices	2609
1800.06/1794.91	s UNKNOWN
1800.06/1794.91	c Total wall clock time (ms): 1794.784

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 3/194 17459
/proc/meminfo: memFree=23876380/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/17459/stat : 17459 (java) D 17457 17459 16961 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341741433 2560000 46 33554432000 1073741824 1073778376 140734117009392 140734117006520 251035479335 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17459/statm: 625 46 37 9 0 29 0

[startup+0.016426 s]
/proc/loadavg: 2.00 2.00 1.96 3/194 17459
/proc/meminfo: memFree=23876380/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 341741433 24780800 867 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 6050 867 654 9 0 385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 1.96 3/194 17459
/proc/meminfo: memFree=23876380/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 4178 0 1 0 5 1 0 0 20 0 18 0 341741433 3028844544 5385 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 739464 5385 1788 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300301 s]
/proc/loadavg: 2.00 2.00 1.96 3/194 17459
/proc/meminfo: memFree=23876380/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 8099 0 1 0 47 2 0 0 20 0 18 0 341741433 3028844544 10843 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 739464 10843 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.70031 s]
/proc/loadavg: 2.00 2.00 1.96 3/194 17459
/proc/meminfo: memFree=23876380/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=3024420 CPUtime=1.3 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 11248 0 1 0 127 3 0 0 20 0 19 0 341741433 3097006080 17214 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 756105 17214 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 3024420

[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 1.96 3/213 17478
/proc/meminfo: memFree=23816048/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=3024420 CPUtime=2.15 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 11336 0 1 0 212 3 0 0 20 0 19 0 341741433 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 756105 17733 2272 9 0 746526 0
[pid=17459/tid=17461] ppid=17457 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/17459/task/17461/stat : 17461 (java) R 17457 17459 16961 0 -1 4202560 3121 0 1 0 143 2 0 0 20 0 19 0 341741435 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673662738632 140673603064520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17462] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673527966376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17463] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673526913832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17464] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673525861288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17465] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673524808744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17466] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673523755176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17467] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673522702632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17468] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673521650088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17469] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17459 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673520597544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17470] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17459 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673508399720 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17471] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17459 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673507346040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17472] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673506293384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17473] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673505242128 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17474] ppid=17457 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17459 16961 0 -1 4202560 2560 0 0 0 32 0 0 0 20 0 19 0 341741441 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673504188472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17475] ppid=17457 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17459 16961 0 -1 4202560 4460 0 0 0 34 0 0 0 20 0 19 0 341741441 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673503135928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17476] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673502083576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17477] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673501031240 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17478] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741479 3097006080 17733 33554432000 1073741824 1073778376 140735746492064 140673498899752 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 3024420

[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 1.96 3/213 17478
/proc/meminfo: memFree=23809516/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=3024420 CPUtime=3.78 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 11341 0 1 0 375 3 0 0 20 0 19 0 341741433 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 756105 19781 2272 9 0 746526 0
[pid=17459/tid=17461] ppid=17457 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/17459/task/17461/stat : 17461 (java) R 17457 17459 16961 0 -1 4202560 3126 0 1 0 302 2 0 0 20 0 19 0 341741435 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673662738856 140673603128291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17462] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673527966376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17463] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673526913832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17464] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673525861288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17465] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673524808744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17466] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673523755176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17467] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673522702632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17468] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673521650088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17469] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17459 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673520597544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17470] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17459 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673508399720 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17471] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17459 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673507346040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17472] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673506293384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17473] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673505242128 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17474] ppid=17457 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17459 16961 0 -1 4202560 2560 0 0 0 33 0 0 0 20 0 19 0 341741441 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673504188472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17475] ppid=17457 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17459 16961 0 -1 4202560 4460 0 0 0 36 0 0 0 20 0 19 0 341741441 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673503135928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17476] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673502083576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17477] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673501031240 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17478] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741479 3097006080 19781 33554432000 1073741824 1073778376 140735746492064 140673498899752 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.30079 s]
/proc/loadavg: 2.00 2.00 1.96 3/213 17478
/proc/meminfo: memFree=23794684/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=3024420 CPUtime=6.99 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 11351 0 1 0 695 4 0 0 20 0 19 0 341741433 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 756105 23864 2273 9 0 746526 0
[pid=17459/tid=17461] ppid=17457 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/17459/task/17461/stat : 17461 (java) R 17457 17459 16961 0 -1 4202560 3135 0 1 0 621 2 0 0 20 0 19 0 341741435 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673662738960 140673603064621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17462] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673527966376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17463] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673526913832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17464] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673525861288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17465] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673524808744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17466] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673523755176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17467] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673522702632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17468] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673521650088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17469] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17459 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341741437 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673520597544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17470] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17459 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673508399720 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17471] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17459 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673507346040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17472] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673506293384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17473] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673505242128 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17474] ppid=17457 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17459 16961 0 -1 4202560 2560 0 0 0 33 0 0 0 20 0 19 0 341741441 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673504188472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17475] ppid=17457 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17459 16961 0 -1 4202560 4460 0 0 0 36 0 0 0 20 0 19 0 341741441 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673503135928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17476] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673502083576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17477] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17459 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673501031240 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17478] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741479 3097006080 23864 33554432000 1073741824 1073778376 140735746492064 140673498899752 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=17459/tid=17474] ppid=17457 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17459 16961 0 -1 4202560 2583 0 0 0 43 0 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673504188472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17475] ppid=17457 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17459 16961 0 -1 4202560 4463 0 0 0 39 0 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673503135928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17476] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673502083576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17477] ppid=17457 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17459 16961 0 -1 4202560 100 0 0 0 51 52 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673501031240 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17478] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741479 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673498899752 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.38
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/213 17575
/proc/meminfo: memFree=22198256/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=3024420 CPUtime=1787.44 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 13815 0 1 0 178490 254 0 0 20 0 19 0 341741433 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 756105 418343 2302 9 0 746526 0
[pid=17459/tid=17461] ppid=17457 vsize=3024420 CPUtime=1774.8 cores=1,3,5,7
/proc/17459/task/17461/stat : 17461 (java) R 17457 17459 16961 0 -1 4202560 3317 0 1 0 177446 34 0 0 20 0 19 0 341741435 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673662737712 140673603064757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17462] ppid=17457 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17459 16961 0 -1 4202560 165 0 0 0 20 11 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673527966376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17463] ppid=17457 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17459 16961 0 -1 4202560 181 0 0 0 25 13 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673526913832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17464] ppid=17457 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17459 16961 0 -1 4202560 315 0 0 0 28 23 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673525861288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17465] ppid=17457 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17459 16961 0 -1 4202560 423 0 0 0 35 24 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673524808744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17466] ppid=17457 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17459 16961 0 -1 4202560 196 0 0 0 22 15 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673523755176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17467] ppid=17457 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17459 16961 0 -1 4202560 224 0 0 0 23 16 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673522702632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17468] ppid=17457 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17459 16961 0 -1 4202560 159 0 0 0 17 12 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673521650088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17469] ppid=17457 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17459 16961 0 -1 4202560 295 0 0 0 25 22 0 0 20 0 19 0 341741437 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673520597544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17470] ppid=17457 vsize=3024420 CPUtime=2.02 cores=1,3,5,7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17459 16961 0 -1 4202560 209 0 0 0 194 8 0 0 20 0 19 0 341741438 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673508399720 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17471] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17459 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673507346040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17472] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17459 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673506293384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17473] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673505242128 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17474] ppid=17457 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17459 16961 0 -1 4202560 2583 0 0 0 43 0 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673504188472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17475] ppid=17457 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17459 16961 0 -1 4202560 4463 0 0 0 39 0 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673503135928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17476] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673502083576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17477] ppid=17457 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17459 16961 0 -1 4202560 104 0 0 0 53 53 0 0 20 0 19 0 341741441 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673501031240 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17478] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741479 3097006080 418343 33554432000 1073741824 1073778376 140735746492064 140673498899752 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 2.13 2.03 1.98 3/213 17575
/proc/meminfo: memFree=22197440/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 13815 0 1 0 179752 254 0 0 20 0 19 0 341741433 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 756105 418405 2302 9 0 746526 0
[pid=17459/tid=17461] ppid=17457 vsize=3024420 CPUtime=1787.37 cores=1,3,5,7
/proc/17459/task/17461/stat : 17461 (java) R 17457 17459 16961 0 -1 4202560 3317 0 1 0 178702 35 0 0 20 0 19 0 341741435 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673662737712 140673603064570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17462] ppid=17457 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17459 16961 0 -1 4202560 165 0 0 0 20 11 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673527966376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17463] ppid=17457 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17459 16961 0 -1 4202560 181 0 0 0 25 13 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673526913832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17464] ppid=17457 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17459 16961 0 -1 4202560 315 0 0 0 28 23 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673525861288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17465] ppid=17457 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17459 16961 0 -1 4202560 423 0 0 0 35 24 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673524808744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17466] ppid=17457 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17459 16961 0 -1 4202560 196 0 0 0 22 15 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673523755176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17467] ppid=17457 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17459 16961 0 -1 4202560 224 0 0 0 23 16 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673522702632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17468] ppid=17457 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17459 16961 0 -1 4202560 159 0 0 0 17 12 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673521650088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17469] ppid=17457 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17459 16961 0 -1 4202560 295 0 0 0 25 22 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673520597544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17470] ppid=17457 vsize=3024420 CPUtime=2.02 cores=1,3,5,7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17459 16961 0 -1 4202560 209 0 0 0 194 8 0 0 20 0 19 0 341741438 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673508399720 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17471] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17459 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673507346040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17472] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17459 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673506293384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17473] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673505242128 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17474] ppid=17457 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17459 16961 0 -1 4202560 2583 0 0 0 43 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673504188472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17475] ppid=17457 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17459 16961 0 -1 4202560 4463 0 0 0 39 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673503135928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17476] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673502083576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17477] ppid=17457 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17459 16961 0 -1 4202560 104 0 0 0 53 54 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673501031240 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17478] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741479 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673498899752 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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+1794.9 s]
/proc/loadavg: 2.13 2.03 1.98 3/213 17575
/proc/meminfo: memFree=22197440/32873844 swapFree=7628/7628
[pid=17459] ppid=17457 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/17459/stat : 17459 (java) S 17457 17459 16961 0 -1 4202496 13815 0 1 0 179752 254 0 0 20 0 19 0 341741433 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140735746483200 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17459/statm: 756105 418405 2302 9 0 746526 0
[pid=17459/tid=17461] ppid=17457 vsize=3024420 CPUtime=1787.37 cores=1,3,5,7
/proc/17459/task/17461/stat : 17461 (java) R 17457 17459 16961 0 -1 4202560 3317 0 1 0 178702 35 0 0 20 0 19 0 341741435 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673662737712 140673603064570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17462] ppid=17457 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/17459/task/17462/stat : 17462 (java) S 17457 17459 16961 0 -1 4202560 165 0 0 0 20 11 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673527966376 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17463] ppid=17457 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17459/task/17463/stat : 17463 (java) S 17457 17459 16961 0 -1 4202560 181 0 0 0 25 13 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673526913832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17464] ppid=17457 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/17459/task/17464/stat : 17464 (java) S 17457 17459 16961 0 -1 4202560 315 0 0 0 28 23 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673525861288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17465] ppid=17457 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/17459/task/17465/stat : 17465 (java) S 17457 17459 16961 0 -1 4202560 423 0 0 0 35 24 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673524808744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17466] ppid=17457 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/17459/task/17466/stat : 17466 (java) S 17457 17459 16961 0 -1 4202560 196 0 0 0 22 15 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673523755176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17467] ppid=17457 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17459/task/17467/stat : 17467 (java) S 17457 17459 16961 0 -1 4202560 224 0 0 0 23 16 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673522702632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17468] ppid=17457 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/17459/task/17468/stat : 17468 (java) S 17457 17459 16961 0 -1 4202560 159 0 0 0 17 12 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673521650088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17469] ppid=17457 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17459/task/17469/stat : 17469 (java) S 17457 17459 16961 0 -1 4202560 295 0 0 0 25 22 0 0 20 0 19 0 341741437 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673520597544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17470] ppid=17457 vsize=3024420 CPUtime=2.02 cores=1,3,5,7
/proc/17459/task/17470/stat : 17470 (java) S 17457 17459 16961 0 -1 4202560 209 0 0 0 194 8 0 0 20 0 19 0 341741438 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673508399720 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17471] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17471/stat : 17471 (java) S 17457 17459 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673507346040 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17472] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17472/stat : 17472 (java) S 17457 17459 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341741438 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673506293384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17459/tid=17473] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17473/stat : 17473 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673505242128 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17474] ppid=17457 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17459/task/17474/stat : 17474 (java) S 17457 17459 16961 0 -1 4202560 2583 0 0 0 43 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673504188472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17459/tid=17475] ppid=17457 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/17459/task/17475/stat : 17475 (java) S 17457 17459 16961 0 -1 4202560 4463 0 0 0 39 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673503135928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17476] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17476/stat : 17476 (java) S 17457 17459 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673502083576 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17459/tid=17477] ppid=17457 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/17459/task/17477/stat : 17477 (java) S 17457 17459 16961 0 -1 4202560 104 0 0 0 53 54 0 0 20 0 19 0 341741441 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673501031240 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17459/tid=17478] ppid=17457 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17459/task/17478/stat : 17478 (java) S 17457 17459 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341741479 3097006080 418405 33554432000 1073741824 1073778376 140735746492064 140673498899752 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1794.92
CPU time (s): 1800.06
CPU user time (s): 1797.52
CPU system time (s): 2.54
CPU usage (%): 100.286
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.4
system time used= 2.46263
maximum resident set size= 1673736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13846
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37988
involuntary context switches= 5685

runsolver used 6.551 second user time and 16.1625 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 22:42:51
IDJOB=3741854
IDBENCH=90113
IDSOLVER=2319
FILE ID=node143/3741854-1338756171
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_K87.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741854-1338756171/watcher-3741854-1338756171 -o /tmp/evaluation-result-3741854-1338756171/solver-3741854-1338756171 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741854-1338756171.opb           

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

MD5SUM BENCH= 800363f05bcd3a7fdae42567bbf8c0cf
RANDOM SEED=1885113222

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23876644 kB
Buffers:         2376028 kB
Cached:          3974512 kB
SwapCached:          188 kB
Active:          5841160 kB
Inactive:        2189476 kB
Active(anon):    1667432 kB
Inactive(anon):    10988 kB
Active(file):    4173728 kB
Inactive(file):  2178488 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              4080 kB
Writeback:             0 kB
AnonPages:       1682896 kB
Mapped:            18856 kB
Shmem:               160 kB
Slab:             822300 kB
SReclaimable:     263724 kB
SUnreclaim:       558576 kB
KernelStack:        1600 kB
PageTables:         7528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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:12:48