Trace number 3291053

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) 1302.5 1300.11

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00N23.cnf
MD5SUM1a1f0dddf727883e0973677dd00e9269
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2210893
Sum of the clauses size20370578
Maximum clause length105
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 241189
Number of clauses of size 336730
Number of clauses of size 432798
Number of clauses of size 5188784
Number of clauses of size over 51911364

Solver Data 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.08	c no version file found!!!
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		6997539544
0.05/0.08	c Max memory 		7034241024
0.05/0.08	c Total memory 		7034241024
0.05/0.08	c Number of processors 	8
0.05/0.09	c --- Begin Solver configuration ---
0.05/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.05/0.09	c Learn all clauses as in MiniSAT
0.05/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.09	c Expensive reason simplification
0.05/0.09	c Armin Biere (Picosat) restarts strategy
0.05/0.09	c Glucose learned constraints deletion strategy
0.05/0.09	c timeout=2147483647s
0.05/0.09	c DB Simplification allowed=true
0.05/0.09	c --- End Solver configuration ---
0.05/0.09	c solving HOME/instance-3291053-1303790450.cnf
0.05/0.09	c reading problem ... 
4.67/4.56	c ... done. Wall clock time 4.465s.
4.67/4.56	c #vars     15364
4.67/4.56	c #constraints  2210249
4.67/4.56	c constraints type 
4.67/4.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2169676
4.67/4.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 40545
11.47/10.82	c cleaning 2497 clauses out of 4998 with flag 5001/5001
20.48/19.06	c cleaning 4240 clauses out of 8501 with flag 11002/11002
28.49/27.00	c cleaning 5625 clauses out of 11260 with flag 18001/18001
37.22/35.72	c cleaning 6806 clauses out of 13636 with flag 26002/26002
46.66/45.12	c cleaning 7892 clauses out of 15827 with flag 35000/35000
56.38/54.89	c cleaning 8961 clauses out of 17936 with flag 45001/45001
67.00/65.41	c cleaning 9975 clauses out of 19973 with flag 56000/56000
79.22/77.67	c cleaning 10976 clauses out of 21999 with flag 68001/68001
91.55/89.93	c cleaning 12006 clauses out of 24022 with flag 81000/81000
104.56/102.99	c cleaning 13003 clauses out of 26017 with flag 95002/95002
117.78/116.12	c cleaning 13981 clauses out of 28012 with flag 110000/110000
132.79/131.13	c cleaning 15012 clauses out of 30031 with flag 126000/126000
150.51/148.86	c cleaning 15969 clauses out of 32020 with flag 143001/143001
165.62/163.95	c cleaning 17023 clauses out of 34050 with flag 161001/161001
181.44/179.73	c cleaning 18006 clauses out of 36026 with flag 180000/180000
200.86/199.20	c cleaning 18988 clauses out of 38020 with flag 200000/200000
224.97/223.21	c cleaning 19991 clauses out of 40032 with flag 221000/221000
246.29/244.59	c cleaning 21021 clauses out of 42042 with flag 243001/243001
267.01/265.21	c cleaning 21993 clauses out of 44020 with flag 266000/266000
287.42/285.61	c cleaning 22999 clauses out of 46028 with flag 290001/290001
310.54/308.79	c cleaning 24013 clauses out of 48030 with flag 315002/315002
332.05/330.22	c cleaning 24979 clauses out of 50016 with flag 341001/341001
356.37/354.56	c cleaning 25984 clauses out of 52036 with flag 368000/368000
383.30/381.46	c cleaning 27011 clauses out of 54052 with flag 396000/396000
414.31/412.47	c cleaning 27998 clauses out of 56041 with flag 425000/425000
444.33/442.47	c cleaning 29002 clauses out of 58043 with flag 455000/455000
473.35/471.42	c cleaning 30010 clauses out of 60042 with flag 486001/486001
502.86/500.91	c cleaning 30990 clauses out of 62031 with flag 518000/518000
529.38/527.49	c cleaning 31997 clauses out of 64041 with flag 551000/551000
565.10/563.17	c cleaning 33015 clauses out of 66044 with flag 585000/585000
605.12/603.16	c cleaning 34013 clauses out of 68031 with flag 620002/620002
642.64/640.67	c cleaning 34957 clauses out of 70017 with flag 656001/656001
681.06/679.09	c cleaning 36025 clauses out of 72059 with flag 693000/693000
716.79/714.74	c cleaning 36992 clauses out of 74035 with flag 731001/731001
759.41/757.35	c cleaning 37996 clauses out of 76043 with flag 770001/770001
802.93/800.84	c cleaning 38999 clauses out of 78046 with flag 810000/810000
845.35/843.26	c cleaning 39994 clauses out of 80047 with flag 851000/851000
883.76/881.67	c cleaning 40994 clauses out of 82053 with flag 893000/893000
932.59/930.46	c cleaning 42000 clauses out of 84059 with flag 936000/936000
978.10/975.93	c cleaning 43000 clauses out of 86061 with flag 980002/980002
1026.52/1024.39	c cleaning 44023 clauses out of 88060 with flag 1025001/1025001
1066.24/1064.07	c cleaning 45013 clauses out of 90038 with flag 1071002/1071002
1114.17/1111.98	c cleaning 45978 clauses out of 92023 with flag 1118000/1118000
1160.38/1158.16	c cleaning 46975 clauses out of 94045 with flag 1166000/1166000
1203.90/1201.68	c cleaning 48027 clauses out of 96072 with flag 1215002/1215002
1259.62/1257.34	c cleaning 48993 clauses out of 98046 with flag 1265003/1265003
1302.35/1300.01	c starts		: 1321
1302.35/1300.01	c conflicts		: 1306797
1302.35/1300.01	c decisions		: 2571240
1302.35/1300.01	c propagations		: 699446596
1302.35/1300.01	c inspects		: 8757633668
1302.35/1300.01	c shortcuts		: 0
1302.35/1300.01	c learnt literals	: 7
1302.35/1300.01	c learnt binary clauses	: 725
1302.35/1300.02	c learnt ternary clauses	: 8688
1302.35/1300.02	c learnt constraints	: 1306789
1302.35/1300.02	c ignored constraints	: 0
1302.35/1300.02	c root simplifications	: 1328
1302.35/1300.02	c removed literals (reason simplification)	: 91189867
1302.35/1300.02	c reason swapping (by a shorter reason)	: 0
1302.35/1300.02	c Calls to reduceDB	: 46
1302.35/1300.02	c speed (assignments/second)	: 539923.0819109256
1302.35/1300.02	c non guided choices	223
1302.35/1300.06	c learnt constraints type 
1302.35/1300.06	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 724
1302.35/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 90163
1302.35/1300.06	c constraints type 
1302.35/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2169676
1302.35/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 40545
1302.35/1300.06	s UNKNOWN
1302.35/1300.06	c Total wall clock time (in seconds) : 1299.921

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

