Trace number 3251258

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.68 1300.08

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
MD5SUMb23c52475e3d098cb9d5a92c025d6982
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.18991
Satisfiable
(Un)Satisfiability was proved
Number of variables3420
Number of clauses1120760
Sum of the clauses size2244820
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21120700
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.09/0.12	c no version file found!!!
0.09/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.12	c java.vm.version	19.1-b02
0.09/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.12	c sun.arch.data.model	64
0.09/0.12	c java.version		1.6.0_24
0.09/0.12	c os.name		Linux
0.09/0.12	c os.version		2.6.18-164.el5
0.09/0.12	c os.arch		amd64
0.09/0.12	c Free memory 		6997539544
0.09/0.12	c Max memory 		7034241024
0.09/0.12	c Total memory 		7034241024
0.09/0.12	c Number of processors 	8
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483647s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3251258-1303585552.cnf
0.09/0.12	c reading problem ... 
1.00/0.80	c ... done. Wall clock time 0.715s.
1.00/0.80	c #vars     3420
1.00/0.80	c #constraints  1120760
1.00/0.80	c constraints type 
1.00/0.80	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
1.00/0.80	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1120700
3.44/3.05	c cleaning 2492 clauses out of 5000 with flag 5000/5000
6.89/6.08	c cleaning 4226 clauses out of 8509 with flag 11001/11001
10.30/9.47	c cleaning 5627 clauses out of 11282 with flag 18000/18000
14.41/13.57	c cleaning 6813 clauses out of 13655 with flag 26000/26000
19.45/18.54	c cleaning 7897 clauses out of 15842 with flag 35000/35000
24.56/23.69	c cleaning 8919 clauses out of 17945 with flag 45000/45000
30.57/29.65	c cleaning 9980 clauses out of 20026 with flag 56000/56000
37.28/36.31	c cleaning 11016 clauses out of 22047 with flag 68001/68001
44.69/43.79	c cleaning 11994 clauses out of 24030 with flag 81000/81000
52.89/51.93	c cleaning 12994 clauses out of 26041 with flag 95005/95005
62.30/61.31	c cleaning 13990 clauses out of 28043 with flag 110001/110001
72.41/71.41	c cleaning 14996 clauses out of 30053 with flag 126001/126001
83.32/82.32	c cleaning 15997 clauses out of 32057 with flag 143001/143001
94.43/93.50	c cleaning 17003 clauses out of 34060 with flag 161001/161001
107.94/106.91	c cleaning 17998 clauses out of 36056 with flag 180000/180000
121.75/120.77	c cleaning 19008 clauses out of 38060 with flag 200002/200002
136.47/135.41	c cleaning 20002 clauses out of 40051 with flag 221001/221001
151.97/150.95	c cleaning 20990 clauses out of 42051 with flag 243003/243003
169.39/168.36	c cleaning 22010 clauses out of 44059 with flag 266001/266001
186.39/185.31	c cleaning 23014 clauses out of 46051 with flag 290003/290003
205.91/204.85	c cleaning 23972 clauses out of 48035 with flag 315001/315001
226.53/225.45	c cleaning 24951 clauses out of 50064 with flag 341002/341002
248.34/247.27	c cleaning 26046 clauses out of 52114 with flag 368003/368003
270.25/269.15	c cleaning 26993 clauses out of 54070 with flag 396005/396005
294.56/293.47	c cleaning 27984 clauses out of 56072 with flag 425000/425000
320.58/319.48	c cleaning 29020 clauses out of 58089 with flag 455001/455001
346.50/345.30	c cleaning 29985 clauses out of 60069 with flag 486001/486001
375.81/374.65	c cleaning 30976 clauses out of 62083 with flag 518000/518000
404.82/403.69	c cleaning 32043 clauses out of 64108 with flag 551001/551001
435.14/433.98	c cleaning 33006 clauses out of 66066 with flag 585002/585002
472.45/471.22	c cleaning 34006 clauses out of 68059 with flag 620001/620001
505.67/504.40	c cleaning 34981 clauses out of 70053 with flag 656001/656001
548.99/547.72	c cleaning 35988 clauses out of 72074 with flag 693003/693003
583.01/581.79	c cleaning 36996 clauses out of 74083 with flag 731000/731000
626.93/625.68	c cleaning 37999 clauses out of 76088 with flag 770001/770001
672.45/671.13	c cleaning 38979 clauses out of 78089 with flag 810001/810001
722.57/721.21	c cleaning 39998 clauses out of 80109 with flag 851000/851000
764.08/762.74	c cleaning 40999 clauses out of 82111 with flag 893000/893000
807.51/806.13	c cleaning 42024 clauses out of 84112 with flag 936000/936000
857.43/856.00	c cleaning 42984 clauses out of 86088 with flag 980000/980000
907.75/906.36	c cleaning 44010 clauses out of 88105 with flag 1025001/1025001
962.57/961.15	c cleaning 45009 clauses out of 90096 with flag 1071002/1071002
1020.09/1018.70	c cleaning 46029 clauses out of 92086 with flag 1118001/1118001
1080.61/1079.16	c cleaning 46946 clauses out of 94057 with flag 1166001/1166001
1139.93/1138.43	c cleaning 48001 clauses out of 96110 with flag 1215000/1215000
1199.25/1197.76	c cleaning 48993 clauses out of 98110 with flag 1265001/1265001
1263.86/1262.31	c cleaning 50005 clauses out of 100118 with flag 1316002/1316002
1301.60/1300.01	c starts		: 1326
1301.60/1300.01	c conflicts		: 1350689
1301.60/1300.01	c decisions		: 3124178
1301.60/1300.01	c propagations		: 401419773
1301.60/1300.01	c inspects		: 11228367001
1301.60/1300.01	c shortcuts		: 0
1301.60/1300.01	c learnt literals	: 0
1301.60/1300.01	c learnt binary clauses	: 0
1301.60/1300.01	c learnt ternary clauses	: 0
1301.60/1300.01	c learnt constraints	: 1350689
1301.60/1300.01	c ignored constraints	: 0
1301.60/1300.01	c root simplifications	: 1326
1301.60/1300.01	c removed literals (reason simplification)	: 83280682
1301.60/1300.01	c reason swapping (by a shorter reason)	: 0
1301.60/1300.01	c Calls to reduceDB	: 47
1301.60/1300.01	c speed (assignments/second)	: 308972.67643056385
1301.60/1300.01	c non guided choices	272
1301.60/1300.06	c learnt constraints type 
1301.60/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 84808
1301.60/1300.06	c constraints type 
1301.60/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 60
1301.60/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1120700
1301.60/1300.06	s UNKNOWN
1301.60/1300.06	c Total wall clock time (in seconds) : 1299.923

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3251258-1303585552/watcher-3251258-1303585552 -o /tmp/evaluation-result-3251258-1303585552/solver-3251258-1303585552 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3251258-1303585552.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.76 3.97 4.26 7/242 6519
/proc/meminfo: memFree=20335960/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=31604 CPUtime=0 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 1265 0 0 0 0 0 0 0 25 0 2 0 548785931 32362496 983 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 7901 990 762 9 0 386 0
[pid=6519/tid=6520] ppid=6517 vsize=33696 CPUtime=0 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 184 0 0 0 0 0 0 0 25 0 2 0 548785932 34504704 1007 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912499706064 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.101807 s]
/proc/loadavg: 3.76 3.97 4.26 7/242 6519
/proc/meminfo: memFree=20335960/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 10938 0 1 0 7 2 0 0 25 0 18 0 548785931 7751618560 10634 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1892485 10634 1757 9 0 1883223 0
[pid=6519/tid=6520] ppid=6517 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 9764 0 1 0 7 1 0 0 25 0 18 0 548785932 7751618560 10634 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.200761 s]
/proc/loadavg: 3.76 3.97 4.26 7/242 6519
/proc/meminfo: memFree=20335960/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7642676 CPUtime=0.29 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 14116 0 1 0 27 2 0 0 25 0 18 0 548785931 7826100224 13031 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1910669 13031 2181 9 0 1901407 0
[pid=6519/tid=6520] ppid=6517 vsize=7642676 CPUtime=0.18 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 9996 0 1 0 17 1 0 0 25 0 18 0 548785932 7826100224 13031 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 47826354025316 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7642676

