Trace number 3190209

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.48 1300.06

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf
MD5SUMfdeac497d04edcceaf426c845c7872aa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark43.8933
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.04/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.12	c See www.sat4j.org for details.
0.04/0.13	c no version file found!!!
0.04/0.13	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.13	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.13	c java.vm.version	19.1-b02
0.04/0.13	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.13	c sun.arch.data.model	64
0.04/0.13	c java.version		1.6.0_24
0.04/0.13	c os.name		Linux
0.04/0.13	c os.version		2.6.18-164.el5
0.04/0.13	c os.arch		amd64
0.04/0.13	c Free memory 		6997539544
0.04/0.13	c Max memory 		7034241024
0.04/0.13	c Total memory 		7034241024
0.04/0.13	c Number of processors 	8
0.04/0.15	c --- Begin Solver configuration ---
0.04/0.15	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.04/0.15	c Learn all clauses as in MiniSAT
0.04/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.15	c Expensive reason simplification
0.04/0.15	c Armin Biere (Picosat) restarts strategy
0.04/0.15	c Glucose learned constraints deletion strategy
0.04/0.15	c timeout=2147483647s
0.04/0.15	c DB Simplification allowed=true
0.04/0.15	c --- End Solver configuration ---
0.04/0.15	c solving HOME/instance-3190209-1302596907.cnf
0.04/0.15	c reading problem ... 
0.35/0.36	c ... done. Wall clock time 0.174s.
0.35/0.36	c #vars     20000
0.35/0.36	c #constraints  84000
0.35/0.36	c constraints type 
0.35/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 84000
3.95/3.53	c cleaning 2497 clauses out of 5000 with flag 5000/5000
7.62/6.94	c cleaning 4250 clauses out of 8504 with flag 11001/11001
11.53/10.86	c cleaning 5624 clauses out of 11253 with flag 18000/18000
16.15/15.45	c cleaning 6814 clauses out of 13629 with flag 26000/26000
21.26/20.50	c cleaning 7904 clauses out of 15815 with flag 35000/35000
27.06/26.30	c cleaning 8955 clauses out of 17911 with flag 45000/45000
33.37/32.64	c cleaning 9977 clauses out of 19957 with flag 56001/56001
40.57/39.82	c cleaning 10987 clauses out of 21980 with flag 68001/68001
48.19/47.41	c cleaning 11994 clauses out of 23993 with flag 81001/81001
56.39/55.61	c cleaning 12998 clauses out of 25999 with flag 95001/95001
65.40/64.64	c cleaning 13994 clauses out of 28000 with flag 110000/110000
75.11/74.34	c cleaning 14996 clauses out of 30006 with flag 126000/126000
85.52/84.71	c cleaning 16005 clauses out of 32011 with flag 143001/143001
96.32/95.59	c cleaning 16992 clauses out of 34006 with flag 161001/161001
108.12/107.35	c cleaning 17998 clauses out of 36013 with flag 180000/180000
120.63/119.85	c cleaning 19003 clauses out of 38015 with flag 200000/200000
133.83/133.01	c cleaning 20003 clauses out of 40013 with flag 221001/221001
147.74/146.97	c cleaning 21005 clauses out of 42013 with flag 243004/243004
162.15/161.30	c cleaning 21999 clauses out of 44004 with flag 266000/266000
177.06/176.20	c cleaning 22991 clauses out of 46005 with flag 290000/290000
192.87/192.04	c cleaning 23998 clauses out of 48014 with flag 315000/315000
209.48/208.63	c cleaning 25004 clauses out of 50019 with flag 341003/341003
226.88/226.06	c cleaning 26001 clauses out of 52012 with flag 368000/368000
244.29/243.47	c cleaning 27003 clauses out of 54015 with flag 396004/396004
263.00/262.10	c cleaning 27990 clauses out of 56008 with flag 425000/425000
282.53/281.65	c cleaning 29008 clauses out of 58020 with flag 455002/455002
302.03/301.10	c cleaning 29999 clauses out of 60011 with flag 486001/486001
323.04/322.14	c cleaning 30998 clauses out of 62011 with flag 518000/518000
344.25/343.35	c cleaning 32001 clauses out of 64014 with flag 551001/551001
366.36/365.43	c cleaning 32997 clauses out of 66012 with flag 585000/585000
389.76/388.89	c cleaning 33995 clauses out of 68015 with flag 620000/620000
413.38/412.44	c cleaning 35003 clauses out of 70020 with flag 656000/656000
438.50/437.57	c cleaning 36002 clauses out of 72017 with flag 693000/693000
463.31/462.36	c cleaning 36995 clauses out of 74015 with flag 731000/731000
490.21/489.23	c cleaning 38000 clauses out of 76021 with flag 770001/770001
516.63/515.65	c cleaning 38999 clauses out of 78020 with flag 810000/810000
545.24/544.21	c cleaning 40006 clauses out of 80021 with flag 851000/851000
573.35/572.37	c cleaning 41003 clauses out of 82016 with flag 893001/893001
603.46/602.47	c cleaning 41996 clauses out of 84013 with flag 936001/936001
632.97/631.92	c cleaning 42997 clauses out of 86016 with flag 980000/980000
665.10/664.08	c cleaning 44004 clauses out of 88020 with flag 1025001/1025001
696.61/695.50	c cleaning 44999 clauses out of 90016 with flag 1071001/1071001
730.42/729.36	c cleaning 46002 clauses out of 92017 with flag 1118001/1118001
763.64/762.59	c cleaning 46998 clauses out of 94014 with flag 1166000/1166000
798.15/797.00	c cleaning 47997 clauses out of 96017 with flag 1215001/1215001
835.47/834.31	c cleaning 49006 clauses out of 98020 with flag 1265001/1265001
871.68/870.51	c cleaning 49996 clauses out of 100014 with flag 1316001/1316001
910.71/909.51	c cleaning 51000 clauses out of 102017 with flag 1368000/1368000
948.83/947.68	c cleaning 51996 clauses out of 104017 with flag 1421000/1421000
988.24/987.03	c cleaning 53003 clauses out of 106022 with flag 1475001/1475001
1030.56/1029.37	c cleaning 54004 clauses out of 108018 with flag 1530000/1530000
1071.87/1070.68	c cleaning 54989 clauses out of 110014 with flag 1586000/1586000
1113.69/1112.44	c cleaning 56000 clauses out of 112026 with flag 1643001/1643001
1157.71/1156.45	c cleaning 57003 clauses out of 114025 with flag 1701000/1701000
1201.03/1199.75	c cleaning 57989 clauses out of 116022 with flag 1760000/1760000
1247.24/1245.90	c cleaning 58996 clauses out of 118036 with flag 1820003/1820003
1293.66/1292.30	c cleaning 60009 clauses out of 120038 with flag 1881001/1881001
1301.38/1300.01	c starts		: 1530
1301.38/1300.01	c conflicts		: 1892055
1301.38/1300.01	c decisions		: 4899979
1301.38/1300.01	c propagations		: 1558626750
1301.38/1300.01	c inspects		: 4624336400
1301.38/1300.01	c shortcuts		: 0
1301.38/1300.01	c learnt literals	: 0
1301.38/1300.01	c learnt binary clauses	: 0
1301.38/1300.01	c learnt ternary clauses	: 82
1301.38/1300.01	c learnt constraints	: 1892054
1301.38/1300.01	c ignored constraints	: 0
1301.38/1300.01	c root simplifications	: 1530
1301.38/1300.01	c removed literals (reason simplification)	: 32015319
1301.38/1300.01	c reason swapping (by a shorter reason)	: 0
1301.38/1300.01	c Calls to reduceDB	: 57
1301.38/1300.01	c speed (assignments/second)	: 1199229.6239872584
1301.38/1300.01	c non guided choices	1869
1301.38/1300.04	c learnt constraints type 
1301.38/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 71131
1301.38/1300.04	c constraints type 
1301.38/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 84000
1301.38/1300.04	s UNKNOWN
1301.38/1300.04	c Total wall clock time (in seconds) : 1299.864

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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-3190209-1302596907/watcher-3190209-1302596907 -o /tmp/evaluation-result-3190209-1302596907/solver-3190209-1302596907 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190209-1302596907.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: 1.00 1.03 1.37 5/204 8458
/proc/meminfo: memFree=15314480/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=2464 CPUtime=0 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4194304 92 0 0 0 0 0 0 0 22 0 1 0 371287730 2523136 44 33554432000 1073741824 1073778376 140735630133216 18446744073709551615 239471771271 0 2147483391 4096 0 18446744071699207358 0 0 17 0 0 0 0
/proc/8458/statm: 616 44 35 9 0 27 0