running on 2 cores: 0,2

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.93 4.00 3.94 5/243 26835
/proc/meminfo: memFree=13871460/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=11800 CPUtime=0 cores=0,2
/proc/26835/stat : 26835 (runsolver) R 26833 26835 26130 0 -1 4202560 45 0 0 0 0 0 0 0 23 0 1 0 490645161 12083200 54 33554432000 4194304 5434984 140736475964768 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/26835/statm: 2950 54 34 303 0 2644 0

[startup+0.0738541 s]
/proc/loadavg: 3.93 4.00 3.94 5/243 26835
/proc/meminfo: memFree=13871460/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7569940 CPUtime=0.05 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 9368 0 1 0 4 1 0 0 23 0 18 0 490645161 7751618560 9064 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1892485 9064 1753 9 0 1883223 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569940

[startup+1.07267 s]
/proc/loadavg: 3.93 4.00 3.94 5/243 26835
/proc/meminfo: memFree=13871460/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7640840 CPUtime=1.24 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 28171 0 1 0 119 5 0 0 23 0 18 0 490645161 7824220160 26960 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910210 26961 2206 9 0 1900948 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 7640840

[startup+1.10067 s]
/proc/loadavg: 3.93 4.00 3.94 5/243 26835
/proc/meminfo: memFree=13871460/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7640840 CPUtime=1.27 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 28839 0 1 0 122 5 0 0 23 0 18 0 490645161 7824220160 27628 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910210 27629 2206 9 0 1900948 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 7640840