[startup+0.300745 s]
/proc/loadavg: 3.76 3.97 4.26 7/242 6519
/proc/meminfo: memFree=20335960/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7642908 CPUtime=0.48 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 15883 0 1 0 46 2 0 0 25 0 18 0 548785931 7826337792 14798 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1910727 14799 2198 9 0 1901465 0
[pid=6519/tid=6520] ppid=6517 vsize=7642908 CPUtime=0.29 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 11640 0 1 0 27 2 0 0 25 0 18 0 548785932 7826337792 14800 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505567231 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7642908

[startup+0.700712 s]
/proc/loadavg: 3.76 3.97 4.26 7/242 6519
/proc/meminfo: memFree=20335960/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7642908 CPUtime=0.9 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 26790 0 1 0 86 4 0 0 25 0 18 0 548785931 7826337792 25705 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1910727 25706 2198 9 0 1901465 0
[pid=6519/tid=6520] ppid=6517 vsize=7642908 CPUtime=0.68 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 22543 0 1 0 65 3 0 0 25 0 18 0 548785932 7826337792 25707 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505567227 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 7642908

[startup+1.50157 s]
/proc/loadavg: 3.76 3.97 4.26 7/262 6539
/proc/meminfo: memFree=20153716/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7650464 CPUtime=2.01 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 33594 0 1 0 196 5 0 0 25 0 19 0 548785931 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1912616 32508 2222 9 0 1903354 0
[pid=6519/tid=6520] ppid=6517 vsize=7650464 CPUtime=1.48 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 27747 0 1 0 144 4 0 0 25 0 19 0 548785932 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505683454 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6522] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6522/stat : 6522 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6523] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6523/stat : 6523 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6524] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6524/stat : 6524 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6525] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6525/stat : 6525 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6526] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6526/stat : 6526 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6527] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6527/stat : 6527 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6528] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6528/stat : 6528 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6529] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6529/stat : 6529 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6530] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6530/stat : 6530 (java) S 6517 6519 6169 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 548785934 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 0 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6531] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6531/stat : 6531 (java) S 6517 6519 6169 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 548785934 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6532] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6532/stat : 6532 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548785934 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6533] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6533/stat : 6533 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296749489 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6534] ppid=6517 vsize=7650464 CPUtime=0.24 cores=5,7
/proc/6519/task/6534/stat : 6534 (java) S 6517 6519 6169 0 -1 4202560 830 0 0 0 24 0 0 0 19 0 19 0 548785937 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6535] ppid=6517 vsize=7650464 CPUtime=0.27 cores=5,7
/proc/6519/task/6535/stat : 6535 (java) S 6517 6519 6169 0 -1 4202560 3856 0 0 0 27 0 0 0 17 0 19 0 548785937 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6536] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6536/stat : 6536 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6537] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6537/stat : 6537 (java) S 6517 6519 6169 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 548785937 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6539] ppid=6517 vsize=7650464 CPUtime=0 cores=5,7
/proc/6519/task/6539/stat : 6539 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548786013 7834075136 32508 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 7650464