[startup+0.0914619 s]
/proc/loadavg: 1.00 1.03 1.37 5/204 8458
/proc/meminfo: memFree=15314480/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7569648 CPUtime=0.04 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 9135 0 1 0 3 1 0 0 22 0 18 0 371287730 7751319552 8830 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1892412 8830 1730 9 0 1883155 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7569648

[startup+0.100436 s]
/proc/loadavg: 1.00 1.03 1.37 5/204 8458
/proc/meminfo: memFree=15314480/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7569788 CPUtime=0.04 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 9193 0 1 0 3 1 0 0 22 0 18 0 371287730 7751462912 8888 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1892447 8888 1733 9 0 1883190 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7569788

[startup+0.316377 s]
/proc/loadavg: 1.00 1.03 1.37 5/204 8458
/proc/meminfo: memFree=15314480/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7637400 CPUtime=0.35 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 13574 0 1 0 34 1 0 0 22 0 18 0 371287730 7820697600 13112 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1909350 13112 2197 9 0 1900088 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 7637400

[startup+0.700364 s]
/proc/loadavg: 1.00 1.03 1.37 5/204 8458
/proc/meminfo: memFree=15314480/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7642576 CPUtime=1.08 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 16881 0 1 0 106 2 0 0 22 0 19 0 371287730 7825997824 15410 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1910644 15410 2221 9 0 1901382 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 7642576

