Trace number 3458294

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0OPT6 54.3267 53.3621

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_5.opb
MD5SUM381026b11996e1fba08582de081db326
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.413936
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
Optimality of the best value was proved YES
Number of variables50
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints50
Minimum length of a constraint11
Maximum length of a constraint18
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 50
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)606
Sum of products size (including duplicates)1212
Number of different products606
Sum of products size1212

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		12995394264
0.07/0.09	c Max memory 		13063553024
0.07/0.09	c Total memory 		13063553024
0.07/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458294-1307158566.opb
0.10/0.11	c reading problem ... 
0.10/0.19	c ... done. Wall clock time 0.082s.
0.10/0.19	c #vars     656
0.10/0.19	c #constraints  1262
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 656
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 606
0.24/0.20	c SATISFIABLE
0.24/0.20	c OPTIMIZING...
0.24/0.20	c Got one! Elapsed wall clock time (in seconds):0.092
0.24/0.20	o 7
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.22
0.52/0.33	o 6
1.02/0.75	c cleaning 2761 clauses out of 5527 with flag 5002/5527
1.50/1.18	c cleaning 4380 clauses out of 8765 with flag 11001/11526
1.99/1.69	c cleaning 5690 clauses out of 11386 with flag 18002/18527
2.61/2.29	c cleaning 6844 clauses out of 13694 with flag 26000/26525
3.31/2.98	c cleaning 7923 clauses out of 15852 with flag 35002/35527
4.11/3.75	c cleaning 8961 clauses out of 17927 with flag 45000/45525
4.91/4.54	c cleaning 9480 clauses out of 18968 with flag 55002/55527
5.72/5.35	c cleaning 9737 clauses out of 19486 with flag 65000/65525
6.62/6.22	c cleaning 9873 clauses out of 19750 with flag 75001/75526
7.42/7.04	c cleaning 9933 clauses out of 19876 with flag 85000/85525
8.22/7.81	c cleaning 9969 clauses out of 19945 with flag 95002/95527
9.02/8.62	c cleaning 9984 clauses out of 19974 with flag 105000/105525
9.82/9.49	c cleaning 9992 clauses out of 19992 with flag 115002/115527
10.62/10.29	c cleaning 9999 clauses out of 19999 with flag 125001/125526
11.52/11.12	c cleaning 9995 clauses out of 19999 with flag 135000/135525
12.32/11.95	c cleaning 10000 clauses out of 20005 with flag 145001/145526
13.22/12.81	c cleaning 10000 clauses out of 20005 with flag 155001/155526
14.02/13.66	c cleaning 10000 clauses out of 20008 with flag 165004/165529
14.82/14.50	c cleaning 10002 clauses out of 20006 with flag 175002/175527
15.63/15.30	c cleaning 9998 clauses out of 20002 with flag 185000/185525
16.54/16.13	c cleaning 9999 clauses out of 20005 with flag 195001/195526
17.34/16.95	c cleaning 9998 clauses out of 20006 with flag 205001/205526
18.14/17.74	c cleaning 10001 clauses out of 20010 with flag 215003/215528
19.06/18.63	c cleaning 10002 clauses out of 20012 with flag 225006/225531
19.85/19.49	c cleaning 9999 clauses out of 20005 with flag 235001/235526
20.75/20.36	c cleaning 10000 clauses out of 20007 with flag 245002/245527
21.65/21.27	c cleaning 10000 clauses out of 20005 with flag 255000/255525
22.55/22.12	c cleaning 10001 clauses out of 20006 with flag 265001/265526
23.35/22.95	c cleaning 10000 clauses out of 20007 with flag 275003/275528
24.25/23.83	c cleaning 10000 clauses out of 20004 with flag 285000/285525
25.15/24.75	c cleaning 9998 clauses out of 20004 with flag 295000/295525
26.05/25.63	c cleaning 10002 clauses out of 20011 with flag 305005/305530
26.95/26.53	c cleaning 9997 clauses out of 20004 with flag 315000/315525
27.75/27.41	c cleaning 10000 clauses out of 20008 with flag 325001/325526
28.66/28.26	c cleaning 10001 clauses out of 20009 with flag 335002/335527
29.56/29.16	c cleaning 10000 clauses out of 20008 with flag 345002/345527
30.36/29.97	c cleaning 10001 clauses out of 20009 with flag 355003/355528
31.28/30.83	c cleaning 9999 clauses out of 20006 with flag 365001/365526
32.16/31.74	c cleaning 9999 clauses out of 20006 with flag 375000/375525
33.06/32.68	c cleaning 9999 clauses out of 20008 with flag 385001/385526
33.96/33.51	c cleaning 10001 clauses out of 20010 with flag 395002/395527
34.76/34.33	c cleaning 10000 clauses out of 20007 with flag 405000/405525
35.58/35.21	c cleaning 9998 clauses out of 20007 with flag 415000/415525
36.46/36.09	c cleaning 10002 clauses out of 20010 with flag 425001/425526
37.37/36.90	c cleaning 9998 clauses out of 20007 with flag 435000/435525
38.17/37.74	c cleaning 9999 clauses out of 20010 with flag 445001/445526
38.99/38.55	c cleaning 10000 clauses out of 20011 with flag 455001/455526
39.87/39.45	c cleaning 10001 clauses out of 20011 with flag 465001/465526
40.77/40.39	c cleaning 10001 clauses out of 20010 with flag 475001/475526
41.67/41.28	c cleaning 10000 clauses out of 20009 with flag 485001/485526
42.67/42.25	c cleaning 10001 clauses out of 20010 with flag 495002/495527
43.57/43.20	c cleaning 10001 clauses out of 20009 with flag 505002/505527
44.57/44.14	c cleaning 10001 clauses out of 20008 with flag 515002/515527
45.49/45.08	c cleaning 9999 clauses out of 20005 with flag 525000/525525
46.47/46.07	c cleaning 9999 clauses out of 20006 with flag 535000/535525
47.57/47.11	c cleaning 10000 clauses out of 20008 with flag 545001/545526
48.57/48.14	c cleaning 10002 clauses out of 20010 with flag 555003/555528
49.58/49.20	c cleaning 9998 clauses out of 20006 with flag 565001/565526
50.68/50.29	c cleaning 10001 clauses out of 20007 with flag 575000/575525
52.12/51.43	c cleaning 9999 clauses out of 20006 with flag 585000/585525
53.46/52.52	c cleaning 10000 clauses out of 20006 with flag 595000/595525
54.26/53.34	c starts		: 155
54.26/53.34	c conflicts		: 602880
54.26/53.34	c decisions		: 855781
54.26/53.34	c propagations		: 44654774
54.26/53.34	c inspects		: 469591246
54.26/53.34	c shortcuts		: 0
54.26/53.34	c learnt literals	: 5
54.26/53.34	c learnt binary clauses	: 10
54.26/53.34	c learnt ternary clauses	: 22
54.26/53.34	c learnt constraints	: 602874
54.26/53.34	c ignored constraints	: 0
54.26/53.34	c root simplifications	: 0
54.26/53.34	c removed literals (reason simplification)	: 1474230
54.26/53.34	c reason swapping (by a shorter reason)	: 0
54.26/53.34	c Calls to reduceDB	: 61
54.26/53.34	c number of reductions to clauses (during analyze)	: 0
54.26/53.34	c number of learned constraints concerned by reduction	: 0
54.26/53.34	c number of learning phase by resolution	: 0
54.26/53.34	c number of learning phase by cutting planes	: 0
54.26/53.34	c speed (assignments/second)	: 842399.8566281197
54.26/53.34	c non guided choices	0
54.26/53.34	c learnt constraints type 
54.26/53.34	c constraints type 
54.26/53.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 656
54.26/53.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 0
54.26/53.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 606
54.26/53.34	s OPTIMUM FOUND
54.26/53.34	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 
54.26/53.34	c objective function=6
54.26/53.34	c Total wall clock time (in seconds): 53.23

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458294-1307158566/watcher-3458294-1307158566 -o /tmp/evaluation-result-3458294-1307158566/solver-3458294-1307158566 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458294-1307158566.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.07 2.03 1.88 2/545 18004
/proc/meminfo: memFree=24853688/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 4581 0 1 0 0 0 0 0 25 0 2 0 906087291 13850947584 4283 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3381579 4296 917 9 0 3372735 0
[pid=18004/tid=18005] ppid=18001 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 6932 0 1 0 0 0 0 0 25 0 2 0 906087292 13850947584 7748 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0833429 s]
/proc/loadavg: 2.07 2.03 1.88 2/545 18004
/proc/meminfo: memFree=24853688/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 14499 0 1 0 6 1 0 0 25 0 18 0 906087291 13880410112 14196 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3388772 14197 1755 9 0 3379506 0
[pid=18004/tid=18005] ppid=18001 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 13326 0 1 0 5 1 0 0 25 0 18 0 906087292 13880410112 14197 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088