[startup+3.10128 s]
/proc/loadavg: 3.76 3.97 4.26 6/262 6539
/proc/meminfo: memFree=20064808/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7657608 CPUtime=3.74 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 46689 0 1 0 368 6 0 0 25 0 19 0 548785931 7841390592 44843 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1914402 44846 2238 9 0 1905140 0
[pid=6519/tid=6520] ppid=6517 vsize=7657608 CPUtime=3.04 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 29165 0 1 0 299 5 0 0 25 0 19 0 548785932 7841390592 44847 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296751797 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6522] ppid=6517 vsize=7657608 CPUtime=0.04 cores=5,7
/proc/6519/task/6522/stat : 6522 (java) R 6517 6519 6169 0 -1 4202560 5316 0 0 0 4 0 0 0 18 0 19 0 548785933 7841390592 44849 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 47826353494711 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6523] ppid=6517 vsize=7657608 CPUtime=0.03 cores=5,7
/proc/6519/task/6523/stat : 6523 (java) R 6517 6519 6169 0 -1 4202560 2567 0 0 0 3 0 0 0 18 0 19 0 548785933 7841390592 44850 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 47826353494798 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6519/tid=6524] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6524/stat : 6524 (java) R 6517 6519 6169 0 -1 4202560 1207 0 0 0 0 0 0 0 18 0 19 0 548785933 7841390592 44852 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 47826350774447 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6519/tid=6525] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6525/stat : 6525 (java) R 6517 6519 6169 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548785933 7841390592 44854 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 47826349070067 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6526] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6526/stat : 6526 (java) R 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 548785933 7841390592 44856 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6527] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6527/stat : 6527 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7841390592 44857 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6528] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6528/stat : 6528 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7841390592 44859 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6529] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6529/stat : 6529 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785933 7841390592 44861 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6530] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6530/stat : 6530 (java) S 6517 6519 6169 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 548785934 7841390592 44863 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 0 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6531] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6531/stat : 6531 (java) S 6517 6519 6169 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 548785934 7841390592 44865 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6532] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6532/stat : 6532 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548785934 7841390592 44866 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6533] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6533/stat : 6533 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7841390592 44868 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296749489 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6534] ppid=6517 vsize=7657608 CPUtime=0.31 cores=5,7
/proc/6519/task/6534/stat : 6534 (java) S 6517 6519 6169 0 -1 4202560 3413 0 0 0 31 0 0 0 16 0 19 0 548785937 7841390592 44872 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6535] ppid=6517 vsize=7657608 CPUtime=0.28 cores=5,7
/proc/6519/task/6535/stat : 6535 (java) S 6517 6519 6169 0 -1 4202560 3858 0 0 0 28 0 0 0 15 0 19 0 548785937 7841390592 44873 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6536] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6536/stat : 6536 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7841390592 44875 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6537] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6537/stat : 6537 (java) S 6517 6519 6169 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 548785937 7841390592 44877 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6539] ppid=6517 vsize=7657608 CPUtime=0 cores=5,7
/proc/6519/task/6539/stat : 6539 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548786013 7841390592 44879 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 7657608