[startup+1.50121 s]
/proc/loadavg: 1.00 1.03 1.37 5/262 8519
/proc/meminfo: memFree=15151240/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7642576 CPUtime=1.95 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 17328 0 1 0 193 2 0 0 22 0 19 0 371287730 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1910644 15856 2224 9 0 1901382 0
[pid=8458/tid=8460] ppid=8456 vsize=7642576 CPUtime=1.42 cores=0,2
/proc/8458/task/8460/stat : 8460 (java) R 8456 8458 8386 0 -1 4202560 12424 0 1 0 141 1 0 0 21 0 19 0 371287732 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 46912505725426 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=8458/tid=8463] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8463/stat : 8463 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8464] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8464/stat : 8464 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8465] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8465/stat : 8465 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8466] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8466/stat : 8466 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8467] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8467/stat : 8467 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8468] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8468/stat : 8468 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8469] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8469/stat : 8469 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8470] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8470/stat : 8470 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287733 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8475] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8475/stat : 8475 (java) S 8456 8458 8386 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371287734 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 0 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8476] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8476/stat : 8476 (java) S 8456 8458 8386 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 371287734 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8477] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8477/stat : 8477 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 371287734 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8497] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8497/stat : 8497 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488518577 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8501] ppid=8456 vsize=7642576 CPUtime=0.24 cores=0,2
/proc/8458/task/8501/stat : 8501 (java) S 8456 8458 8386 0 -1 4202560 814 0 0 0 24 0 0 0 16 0 19 0 371287739 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8504] ppid=8456 vsize=7642576 CPUtime=0.27 cores=0,2
/proc/8458/task/8504/stat : 8504 (java) S 8456 8458 8386 0 -1 4202560 2927 0 0 0 27 0 0 0 16 0 19 0 371287739 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8506] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8506/stat : 8506 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8509] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8509/stat : 8509 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287739 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8518] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8518/stat : 8518 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287767 7825997824 15856 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 7642576

