Trace number 3190348

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf
MD5SUMeb4eadfedd2c4dc9b0ed7231ad324f1f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark273.432
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.16	c no version file found!!!
0.00/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.16	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.16	c java.vm.version	19.1-b02
0.00/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.16	c sun.arch.data.model	64
0.00/0.16	c java.version		1.6.0_24
0.00/0.16	c os.name		Linux
0.00/0.16	c os.version		2.6.18-164.el5
0.00/0.16	c os.arch		amd64
0.00/0.16	c Free memory 		6997539544
0.00/0.16	c Max memory 		7034241024
0.00/0.16	c Total memory 		7034241024
0.00/0.16	c Number of processors 	8
0.00/0.16	c --- Begin Solver configuration ---
0.00/0.16	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.00/0.16	c Learn all clauses as in MiniSAT
0.00/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.16	c Expensive reason simplification
0.00/0.16	c Armin Biere (Picosat) restarts strategy
0.00/0.16	c Glucose learned constraints deletion strategy
0.00/0.16	c timeout=2147483647s
0.00/0.16	c DB Simplification allowed=true
0.00/0.16	c --- End Solver configuration ---
0.00/0.16	c solving HOME/instance-3190348-1302598929.cnf
0.00/0.16	c reading problem ... 
0.40/0.35	c ... done. Wall clock time 0.261s.
0.40/0.35	c #vars     40000
0.40/0.35	c #constraints  168000
0.40/0.35	c constraints type 
0.40/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 168000
6.43/5.98	c cleaning 2496 clauses out of 5001 with flag 5001/5001
12.47/11.91	c cleaning 4247 clauses out of 8505 with flag 11001/11001
19.17/18.68	c cleaning 5627 clauses out of 11257 with flag 18000/18000
26.78/26.21	c cleaning 6812 clauses out of 13632 with flag 26002/26002
35.20/34.68	c cleaning 7904 clauses out of 15818 with flag 35000/35000
44.81/44.21	c cleaning 8954 clauses out of 17917 with flag 45003/45003
55.02/54.42	c cleaning 9977 clauses out of 19960 with flag 56000/56000
66.43/65.86	c cleaning 10991 clauses out of 21984 with flag 68001/68001
78.64/78.03	c cleaning 11993 clauses out of 23993 with flag 81001/81001
91.74/91.17	c cleaning 12999 clauses out of 26003 with flag 95004/95004
106.26/105.64	c cleaning 13994 clauses out of 28003 with flag 110003/110003
121.36/120.77	c cleaning 14992 clauses out of 30006 with flag 126000/126000
137.08/136.46	c cleaning 15999 clauses out of 32014 with flag 143000/143000
153.98/153.39	c cleaning 17006 clauses out of 34015 with flag 161000/161000
171.70/171.00	c cleaning 17998 clauses out of 36010 with flag 180001/180001
190.82/190.10	c cleaning 18999 clauses out of 38011 with flag 200000/200000
210.73/210.07	c cleaning 20000 clauses out of 40013 with flag 221001/221001
231.94/231.22	c cleaning 21003 clauses out of 42015 with flag 243003/243003
254.05/253.34	c cleaning 21995 clauses out of 44009 with flag 266000/266000
276.56/275.85	c cleaning 23004 clauses out of 46016 with flag 290002/290002
301.37/300.68	c cleaning 23990 clauses out of 48010 with flag 315000/315000
326.98/326.21	c cleaning 25005 clauses out of 50020 with flag 341000/341000
354.01/353.24	c cleaning 26003 clauses out of 52016 with flag 368001/368001
381.31/380.55	c cleaning 27006 clauses out of 54015 with flag 396003/396003
410.83/410.06	c cleaning 27992 clauses out of 56007 with flag 425001/425001
441.24/440.41	c cleaning 29001 clauses out of 58014 with flag 455000/455000
471.86/471.03	c cleaning 29999 clauses out of 60013 with flag 486000/486000
504.48/503.64	c cleaning 31000 clauses out of 62014 with flag 518000/518000
537.70/536.90	c cleaning 32001 clauses out of 64015 with flag 551001/551001
571.51/570.63	c cleaning 32991 clauses out of 66013 with flag 585000/585000
607.33/606.48	c cleaning 34010 clauses out of 68022 with flag 620000/620000
642.64/641.76	c cleaning 34999 clauses out of 70012 with flag 656000/656000
680.96/680.00	c cleaning 35998 clauses out of 72013 with flag 693000/693000
718.28/717.34	c cleaning 37002 clauses out of 74017 with flag 731002/731002
759.09/758.17	c cleaning 37992 clauses out of 76013 with flag 770000/770000
798.81/797.86	c cleaning 39003 clauses out of 78022 with flag 810001/810001
841.63/840.67	c cleaning 40003 clauses out of 80021 with flag 851003/851003
883.94/882.90	c cleaning 40997 clauses out of 82015 with flag 893000/893000
929.06/928.07	c cleaning 41998 clauses out of 84019 with flag 936001/936001
973.68/972.66	c cleaning 43005 clauses out of 86022 with flag 980002/980002
1021.91/1020.86	c cleaning 43991 clauses out of 88015 with flag 1025000/1025000
1068.63/1067.57	c cleaning 44998 clauses out of 90024 with flag 1071000/1071000
1118.25/1117.12	c cleaning 46010 clauses out of 92026 with flag 1118000/1118000
1167.77/1166.67	c cleaning 47002 clauses out of 94016 with flag 1166000/1166000
1217.69/1216.58	c cleaning 47994 clauses out of 96014 with flag 1215000/1215000
1270.41/1269.28	c cleaning 49003 clauses out of 98021 with flag 1265001/1265001
1301.23/1300.01	c starts		: 1319
1301.23/1300.01	c conflicts		: 1295072
1301.23/1300.01	c decisions		: 5633058
1301.23/1300.01	c propagations		: 1700415404
1301.23/1300.01	c inspects		: 4055641753
1301.23/1300.01	c shortcuts		: 0
1301.23/1300.01	c learnt literals	: 0
1301.23/1300.01	c learnt binary clauses	: 0
1301.23/1300.01	c learnt ternary clauses	: 71
1301.23/1300.01	c learnt constraints	: 1295071
1301.23/1300.01	c ignored constraints	: 0
1301.23/1300.01	c root simplifications	: 1319
1301.23/1300.01	c removed literals (reason simplification)	: 16925607
1301.23/1300.01	c reason swapping (by a shorter reason)	: 0
1301.23/1300.01	c Calls to reduceDB	: 46
1301.23/1300.01	c speed (assignments/second)	: 1308358.0609022696
1301.23/1300.01	c non guided choices	4078
1301.23/1300.04	c learnt constraints type 
1301.23/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79096
1301.23/1300.04	c constraints type 
1301.23/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 168000
1301.23/1300.04	s UNKNOWN
1301.23/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 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-3190348-1302598929/watcher-3190348-1302598929 -o /tmp/evaluation-result-3190348-1302598929/solver-3190348-1302598929 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190348-1302598929.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: 4.06 3.96 3.28 8/200 22742
/proc/meminfo: memFree=12050904/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=11760 CPUtime=0 cores=0,2
/proc/22742/stat : 22742 (runsolver) R 22740 22742 22441 0 -1 4202560 48 0 0 0 0 0 0 0 25 0 1 0 450123644 12042240 55 33554432000 4194304 5392636 140734713534560 18446744073709551615 5012135 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/22742/statm: 2940 55 36 293 0 2644 0