[startup+0.100302 s]
/proc/loadavg: 2.07 2.03 1.88 2/545 18004
/proc/meminfo: memFree=24853688/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13621968 CPUtime=0.1 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 15516 0 1 0 8 2 0 0 25 0 18 0 906087291 13948895232 15212 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3405492 15213 2092 9 0 3396226 0
[pid=18004/tid=18005] ppid=18001 vsize=13621968 CPUtime=0.09 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 13613 0 1 0 7 2 0 0 18 0 18 0 906087292 13948895232 15213 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 47675512689411 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621968

[startup+0.300271 s]
/proc/loadavg: 2.07 2.03 1.88 2/545 18004
/proc/meminfo: memFree=24853688/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13628064 CPUtime=0.52 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 19344 0 1 0 49 3 0 0 25 0 19 0 906087291 13955137536 17880 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3407016 17880 2205 9 0 3397750 0
[pid=18004/tid=18005] ppid=18001 vsize=13628064 CPUtime=0.28 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14398 0 1 0 26 2 0 0 19 0 19 0 906087292 13955137536 17880 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505559815 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13628064

[startup+0.700235 s]
/proc/loadavg: 2.07 2.03 1.88 2/545 18004
/proc/meminfo: memFree=24853688/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13628064 CPUtime=1.02 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 20288 0 1 0 99 3 0 0 25 0 19 0 906087291 13955137536 18247 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3407016 18247 2211 9 0 3397750 0
[pid=18004/tid=18005] ppid=18001 vsize=13628064 CPUtime=0.68 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14724 0 1 0 66 2 0 0 19 0 19 0 906087292 13955137536 18247 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505559815 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13628064

