Trace number 3263316

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.37 1300.05

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
MD5SUM7ef2b563e57ba91e22d23e55abe69485
Bench CategoryCRAFTED (crafted 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 variables600
Number of clauses46988
Sum of the clauses size94536
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 246968
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.08	c no version file found!!!
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		6997539544
0.02/0.08	c Max memory 		7034241024
0.02/0.08	c Total memory 		7034241024
0.02/0.08	c Number of processors 	8
0.02/0.09	c --- Begin Solver configuration ---
0.02/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.02/0.09	c Expensive reason simplification
0.02/0.09	c Armin Biere (Picosat) restarts strategy
0.02/0.09	c Glucose learned constraints deletion strategy
0.02/0.09	c timeout=2147483647s
0.02/0.09	c DB Simplification allowed=true
0.02/0.09	c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3263316-1303566768.cnf
0.02/0.09	c reading problem ... 
0.28/0.21	c ... done. Wall clock time 0.116s.
0.28/0.21	c #vars     600
0.28/0.21	c #constraints  46988
0.28/0.21	c constraints type 
0.28/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
0.28/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 46968
1.30/0.92	c cleaning 2500 clauses out of 5000 with flag 5000/5000
2.23/1.64	c cleaning 4249 clauses out of 8501 with flag 11001/11001
3.03/2.47	c cleaning 5626 clauses out of 11251 with flag 18000/18000
4.13/3.52	c cleaning 6806 clauses out of 13625 with flag 26000/26000
5.36/4.76	c cleaning 7897 clauses out of 15820 with flag 35001/35001
6.76/6.17	c cleaning 8957 clauses out of 17922 with flag 45000/45000
8.37/7.73	c cleaning 9978 clauses out of 19965 with flag 56000/56000
10.26/9.61	c cleaning 10989 clauses out of 21989 with flag 68002/68002
12.16/11.59	c cleaning 11993 clauses out of 24000 with flag 81002/81002
14.46/13.86	c cleaning 12999 clauses out of 26006 with flag 95001/95001
16.86/16.29	c cleaning 13997 clauses out of 28007 with flag 110001/110001
19.66/19.03	c cleaning 15001 clauses out of 30010 with flag 126001/126001
22.56/21.95	c cleaning 15989 clauses out of 32008 with flag 143000/143000
25.86/25.27	c cleaning 17006 clauses out of 34020 with flag 161001/161001
29.46/28.85	c cleaning 17994 clauses out of 36013 with flag 180000/180000
33.30/32.66	c cleaning 19001 clauses out of 38019 with flag 200000/200000
37.59/36.62	c cleaning 19995 clauses out of 40018 with flag 221000/221000
41.99/41.05	c cleaning 21009 clauses out of 42024 with flag 243001/243001
46.59/45.60	c cleaning 22002 clauses out of 44014 with flag 266000/266000
51.29/50.37	c cleaning 23001 clauses out of 46012 with flag 290000/290000
56.29/55.34	c cleaning 23998 clauses out of 48012 with flag 315001/315001
61.79/60.86	c cleaning 24991 clauses out of 50013 with flag 341000/341000
68.20/67.20	c cleaning 25994 clauses out of 52022 with flag 368000/368000
74.40/73.42	c cleaning 27012 clauses out of 54031 with flag 396003/396003
81.01/80.09	c cleaning 28006 clauses out of 56017 with flag 425001/425001
88.42/87.43	c cleaning 28999 clauses out of 58010 with flag 455000/455000
95.63/94.66	c cleaning 30001 clauses out of 60013 with flag 486002/486002
103.13/102.12	c cleaning 30998 clauses out of 62011 with flag 518001/518001
111.20/110.04	c cleaning 32002 clauses out of 64012 with flag 551000/551000
119.92/118.55	c cleaning 32999 clauses out of 66010 with flag 585000/585000
129.08/127.44	c cleaning 33998 clauses out of 68012 with flag 620001/620001
137.38/135.80	c cleaning 34994 clauses out of 70013 with flag 656000/656000
147.99/146.34	c cleaning 36003 clauses out of 72020 with flag 693001/693001
158.79/157.17	c cleaning 37004 clauses out of 74017 with flag 731001/731001
169.20/167.53	c cleaning 37997 clauses out of 76012 with flag 770000/770000
179.81/178.12	c cleaning 39000 clauses out of 78015 with flag 810000/810000
195.41/193.76	c cleaning 40001 clauses out of 80016 with flag 851001/851001
208.12/206.41	c cleaning 41002 clauses out of 82017 with flag 893003/893003
221.23/219.59	c cleaning 41998 clauses out of 84013 with flag 936001/936001
236.34/234.61	c cleaning 42999 clauses out of 86014 with flag 980000/980000
249.26/247.59	c cleaning 43999 clauses out of 88015 with flag 1025000/1025000
263.06/261.35	c cleaning 45008 clauses out of 90018 with flag 1071002/1071002
278.77/277.03	c cleaning 46000 clauses out of 92008 with flag 1118000/1118000
295.49/293.72	c cleaning 46497 clauses out of 93008 with flag 1165000/1165000
314.10/312.37	c cleaning 46739 clauses out of 93511 with flag 1212000/1212000
330.30/328.54	c cleaning 40283 clauses out of 80579 with flag 1259000/1259000
343.82/342.03	c cleaning 43639 clauses out of 87296 with flag 1306000/1306000
358.23/356.45	c cleaning 45315 clauses out of 90657 with flag 1353000/1353000
372.53/370.73	c cleaning 46166 clauses out of 92342 with flag 1400000/1400000
388.23/386.41	c cleaning 46590 clauses out of 93182 with flag 1447006/1447006
407.34/405.52	c cleaning 46784 clauses out of 93587 with flag 1494001/1494001
422.36/420.55	c cleaning 46897 clauses out of 93802 with flag 1541000/1541000
437.16/435.38	c cleaning 46953 clauses out of 93905 with flag 1588000/1588000
451.97/450.17	c cleaning 46969 clauses out of 93953 with flag 1635001/1635001
467.87/466.06	c cleaning 46982 clauses out of 93983 with flag 1682000/1682000
481.98/480.18	c cleaning 46996 clauses out of 94001 with flag 1729000/1729000
497.69/495.89	c cleaning 46988 clauses out of 94006 with flag 1776001/1776001
513.60/511.75	c cleaning 46987 clauses out of 94017 with flag 1823000/1823000
528.31/526.41	c cleaning 47006 clauses out of 94030 with flag 1870000/1870000
542.92/541.09	c cleaning 47005 clauses out of 94025 with flag 1917001/1917001
559.23/557.34	c cleaning 46999 clauses out of 94019 with flag 1964000/1964000
574.63/572.73	c cleaning 46995 clauses out of 94021 with flag 2011001/2011001
591.45/589.59	c cleaning 47006 clauses out of 94026 with flag 2058001/2058001
610.55/608.62	c cleaning 47002 clauses out of 94022 with flag 2105003/2105003
631.06/629.14	c cleaning 47003 clauses out of 94018 with flag 2152001/2152001
649.97/648.03	c cleaning 46999 clauses out of 94016 with flag 2199002/2199002
668.58/666.61	c cleaning 47009 clauses out of 94017 with flag 2246002/2246002
683.39/681.47	c cleaning 46992 clauses out of 94007 with flag 2293001/2293001
698.09/696.13	c cleaning 46995 clauses out of 94014 with flag 2340000/2340000
713.60/711.66	c cleaning 46998 clauses out of 94019 with flag 2387000/2387000
728.01/726.08	c cleaning 46996 clauses out of 94021 with flag 2434000/2434000
742.63/740.68	c cleaning 46997 clauses out of 94025 with flag 2481000/2481000
757.33/755.30	c cleaning 46992 clauses out of 94028 with flag 2528000/2528000
771.54/769.50	c cleaning 47014 clauses out of 94036 with flag 2575000/2575000
786.74/784.76	c cleaning 47003 clauses out of 94022 with flag 2622000/2622000
802.86/800.87	c cleaning 46996 clauses out of 94019 with flag 2669000/2669000
818.56/816.58	c cleaning 47001 clauses out of 94023 with flag 2716000/2716000
832.47/830.41	c cleaning 47005 clauses out of 94025 with flag 2763003/2763003
846.88/844.86	c cleaning 46987 clauses out of 94017 with flag 2810000/2810000
861.88/859.83	c cleaning 47005 clauses out of 94031 with flag 2857001/2857001
877.18/875.19	c cleaning 47005 clauses out of 94028 with flag 2904003/2904003
896.09/894.01	c cleaning 46989 clauses out of 94020 with flag 2951000/2951000
911.60/909.56	c cleaning 47006 clauses out of 94031 with flag 2998000/2998000
925.51/923.45	c cleaning 46999 clauses out of 94025 with flag 3045000/3045000
940.71/938.67	c cleaning 47004 clauses out of 94026 with flag 3092000/3092000
955.92/953.89	c cleaning 47004 clauses out of 94023 with flag 3139001/3139001
970.13/968.06	c cleaning 46990 clauses out of 94022 with flag 3186004/3186004
985.93/983.87	c cleaning 47001 clauses out of 94028 with flag 3233000/3233000
1001.74/999.64	c cleaning 47008 clauses out of 94027 with flag 3280000/3280000
1020.45/1018.40	c cleaning 46993 clauses out of 94021 with flag 3327002/3327002
1040.35/1038.27	c cleaning 47007 clauses out of 94026 with flag 3374000/3374000
1058.36/1056.28	c cleaning 47007 clauses out of 94019 with flag 3421000/3421000
1073.17/1071.03	c cleaning 47001 clauses out of 94012 with flag 3468000/3468000
1089.27/1087.17	c cleaning 46996 clauses out of 94011 with flag 3515000/3515000
1103.78/1101.65	c cleaning 46997 clauses out of 94015 with flag 3562000/3562000
1118.60/1116.43	c cleaning 46994 clauses out of 94018 with flag 3609000/3609000
1132.70/1130.56	c cleaning 47000 clauses out of 94024 with flag 3656000/3656000
1146.70/1144.60	c cleaning 47005 clauses out of 94024 with flag 3703000/3703000
1162.71/1160.57	c cleaning 46992 clauses out of 94021 with flag 3750002/3750002
1177.61/1175.46	c cleaning 47008 clauses out of 94028 with flag 3797001/3797001
1194.32/1192.18	c cleaning 47004 clauses out of 94019 with flag 3844000/3844000
1212.33/1210.10	c cleaning 46990 clauses out of 94016 with flag 3891001/3891001
1228.14/1225.90	c cleaning 46996 clauses out of 94026 with flag 3938001/3938001
1245.04/1242.82	c cleaning 47013 clauses out of 94029 with flag 3985000/3985000
1257.05/1254.86	c cleaning 47001 clauses out of 94017 with flag 4032001/4032001
1270.25/1268.02	c cleaning 47003 clauses out of 94016 with flag 4079001/4079001
1283.26/1281.06	c cleaning 46998 clauses out of 94012 with flag 4126000/4126000
1296.36/1294.15	c cleaning 46980 clauses out of 94014 with flag 4173000/4173000
1302.27/1300.01	c starts		: 2010
1302.27/1300.01	c conflicts		: 4196777
1302.27/1300.01	c decisions		: 4811127
1302.27/1300.01	c propagations		: 155572581
1302.27/1300.01	c inspects		: 15449571742
1302.27/1300.01	c shortcuts		: 0
1302.27/1300.01	c learnt literals	: 1
1302.27/1300.01	c learnt binary clauses	: 64
1302.27/1300.01	c learnt ternary clauses	: 490
1302.27/1300.01	c learnt constraints	: 4196777
1302.27/1300.01	c ignored constraints	: 0
1302.27/1300.01	c root simplifications	: 2011
1302.27/1300.01	c removed literals (reason simplification)	: 189223194
1302.27/1300.01	c reason swapping (by a shorter reason)	: 0
1302.27/1300.01	c Calls to reduceDB	: 108
1302.27/1300.01	c speed (assignments/second)	: 119689.65994768427
1302.27/1300.01	c non guided choices	9
1302.27/1300.04	c learnt constraints type 
1302.27/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 52
1302.27/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70877
1302.27/1300.04	c constraints type 
1302.27/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
1302.27/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 46968
1302.27/1300.04	s UNKNOWN
1302.27/1300.04	c Total wall clock time (in seconds) : 1299.917

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

running on 2 cores: 1,3

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: 0.88 1.56 2.45 8/218 10491
/proc/meminfo: memFree=14438144/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=11800 CPUtime=0 cores=1,3
/proc/10491/stat : 10491 (runsolver) R 10489 10491 9247 0 -1 4202560 45 0 0 0 0 0 0 0 23 0 1 0 468277760 12083200 55 33554432000 4194304 5434984 140737149268976 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/10491/statm: 2950 55 34 303 0 2644 0

[startup+0.037877 s]
/proc/loadavg: 0.88 1.56 2.45 8/218 10491
/proc/meminfo: memFree=14438144/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7564352 CPUtime=0.02 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 8572 0 1 0 1 1 0 0 23 0 13 0 468277760 7745896448 8270 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1891088 8270 1631 9 0 1881836 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352

[startup+0.100742 s]
/proc/loadavg: 0.88 1.56 2.45 8/218 10491
/proc/meminfo: memFree=14438144/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7569940 CPUtime=0.08 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 9775 0 1 0 7 1 0 0 23 0 18 0 468277760 7751618560 9471 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1892485 9471 1757 9 0 1883223 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940

[startup+0.300699 s]
/proc/loadavg: 0.88 1.56 2.45 8/218 10491
/proc/meminfo: memFree=14438144/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7575248 CPUtime=0.48 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 12838 0 1 0 46 2 0 0 23 0 19 0 468277760 7757053952 11875 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1893812 11875 2210 9 0 1884550 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7575248

[startup+0.700628 s]
/proc/loadavg: 0.88 1.56 2.45 8/218 10491
/proc/meminfo: memFree=14438144/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7575248 CPUtime=1.05 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 13436 0 1 0 103 2 0 0 23 0 19 0 468277760 7757053952 12473 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1893812 12473 2219 9 0 1884550 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 7575248

[startup+1.50149 s]
/proc/loadavg: 0.88 1.56 2.45 12/262 10540
/proc/meminfo: memFree=14216880/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7600200 CPUtime=2.1 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 23529 0 1 0 207 3 0 0 23 0 19 0 468277760 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1900050 20562 2251 9 0 1890788 0
[pid=10491/tid=10493] ppid=10489 vsize=7600200 CPUtime=1.44 cores=1,3
/proc/10491/task/10493/stat : 10493 (java) R 10489 10491 9247 0 -1 4202560 10235 0 1 0 143 1 0 0 25 0 19 0 468277761 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 46912505611704 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10491/tid=10498] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10498/stat : 10498 (java) S 10489 10491 9247 0 -1 4202560 111 0 0 0 0 0 0 0 18 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10499] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10499/stat : 10499 (java) S 10489 10491 9247 0 -1 4202560 542 0 0 0 0 0 0 0 17 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10500] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10500/stat : 10500 (java) S 10489 10491 9247 0 -1 4202560 207 0 0 0 0 0 0 0 17 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10501] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10501/stat : 10501 (java) S 10489 10491 9247 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10502] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10502/stat : 10502 (java) S 10489 10491 9247 0 -1 4202560 210 0 0 0 0 0 0 0 17 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10503] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10503/stat : 10503 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10504] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10504/stat : 10504 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10505] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10505/stat : 10505 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277763 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10506] ppid=10489 vsize=7600200 CPUtime=0.02 cores=1,3
/proc/10491/task/10506/stat : 10506 (java) S 10489 10491 9247 0 -1 4202560 1077 0 0 0 2 0 0 0 17 0 19 0 468277764 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 0 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10507] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10507/stat : 10507 (java) S 10489 10491 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277764 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10508] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10508/stat : 10508 (java) S 10489 10491 9247 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 468277764 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10509] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10509/stat : 10509 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624934321 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10510] ppid=10489 vsize=7600200 CPUtime=0.16 cores=1,3
/proc/10491/task/10510/stat : 10510 (java) R 10489 10491 9247 0 -1 4202560 1560 0 0 0 16 0 0 0 16 0 19 0 468277766 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 47486248244736 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10491/tid=10511] ppid=10489 vsize=7600200 CPUtime=0.44 cores=1,3
/proc/10491/task/10511/stat : 10511 (java) R 10489 10491 9247 0 -1 4202560 8427 0 0 0 44 0 0 0 19 0 19 0 468277766 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624936629 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10491/tid=10512] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10512/stat : 10512 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10513] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10513/stat : 10513 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277766 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10539] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10539/stat : 10539 (java) S 10489 10491 9247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 468277782 7782604800 20562 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 7600200