[startup+6.30078 s]
/proc/loadavg: 3.78 3.97 4.26 5/262 6539
/proc/meminfo: memFree=19922084/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7649812 CPUtime=7.2 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 73044 0 1 0 711 9 0 0 25 0 19 0 548785931 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1912453 66806 2254 9 0 1903191 0
[pid=6519/tid=6520] ppid=6517 vsize=7649812 CPUtime=5.76 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 29169 0 1 0 571 5 0 0 24 0 19 0 548785932 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505719787 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6522] ppid=6517 vsize=7649812 CPUtime=0.08 cores=5,7
/proc/6519/task/6522/stat : 6522 (java) S 6517 6519 6169 0 -1 4202560 7737 0 0 0 8 0 0 0 18 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6523] ppid=6517 vsize=7649812 CPUtime=0.07 cores=5,7
/proc/6519/task/6523/stat : 6523 (java) S 6517 6519 6169 0 -1 4202560 5928 0 0 0 7 0 0 0 18 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6524] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6524/stat : 6524 (java) S 6517 6519 6169 0 -1 4202560 1207 0 0 0 0 0 0 0 17 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6525] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6525/stat : 6525 (java) S 6517 6519 6169 0 -1 4202560 416 0 0 0 0 0 0 0 18 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6526] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6526/stat : 6526 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6527] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6527/stat : 6527 (java) S 6517 6519 6169 0 -1 4202560 546 0 0 0 0 0 0 0 15 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6528] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6528/stat : 6528 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6529] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6529/stat : 6529 (java) S 6517 6519 6169 0 -1 4202560 1366 0 0 0 0 0 0 0 15 0 19 0 548785933 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6530] ppid=6517 vsize=7649812 CPUtime=0.41 cores=5,7
/proc/6519/task/6530/stat : 6530 (java) S 6517 6519 6169 0 -1 4202560 15676 0 0 0 40 1 0 0 16 0 19 0 548785934 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 0 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6531] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6531/stat : 6531 (java) S 6517 6519 6169 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6532] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6532/stat : 6532 (java) S 6517 6519 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6533] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6533/stat : 6533 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296749489 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6534] ppid=6517 vsize=7649812 CPUtime=0.49 cores=5,7
/proc/6519/task/6534/stat : 6534 (java) S 6517 6519 6169 0 -1 4202560 5986 0 0 0 49 0 0 0 15 0 19 0 548785937 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6535] ppid=6517 vsize=7649812 CPUtime=0.3 cores=5,7
/proc/6519/task/6535/stat : 6535 (java) S 6517 6519 6169 0 -1 4202560 3860 0 0 0 30 0 0 0 15 0 19 0 548785937 7833407488 66806 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0

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