[startup+1.20065 s]
/proc/loadavg: 3.93 4.00 3.94 5/243 26835
/proc/meminfo: memFree=13871460/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7640840 CPUtime=1.36 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 30758 0 1 0 131 5 0 0 23 0 18 0 490645161 7824220160 29547 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910210 29548 2206 9 0 1900948 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 7640840

[startup+1.5006 s]
/proc/loadavg: 3.93 4.00 3.94 5/243 26835
/proc/meminfo: memFree=13871460/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7640840 CPUtime=1.67 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 34860 0 1 0 161 6 0 0 23 0 18 0 490645161 7824220160 33649 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910210 33649 2206 9 0 1900948 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 7640840

[startup+3.10736 s]
/proc/loadavg: 4.17 4.04 3.95 5/261 26854
/proc/meminfo: memFree=13670948/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7640840 CPUtime=3.28 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 54801 0 1 0 318 10 0 0 23 0 18 0 490645161 7824220160 53590 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910210 53590 2206 9 0 1900948 0
[pid=26835/tid=26837] ppid=26833 vsize=7640840 CPUtime=3.08 cores=0,2
/proc/26835/task/26837/stat : 26837 (java) R 26833 26835 26130 0 -1 4202560 50911 0 1 0 299 9 0 0 25 0 18 0 490645162 7824220160 53591 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 46912505553727 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26835/tid=26838] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26838/stat : 26838 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53591 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26839] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26839/stat : 26839 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53591 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26840] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26840/stat : 26840 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53591 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26841] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26841/stat : 26841 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53592 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26842] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26842/stat : 26842 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53592 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26843] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26843/stat : 26843 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53592 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26844] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26844/stat : 26844 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53592 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26845] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26845/stat : 26845 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645163 7824220160 53593 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26846] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26846/stat : 26846 (java) S 26833 26835 26130 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 490645164 7824220160 53593 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 0 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26847] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26847/stat : 26847 (java) S 26833 26835 26130 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 490645165 7824220160 53593 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26848] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26848/stat : 26848 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 490645165 7824220160 53593 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26849] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26849/stat : 26849 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645167 7824220160 53594 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101521841 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26850] ppid=26833 vsize=7640840 CPUtime=0.03 cores=0,2
/proc/26835/task/26850/stat : 26850 (java) S 26833 26835 26130 0 -1 4202560 391 0 0 0 3 0 0 0 21 0 18 0 490645167 7824220160 53594 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26851] ppid=26833 vsize=7640840 CPUtime=0.14 cores=0,2
/proc/26835/task/26851/stat : 26851 (java) S 26833 26835 26130 0 -1 4202560 2346 0 0 0 14 0 0 0 22 0 18 0 490645167 7824220160 53594 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26852] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26852/stat : 26852 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 490645167 7824220160 53594 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26853] ppid=26833 vsize=7640840 CPUtime=0 cores=0,2
/proc/26835/task/26853/stat : 26853 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 490645167 7824220160 53595 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 7640840