[startup+1.50109 s]
/proc/loadavg: 2.07 2.03 1.88 3/564 18025
/proc/meminfo: memFree=24785388/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13628064 CPUtime=1.89 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 21496 0 1 0 185 4 0 0 25 0 19 0 906087291 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3407016 19365 2243 9 0 3397750 0
[pid=18004/tid=18005] ppid=18001 vsize=13628064 CPUtime=1.45 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14764 0 1 0 143 2 0 0 20 0 19 0 906087292 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505559815 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18004/tid=18007] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18007/stat : 18007 (java) S 18001 18004 11644 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18008] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18008/stat : 18008 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18010] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18010/stat : 18010 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18011] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18011/stat : 18011 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18012] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18012/stat : 18012 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18014] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18014/stat : 18014 (java) S 18001 18004 11644 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18015] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18015/stat : 18015 (java) S 18001 18004 11644 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18016] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18016/stat : 18016 (java) S 18001 18004 11644 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18017] ppid=18001 vsize=13628064 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18017/stat : 18017 (java) S 18001 18004 11644 0 -1 4202560 460 0 0 0 2 0 0 0 16 0 19 0 906087295 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18018] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18018/stat : 18018 (java) S 18001 18004 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906087295 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18019] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18019/stat : 18019 (java) S 18001 18004 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906087295 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18020] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18020/stat : 18020 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18021] ppid=18001 vsize=13628064 CPUtime=0.19 cores=1,3,5,7
/proc/18004/task/18021/stat : 18021 (java) S 18001 18004 11644 0 -1 4202560 1630 0 0 0 19 0 0 0 19 0 19 0 906087298 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18022] ppid=18001 vsize=13628064 CPUtime=0.18 cores=1,3,5,7
/proc/18004/task/18022/stat : 18022 (java) S 18001 18004 11644 0 -1 4202560 2874 0 0 0 18 0 0 0 15 0 19 0 906087298 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18023] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18023/stat : 18023 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18024] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18024/stat : 18024 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087298 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18025] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18025/stat : 18025 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906087311 13955137536 19365 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13628064