[pid=6519/tid=6527] ppid=6517 vsize=7649812 CPUtime=0.15 cores=5,7
/proc/6519/task/6527/stat : 6527 (java) S 6517 6519 6169 0 -1 4202560 723 0 0 0 15 0 0 0 15 0 19 0 548785933 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6528] ppid=6517 vsize=7649812 CPUtime=0.11 cores=5,7
/proc/6519/task/6528/stat : 6528 (java) S 6517 6519 6169 0 -1 4202560 755 0 0 0 11 0 0 0 15 0 19 0 548785933 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6529] ppid=6517 vsize=7649812 CPUtime=0.18 cores=5,7
/proc/6519/task/6529/stat : 6529 (java) S 6517 6519 6169 0 -1 4202560 1378 0 0 0 18 0 0 0 15 0 19 0 548785933 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6530] ppid=6517 vsize=7649812 CPUtime=10 cores=5,7
/proc/6519/task/6530/stat : 6530 (java) S 6517 6519 6169 0 -1 4202560 29345 0 0 0 997 3 0 0 15 0 19 0 548785934 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 0 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6531] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6531/stat : 6531 (java) S 6517 6519 6169 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6532] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6532/stat : 6532 (java) S 6517 6519 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6533] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6533/stat : 6533 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296749489 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6534] ppid=6517 vsize=7649812 CPUtime=0.49 cores=5,7
/proc/6519/task/6534/stat : 6534 (java) S 6517 6519 6169 0 -1 4202560 5986 0 0 0 49 0 0 0 15 0 19 0 548785937 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6535] ppid=6517 vsize=7649812 CPUtime=0.35 cores=5,7
/proc/6519/task/6535/stat : 6535 (java) S 6517 6519 6169 0 -1 4202560 3864 0 0 0 35 0 0 0 15 0 19 0 548785937 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6536] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6536/stat : 6536 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6537] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6537/stat : 6537 (java) S 6517 6519 6169 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 548785937 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6539] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6539/stat : 6539 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548786013 7833407488 85832 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.85
Current children cumulated vsize (KiB) 7649812