[startup+6.30075 s]
/proc/loadavg: 4.16 4.04 3.95 5/262 26855
/proc/meminfo: memFree=13552148/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7642812 CPUtime=6.89 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 84099 0 1 0 674 15 0 0 23 0 19 0 490645161 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910703 82196 2224 9 0 1901441 0
[pid=26835/tid=26837] ppid=26833 vsize=7642812 CPUtime=6.28 cores=0,2
/proc/26835/task/26837/stat : 26837 (java) R 26833 26835 26130 0 -1 4202560 79149 0 1 0 614 14 0 0 25 0 19 0 490645162 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 46912505690637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26835/tid=26838] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26838/stat : 26838 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26839] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26839/stat : 26839 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26840] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26840/stat : 26840 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26841] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26841/stat : 26841 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26842] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26842/stat : 26842 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26843] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26843/stat : 26843 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26844] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26844/stat : 26844 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26845] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26845/stat : 26845 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645163 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26846] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26846/stat : 26846 (java) S 26833 26835 26130 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 490645164 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 0 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26847] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26847/stat : 26847 (java) S 26833 26835 26130 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490645165 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26848] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26848/stat : 26848 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490645165 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26849] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26849/stat : 26849 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101521841 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26850] ppid=26833 vsize=7642812 CPUtime=0.18 cores=0,2
/proc/26835/task/26850/stat : 26850 (java) S 26833 26835 26130 0 -1 4202560 927 0 0 0 18 0 0 0 15 0 19 0 490645167 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26851] ppid=26833 vsize=7642812 CPUtime=0.41 cores=0,2
/proc/26835/task/26851/stat : 26851 (java) S 26833 26835 26130 0 -1 4202560 2860 0 0 0 41 0 0 0 15 0 19 0 490645167 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26852] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26852/stat : 26852 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26853] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26853/stat : 26853 (java) S 26833 26835 26130 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490645167 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26855] ppid=26833 vsize=7642812 CPUtime=0 cores=0,2
/proc/26835/task/26855/stat : 26855 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490645623 7826239488 82196 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 7642812

[startup+12.7007 s]
/proc/loadavg: 4.47 4.11 3.97 5/262 26864
/proc/meminfo: memFree=13250472/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7641428 CPUtime=14.14 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 230345 0 1 0 1381 33 0 0 23 0 19 0 490645161 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910357 223563 2252 9 0 1901095 0
[pid=26835/tid=26837] ppid=26833 vsize=7641428 CPUtime=11.39 cores=0,2
/proc/26835/task/26837/stat : 26837 (java) R 26833 26835 26130 0 -1 4202560 83594 0 1 0 1125 14 0 0 18 0 19 0 490645162 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 46912505795796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26835/tid=26838] ppid=26833 vsize=7641428 CPUtime=0.21 cores=0,2
/proc/26835/task/26838/stat : 26838 (java) S 26833 26835 26130 0 -1 4202560 28594 0 0 0 18 3 0 0 18 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26839] ppid=26833 vsize=7641428 CPUtime=0.2 cores=0,2
/proc/26835/task/26839/stat : 26839 (java) S 26833 26835 26130 0 -1 4202560 15769 0 0 0 19 1 0 0 18 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26840] ppid=26833 vsize=7641428 CPUtime=0.11 cores=0,2
/proc/26835/task/26840/stat : 26840 (java) S 26833 26835 26130 0 -1 4202560 6957 0 0 0 11 0 0 0 18 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26841] ppid=26833 vsize=7641428 CPUtime=0.09 cores=0,2
/proc/26835/task/26841/stat : 26841 (java) S 26833 26835 26130 0 -1 4202560 11042 0 0 0 8 1 0 0 18 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26842] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26842/stat : 26842 (java) S 26833 26835 26130 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26843] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26843/stat : 26843 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26844] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26844/stat : 26844 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26845] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26845/stat : 26845 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490645163 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26846] ppid=26833 vsize=7641428 CPUtime=0.94 cores=0,2
/proc/26835/task/26846/stat : 26846 (java) S 26833 26835 26130 0 -1 4202560 70149 0 0 0 86 8 0 0 17 0 19 0 490645164 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 0 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26847] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26847/stat : 26847 (java) S 26833 26835 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26848] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26848/stat : 26848 (java) S 26833 26835 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26849] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26849/stat : 26849 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101521841 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26850] ppid=26833 vsize=7641428 CPUtime=0.7 cores=0,2
/proc/26835/task/26850/stat : 26850 (java) S 26833 26835 26130 0 -1 4202560 10168 0 0 0 68 2 0 0 16 0 19 0 490645167 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26851] ppid=26833 vsize=7641428 CPUtime=0.43 cores=0,2
/proc/26835/task/26851/stat : 26851 (java) S 26833 26835 26130 0 -1 4202560 2865 0 0 0 43 0 0 0 15 0 19 0 490645167 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26852] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26852/stat : 26852 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 223563 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26853] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2

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