[startup+3.1009 s]
/proc/loadavg: 1.00 1.03 1.37 6/262 8519
/proc/meminfo: memFree=15113484/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7642576 CPUtime=3.55 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 17999 0 1 0 353 2 0 0 22 0 19 0 371287730 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1910644 16527 2224 9 0 1901382 0
[pid=8458/tid=8460] ppid=8456 vsize=7642576 CPUtime=3.01 cores=0,2
/proc/8458/task/8460/stat : 8460 (java) R 8456 8458 8386 0 -1 4202560 13095 0 1 0 300 1 0 0 25 0 19 0 371287732 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 46912505725300 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=8458/tid=8463] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8463/stat : 8463 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8464] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8464/stat : 8464 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8465] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8465/stat : 8465 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8466] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8466/stat : 8466 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8467] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8467/stat : 8467 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8468] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8468/stat : 8468 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8469] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8469/stat : 8469 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8470] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8470/stat : 8470 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287733 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8475] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8475/stat : 8475 (java) S 8456 8458 8386 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 371287734 7825997824 16527 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 0 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8476] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8476/stat : 8476 (java) S 8456 8458 8386 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 371287734 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8477] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8477/stat : 8477 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 371287734 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8497] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8497/stat : 8497 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488518577 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8501] ppid=8456 vsize=7642576 CPUtime=0.24 cores=0,2
/proc/8458/task/8501/stat : 8501 (java) S 8456 8458 8386 0 -1 4202560 814 0 0 0 24 0 0 0 16 0 19 0 371287739 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8504] ppid=8456 vsize=7642576 CPUtime=0.27 cores=0,2
/proc/8458/task/8504/stat : 8504 (java) S 8456 8458 8386 0 -1 4202560 2927 0 0 0 27 0 0 0 16 0 19 0 371287739 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8506] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8506/stat : 8506 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8509] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8509/stat : 8509 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287739 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8518] ppid=8456 vsize=7642576 CPUtime=0 cores=0,2
/proc/8458/task/8518/stat : 8518 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287767 7825997824 16528 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 7642576

[startup+6.30129 s]
/proc/loadavg: 1.24 1.08 1.38 5/262 8519
/proc/meminfo: memFree=15061356/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7660924 CPUtime=7 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 31026 0 1 0 697 3 0 0 22 0 19 0 371287730 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1915231 27256 2251 9 0 1905969 0
[pid=8458/tid=8460] ppid=8456 vsize=7660924 CPUtime=6.14 cores=0,2
/proc/8458/task/8460/stat : 8460 (java) R 8456 8458 8386 0 -1 4202560 13261 0 1 0 612 2 0 0 25 0 19 0 371287732 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 46912505685509 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=8458/tid=8463] ppid=8456 vsize=7660924 CPUtime=0.02 cores=0,2
/proc/8458/task/8463/stat : 8463 (java) S 8456 8458 8386 0 -1 4202560 1231 0 0 0 2 0 0 0 17 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8464] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8464/stat : 8464 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8465] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8465/stat : 8465 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8466] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8466/stat : 8466 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8467] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8467/stat : 8467 (java) S 8456 8458 8386 0 -1 4202560 109 0 0 0 0 0 0 0 17 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8468] ppid=8456 vsize=7660924 CPUtime=0.01 cores=0,2
/proc/8458/task/8468/stat : 8468 (java) S 8456 8458 8386 0 -1 4202560 1784 0 0 0 1 0 0 0 17 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8469] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8469/stat : 8469 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8470] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8470/stat : 8470 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371287733 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8475] ppid=8456 vsize=7660924 CPUtime=0.05 cores=0,2
/proc/8458/task/8475/stat : 8475 (java) S 8456 8458 8386 0 -1 4202560 3122 0 0 0 5 0 0 0 15 0 19 0 371287734 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 0 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8476] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8476/stat : 8476 (java) S 8456 8458 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8477] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8477/stat : 8477 (java) S 8456 8458 8386 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8497] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8497/stat : 8497 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488518577 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8501] ppid=8456 vsize=7660924 CPUtime=0.46 cores=0,2
/proc/8458/task/8501/stat : 8501 (java) S 8456 8458 8386 0 -1 4202560 7432 0 0 0 46 0 0 0 15 0 19 0 371287739 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8504] ppid=8456 vsize=7660924 CPUtime=0.28 cores=0,2
/proc/8458/task/8504/stat : 8504 (java) S 8456 8458 8386 0 -1 4202560 2929 0 0 0 28 0 0 0 15 0 19 0 371287739 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8506] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8506/stat : 8506 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8509] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8509/stat : 8509 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371287739 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8518] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8518/stat : 8518 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287767 7844786176 27256 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 7660924