[startup+1242.3 s]
/proc/loadavg: 4.01 4.02 4.07 6/262 6571
/proc/meminfo: memFree=19504092/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7649812 CPUtime=1243.86 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 92639 0 1 0 124373 13 0 0 25 0 19 0 548785931 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1912453 86226 2254 9 0 1903191 0
[pid=6519/tid=6520] ppid=6517 vsize=7649812 CPUtime=1231.3 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 29214 0 1 0 123125 5 0 0 25 0 19 0 548785932 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505683231 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6522] ppid=6517 vsize=7649812 CPUtime=0.3 cores=5,7
/proc/6519/task/6522/stat : 6522 (java) S 6517 6519 6169 0 -1 4202560 8880 0 0 0 30 0 0 0 16 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6523] ppid=6517 vsize=7649812 CPUtime=0.15 cores=5,7
/proc/6519/task/6523/stat : 6523 (java) S 6517 6519 6169 0 -1 4202560 5935 0 0 0 15 0 0 0 15 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6524] ppid=6517 vsize=7649812 CPUtime=0.16 cores=5,7
/proc/6519/task/6524/stat : 6524 (java) S 6517 6519 6169 0 -1 4202560 3590 0 0 0 16 0 0 0 15 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6525] ppid=6517 vsize=7649812 CPUtime=0.22 cores=5,7
/proc/6519/task/6525/stat : 6525 (java) S 6517 6519 6169 0 -1 4202560 583 0 0 0 22 0 0 0 15 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6526] ppid=6517 vsize=7649812 CPUtime=0.11 cores=5,7
/proc/6519/task/6526/stat : 6526 (java) S 6517 6519 6169 0 -1 4202560 769 0 0 0 11 0 0 0 15 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6527] ppid=6517 vsize=7649812 CPUtime=0.15 cores=5,7
/proc/6519/task/6527/stat : 6527 (java) S 6517 6519 6169 0 -1 4202560 723 0 0 0 15 0 0 0 15 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6528] ppid=6517 vsize=7649812 CPUtime=0.11 cores=5,7
/proc/6519/task/6528/stat : 6528 (java) S 6517 6519 6169 0 -1 4202560 755 0 0 0 11 0 0 0 15 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6529] ppid=6517 vsize=7649812 CPUtime=0.2 cores=5,7
/proc/6519/task/6529/stat : 6529 (java) S 6517 6519 6169 0 -1 4202560 1378 0 0 0 20 0 0 0 15 0 19 0 548785933 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6530] ppid=6517 vsize=7649812 CPUtime=10.22 cores=5,7
/proc/6519/task/6530/stat : 6530 (java) S 6517 6519 6169 0 -1 4202560 29741 0 0 0 1019 3 0 0 15 0 19 0 548785934 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 0 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6531] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6531/stat : 6531 (java) S 6517 6519 6169 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6532] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6532/stat : 6532 (java) S 6517 6519 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6533] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6533/stat : 6533 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296749489 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6534] ppid=6517 vsize=7649812 CPUtime=0.49 cores=5,7
/proc/6519/task/6534/stat : 6534 (java) S 6517 6519 6169 0 -1 4202560 5986 0 0 0 49 0 0 0 15 0 19 0 548785937 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6535] ppid=6517 vsize=7649812 CPUtime=0.35 cores=5,7
/proc/6519/task/6535/stat : 6535 (java) S 6517 6519 6169 0 -1 4202560 3864 0 0 0 35 0 0 0 15 0 19 0 548785937 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6536] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6536/stat : 6536 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6537] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6537/stat : 6537 (java) S 6517 6519 6169 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 548785937 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6539] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6539/stat : 6539 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548786013 7833407488 86226 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.86
Current children cumulated vsize (KiB) 7649812



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.02 4.06 2/202 6582
/proc/meminfo: memFree=20127512/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7649812 CPUtime=1301.6 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 93303 0 1 0 130147 13 0 0 25 0 19 0 548785931 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1912453 86883 2254 9 0 1903191 0
[pid=6519/tid=6520] ppid=6517 vsize=7649812 CPUtime=1288.75 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 29215 0 1 0 128870 5 0 0 25 0 19 0 548785932 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505683454 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6522] ppid=6517 vsize=7649812 CPUtime=0.3 cores=5,7
/proc/6519/task/6522/stat : 6522 (java) S 6517 6519 6169 0 -1 4202560 8880 0 0 0 30 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6523] ppid=6517 vsize=7649812 CPUtime=0.15 cores=5,7
/proc/6519/task/6523/stat : 6523 (java) S 6517 6519 6169 0 -1 4202560 5935 0 0 0 15 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6524] ppid=6517 vsize=7649812 CPUtime=0.16 cores=5,7
/proc/6519/task/6524/stat : 6524 (java) S 6517 6519 6169 0 -1 4202560 3590 0 0 0 16 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6525] ppid=6517 vsize=7649812 CPUtime=0.25 cores=5,7
/proc/6519/task/6525/stat : 6525 (java) S 6517 6519 6169 0 -1 4202560 649 0 0 0 25 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6526] ppid=6517 vsize=7649812 CPUtime=0.11 cores=5,7
/proc/6519/task/6526/stat : 6526 (java) S 6517 6519 6169 0 -1 4202560 769 0 0 0 11 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6527] ppid=6517 vsize=7649812 CPUtime=0.18 cores=5,7
/proc/6519/task/6527/stat : 6527 (java) S 6517 6519 6169 0 -1 4202560 723 0 0 0 18 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6528] ppid=6517 vsize=7649812 CPUtime=0.11 cores=5,7
/proc/6519/task/6528/stat : 6528 (java) S 6517 6519 6169 0 -1 4202560 755 0 0 0 11 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6529] ppid=6517 vsize=7649812 CPUtime=0.2 cores=5,7
/proc/6519/task/6529/stat : 6529 (java) S 6517 6519 6169 0 -1 4202560 1378 0 0 0 20 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6530] ppid=6517 vsize=7649812 CPUtime=10.44 cores=5,7
/proc/6519/task/6530/stat : 6530 (java) S 6517 6519 6169 0 -1 4202560 30334 0 0 0 1041 3 0 0 15 0 19 0 548785934 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 0 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6531] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6531/stat : 6531 (java) S 6517 6519 6169 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6532] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6532/stat : 6532 (java) S 6517 6519 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6533] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6533/stat : 6533 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296749489 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6534] ppid=6517 vsize=7649812 CPUtime=0.49 cores=5,7
/proc/6519/task/6534/stat : 6534 (java) S 6517 6519 6169 0 -1 4202560 5986 0 0 0 49 0 0 0 15 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6535] ppid=6517 vsize=7649812 CPUtime=0.35 cores=5,7
/proc/6519/task/6535/stat : 6535 (java) S 6517 6519 6169 0 -1 4202560 3864 0 0 0 35 0 0 0 15 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6536] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6536/stat : 6536 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6537] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6537/stat : 6537 (java) S 6517 6519 6169 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6539] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6539/stat : 6539 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548786013 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 7649812

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

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