[pid=26835/tid=26843] ppid=26833 vsize=7641428 CPUtime=0.25 cores=0,2
/proc/26835/task/26843/stat : 26843 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 25 0 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26844] ppid=26833 vsize=7641428 CPUtime=0.13 cores=0,2
/proc/26835/task/26844/stat : 26844 (java) S 26833 26835 26130 0 -1 4202560 6 0 0 0 13 0 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26845] ppid=26833 vsize=7641428 CPUtime=0.15 cores=0,2
/proc/26835/task/26845/stat : 26845 (java) S 26833 26835 26130 0 -1 4202560 20 0 0 0 15 0 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26846] ppid=26833 vsize=7641428 CPUtime=29.72 cores=0,2
/proc/26835/task/26846/stat : 26846 (java) S 26833 26835 26130 0 -1 4202560 77876 0 0 0 2964 8 0 0 15 0 19 0 490645164 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 0 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26847] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26847/stat : 26847 (java) S 26833 26835 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26848] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26848/stat : 26848 (java) S 26833 26835 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26849] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26849/stat : 26849 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101521841 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26850] ppid=26833 vsize=7641428 CPUtime=0.72 cores=0,2
/proc/26835/task/26850/stat : 26850 (java) S 26833 26835 26130 0 -1 4202560 10174 0 0 0 70 2 0 0 15 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26851] ppid=26833 vsize=7641428 CPUtime=0.48 cores=0,2
/proc/26835/task/26851/stat : 26851 (java) S 26833 26835 26130 0 -1 4202560 2869 0 0 0 48 0 0 0 15 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26852] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26852/stat : 26852 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26853] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26853/stat : 26853 (java) S 26833 26835 26130 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26855] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26855/stat : 26855 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490645623 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1184.6
Current children cumulated vsize (KiB) 7641428