[startup+0.161478 s]
/proc/loadavg: 4.06 3.96 3.28 8/200 22742
/proc/meminfo: memFree=12050904/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7573120 CPUtime=0.19 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 12025 0 1 0 17 2 0 0 25 0 18 0 450123644 7754874880 11662 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1893280 11662 2179 9 0 1884018 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7573120

[startup+0.200352 s]
/proc/loadavg: 4.06 3.96 3.28 8/200 22742
/proc/meminfo: memFree=12050904/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7573308 CPUtime=0.27 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 12920 0 1 0 24 3 0 0 25 0 18 0 450123644 7755067392 12557 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1893327 12557 2189 9 0 1884065 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7573308

[startup+0.300333 s]
/proc/loadavg: 4.06 3.96 3.28 8/200 22742
/proc/meminfo: memFree=12050904/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7573308 CPUtime=0.4 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 15309 0 1 0 37 3 0 0 25 0 18 0 450123644 7755067392 14946 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1893327 14946 2197 9 0 1884065 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7573308

[startup+0.700261 s]
/proc/loadavg: 4.06 3.96 3.28 8/200 22742
/proc/meminfo: memFree=12050904/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7643796 CPUtime=1.12 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 19395 0 1 0 109 3 0 0 25 0 19 0 450123644 7827247104 18437 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1910949 18437 2219 9 0 1901687 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 7643796