[startup+3.1012 s]
/proc/loadavg: 0.88 1.56 2.45 5/262 10540
/proc/meminfo: memFree=14176952/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7600200 CPUtime=3.73 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 25032 0 1 0 370 3 0 0 23 0 19 0 468277760 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1900050 22063 2253 9 0 1890788 0
[pid=10491/tid=10493] ppid=10489 vsize=7600200 CPUtime=2.99 cores=1,3
/proc/10491/task/10493/stat : 10493 (java) R 10489 10491 9247 0 -1 4202560 10237 0 1 0 298 1 0 0 25 0 19 0 468277761 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 46912505612110 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10491/tid=10498] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10498/stat : 10498 (java) S 10489 10491 9247 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10499] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10499/stat : 10499 (java) S 10489 10491 9247 0 -1 4202560 552 0 0 0 0 0 0 0 16 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10500] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10500/stat : 10500 (java) S 10489 10491 9247 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10501] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10501/stat : 10501 (java) S 10489 10491 9247 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10502] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10502/stat : 10502 (java) S 10489 10491 9247 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10503] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10503/stat : 10503 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10504] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10504/stat : 10504 (java) S 10489 10491 9247 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10505] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10505/stat : 10505 (java) S 10489 10491 9247 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 19 0 468277763 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10506] ppid=10489 vsize=7600200 CPUtime=0.05 cores=1,3
/proc/10491/task/10506/stat : 10506 (java) S 10489 10491 9247 0 -1 4202560 1800 0 0 0 5 0 0 0 16 0 19 0 468277764 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 0 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10507] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10507/stat : 10507 (java) S 10489 10491 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277764 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10508] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10508/stat : 10508 (java) S 10489 10491 9247 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 468277764 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10509] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10509/stat : 10509 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624934321 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10510] ppid=10489 vsize=7600200 CPUtime=0.19 cores=1,3
/proc/10491/task/10510/stat : 10510 (java) S 10489 10491 9247 0 -1 4202560 1562 0 0 0 19 0 0 0 15 0 19 0 468277766 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10511] ppid=10489 vsize=7600200 CPUtime=0.44 cores=1,3
/proc/10491/task/10511/stat : 10511 (java) S 10489 10491 9247 0 -1 4202560 8427 0 0 0 44 0 0 0 17 0 19 0 468277766 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10512] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10512/stat : 10512 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10513] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10513/stat : 10513 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277766 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10539] ppid=10489 vsize=7600200 CPUtime=0 cores=1,3
/proc/10491/task/10539/stat : 10539 (java) S 10489 10491 9247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 468277782 7782604800 22063 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 7600200