[startup+1300 s]
/proc/loadavg: 4.00 4.02 4.06 2/202 6582
/proc/meminfo: memFree=20127512/32951124 swapFree=67110396/67111528
[pid=6519] ppid=6517 vsize=7649812 CPUtime=1301.6 cores=5,7
/proc/6519/stat : 6519 (java) S 6517 6519 6169 0 -1 4202496 93303 0 1 0 130147 13 0 0 25 0 19 0 548785931 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6519/statm: 1912453 86883 2254 9 0 1903191 0
[pid=6519/tid=6520] ppid=6517 vsize=7649812 CPUtime=1288.75 cores=5,7
/proc/6519/task/6520/stat : 6520 (java) R 6517 6519 6169 0 -1 4202560 29215 0 1 0 128870 5 0 0 25 0 19 0 548785932 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 46912505683454 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6519/tid=6522] ppid=6517 vsize=7649812 CPUtime=0.3 cores=5,7
/proc/6519/task/6522/stat : 6522 (java) S 6517 6519 6169 0 -1 4202560 8880 0 0 0 30 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6523] ppid=6517 vsize=7649812 CPUtime=0.15 cores=5,7
/proc/6519/task/6523/stat : 6523 (java) S 6517 6519 6169 0 -1 4202560 5935 0 0 0 15 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6524] ppid=6517 vsize=7649812 CPUtime=0.16 cores=5,7
/proc/6519/task/6524/stat : 6524 (java) S 6517 6519 6169 0 -1 4202560 3590 0 0 0 16 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6525] ppid=6517 vsize=7649812 CPUtime=0.25 cores=5,7
/proc/6519/task/6525/stat : 6525 (java) S 6517 6519 6169 0 -1 4202560 649 0 0 0 25 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6526] ppid=6517 vsize=7649812 CPUtime=0.11 cores=5,7
/proc/6519/task/6526/stat : 6526 (java) S 6517 6519 6169 0 -1 4202560 769 0 0 0 11 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6527] ppid=6517 vsize=7649812 CPUtime=0.18 cores=5,7
/proc/6519/task/6527/stat : 6527 (java) S 6517 6519 6169 0 -1 4202560 723 0 0 0 18 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6528] ppid=6517 vsize=7649812 CPUtime=0.11 cores=5,7
/proc/6519/task/6528/stat : 6528 (java) S 6517 6519 6169 0 -1 4202560 755 0 0 0 11 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6529] ppid=6517 vsize=7649812 CPUtime=0.2 cores=5,7
/proc/6519/task/6529/stat : 6529 (java) S 6517 6519 6169 0 -1 4202560 1378 0 0 0 20 0 0 0 15 0 19 0 548785933 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6530] ppid=6517 vsize=7649812 CPUtime=10.44 cores=5,7
/proc/6519/task/6530/stat : 6530 (java) S 6517 6519 6169 0 -1 4202560 30334 0 0 0 1041 3 0 0 15 0 19 0 548785934 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 0 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6531] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6531/stat : 6531 (java) S 6517 6519 6169 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6532] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6532/stat : 6532 (java) S 6517 6519 6169 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548785934 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6533] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6533/stat : 6533 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296749489 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6534] ppid=6517 vsize=7649812 CPUtime=0.49 cores=5,7
/proc/6519/task/6534/stat : 6534 (java) S 6517 6519 6169 0 -1 4202560 5986 0 0 0 49 0 0 0 15 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6535] ppid=6517 vsize=7649812 CPUtime=0.35 cores=5,7
/proc/6519/task/6535/stat : 6535 (java) S 6517 6519 6169 0 -1 4202560 3864 0 0 0 35 0 0 0 15 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6536] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6536/stat : 6536 (java) S 6517 6519 6169 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296741785 0 4 0 16800975 18446604471098950720 0 0 -1 5 0 0 0
[pid=6519/tid=6537] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6537/stat : 6537 (java) S 6517 6519 6169 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 548785937 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
[pid=6519/tid=6539] ppid=6517 vsize=7649812 CPUtime=0 cores=5,7
/proc/6519/task/6539/stat : 6539 (java) S 6517 6519 6169 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548786013 7833407488 86883 33554432000 1073741824 1073778376 140733324329072 18446744073709551615 224296742400 0 4 0 16800975 18446604471098950720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 7649812