[startup+1.50112 s]
/proc/loadavg: 5.26 4.21 3.37 5/262 22810
/proc/meminfo: memFree=11872940/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7644072 CPUtime=2.02 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 19927 0 1 0 199 3 0 0 25 0 19 0 450123644 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1911018 18968 2224 9 0 1901756 0
[pid=22742/tid=22744] ppid=22740 vsize=7644072 CPUtime=1.45 cores=0,2
/proc/22742/task/22744/stat : 22744 (java) R 22740 22742 22441 0 -1 4202560 15700 0 1 0 142 3 0 0 25 0 19 0 450123645 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 46912505749244 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22767] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22767/stat : 22767 (java) S 22740 22742 22441 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22768] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22768/stat : 22768 (java) S 22740 22742 22441 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 450123647 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22769] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22769/stat : 22769 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123647 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22789] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22789/stat : 22789 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22791] ppid=22740 vsize=7644072 CPUtime=0.19 cores=0,2
/proc/22742/task/22791/stat : 22791 (java) S 22740 22742 22441 0 -1 4202560 1395 0 0 0 19 0 0 0 20 0 19 0 450123650 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22792] ppid=22740 vsize=7644072 CPUtime=0.36 cores=0,2
/proc/22742/task/22792/stat : 22792 (java) S 22740 22742 22441 0 -1 4202560 1668 0 0 0 36 0 0 0 22 0 19 0 450123650 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22794] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22794/stat : 22794 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22796] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22796/stat : 22796 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123650 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22810] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22810/stat : 22810 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123683 7827529728 18968 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 7644072

[startup+3.10082 s]
/proc/loadavg: 5.26 4.21 3.37 5/262 22810
/proc/meminfo: memFree=11834004/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7644072 CPUtime=3.63 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 20393 0 1 0 359 4 0 0 25 0 19 0 450123644 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1911018 19434 2224 9 0 1901756 0
[pid=22742/tid=22744] ppid=22740 vsize=7644072 CPUtime=3.05 cores=0,2
/proc/22742/task/22744/stat : 22744 (java) R 22740 22742 22441 0 -1 4202560 16166 0 1 0 302 3 0 0 25 0 19 0 450123645 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 46912505619505 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123646 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22767] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22767/stat : 22767 (java) S 22740 22742 22441 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22768] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22768/stat : 22768 (java) S 22740 22742 22441 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 450123647 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22769] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22769/stat : 22769 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123647 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22789] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22789/stat : 22789 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22791] ppid=22740 vsize=7644072 CPUtime=0.19 cores=0,2
/proc/22742/task/22791/stat : 22791 (java) S 22740 22742 22441 0 -1 4202560 1395 0 0 0 19 0 0 0 20 0 19 0 450123650 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22792] ppid=22740 vsize=7644072 CPUtime=0.36 cores=0,2
/proc/22742/task/22792/stat : 22792 (java) S 22740 22742 22441 0 -1 4202560 1668 0 0 0 36 0 0 0 22 0 19 0 450123650 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22794] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22794/stat : 22794 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22796] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22796/stat : 22796 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123650 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22810] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22810/stat : 22810 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123683 7827529728 19434 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 7644072

[startup+6.30124 s]
/proc/loadavg: 5.16 4.21 3.37 5/262 22810
/proc/meminfo: memFree=11752584/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7644072 CPUtime=6.87 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 34376 0 1 0 681 6 0 0 25 0 19 0 450123644 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1911018 33410 2250 9 0 1901756 0
[pid=22742/tid=22744] ppid=22740 vsize=7644072 CPUtime=6.06 cores=0,2
/proc/22742/task/22744/stat : 22744 (java) R 22740 22742 22441 0 -1 4202560 16988 0 1 0 602 4 0 0 24 0 19 0 450123645 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 46912505620063 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=7644072 CPUtime=0.04 cores=0,2
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22441 0 -1 4202560 2139 0 0 0 4 0 0 0 18 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=7644072 CPUtime=0.02 cores=0,2
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22441 0 -1 4202560 2803 0 0 0 2 0 0 0 18 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22441 0 -1 4202560 1064 0 0 0 0 0 0 0 18 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450123646 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22767] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22767/stat : 22767 (java) S 22740 22742 22441 0 -1 4202560 7146 0 0 0 10 0 0 0 15 0 19 0 450123647 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22768] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22768/stat : 22768 (java) S 22740 22742 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22769] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22769/stat : 22769 (java) S 22740 22742 22441 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22789] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22789/stat : 22789 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22791] ppid=22740 vsize=7644072 CPUtime=0.22 cores=0,2
/proc/22742/task/22791/stat : 22791 (java) S 22740 22742 22441 0 -1 4202560 1409 0 0 0 22 0 0 0 15 0 19 0 450123650 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22792] ppid=22740 vsize=7644072 CPUtime=0.36 cores=0,2
/proc/22742/task/22792/stat : 22792 (java) S 22740 22742 22441 0 -1 4202560 1668 0 0 0 36 0 0 0 22 0 19 0 450123650 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22794] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22794/stat : 22794 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22796] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22796/stat : 22796 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450123650 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22810] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22810/stat : 22810 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123683 7827529728 33410 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 7644072