[startup+12.7011 s]

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

[pid=8458/tid=8468] ppid=8456 vsize=7660924 CPUtime=0.22 cores=0,2
/proc/8458/task/8468/stat : 8468 (java) S 8456 8458 8386 0 -1 4202560 6913 0 0 0 22 0 0 0 15 0 19 0 371287733 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8469] ppid=8456 vsize=7660924 CPUtime=0.1 cores=0,2
/proc/8458/task/8469/stat : 8469 (java) S 8456 8458 8386 0 -1 4202560 3560 0 0 0 10 0 0 0 15 0 19 0 371287733 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8470] ppid=8456 vsize=7660924 CPUtime=0.07 cores=0,2
/proc/8458/task/8470/stat : 8470 (java) S 8456 8458 8386 0 -1 4202560 3494 0 0 0 7 0 0 0 15 0 19 0 371287733 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8475] ppid=8456 vsize=7660924 CPUtime=3.69 cores=0,2
/proc/8458/task/8475/stat : 8475 (java) S 8456 8458 8386 0 -1 4202560 7289 0 0 0 369 0 0 0 15 0 19 0 371287734 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 0 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8476] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8476/stat : 8476 (java) S 8456 8458 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8477] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8477/stat : 8477 (java) S 8456 8458 8386 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8497] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8497/stat : 8497 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488518577 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8501] ppid=8456 vsize=7660924 CPUtime=0.47 cores=0,2
/proc/8458/task/8501/stat : 8501 (java) S 8456 8458 8386 0 -1 4202560 7435 0 0 0 47 0 0 0 15 0 19 0 371287739 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8504] ppid=8456 vsize=7660924 CPUtime=0.3 cores=0,2
/proc/8458/task/8504/stat : 8504 (java) S 8456 8458 8386 0 -1 4202560 2931 0 0 0 30 0 0 0 15 0 19 0 371287739 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8506] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8506/stat : 8506 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8509] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8509/stat : 8509 (java) S 8456 8458 8386 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371287739 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8518] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8518/stat : 8518 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287767 7844786176 73625 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.62
Current children cumulated vsize (KiB) 7660924