[startup+6.30067 s]
/proc/loadavg: 1.13 1.60 2.46 5/262 10540
/proc/meminfo: memFree=14166784/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7596828 CPUtime=6.96 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 25937 0 1 0 692 4 0 0 23 0 19 0 468277760 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1899207 22523 2253 9 0 1889945 0
[pid=10491/tid=10493] ppid=10489 vsize=7596828 CPUtime=6.11 cores=1,3
/proc/10491/task/10493/stat : 10493 (java) R 10489 10491 9247 0 -1 4202560 10241 0 1 0 609 2 0 0 25 0 19 0 468277761 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 46912505620946 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10491/tid=10498] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10498/stat : 10498 (java) S 10489 10491 9247 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10499] ppid=10489 vsize=7596828 CPUtime=0.01 cores=1,3
/proc/10491/task/10499/stat : 10499 (java) S 10489 10491 9247 0 -1 4202560 614 0 0 0 1 0 0 0 16 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10500] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10500/stat : 10500 (java) S 10489 10491 9247 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10501] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10501/stat : 10501 (java) S 10489 10491 9247 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10502] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10502/stat : 10502 (java) S 10489 10491 9247 0 -1 4202560 347 0 0 0 0 0 0 0 15 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10503] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10503/stat : 10503 (java) S 10489 10491 9247 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10504] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10504/stat : 10504 (java) S 10489 10491 9247 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10505] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10505/stat : 10505 (java) S 10489 10491 9247 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 19 0 468277763 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10506] ppid=10489 vsize=7596828 CPUtime=0.12 cores=1,3
/proc/10491/task/10506/stat : 10506 (java) S 10489 10491 9247 0 -1 4202560 2294 0 0 0 12 0 0 0 15 0 19 0 468277764 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 0 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10507] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10507/stat : 10507 (java) S 10489 10491 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277764 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10508] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10508/stat : 10508 (java) S 10489 10491 9247 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 468277764 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10509] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10509/stat : 10509 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624934321 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10510] ppid=10489 vsize=7596828 CPUtime=0.19 cores=1,3
/proc/10491/task/10510/stat : 10510 (java) S 10489 10491 9247 0 -1 4202560 1562 0 0 0 19 0 0 0 15 0 19 0 468277766 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10511] ppid=10489 vsize=7596828 CPUtime=0.47 cores=1,3
/proc/10491/task/10511/stat : 10511 (java) S 10489 10491 9247 0 -1 4202560 8433 0 0 0 47 0 0 0 15 0 19 0 468277766 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10512] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10512/stat : 10512 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10513] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10513/stat : 10513 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277766 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10539] ppid=10489 vsize=7596828 CPUtime=0 cores=1,3
/proc/10491/task/10539/stat : 10539 (java) S 10489 10491 9247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 468277782 7779151872 22523 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 7596828