[startup+3.10081 s]
/proc/loadavg: 2.07 2.03 1.88 3/564 18025
/proc/meminfo: memFree=24782164/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13628064 CPUtime=3.51 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 21892 0 1 0 347 4 0 0 25 0 19 0 906087291 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3407016 19661 2244 9 0 3397750 0
[pid=18004/tid=18005] ppid=18001 vsize=13628064 CPUtime=2.99 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14767 0 1 0 297 2 0 0 25 0 19 0 906087292 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505555262 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18004/tid=18007] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18007/stat : 18007 (java) S 18001 18004 11644 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18008] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18008/stat : 18008 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18010] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18010/stat : 18010 (java) S 18001 18004 11644 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18011] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18011/stat : 18011 (java) S 18001 18004 11644 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18012] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18012/stat : 18012 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18014] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18014/stat : 18014 (java) S 18001 18004 11644 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18015] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18015/stat : 18015 (java) S 18001 18004 11644 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18016] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18016/stat : 18016 (java) S 18001 18004 11644 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18017] ppid=18001 vsize=13628064 CPUtime=0.07 cores=1,3,5,7
/proc/18004/task/18017/stat : 18017 (java) S 18001 18004 11644 0 -1 4202560 615 0 0 0 7 0 0 0 16 0 19 0 906087295 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18018] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18018/stat : 18018 (java) S 18001 18004 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906087295 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18019] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18019/stat : 18019 (java) S 18001 18004 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906087295 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18020] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18020/stat : 18020 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18021] ppid=18001 vsize=13628064 CPUtime=0.21 cores=1,3,5,7
/proc/18004/task/18021/stat : 18021 (java) S 18001 18004 11644 0 -1 4202560 1734 0 0 0 21 0 0 0 15 0 19 0 906087298 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18022] ppid=18001 vsize=13628064 CPUtime=0.18 cores=1,3,5,7
/proc/18004/task/18022/stat : 18022 (java) S 18001 18004 11644 0 -1 4202560 2874 0 0 0 18 0 0 0 15 0 19 0 906087298 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18023] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18023/stat : 18023 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18024] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18024/stat : 18024 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906087298 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18025] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18025/stat : 18025 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906087311 13955137536 19661 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 13628064

[startup+6.30126 s]
/proc/loadavg: 2.06 2.03 1.88 3/564 18025
/proc/meminfo: memFree=24780656/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13628064 CPUtime=6.72 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 22113 0 1 0 668 4 0 0 25 0 19 0 906087291 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3407016 19809 2244 9 0 3397750 0
[pid=18004/tid=18005] ppid=18001 vsize=13628064 CPUtime=6.12 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14772 0 1 0 610 2 0 0 25 0 19 0 906087292 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505618459 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18004/tid=18007] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18007/stat : 18007 (java) S 18001 18004 11644 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18008] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18008/stat : 18008 (java) S 18001 18004 11644 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18010] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18010/stat : 18010 (java) S 18001 18004 11644 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18011] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18011/stat : 18011 (java) S 18001 18004 11644 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18012] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18012/stat : 18012 (java) S 18001 18004 11644 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18014] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18014/stat : 18014 (java) S 18001 18004 11644 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18015] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18015/stat : 18015 (java) S 18001 18004 11644 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18016] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18016/stat : 18016 (java) S 18001 18004 11644 0 -1 4202560 155 0 0 0 0 0 0 0 16 0 19 0 906087294 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18017] ppid=18001 vsize=13628064 CPUtime=0.13 cores=1,3,5,7
/proc/18004/task/18017/stat : 18017 (java) S 18001 18004 11644 0 -1 4202560 780 0 0 0 13 0 0 0 16 0 19 0 906087295 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18018] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18018/stat : 18018 (java) S 18001 18004 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906087295 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18019] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18019/stat : 18019 (java) S 18001 18004 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906087295 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18020] ppid=18001 vsize=13628064 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18020/stat : 18020 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18021] ppid=18001 vsize=13628064 CPUtime=0.21 cores=1,3,5,7
/proc/18004/task/18021/stat : 18021 (java) S 18001 18004 11644 0 -1 4202560 1734 0 0 0 21 0 0 0 15 0 19 0 906087298 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18022] ppid=18001 vsize=13628064 CPUtime=0.19 cores=1,3,5,7
/proc/18004/task/18022/stat : 18022 (java) S 18001 18004 11644 0 -1 4202560 2874 0 0 0 19 0 0 0 15 0 19 0 906087298 13955137536 19809 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0

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