[startup+1242.3 s]
/proc/loadavg: 3.03 3.48 3.78 4/238 26968
/proc/meminfo: memFree=13080888/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7641428 CPUtime=1244.62 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 238305 0 1 0 124427 35 0 0 23 0 19 0 490645161 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910357 230001 2254 9 0 1901095 0
[pid=26835/tid=26837] ppid=26833 vsize=7641428 CPUtime=1210.8 cores=0,2
/proc/26835/task/26837/stat : 26837 (java) R 26833 26835 26130 0 -1 4202560 83641 0 1 0 121064 16 0 0 25 0 19 0 490645162 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 46912505543452 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26835/tid=26838] ppid=26833 vsize=7641428 CPUtime=0.39 cores=0,2
/proc/26835/task/26838/stat : 26838 (java) S 26833 26835 26130 0 -1 4202560 28599 0 0 0 36 3 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26839] ppid=26833 vsize=7641428 CPUtime=0.39 cores=0,2
/proc/26835/task/26839/stat : 26839 (java) S 26833 26835 26130 0 -1 4202560 15777 0 0 0 38 1 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26840] ppid=26833 vsize=7641428 CPUtime=0.25 cores=0,2
/proc/26835/task/26840/stat : 26840 (java) S 26833 26835 26130 0 -1 4202560 6964 0 0 0 25 0 0 0 16 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26841] ppid=26833 vsize=7641428 CPUtime=0.3 cores=0,2
/proc/26835/task/26841/stat : 26841 (java) S 26833 26835 26130 0 -1 4202560 11046 0 0 0 29 1 0 0 16 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26842] ppid=26833 vsize=7641428 CPUtime=0.31 cores=0,2
/proc/26835/task/26842/stat : 26842 (java) S 26833 26835 26130 0 -1 4202560 100 0 0 0 31 0 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26843] ppid=26833 vsize=7641428 CPUtime=0.25 cores=0,2
/proc/26835/task/26843/stat : 26843 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 25 0 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26844] ppid=26833 vsize=7641428 CPUtime=0.13 cores=0,2
/proc/26835/task/26844/stat : 26844 (java) S 26833 26835 26130 0 -1 4202560 6 0 0 0 13 0 0 0 15 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26845] ppid=26833 vsize=7641428 CPUtime=0.17 cores=0,2
/proc/26835/task/26845/stat : 26845 (java) S 26833 26835 26130 0 -1 4202560 20 0 0 0 17 0 0 0 16 0 19 0 490645163 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26846] ppid=26833 vsize=7641428 CPUtime=30.31 cores=0,2
/proc/26835/task/26846/stat : 26846 (java) S 26833 26835 26130 0 -1 4202560 77878 0 0 0 3023 8 0 0 15 0 19 0 490645164 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 0 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26847] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26847/stat : 26847 (java) S 26833 26835 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26848] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26848/stat : 26848 (java) S 26833 26835 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26849] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26849/stat : 26849 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101521841 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26850] ppid=26833 vsize=7641428 CPUtime=0.72 cores=0,2
/proc/26835/task/26850/stat : 26850 (java) S 26833 26835 26130 0 -1 4202560 10174 0 0 0 70 2 0 0 15 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26851] ppid=26833 vsize=7641428 CPUtime=0.48 cores=0,2
/proc/26835/task/26851/stat : 26851 (java) S 26833 26835 26130 0 -1 4202560 2869 0 0 0 48 0 0 0 15 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26852] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26852/stat : 26852 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26853] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26853/stat : 26853 (java) S 26833 26835 26130 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 490645167 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26855] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26855/stat : 26855 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490645623 7824822272 230001 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1244.62
Current children cumulated vsize (KiB) 7641428



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300.01 s]
/proc/loadavg: 2.61 3.30 3.70 4/214 26989
/proc/meminfo: memFree=14007448/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7641428 CPUtime=1302.35 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 238459 0 1 0 130200 35 0 0 23 0 19 0 490645161 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910357 230150 2254 9 0 1901095 0
[pid=26835/tid=26837] ppid=26833 vsize=7641428 CPUtime=1267.88 cores=0,2
/proc/26835/task/26837/stat : 26837 (java) R 26833 26835 26130 0 -1 4202560 83642 0 1 0 126772 16 0 0 25 0 19 0 490645162 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 46912505729252 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26835/tid=26838] ppid=26833 vsize=7641428 CPUtime=0.39 cores=0,2
/proc/26835/task/26838/stat : 26838 (java) S 26833 26835 26130 0 -1 4202560 28599 0 0 0 36 3 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26839] ppid=26833 vsize=7641428 CPUtime=0.39 cores=0,2
/proc/26835/task/26839/stat : 26839 (java) S 26833 26835 26130 0 -1 4202560 15777 0 0 0 38 1 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26840] ppid=26833 vsize=7641428 CPUtime=0.27 cores=0,2
/proc/26835/task/26840/stat : 26840 (java) S 26833 26835 26130 0 -1 4202560 6971 0 0 0 27 0 0 0 16 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26841] ppid=26833 vsize=7641428 CPUtime=0.3 cores=0,2
/proc/26835/task/26841/stat : 26841 (java) S 26833 26835 26130 0 -1 4202560 11046 0 0 0 29 1 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26842] ppid=26833 vsize=7641428 CPUtime=0.33 cores=0,2
/proc/26835/task/26842/stat : 26842 (java) S 26833 26835 26130 0 -1 4202560 100 0 0 0 33 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26843] ppid=26833 vsize=7641428 CPUtime=0.25 cores=0,2
/proc/26835/task/26843/stat : 26843 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 25 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26844] ppid=26833 vsize=7641428 CPUtime=0.13 cores=0,2
/proc/26835/task/26844/stat : 26844 (java) S 26833 26835 26130 0 -1 4202560 6 0 0 0 13 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26845] ppid=26833 vsize=7641428 CPUtime=0.17 cores=0,2
/proc/26835/task/26845/stat : 26845 (java) S 26833 26835 26130 0 -1 4202560 20 0 0 0 17 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26846] ppid=26833 vsize=7641428 CPUtime=30.93 cores=0,2
/proc/26835/task/26846/stat : 26846 (java) S 26833 26835 26130 0 -1 4202560 78022 0 0 0 3085 8 0 0 15 0 19 0 490645164 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 0 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26847] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26847/stat : 26847 (java) S 26833 26835 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26848] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26848/stat : 26848 (java) S 26833 26835 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26849] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26849/stat : 26849 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101521841 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26850] ppid=26833 vsize=7641428 CPUtime=0.72 cores=0,2
/proc/26835/task/26850/stat : 26850 (java) S 26833 26835 26130 0 -1 4202560 10174 0 0 0 70 2 0 0 15 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26851] ppid=26833 vsize=7641428 CPUtime=0.48 cores=0,2
/proc/26835/task/26851/stat : 26851 (java) S 26833 26835 26130 0 -1 4202560 2869 0 0 0 48 0 0 0 15 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26852] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26852/stat : 26852 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26853] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26853/stat : 26853 (java) S 26833 26835 26130 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26855] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26855/stat : 26855 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490645623 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 7641428

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

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