[startup+12.7015 s]

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

[pid=10491/tid=10503] ppid=10489 vsize=7594844 CPUtime=0.1 cores=1,3
/proc/10491/task/10503/stat : 10503 (java) S 10489 10491 9247 0 -1 4202560 769 0 0 0 10 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10504] ppid=10489 vsize=7594844 CPUtime=0.15 cores=1,3
/proc/10491/task/10504/stat : 10504 (java) S 10489 10491 9247 0 -1 4202560 1563 0 0 0 15 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10505] ppid=10489 vsize=7594844 CPUtime=0.24 cores=1,3
/proc/10491/task/10505/stat : 10505 (java) S 10489 10491 9247 0 -1 4202560 1734 0 0 0 24 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10506] ppid=10489 vsize=7594844 CPUtime=3.82 cores=1,3
/proc/10491/task/10506/stat : 10506 (java) S 10489 10491 9247 0 -1 4202560 9876 0 0 0 381 1 0 0 15 0 19 0 468277764 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 0 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10507] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10507/stat : 10507 (java) S 10489 10491 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10508] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10508/stat : 10508 (java) S 10489 10491 9247 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10509] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10509/stat : 10509 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624934321 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10510] ppid=10489 vsize=7594844 CPUtime=0.2 cores=1,3
/proc/10491/task/10510/stat : 10510 (java) S 10489 10491 9247 0 -1 4202560 1563 0 0 0 20 0 0 0 15 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10511] ppid=10489 vsize=7594844 CPUtime=1.6 cores=1,3
/proc/10491/task/10511/stat : 10511 (java) S 10489 10491 9247 0 -1 4202560 9810 0 0 0 159 1 0 0 15 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10512] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10512/stat : 10512 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10513] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10513/stat : 10513 (java) S 10489 10491 9247 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10539] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10539/stat : 10539 (java) S 10489 10491 9247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 468277782 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1124.5
Current children cumulated vsize (KiB) 7594844