[startup+12.7011 s]

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

[pid=22742/tid=22752] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22441 0 -1 4202560 1248 0 0 0 10 0 0 0 15 0 19 0 450123646 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=7644072 CPUtime=0.09 cores=0,2
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22441 0 -1 4202560 3217 0 0 0 9 0 0 0 15 0 19 0 450123646 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=7644072 CPUtime=0.24 cores=0,2
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22441 0 -1 4202560 5540 0 0 0 24 0 0 0 15 0 19 0 450123646 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22767] ppid=22740 vsize=7644072 CPUtime=4.6 cores=0,2
/proc/22742/task/22767/stat : 22767 (java) S 22740 22742 22441 0 -1 4202560 10827 0 0 0 459 1 0 0 15 0 19 0 450123647 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22768] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22768/stat : 22768 (java) S 22740 22742 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22769] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22769/stat : 22769 (java) S 22740 22742 22441 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22789] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22789/stat : 22789 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22791] ppid=22740 vsize=7644072 CPUtime=0.28 cores=0,2
/proc/22742/task/22791/stat : 22791 (java) S 22740 22742 22441 0 -1 4202560 1434 0 0 0 28 0 0 0 15 0 19 0 450123650 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22792] ppid=22740 vsize=7644072 CPUtime=0.37 cores=0,2
/proc/22742/task/22792/stat : 22792 (java) S 22740 22742 22441 0 -1 4202560 1670 0 0 0 37 0 0 0 18 0 19 0 450123650 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22794] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22794/stat : 22794 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22796] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22796/stat : 22796 (java) S 22740 22742 22441 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450123650 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22810] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22810/stat : 22810 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123683 7827529728 74763 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.48
Current children cumulated vsize (KiB) 7644072