/proc/18004/task/18008/stat : 18008 (java) S 18001 18004 11644 0 -1 4202560 21 0 0 0 2 0 0 0 16 0 19 0 906087294 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18010] ppid=18001 vsize=13641732 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18010/stat : 18010 (java) S 18001 18004 11644 0 -1 4202560 65 0 0 0 2 0 0 0 15 0 19 0 906087294 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18011] ppid=18001 vsize=13641732 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18011/stat : 18011 (java) S 18001 18004 11644 0 -1 4202560 88 0 0 0 1 0 0 0 15 0 19 0 906087294 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18012] ppid=18001 vsize=13641732 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18012/stat : 18012 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 19 0 906087294 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18014] ppid=18001 vsize=13641732 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18014/stat : 18014 (java) S 18001 18004 11644 0 -1 4202560 75 0 0 0 2 0 0 0 15 0 19 0 906087294 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18015] ppid=18001 vsize=13641732 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18015/stat : 18015 (java) S 18001 18004 11644 0 -1 4202560 276 0 0 0 1 0 0 0 15 0 19 0 906087294 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18016] ppid=18001 vsize=13641732 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18016/stat : 18016 (java) S 18001 18004 11644 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 906087294 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18017] ppid=18001 vsize=13641732 CPUtime=0.93 cores=1,3,5,7
/proc/18004/task/18017/stat : 18017 (java) S 18001 18004 11644 0 -1 4202560 921 0 0 0 93 0 0 0 16 0 19 0 906087295 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18018] ppid=18001 vsize=13641732 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18018/stat : 18018 (java) S 18001 18004 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906087295 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18019] ppid=18001 vsize=13641732 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18019/stat : 18019 (java) S 18001 18004 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906087295 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18020] ppid=18001 vsize=13641732 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18020/stat : 18020 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18021] ppid=18001 vsize=13641732 CPUtime=0.21 cores=1,3,5,7
/proc/18004/task/18021/stat : 18021 (java) S 18001 18004 11644 0 -1 4202560 1734 0 0 0 21 0 0 0 15 0 19 0 906087298 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18022] ppid=18001 vsize=13641732 CPUtime=0.37 cores=1,3,5,7
/proc/18004/task/18022/stat : 18022 (java) S 18001 18004 11644 0 -1 4202560 7058 0 0 0 36 1 0 0 15 0 19 0 906087298 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18023] ppid=18001 vsize=13641732 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18023/stat : 18023 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18024] ppid=18001 vsize=13641732 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18024/stat : 18024 (java) S 18001 18004 11644 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906087298 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18025] ppid=18001 vsize=13641732 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18025/stat : 18025 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906087311 13969133568 22779 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.76
Current children cumulated vsize (KiB) 13641732

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

[startup+52.7011 s]
/proc/loadavg: 2.03 2.03 1.89 3/564 18027
/proc/meminfo: memFree=24762180/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13641556 CPUtime=53.67 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 28319 0 1 0 5361 6 0 0 25 0 19 0 906087291 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3410389 23533 2249 9 0 3401123 0
[pid=18004/tid=18005] ppid=18001 vsize=13641556 CPUtime=51.62 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14833 0 1 0 5160 2 0 0 25 0 19 0 906087292 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505541057 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18004/tid=18007] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18007/stat : 18007 (java) S 18001 18004 11644 0 -1 4202560 137 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18008] ppid=18001 vsize=13641556 CPUtime=0.03 cores=1,3,5,7
/proc/18004/task/18008/stat : 18008 (java) S 18001 18004 11644 0 -1 4202560 21 0 0 0 3 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18010] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18010/stat : 18010 (java) S 18001 18004 11644 0 -1 4202560 65 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18011] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18011/stat : 18011 (java) S 18001 18004 11644 0 -1 4202560 88 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18012] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18012/stat : 18012 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18014] ppid=18001 vsize=13641556 CPUtime=0.03 cores=1,3,5,7
/proc/18004/task/18014/stat : 18014 (java) S 18001 18004 11644 0 -1 4202560 75 0 0 0 3 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18015] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18015/stat : 18015 (java) S 18001 18004 11644 0 -1 4202560 276 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18016] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18016/stat : 18016 (java) S 18001 18004 11644 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18017] ppid=18001 vsize=13641556 CPUtime=0.96 cores=1,3,5,7
/proc/18004/task/18017/stat : 18017 (java) S 18001 18004 11644 0 -1 4202560 921 0 0 0 96 0 0 0 16 0 19 0 906087295 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18018] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18018/stat : 18018 (java) S 18001 18004 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906087295 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18019] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18019/stat : 18019 (java) S 18001 18004 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906087295 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18020] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18020/stat : 18020 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18021] ppid=18001 vsize=13641556 CPUtime=0.27 cores=1,3,5,7
/proc/18004/task/18021/stat : 18021 (java) S 18001 18004 11644 0 -1 4202560 2149 0 0 0 27 0 0 0 15 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18022] ppid=18001 vsize=13641556 CPUtime=0.6 cores=1,3,5,7
/proc/18004/task/18022/stat : 18022 (java) S 18001 18004 11644 0 -1 4202560 8438 0 0 0 59 1 0 0 15 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18023] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18023/stat : 18023 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18024] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18024/stat : 18024 (java) S 18001 18004 11644 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=18004/tid=18025] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18025/stat : 18025 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906087311 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 53.67
Current children cumulated vsize (KiB) 13641556