[startup+1182.3 s]
/proc/loadavg: 4.03 3.99 3.57 5/262 10583
/proc/meminfo: memFree=13963972/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7594844 CPUtime=1184.52 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 44396 0 1 0 118444 8 0 0 23 0 19 0 468277760 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1898711 39112 2255 9 0 1889449 0
[pid=10491/tid=10493] ppid=10489 vsize=7594844 CPUtime=1177.3 cores=1,3
/proc/10491/task/10493/stat : 10493 (java) R 10489 10491 9247 0 -1 4202560 13738 0 1 0 117727 3 0 0 25 0 19 0 468277761 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 46912505611793 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10491/tid=10498] ppid=10489 vsize=7594844 CPUtime=0.14 cores=1,3
/proc/10491/task/10498/stat : 10498 (java) S 10489 10491 9247 0 -1 4202560 494 0 0 0 14 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10499] ppid=10489 vsize=7594844 CPUtime=0.15 cores=1,3
/proc/10491/task/10499/stat : 10499 (java) S 10489 10491 9247 0 -1 4202560 703 0 0 0 15 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10500] ppid=10489 vsize=7594844 CPUtime=0.12 cores=1,3
/proc/10491/task/10500/stat : 10500 (java) S 10489 10491 9247 0 -1 4202560 352 0 0 0 12 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10501] ppid=10489 vsize=7594844 CPUtime=0.18 cores=1,3
/proc/10491/task/10501/stat : 10501 (java) S 10489 10491 9247 0 -1 4202560 564 0 0 0 18 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10502] ppid=10489 vsize=7594844 CPUtime=0.22 cores=1,3
/proc/10491/task/10502/stat : 10502 (java) S 10489 10491 9247 0 -1 4202560 2003 0 0 0 22 0 0 0 16 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10503] ppid=10489 vsize=7594844 CPUtime=0.12 cores=1,3
/proc/10491/task/10503/stat : 10503 (java) S 10489 10491 9247 0 -1 4202560 769 0 0 0 12 0 0 0 16 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10504] ppid=10489 vsize=7594844 CPUtime=0.15 cores=1,3
/proc/10491/task/10504/stat : 10504 (java) S 10489 10491 9247 0 -1 4202560 1563 0 0 0 15 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10505] ppid=10489 vsize=7594844 CPUtime=0.25 cores=1,3
/proc/10491/task/10505/stat : 10505 (java) S 10489 10491 9247 0 -1 4202560 1734 0 0 0 25 0 0 0 15 0 19 0 468277763 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10506] ppid=10489 vsize=7594844 CPUtime=4.01 cores=1,3
/proc/10491/task/10506/stat : 10506 (java) S 10489 10491 9247 0 -1 4202560 9880 0 0 0 400 1 0 0 15 0 19 0 468277764 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 0 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10507] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10507/stat : 10507 (java) S 10489 10491 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10508] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10508/stat : 10508 (java) S 10489 10491 9247 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10509] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10509/stat : 10509 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624934321 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10510] ppid=10489 vsize=7594844 CPUtime=0.2 cores=1,3
/proc/10491/task/10510/stat : 10510 (java) S 10489 10491 9247 0 -1 4202560 1563 0 0 0 20 0 0 0 15 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10511] ppid=10489 vsize=7594844 CPUtime=1.6 cores=1,3
/proc/10491/task/10511/stat : 10511 (java) S 10489 10491 9247 0 -1 4202560 9810 0 0 0 159 1 0 0 15 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10512] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10512/stat : 10512 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10513] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10513/stat : 10513 (java) S 10489 10491 9247 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 468277766 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10539] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10539/stat : 10539 (java) S 10489 10491 9247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 468277782 7777120256 39112 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1184.52
Current children cumulated vsize (KiB) 7594844