[startup+1242.3 s]
/proc/loadavg: 4.04 4.03 3.84 5/262 22843
/proc/meminfo: memFree=11123156/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7644072 CPUtime=1243.51 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 75919 0 1 0 124335 16 0 0 25 0 19 0 450123644 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1911018 74771 2252 9 0 1901756 0
[pid=22742/tid=22744] ppid=22740 vsize=7644072 CPUtime=1236.81 cores=0,2
/proc/22742/task/22744/stat : 22744 (java) R 22740 22742 22441 0 -1 4202560 31476 0 1 0 123671 10 0 0 25 0 19 0 450123645 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 46912505619505 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=7644072 CPUtime=0.24 cores=0,2
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22441 0 -1 4202560 5861 0 0 0 24 0 0 0 16 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=7644072 CPUtime=0.15 cores=0,2
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22441 0 -1 4202560 3492 0 0 0 15 0 0 0 15 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=7644072 CPUtime=0.2 cores=0,2
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22441 0 -1 4202560 4612 0 0 0 20 0 0 0 15 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=7644072 CPUtime=0.12 cores=0,2
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22441 0 -1 4202560 2338 0 0 0 12 0 0 0 15 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22441 0 -1 4202560 2971 0 0 0 10 0 0 0 15 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22441 0 -1 4202560 1253 0 0 0 10 0 0 0 15 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=7644072 CPUtime=0.09 cores=0,2
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22441 0 -1 4202560 3217 0 0 0 9 0 0 0 15 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=7644072 CPUtime=0.24 cores=0,2
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22441 0 -1 4202560 5540 0 0 0 24 0 0 0 15 0 19 0 450123646 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22767] ppid=22740 vsize=7644072 CPUtime=4.71 cores=0,2
/proc/22742/task/22767/stat : 22767 (java) S 22740 22742 22441 0 -1 4202560 10829 0 0 0 470 1 0 0 15 0 19 0 450123647 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22768] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22768/stat : 22768 (java) S 22740 22742 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22769] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22769/stat : 22769 (java) S 22740 22742 22441 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22789] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22789/stat : 22789 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22791] ppid=22740 vsize=7644072 CPUtime=0.28 cores=0,2
/proc/22742/task/22791/stat : 22791 (java) S 22740 22742 22441 0 -1 4202560 1434 0 0 0 28 0 0 0 15 0 19 0 450123650 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22792] ppid=22740 vsize=7644072 CPUtime=0.37 cores=0,2
/proc/22742/task/22792/stat : 22792 (java) S 22740 22742 22441 0 -1 4202560 1670 0 0 0 37 0 0 0 18 0 19 0 450123650 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22794] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22794/stat : 22794 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22796] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22796/stat : 22796 (java) S 22740 22742 22441 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 450123650 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22810] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22810/stat : 22810 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123683 7827529728 74771 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.51
Current children cumulated vsize (KiB) 7644072



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.33 4.09 3.86 4/242 22848
/proc/meminfo: memFree=11390612/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7644072 CPUtime=1301.23 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 76087 0 1 0 130107 16 0 0 25 0 19 0 450123644 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1911018 74932 2252 9 0 1901756 0
[pid=22742/tid=22744] ppid=22740 vsize=7644072 CPUtime=1294.39 cores=0,2
/proc/22742/task/22744/stat : 22744 (java) R 22740 22742 22441 0 -1 4202560 31477 0 1 0 129429 10 0 0 25 0 19 0 450123645 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 46912505619474 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=7644072 CPUtime=0.24 cores=0,2
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22441 0 -1 4202560 5861 0 0 0 24 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=7644072 CPUtime=0.17 cores=0,2
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22441 0 -1 4202560 3493 0 0 0 17 0 0 0 16 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=7644072 CPUtime=0.21 cores=0,2
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22441 0 -1 4202560 4612 0 0 0 21 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=7644072 CPUtime=0.12 cores=0,2
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22441 0 -1 4202560 2338 0 0 0 12 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22441 0 -1 4202560 2971 0 0 0 10 0 0 0 16 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22441 0 -1 4202560 1253 0 0 0 10 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22441 0 -1 4202560 3217 0 0 0 10 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=7644072 CPUtime=0.24 cores=0,2
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22441 0 -1 4202560 5540 0 0 0 24 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22767] ppid=22740 vsize=7644072 CPUtime=4.82 cores=0,2
/proc/22742/task/22767/stat : 22767 (java) S 22740 22742 22441 0 -1 4202560 10991 0 0 0 481 1 0 0 15 0 19 0 450123647 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22768] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22768/stat : 22768 (java) S 22740 22742 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22769] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22769/stat : 22769 (java) S 22740 22742 22441 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22789] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22789/stat : 22789 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22791] ppid=22740 vsize=7644072 CPUtime=0.28 cores=0,2
/proc/22742/task/22791/stat : 22791 (java) S 22740 22742 22441 0 -1 4202560 1434 0 0 0 28 0 0 0 15 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22792] ppid=22740 vsize=7644072 CPUtime=0.37 cores=0,2
/proc/22742/task/22792/stat : 22792 (java) S 22740 22742 22441 0 -1 4202560 1670 0 0 0 37 0 0 0 18 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22794] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22794/stat : 22794 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22796] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22796/stat : 22796 (java) S 22740 22742 22441 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22810] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22810/stat : 22810 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123683 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.23
Current children cumulated vsize (KiB) 7644072

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.33 4.09 3.86 4/242 22848
/proc/meminfo: memFree=11390612/32950928 swapFree=67111528/67111528
[pid=22742] ppid=22740 vsize=7644072 CPUtime=1301.23 cores=0,2
/proc/22742/stat : 22742 (java) S 22740 22742 22441 0 -1 4202496 76087 0 1 0 130107 16 0 0 25 0 19 0 450123644 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22742/statm: 1911018 74932 2252 9 0 1901756 0
[pid=22742/tid=22744] ppid=22740 vsize=7644072 CPUtime=1294.39 cores=0,2
/proc/22742/task/22744/stat : 22744 (java) R 22740 22742 22441 0 -1 4202560 31477 0 1 0 129429 10 0 0 25 0 19 0 450123645 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 46912505619474 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22742/tid=22747] ppid=22740 vsize=7644072 CPUtime=0.24 cores=0,2
/proc/22742/task/22747/stat : 22747 (java) S 22740 22742 22441 0 -1 4202560 5861 0 0 0 24 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22748] ppid=22740 vsize=7644072 CPUtime=0.17 cores=0,2
/proc/22742/task/22748/stat : 22748 (java) S 22740 22742 22441 0 -1 4202560 3493 0 0 0 17 0 0 0 16 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22749] ppid=22740 vsize=7644072 CPUtime=0.21 cores=0,2
/proc/22742/task/22749/stat : 22749 (java) S 22740 22742 22441 0 -1 4202560 4612 0 0 0 21 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22750] ppid=22740 vsize=7644072 CPUtime=0.12 cores=0,2
/proc/22742/task/22750/stat : 22750 (java) S 22740 22742 22441 0 -1 4202560 2338 0 0 0 12 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22751] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22751/stat : 22751 (java) S 22740 22742 22441 0 -1 4202560 2971 0 0 0 10 0 0 0 16 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22752] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22752/stat : 22752 (java) S 22740 22742 22441 0 -1 4202560 1253 0 0 0 10 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22753] ppid=22740 vsize=7644072 CPUtime=0.1 cores=0,2
/proc/22742/task/22753/stat : 22753 (java) S 22740 22742 22441 0 -1 4202560 3217 0 0 0 10 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22754] ppid=22740 vsize=7644072 CPUtime=0.24 cores=0,2
/proc/22742/task/22754/stat : 22754 (java) S 22740 22742 22441 0 -1 4202560 5540 0 0 0 24 0 0 0 15 0 19 0 450123646 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22767] ppid=22740 vsize=7644072 CPUtime=4.82 cores=0,2
/proc/22742/task/22767/stat : 22767 (java) S 22740 22742 22441 0 -1 4202560 10991 0 0 0 481 1 0 0 15 0 19 0 450123647 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 0 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22768] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22768/stat : 22768 (java) S 22740 22742 22441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22769] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22769/stat : 22769 (java) S 22740 22742 22441 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450123647 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22789] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22789/stat : 22789 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917217713 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22791] ppid=22740 vsize=7644072 CPUtime=0.28 cores=0,2
/proc/22742/task/22791/stat : 22791 (java) S 22740 22742 22441 0 -1 4202560 1434 0 0 0 28 0 0 0 15 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 0 0 0 0
[pid=22742/tid=22792] ppid=22740 vsize=7644072 CPUtime=0.37 cores=0,2
/proc/22742/task/22792/stat : 22792 (java) S 22740 22742 22441 0 -1 4202560 1670 0 0 0 37 0 0 0 18 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22794] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22794/stat : 22794 (java) S 22740 22742 22441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210009 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22796] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22796/stat : 22796 (java) S 22740 22742 22441 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450123650 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
[pid=22742/tid=22810] ppid=22740 vsize=7644072 CPUtime=0 cores=0,2
/proc/22742/task/22810/stat : 22810 (java) S 22740 22742 22441 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450123683 7827529728 74932 33554432000 1073741824 1073778376 140736010789040 18446744073709551615 260917210624 0 4 0 16800975 18446604453844884480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.23
Current children cumulated vsize (KiB) 7644072

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.31
CPU user time (s): 1301.14
CPU system time (s): 0.175973
CPU usage (%): 100.097
Max. virtual memory (cumulated for all children) (KiB): 7644352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.14
system time used= 0.175973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76121
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= 27906
involuntary context switches= 4896

runsolver used 1.9917 second user time and 5.11422 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-12 11:02:10
IDJOB=3190348
IDBENCH=82679
IDSOLVER=1611
FILE ID=node116/3190348-1302598929
RUNJOBID= node116-1302597627-22459
PBS_JOBID= 12958106
Free space on /tmp= 71444 MiB

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

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

MD5SUM BENCH= eb4eadfedd2c4dc9b0ed7231ad324f1f
RANDOM SEED=105676680

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12051680 kB
Buffers:        734724 kB
Cached:       19590636 kB
SwapCached:          0 kB
Active:        7732752 kB
Inactive:     12699820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12051680 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5896 kB
Writeback:           0 kB
AnonPages:      107668 kB
Mapped:          23028 kB
Slab:           403020 kB
PageTables:       4384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  7463352 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= 71444 MiB
End job on node116 at 2011-04-12 11:23:52