Child status: 143
Real time (s): 1300.08
CPU time (s): 1301.68
CPU user time (s): 1301.53
CPU system time (s): 0.151976
CPU usage (%): 100.123
Max. virtual memory (cumulated for all children) (KiB): 7663308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.53
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93339
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= 27902
involuntary context switches= 4260

runsolver used 2.10568 second user time and 5.07623 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-23 21:05:53
IDJOB=3251258
IDBENCH=88217
IDSOLVER=1611
FILE ID=node118/3251258-1303585552
RUNJOBID= node118-1303584250-6190
PBS_JOBID= 13150361
Free space on /tmp= 71724 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251258-1303585552/watcher-3251258-1303585552 -o /tmp/evaluation-result-3251258-1303585552/solver-3251258-1303585552 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3251258-1303585552.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= b23c52475e3d098cb9d5a92c025d6982
RANDOM SEED=1195354388

node118.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.842
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.68
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.842
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.75
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.842
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20336240 kB
Buffers:       1858256 kB
Cached:       10026736 kB
SwapCached:        600 kB
Active:        8632080 kB
Inactive:      3458424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20336240 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           22556 kB
Writeback:           8 kB
AnonPages:      204184 kB
Mapped:          23084 kB
Slab:           459668 kB
PageTables:       5668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22001536 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= 71732 MiB
End job on node118 at 2011-04-23 21:27:35