[startup+1300.01 s]
/proc/loadavg: 2.61 3.30 3.70 4/214 26989
/proc/meminfo: memFree=14007448/32950928 swapFree=67111528/67111528
[pid=26835] ppid=26833 vsize=7641428 CPUtime=1302.35 cores=0,2
/proc/26835/stat : 26835 (java) S 26833 26835 26130 0 -1 4202496 238459 0 1 0 130200 35 0 0 23 0 19 0 490645161 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26835/statm: 1910357 230150 2254 9 0 1901095 0
[pid=26835/tid=26837] ppid=26833 vsize=7641428 CPUtime=1267.88 cores=0,2
/proc/26835/task/26837/stat : 26837 (java) R 26833 26835 26130 0 -1 4202560 83642 0 1 0 126772 16 0 0 25 0 19 0 490645162 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 46912505729252 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26835/tid=26838] ppid=26833 vsize=7641428 CPUtime=0.39 cores=0,2
/proc/26835/task/26838/stat : 26838 (java) S 26833 26835 26130 0 -1 4202560 28599 0 0 0 36 3 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26839] ppid=26833 vsize=7641428 CPUtime=0.39 cores=0,2
/proc/26835/task/26839/stat : 26839 (java) S 26833 26835 26130 0 -1 4202560 15777 0 0 0 38 1 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26840] ppid=26833 vsize=7641428 CPUtime=0.27 cores=0,2
/proc/26835/task/26840/stat : 26840 (java) S 26833 26835 26130 0 -1 4202560 6971 0 0 0 27 0 0 0 16 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26841] ppid=26833 vsize=7641428 CPUtime=0.3 cores=0,2
/proc/26835/task/26841/stat : 26841 (java) S 26833 26835 26130 0 -1 4202560 11046 0 0 0 29 1 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26842] ppid=26833 vsize=7641428 CPUtime=0.33 cores=0,2
/proc/26835/task/26842/stat : 26842 (java) S 26833 26835 26130 0 -1 4202560 100 0 0 0 33 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26843] ppid=26833 vsize=7641428 CPUtime=0.25 cores=0,2
/proc/26835/task/26843/stat : 26843 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 25 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26844] ppid=26833 vsize=7641428 CPUtime=0.13 cores=0,2
/proc/26835/task/26844/stat : 26844 (java) S 26833 26835 26130 0 -1 4202560 6 0 0 0 13 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26845] ppid=26833 vsize=7641428 CPUtime=0.17 cores=0,2
/proc/26835/task/26845/stat : 26845 (java) S 26833 26835 26130 0 -1 4202560 20 0 0 0 17 0 0 0 15 0 19 0 490645163 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26846] ppid=26833 vsize=7641428 CPUtime=30.93 cores=0,2
/proc/26835/task/26846/stat : 26846 (java) S 26833 26835 26130 0 -1 4202560 78022 0 0 0 3085 8 0 0 15 0 19 0 490645164 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 0 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26847] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26847/stat : 26847 (java) S 26833 26835 26130 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26848] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26848/stat : 26848 (java) S 26833 26835 26130 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490645165 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26849] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26849/stat : 26849 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101521841 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26850] ppid=26833 vsize=7641428 CPUtime=0.72 cores=0,2
/proc/26835/task/26850/stat : 26850 (java) S 26833 26835 26130 0 -1 4202560 10174 0 0 0 70 2 0 0 15 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 0 0 0 0
[pid=26835/tid=26851] ppid=26833 vsize=7641428 CPUtime=0.48 cores=0,2
/proc/26835/task/26851/stat : 26851 (java) S 26833 26835 26130 0 -1 4202560 2869 0 0 0 48 0 0 0 15 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26852] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26852/stat : 26852 (java) S 26833 26835 26130 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514137 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26853] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26853/stat : 26853 (java) S 26833 26835 26130 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 490645167 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
[pid=26835/tid=26855] ppid=26833 vsize=7641428 CPUtime=0 cores=0,2
/proc/26835/task/26855/stat : 26855 (java) S 26833 26835 26130 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490645623 7824822272 230150 33554432000 1073741824 1073778376 140734028357104 18446744073709551615 248101514752 0 4 0 16800975 18446604453870413888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 7641428