[startup+1242.3 s]
/proc/loadavg: 4.01 4.00 3.32 5/262 8552
/proc/meminfo: memFree=14547284/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7660924 CPUtime=1243.65 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 79266 0 1 0 124351 14 0 0 22 0 19 0 371287730 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1915231 75023 2253 9 0 1905969 0
[pid=8458/tid=8460] ppid=8456 vsize=7660924 CPUtime=1237.84 cores=0,2
/proc/8458/task/8460/stat : 8460 (java) R 8456 8458 8386 0 -1 4202560 30082 0 1 0 123777 7 0 0 25 0 19 0 371287732 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 46912505725426 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=8458/tid=8463] ppid=8456 vsize=7660924 CPUtime=0.14 cores=0,2
/proc/8458/task/8463/stat : 8463 (java) S 8456 8458 8386 0 -1 4202560 3334 0 0 0 14 0 0 0 16 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8464] ppid=8456 vsize=7660924 CPUtime=0.12 cores=0,2
/proc/8458/task/8464/stat : 8464 (java) S 8456 8458 8386 0 -1 4202560 832 0 0 0 12 0 0 0 15 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8465] ppid=8456 vsize=7660924 CPUtime=0.1 cores=0,2
/proc/8458/task/8465/stat : 8465 (java) S 8456 8458 8386 0 -1 4202560 797 0 0 0 10 0 0 0 15 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8466] ppid=8456 vsize=7660924 CPUtime=0.16 cores=0,2
/proc/8458/task/8466/stat : 8466 (java) S 8456 8458 8386 0 -1 4202560 2181 0 0 0 16 0 0 0 15 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8467] ppid=8456 vsize=7660924 CPUtime=0.21 cores=0,2
/proc/8458/task/8467/stat : 8467 (java) S 8456 8458 8386 0 -1 4202560 9023 0 0 0 20 1 0 0 15 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8468] ppid=8456 vsize=7660924 CPUtime=0.24 cores=0,2
/proc/8458/task/8468/stat : 8468 (java) S 8456 8458 8386 0 -1 4202560 6917 0 0 0 24 0 0 0 15 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8469] ppid=8456 vsize=7660924 CPUtime=0.1 cores=0,2
/proc/8458/task/8469/stat : 8469 (java) S 8456 8458 8386 0 -1 4202560 3560 0 0 0 10 0 0 0 15 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8470] ppid=8456 vsize=7660924 CPUtime=0.07 cores=0,2
/proc/8458/task/8470/stat : 8470 (java) S 8456 8458 8386 0 -1 4202560 3494 0 0 0 7 0 0 0 15 0 19 0 371287733 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8475] ppid=8456 vsize=7660924 CPUtime=3.77 cores=0,2
/proc/8458/task/8475/stat : 8475 (java) S 8456 8458 8386 0 -1 4202560 7455 0 0 0 377 0 0 0 15 0 19 0 371287734 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 0 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8476] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8476/stat : 8476 (java) S 8456 8458 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8477] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8477/stat : 8477 (java) S 8456 8458 8386 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8497] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8497/stat : 8497 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488518577 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8501] ppid=8456 vsize=7660924 CPUtime=0.47 cores=0,2
/proc/8458/task/8501/stat : 8501 (java) S 8456 8458 8386 0 -1 4202560 7435 0 0 0 47 0 0 0 15 0 19 0 371287739 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8504] ppid=8456 vsize=7660924 CPUtime=0.3 cores=0,2
/proc/8458/task/8504/stat : 8504 (java) S 8456 8458 8386 0 -1 4202560 2931 0 0 0 30 0 0 0 15 0 19 0 371287739 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8506] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8506/stat : 8506 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8509] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8509/stat : 8509 (java) S 8456 8458 8386 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371287739 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8518] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8518/stat : 8518 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287767 7844786176 75023 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.65
Current children cumulated vsize (KiB) 7660924



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.04 4.01 3.37 6/245 8560
/proc/meminfo: memFree=14585928/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7660924 CPUtime=1301.38 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 83057 0 1 0 130124 14 0 0 22 0 19 0 371287730 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1915231 78804 2253 9 0 1905969 0
[pid=8458/tid=8460] ppid=8456 vsize=7660924 CPUtime=1295.34 cores=0,2
/proc/8458/task/8460/stat : 8460 (java) R 8456 8458 8386 0 -1 4202560 31761 0 1 0 129526 8 0 0 25 0 19 0 371287732 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 46912505602660 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=8458/tid=8463] ppid=8456 vsize=7660924 CPUtime=0.14 cores=0,2
/proc/8458/task/8463/stat : 8463 (java) S 8456 8458 8386 0 -1 4202560 3334 0 0 0 14 0 0 0 16 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8464] ppid=8456 vsize=7660924 CPUtime=0.15 cores=0,2
/proc/8458/task/8464/stat : 8464 (java) S 8456 8458 8386 0 -1 4202560 1675 0 0 0 15 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8465] ppid=8456 vsize=7660924 CPUtime=0.1 cores=0,2
/proc/8458/task/8465/stat : 8465 (java) S 8456 8458 8386 0 -1 4202560 797 0 0 0 10 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8466] ppid=8456 vsize=7660924 CPUtime=0.16 cores=0,2
/proc/8458/task/8466/stat : 8466 (java) S 8456 8458 8386 0 -1 4202560 2181 0 0 0 16 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8467] ppid=8456 vsize=7660924 CPUtime=0.21 cores=0,2
/proc/8458/task/8467/stat : 8467 (java) S 8456 8458 8386 0 -1 4202560 9023 0 0 0 20 1 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8468] ppid=8456 vsize=7660924 CPUtime=0.24 cores=0,2
/proc/8458/task/8468/stat : 8468 (java) S 8456 8458 8386 0 -1 4202560 6917 0 0 0 24 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8469] ppid=8456 vsize=7660924 CPUtime=0.11 cores=0,2
/proc/8458/task/8469/stat : 8469 (java) S 8456 8458 8386 0 -1 4202560 3561 0 0 0 11 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8470] ppid=8456 vsize=7660924 CPUtime=0.09 cores=0,2
/proc/8458/task/8470/stat : 8470 (java) S 8456 8458 8386 0 -1 4202560 4699 0 0 0 9 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8475] ppid=8456 vsize=7660924 CPUtime=3.95 cores=0,2
/proc/8458/task/8475/stat : 8475 (java) S 8456 8458 8386 0 -1 4202560 7514 0 0 0 395 0 0 0 15 0 19 0 371287734 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 0 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8476] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8476/stat : 8476 (java) S 8456 8458 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8477] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8477/stat : 8477 (java) S 8456 8458 8386 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8497] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8497/stat : 8497 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488518577 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8501] ppid=8456 vsize=7660924 CPUtime=0.47 cores=0,2
/proc/8458/task/8501/stat : 8501 (java) S 8456 8458 8386 0 -1 4202560 7435 0 0 0 47 0 0 0 15 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8504] ppid=8456 vsize=7660924 CPUtime=0.3 cores=0,2
/proc/8458/task/8504/stat : 8504 (java) S 8456 8458 8386 0 -1 4202560 2931 0 0 0 30 0 0 0 15 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8506] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8506/stat : 8506 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8509] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8509/stat : 8509 (java) S 8456 8458 8386 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8518] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8518/stat : 8518 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287767 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.38
Current children cumulated vsize (KiB) 7660924

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

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