[startup+53.1011 s]
/proc/loadavg: 2.03 2.03 1.89 3/564 18027
/proc/meminfo: memFree=24762180/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13641556 CPUtime=54.06 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 28319 0 1 0 5400 6 0 0 25 0 19 0 906087291 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3410389 23533 2249 9 0 3401123 0
[pid=18004/tid=18005] ppid=18001 vsize=13641556 CPUtime=52 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14833 0 1 0 5198 2 0 0 25 0 19 0 906087292 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505566847 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18004/tid=18007] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18007/stat : 18007 (java) S 18001 18004 11644 0 -1 4202560 137 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18008] ppid=18001 vsize=13641556 CPUtime=0.03 cores=1,3,5,7
/proc/18004/task/18008/stat : 18008 (java) S 18001 18004 11644 0 -1 4202560 21 0 0 0 3 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18010] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18010/stat : 18010 (java) S 18001 18004 11644 0 -1 4202560 65 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18011] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18011/stat : 18011 (java) S 18001 18004 11644 0 -1 4202560 88 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18012] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18012/stat : 18012 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18014] ppid=18001 vsize=13641556 CPUtime=0.03 cores=1,3,5,7
/proc/18004/task/18014/stat : 18014 (java) S 18001 18004 11644 0 -1 4202560 75 0 0 0 3 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18015] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18015/stat : 18015 (java) S 18001 18004 11644 0 -1 4202560 276 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18016] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18016/stat : 18016 (java) S 18001 18004 11644 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18017] ppid=18001 vsize=13641556 CPUtime=0.96 cores=1,3,5,7
/proc/18004/task/18017/stat : 18017 (java) S 18001 18004 11644 0 -1 4202560 921 0 0 0 96 0 0 0 16 0 19 0 906087295 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18018] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18018/stat : 18018 (java) S 18001 18004 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906087295 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18019] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18019/stat : 18019 (java) S 18001 18004 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906087295 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18020] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18020/stat : 18020 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18021] ppid=18001 vsize=13641556 CPUtime=0.27 cores=1,3,5,7
/proc/18004/task/18021/stat : 18021 (java) S 18001 18004 11644 0 -1 4202560 2149 0 0 0 27 0 0 0 15 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18022] ppid=18001 vsize=13641556 CPUtime=0.6 cores=1,3,5,7
/proc/18004/task/18022/stat : 18022 (java) S 18001 18004 11644 0 -1 4202560 8438 0 0 0 59 1 0 0 15 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18023] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18023/stat : 18023 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18024] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18024/stat : 18024 (java) S 18001 18004 11644 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906087298 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=18004/tid=18025] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18025/stat : 18025 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906087311 13968953344 23533 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.06
Current children cumulated vsize (KiB) 13641556