Child status: 143
Real time (s): 1300.11
CPU time (s): 1302.5
CPU user time (s): 1302.1
CPU system time (s): 0.399939
CPU usage (%): 100.184
Max. virtual memory (cumulated for all children) (KiB): 7643744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.1
system time used= 0.399939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238487
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= 27893
involuntary context switches= 5601

runsolver used 2.13867 second user time and 4.98124 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-26 06:00:54
IDJOB=3291053
IDBENCH=83466
IDSOLVER=1611
FILE ID=node123/3291053-1303790450
RUNJOBID= node123-1303789113-26148
PBS_JOBID= 13157259
Free space on /tmp= 72708 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N23.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-3291053-1303790450/watcher-3291053-1303790450 -o /tmp/evaluation-result-3291053-1303790450/solver-3291053-1303790450 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291053-1303790450.cnf

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

MD5SUM BENCH= 1a1f0dddf727883e0973677dd00e9269
RANDOM SEED=350311381

node123.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.838
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.67
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.838
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	: 5226.15
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.838
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.75
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.838
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:     32950928 kB
MemFree:      13871492 kB
Buffers:       2171332 kB
Cached:       15236884 kB
SwapCached:          0 kB
Active:        9560180 kB
Inactive:      8968728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13871492 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          212688 kB
Writeback:           0 kB
AnonPages:     1119944 kB
Mapped:          23400 kB
Slab:           482952 kB
PageTables:       7696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 22047616 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= 72816 MiB
End job on node123 at 2011-04-26 06:22:36