[startup+1300 s]
/proc/loadavg: 4.04 4.01 3.37 6/245 8560
/proc/meminfo: memFree=14585928/32950928 swapFree=67102716/67111528
[pid=8458] ppid=8456 vsize=7660924 CPUtime=1301.38 cores=0,2
/proc/8458/stat : 8458 (java) S 8456 8458 8386 0 -1 4202496 83057 0 1 0 130124 14 0 0 22 0 19 0 371287730 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/8458/statm: 1915231 78804 2253 9 0 1905969 0
[pid=8458/tid=8460] ppid=8456 vsize=7660924 CPUtime=1295.34 cores=0,2
/proc/8458/task/8460/stat : 8460 (java) R 8456 8458 8386 0 -1 4202560 31761 0 1 0 129526 8 0 0 25 0 19 0 371287732 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 46912505602660 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=8458/tid=8463] ppid=8456 vsize=7660924 CPUtime=0.14 cores=0,2
/proc/8458/task/8463/stat : 8463 (java) S 8456 8458 8386 0 -1 4202560 3334 0 0 0 14 0 0 0 16 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8464] ppid=8456 vsize=7660924 CPUtime=0.15 cores=0,2
/proc/8458/task/8464/stat : 8464 (java) S 8456 8458 8386 0 -1 4202560 1675 0 0 0 15 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8465] ppid=8456 vsize=7660924 CPUtime=0.1 cores=0,2
/proc/8458/task/8465/stat : 8465 (java) S 8456 8458 8386 0 -1 4202560 797 0 0 0 10 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8466] ppid=8456 vsize=7660924 CPUtime=0.16 cores=0,2
/proc/8458/task/8466/stat : 8466 (java) S 8456 8458 8386 0 -1 4202560 2181 0 0 0 16 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8467] ppid=8456 vsize=7660924 CPUtime=0.21 cores=0,2
/proc/8458/task/8467/stat : 8467 (java) S 8456 8458 8386 0 -1 4202560 9023 0 0 0 20 1 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8468] ppid=8456 vsize=7660924 CPUtime=0.24 cores=0,2
/proc/8458/task/8468/stat : 8468 (java) S 8456 8458 8386 0 -1 4202560 6917 0 0 0 24 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8469] ppid=8456 vsize=7660924 CPUtime=0.11 cores=0,2
/proc/8458/task/8469/stat : 8469 (java) S 8456 8458 8386 0 -1 4202560 3561 0 0 0 11 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8470] ppid=8456 vsize=7660924 CPUtime=0.09 cores=0,2
/proc/8458/task/8470/stat : 8470 (java) S 8456 8458 8386 0 -1 4202560 4699 0 0 0 9 0 0 0 15 0 19 0 371287733 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8475] ppid=8456 vsize=7660924 CPUtime=3.95 cores=0,2
/proc/8458/task/8475/stat : 8475 (java) S 8456 8458 8386 0 -1 4202560 7514 0 0 0 395 0 0 0 15 0 19 0 371287734 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 0 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8476] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8476/stat : 8476 (java) S 8456 8458 8386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 0 0 0 0
[pid=8458/tid=8477] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8477/stat : 8477 (java) S 8456 8458 8386 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371287734 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8497] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8497/stat : 8497 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488518577 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8501] ppid=8456 vsize=7660924 CPUtime=0.47 cores=0,2
/proc/8458/task/8501/stat : 8501 (java) S 8456 8458 8386 0 -1 4202560 7435 0 0 0 47 0 0 0 15 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8504] ppid=8456 vsize=7660924 CPUtime=0.3 cores=0,2
/proc/8458/task/8504/stat : 8504 (java) S 8456 8458 8386 0 -1 4202560 2931 0 0 0 30 0 0 0 15 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8506] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8506/stat : 8506 (java) S 8456 8458 8386 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488510873 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8509] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8509/stat : 8509 (java) S 8456 8458 8386 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371287739 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
[pid=8458/tid=8518] ppid=8456 vsize=7660924 CPUtime=0 cores=0,2
/proc/8458/task/8518/stat : 8518 (java) S 8456 8458 8386 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371287767 7844786176 78804 33554432000 1073741824 1073778376 140735792543232 18446744073709551615 239488511488 0 4 0 16800975 18446604453944360000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.38
Current children cumulated vsize (KiB) 7660924