[startup+53.301 s]
/proc/loadavg: 2.03 2.03 1.89 3/564 18027
/proc/meminfo: memFree=24762180/32951124 swapFree=56241860/67111528
[pid=18004] ppid=18001 vsize=13641556 CPUtime=54.26 cores=1,3,5,7
/proc/18004/stat : 18004 (java) S 18001 18004 11644 0 -1 4202496 28320 0 1 0 5420 6 0 0 25 0 19 0 906087291 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18004/statm: 3410389 23534 2249 9 0 3401123 0
[pid=18004/tid=18005] ppid=18001 vsize=13641556 CPUtime=52.2 cores=1,3,5,7
/proc/18004/task/18005/stat : 18005 (java) R 18001 18004 11644 0 -1 4202560 14834 0 1 0 5218 2 0 0 25 0 19 0 906087292 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 46912505541004 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18004/tid=18007] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18007/stat : 18007 (java) S 18001 18004 11644 0 -1 4202560 137 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18008] ppid=18001 vsize=13641556 CPUtime=0.03 cores=1,3,5,7
/proc/18004/task/18008/stat : 18008 (java) S 18001 18004 11644 0 -1 4202560 21 0 0 0 3 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18010] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18010/stat : 18010 (java) S 18001 18004 11644 0 -1 4202560 65 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18011] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18011/stat : 18011 (java) S 18001 18004 11644 0 -1 4202560 88 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18012] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18012/stat : 18012 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18014] ppid=18001 vsize=13641556 CPUtime=0.03 cores=1,3,5,7
/proc/18004/task/18014/stat : 18014 (java) S 18001 18004 11644 0 -1 4202560 75 0 0 0 3 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18015] ppid=18001 vsize=13641556 CPUtime=0.01 cores=1,3,5,7
/proc/18004/task/18015/stat : 18015 (java) S 18001 18004 11644 0 -1 4202560 276 0 0 0 1 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18016] ppid=18001 vsize=13641556 CPUtime=0.02 cores=1,3,5,7
/proc/18004/task/18016/stat : 18016 (java) S 18001 18004 11644 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 906087294 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18017] ppid=18001 vsize=13641556 CPUtime=0.96 cores=1,3,5,7
/proc/18004/task/18017/stat : 18017 (java) S 18001 18004 11644 0 -1 4202560 921 0 0 0 96 0 0 0 16 0 19 0 906087295 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 0 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18018] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18018/stat : 18018 (java) S 18001 18004 11644 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906087295 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18019] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18019/stat : 18019 (java) S 18001 18004 11644 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906087295 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18020] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18020/stat : 18020 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216747002289 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18021] ppid=18001 vsize=13641556 CPUtime=0.27 cores=1,3,5,7
/proc/18004/task/18021/stat : 18021 (java) S 18001 18004 11644 0 -1 4202560 2149 0 0 0 27 0 0 0 15 0 19 0 906087298 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
[pid=18004/tid=18022] ppid=18001 vsize=13641556 CPUtime=0.6 cores=1,3,5,7
/proc/18004/task/18022/stat : 18022 (java) S 18001 18004 11644 0 -1 4202560 8438 0 0 0 59 1 0 0 15 0 19 0 906087298 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 1 0 0 0
[pid=18004/tid=18023] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18023/stat : 18023 (java) S 18001 18004 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906087298 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746994585 0 4 0 16800975 18446604465368487040 0 0 -1 5 0 0 0
[pid=18004/tid=18024] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18024/stat : 18024 (java) S 18001 18004 11644 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906087298 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 3 0 0 0
[pid=18004/tid=18025] ppid=18001 vsize=13641556 CPUtime=0 cores=1,3,5,7
/proc/18004/task/18025/stat : 18025 (java) S 18001 18004 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906087311 13968953344 23534 33554432000 1073741824 1073778376 140736178920832 18446744073709551615 216746995200 0 4 0 16800975 18446604465368487040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 54.26
Current children cumulated vsize (KiB) 13641556

Child status: 30
Real time (s): 53.3621
CPU time (s): 54.3267
CPU user time (s): 54.2567
CPU system time (s): 0.069989
CPU usage (%): 101.808
Max. virtual memory (cumulated for all children) (KiB): 13645112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.2568
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28341
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3048
involuntary context switches= 1568

runsolver used 0.269958 second user time and 0.681896 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 05:36:06
IDJOB=3458294
IDBENCH=48114
IDSOLVER=1952
FILE ID=node119/3458294-1307158566
RUNJOBID= node119-1307156711-17662
PBS_JOBID= 13508797
Free space on /tmp= 73664 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_10_5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458294-1307158566/watcher-3458294-1307158566 -o /tmp/evaluation-result-3458294-1307158566/solver-3458294-1307158566 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458294-1307158566.opb

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

MD5SUM BENCH= 381026b11996e1fba08582de081db326
RANDOM SEED=1741263491

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24853720 kB
Buffers:        235332 kB
Cached:         583248 kB
SwapCached:      59076 kB
Active:         784768 kB
Inactive:      7015232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24853720 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:             976 kB
Writeback:           0 kB
AnonPages:     6926104 kB
Mapped:          41688 kB
Slab:           149168 kB
PageTables:      79692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 177301468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73660 MiB
End job on node119 at 2011-06-04 05:37:00