[startup+1242.3 s]
/proc/loadavg: 4.33 4.05 3.62 5/262 10585
/proc/meminfo: memFree=13961324/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7594844 CPUtime=1244.54 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 44780 0 1 0 124446 8 0 0 23 0 19 0 468277760 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1898711 39487 2255 9 0 1889449 0
[pid=10491/tid=10493] ppid=10489 vsize=7594844 CPUtime=1237.15 cores=1,3
/proc/10491/task/10493/stat : 10493 (java) R 10489 10491 9247 0 -1 4202560 13741 0 1 0 123712 3 0 0 25 0 19 0 468277761 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 46912505877775 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10491/tid=10498] ppid=10489 vsize=7594844 CPUtime=0.15 cores=1,3
/proc/10491/task/10498/stat : 10498 (java) S 10489 10491 9247 0 -1 4202560 494 0 0 0 15 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10499] ppid=10489 vsize=7594844 CPUtime=0.15 cores=1,3
/proc/10491/task/10499/stat : 10499 (java) S 10489 10491 9247 0 -1 4202560 703 0 0 0 15 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10500] ppid=10489 vsize=7594844 CPUtime=0.13 cores=1,3
/proc/10491/task/10500/stat : 10500 (java) S 10489 10491 9247 0 -1 4202560 352 0 0 0 13 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10501] ppid=10489 vsize=7594844 CPUtime=0.19 cores=1,3
/proc/10491/task/10501/stat : 10501 (java) S 10489 10491 9247 0 -1 4202560 564 0 0 0 19 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10502] ppid=10489 vsize=7594844 CPUtime=0.22 cores=1,3
/proc/10491/task/10502/stat : 10502 (java) S 10489 10491 9247 0 -1 4202560 2003 0 0 0 22 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10503] ppid=10489 vsize=7594844 CPUtime=0.12 cores=1,3
/proc/10491/task/10503/stat : 10503 (java) S 10489 10491 9247 0 -1 4202560 769 0 0 0 12 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10504] ppid=10489 vsize=7594844 CPUtime=0.16 cores=1,3
/proc/10491/task/10504/stat : 10504 (java) S 10489 10491 9247 0 -1 4202560 1568 0 0 0 16 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10505] ppid=10489 vsize=7594844 CPUtime=0.25 cores=1,3
/proc/10491/task/10505/stat : 10505 (java) S 10489 10491 9247 0 -1 4202560 1734 0 0 0 25 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10506] ppid=10489 vsize=7594844 CPUtime=4.14 cores=1,3
/proc/10491/task/10506/stat : 10506 (java) S 10489 10491 9247 0 -1 4202560 10252 0 0 0 413 1 0 0 15 0 19 0 468277764 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 0 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10507] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10507/stat : 10507 (java) S 10489 10491 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10508] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10508/stat : 10508 (java) S 10489 10491 9247 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10509] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10509/stat : 10509 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624934321 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10510] ppid=10489 vsize=7594844 CPUtime=0.2 cores=1,3
/proc/10491/task/10510/stat : 10510 (java) S 10489 10491 9247 0 -1 4202560 1563 0 0 0 20 0 0 0 15 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10511] ppid=10489 vsize=7594844 CPUtime=1.6 cores=1,3
/proc/10491/task/10511/stat : 10511 (java) S 10489 10491 9247 0 -1 4202560 9810 0 0 0 159 1 0 0 15 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10512] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10512/stat : 10512 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10513] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10513/stat : 10513 (java) S 10489 10491 9247 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10539] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10539/stat : 10539 (java) S 10489 10491 9247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 468277782 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1244.54
Current children cumulated vsize (KiB) 7594844



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.15 4.05 3.64 3/224 10593
/proc/meminfo: memFree=14235908/32951124 swapFree=67111528/67111528
[pid=10491] ppid=10489 vsize=7594844 CPUtime=1302.27 cores=1,3
/proc/10491/stat : 10491 (java) S 10489 10491 9247 0 -1 4202496 44793 0 1 0 130219 8 0 0 23 0 19 0 468277760 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10491/statm: 1898711 39487 2255 9 0 1889449 0
[pid=10491/tid=10493] ppid=10489 vsize=7594844 CPUtime=1294.59 cores=1,3
/proc/10491/task/10493/stat : 10493 (java) R 10489 10491 9247 0 -1 4202560 13746 0 1 0 129456 3 0 0 25 0 19 0 468277761 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 46912505611437 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10491/tid=10498] ppid=10489 vsize=7594844 CPUtime=0.15 cores=1,3
/proc/10491/task/10498/stat : 10498 (java) S 10489 10491 9247 0 -1 4202560 494 0 0 0 15 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10499] ppid=10489 vsize=7594844 CPUtime=0.16 cores=1,3
/proc/10491/task/10499/stat : 10499 (java) S 10489 10491 9247 0 -1 4202560 703 0 0 0 16 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10500] ppid=10489 vsize=7594844 CPUtime=0.14 cores=1,3
/proc/10491/task/10500/stat : 10500 (java) S 10489 10491 9247 0 -1 4202560 352 0 0 0 14 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10501] ppid=10489 vsize=7594844 CPUtime=0.19 cores=1,3
/proc/10491/task/10501/stat : 10501 (java) S 10489 10491 9247 0 -1 4202560 564 0 0 0 19 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10502] ppid=10489 vsize=7594844 CPUtime=0.22 cores=1,3
/proc/10491/task/10502/stat : 10502 (java) S 10489 10491 9247 0 -1 4202560 2003 0 0 0 22 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10503] ppid=10489 vsize=7594844 CPUtime=0.12 cores=1,3
/proc/10491/task/10503/stat : 10503 (java) S 10489 10491 9247 0 -1 4202560 769 0 0 0 12 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10504] ppid=10489 vsize=7594844 CPUtime=0.17 cores=1,3
/proc/10491/task/10504/stat : 10504 (java) S 10489 10491 9247 0 -1 4202560 1568 0 0 0 17 0 0 0 15 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10505] ppid=10489 vsize=7594844 CPUtime=0.27 cores=1,3
/proc/10491/task/10505/stat : 10505 (java) S 10489 10491 9247 0 -1 4202560 1734 0 0 0 27 0 0 0 16 0 19 0 468277763 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10506] ppid=10489 vsize=7594844 CPUtime=4.38 cores=1,3
/proc/10491/task/10506/stat : 10506 (java) S 10489 10491 9247 0 -1 4202560 10256 0 0 0 437 1 0 0 15 0 19 0 468277764 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 0 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10507] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10507/stat : 10507 (java) S 10489 10491 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10508] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10508/stat : 10508 (java) S 10489 10491 9247 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 468277764 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10509] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10509/stat : 10509 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624934321 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10510] ppid=10489 vsize=7594844 CPUtime=0.2 cores=1,3
/proc/10491/task/10510/stat : 10510 (java) S 10489 10491 9247 0 -1 4202560 1563 0 0 0 20 0 0 0 15 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 1 0 0 0
[pid=10491/tid=10511] ppid=10489 vsize=7594844 CPUtime=1.6 cores=1,3
/proc/10491/task/10511/stat : 10511 (java) S 10489 10491 9247 0 -1 4202560 9810 0 0 0 159 1 0 0 15 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10512] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10512/stat : 10512 (java) S 10489 10491 9247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624926617 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10513] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10513/stat : 10513 (java) S 10489 10491 9247 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 468277766 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
[pid=10491/tid=10539] ppid=10489 vsize=7594844 CPUtime=0 cores=1,3
/proc/10491/task/10539/stat : 10539 (java) S 10489 10491 9247 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 468277782 7777120256 39487 33554432000 1073741824 1073778376 140736004665568 18446744073709551615 270624927232 0 4 0 16800975 18446604458847513280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 7594844

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1302.37
CPU user time (s): 1302.27
CPU system time (s): 0.096985
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 7600200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.27
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44828
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= 29670
involuntary context switches= 7105

runsolver used 2.12768 second user time and 4.99324 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-23 15:52:48
IDJOB=3263316
IDBENCH=83952
IDSOLVER=1611
FILE ID=node108/3263316-1303566768
RUNJOBID= node108-1303566768-10427
PBS_JOBID= 13150280
Free space on /tmp= 71400 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.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-3263316-1303566768/watcher-3263316-1303566768 -o /tmp/evaluation-result-3263316-1303566768/solver-3263316-1303566768 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263316-1303566768.cnf

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

MD5SUM BENCH= 7ef2b563e57ba91e22d23e55abe69485
RANDOM SEED=1714617593

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14438556 kB
Buffers:       2251680 kB
Cached:       15563604 kB
SwapCached:          0 kB
Active:        9956488 kB
Inactive:      7986672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14438556 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1688 kB
Writeback:           0 kB
AnonPages:      126780 kB
Mapped:          22644 kB
Slab:           505368 kB
PageTables:       5128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14721404 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= 71396 MiB
End job on node108 at 2011-04-23 16:14:30