Child status: 143
Real time (s): 1300.06
CPU time (s): 1301.48
CPU user time (s): 1301.32
CPU system time (s): 0.162975
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 7664280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.32
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83090
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= 28476
involuntary context switches= 5468

runsolver used 2.30565 second user time and 4.79727 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-12 10:28:27
IDJOB=3190209
IDBENCH=82540
IDSOLVER=1611
FILE ID=node148/3190209-1302596907
RUNJOBID= node148-1302596906-8404
PBS_JOBID= 12958095
Free space on /tmp= 71072 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.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-3190209-1302596907/watcher-3190209-1302596907 -o /tmp/evaluation-result-3190209-1302596907/solver-3190209-1302596907 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190209-1302596907.cnf

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

MD5SUM BENCH= fdeac497d04edcceaf426c845c7872aa
RANDOM SEED=926611351

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.83
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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.854
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.82
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15315480 kB
Buffers:        614624 kB
Cached:       16497700 kB
SwapCached:       4908 kB
Active:        8237280 kB
Inactive:      8990068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15315480 kB
SwapTotal:    67111528 kB
SwapFree:     67102716 kB
Dirty:            5092 kB
Writeback:           0 kB
AnonPages:      111488 kB
Mapped:          18464 kB
Slab:           341420 kB
PageTables:       5828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 14687468 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= 71068 MiB
End job on node148 at 2011-04-12 10:50:09