Trace number 3263228

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
MD5SUM1037a2754a0a53f62ba8ec901741c9e9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of clauses40510
Sum of the clauses size81524
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 240492
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c no version file found!!!
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		6997539544
0.02/0.08	c Max memory 		7034241024
0.02/0.08	c Total memory 		7034241024
0.02/0.09	c Number of processors 	8
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@2fe4cbc4
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.11	c Expensive reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483647s
0.08/0.11	c DB Simplification allowed=true
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3263228-1303566768.cnf
0.08/0.11	c reading problem ... 
0.25/0.24	c ... done. Wall clock time 0.131s.
0.25/0.24	c #vars     540
0.25/0.24	c #constraints  40510
0.25/0.24	c constraints type 
0.25/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18
0.25/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 40492
1.26/0.93	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.15/1.70	c cleaning 4247 clauses out of 8501 with flag 11000/11000
3.14/2.63	c cleaning 5626 clauses out of 11254 with flag 18000/18000
4.35/3.81	c cleaning 6811 clauses out of 13629 with flag 26001/26001
5.55/5.09	c cleaning 7903 clauses out of 15818 with flag 35001/35001
7.16/6.66	c cleaning 8954 clauses out of 17914 with flag 45000/45000
8.96/8.45	c cleaning 9979 clauses out of 19960 with flag 56000/56000
11.06/10.53	c cleaning 10984 clauses out of 21982 with flag 68001/68001
13.25/12.71	c cleaning 11994 clauses out of 23998 with flag 81001/81001
15.86/15.30	c cleaning 13000 clauses out of 26003 with flag 95000/95000
18.56/18.08	c cleaning 14000 clauses out of 28005 with flag 110002/110002
21.66/21.12	c cleaning 15000 clauses out of 30004 with flag 126001/126001
24.96/24.42	c cleaning 15998 clauses out of 32003 with flag 143000/143000
28.56/28.03	c cleaning 16990 clauses out of 34005 with flag 161000/161000
32.48/31.92	c cleaning 17994 clauses out of 36015 with flag 180000/180000
36.78/36.25	c cleaning 19000 clauses out of 38021 with flag 200000/200000
41.29/40.74	c cleaning 20001 clauses out of 40023 with flag 221002/221002
45.99/45.40	c cleaning 21007 clauses out of 42021 with flag 243001/243001
51.30/50.71	c cleaning 22005 clauses out of 44016 with flag 266003/266003
56.71/56.19	c cleaning 22985 clauses out of 46008 with flag 290000/290000
62.40/61.81	c cleaning 24003 clauses out of 48026 with flag 315003/315003
69.00/68.49	c cleaning 25001 clauses out of 50022 with flag 341002/341002
75.81/75.26	c cleaning 26007 clauses out of 52022 with flag 368003/368003
82.82/82.29	c cleaning 27004 clauses out of 54013 with flag 396001/396001
90.52/89.93	c cleaning 28005 clauses out of 56011 with flag 425003/425003
99.16/98.32	c cleaning 28996 clauses out of 58003 with flag 455000/455000
107.61/106.53	c cleaning 29996 clauses out of 60007 with flag 486000/486000
117.03/115.97	c cleaning 30999 clauses out of 62011 with flag 518000/518000
126.05/124.91	c cleaning 32002 clauses out of 64013 with flag 551001/551001
135.56/134.43	c cleaning 33001 clauses out of 66011 with flag 585001/585001
145.76/144.68	c cleaning 34002 clauses out of 68009 with flag 620000/620000
158.46/157.04	c cleaning 34997 clauses out of 70009 with flag 656002/656002
170.07/168.45	c cleaning 36004 clauses out of 72010 with flag 693000/693000
181.98/180.10	c cleaning 36977 clauses out of 74006 with flag 731000/731000
193.99/192.16	c cleaning 38011 clauses out of 76030 with flag 770001/770001
206.90/205.02	c cleaning 38996 clauses out of 78019 with flag 810001/810001
221.30/219.45	c cleaning 40006 clauses out of 80023 with flag 851001/851001
234.71/232.80	c cleaning 40501 clauses out of 81016 with flag 892000/892000
248.32/246.46	c cleaning 40756 clauses out of 81515 with flag 933000/933000
261.32/259.46	c cleaning 40866 clauses out of 81759 with flag 974000/974000
274.33/272.48	c cleaning 40938 clauses out of 81893 with flag 1015000/1015000
286.54/284.64	c cleaning 40955 clauses out of 81958 with flag 1056003/1056003
300.34/298.49	c cleaning 40993 clauses out of 82000 with flag 1097000/1097000
314.55/312.60	c cleaning 40990 clauses out of 82007 with flag 1138000/1138000
327.56/325.66	c cleaning 41003 clauses out of 82017 with flag 1179000/1179000
341.06/339.13	c cleaning 40993 clauses out of 82014 with flag 1220000/1220000
354.57/352.66	c cleaning 40988 clauses out of 82021 with flag 1261000/1261000
367.67/365.70	c cleaning 41008 clauses out of 82033 with flag 1302000/1302000
380.68/378.78	c cleaning 41005 clauses out of 82026 with flag 1343001/1343001
394.08/392.18	c cleaning 41004 clauses out of 82021 with flag 1384001/1384001
408.09/406.12	c cleaning 40999 clauses out of 82017 with flag 1425001/1425001
421.60/419.64	c cleaning 41008 clauses out of 82018 with flag 1466001/1466001
436.70/434.76	c cleaning 40993 clauses out of 82010 with flag 1507001/1507001
449.41/447.49	c cleaning 40993 clauses out of 82016 with flag 1548000/1548000
462.72/460.78	c cleaning 41005 clauses out of 82024 with flag 1589001/1589001
475.83/473.86	c cleaning 41003 clauses out of 82018 with flag 1630000/1630000
490.93/488.96	c cleaning 41001 clauses out of 82015 with flag 1671000/1671000
503.44/501.47	c cleaning 41001 clauses out of 82014 with flag 1712000/1712000
516.85/514.87	c cleaning 40999 clauses out of 82013 with flag 1753000/1753000
531.16/529.11	c cleaning 41004 clauses out of 82014 with flag 1794000/1794000
545.06/543.00	c cleaning 41002 clauses out of 82011 with flag 1835001/1835001
558.37/556.37	c cleaning 40997 clauses out of 82008 with flag 1876000/1876000
574.78/572.78	c cleaning 40998 clauses out of 82013 with flag 1917002/1917002
587.58/585.56	c cleaning 40997 clauses out of 82013 with flag 1958000/1958000
603.89/601.87	c cleaning 41004 clauses out of 82016 with flag 1999000/1999000
620.60/618.52	c cleaning 41000 clauses out of 82012 with flag 2040000/2040000
633.51/631.49	c cleaning 40998 clauses out of 82014 with flag 2081002/2081002
647.71/645.67	c cleaning 40991 clauses out of 82014 with flag 2122000/2122000
661.12/659.05	c cleaning 41009 clauses out of 82023 with flag 2163000/2163000
674.93/672.81	c cleaning 41002 clauses out of 82014 with flag 2204000/2204000
690.14/688.00	c cleaning 41002 clauses out of 82013 with flag 2245001/2245001
703.36/701.24	c cleaning 40991 clauses out of 82010 with flag 2286000/2286000
717.67/715.50	c cleaning 40988 clauses out of 82019 with flag 2327000/2327000
732.58/730.42	c cleaning 41012 clauses out of 82031 with flag 2368000/2368000
746.08/743.90	c cleaning 40988 clauses out of 82019 with flag 2409000/2409000
759.99/757.86	c cleaning 41012 clauses out of 82032 with flag 2450001/2450001
772.79/770.63	c cleaning 41005 clauses out of 82020 with flag 2491001/2491001
785.30/783.14	c cleaning 41001 clauses out of 82017 with flag 2532003/2532003
799.10/796.93	c cleaning 40995 clauses out of 82014 with flag 2573001/2573001
812.01/809.85	c cleaning 40996 clauses out of 82018 with flag 2614000/2614000
826.61/824.43	c cleaning 40997 clauses out of 82022 with flag 2655000/2655000
841.32/839.15	c cleaning 41001 clauses out of 82025 with flag 2696000/2696000
854.43/852.20	c cleaning 41010 clauses out of 82028 with flag 2737004/2737004
866.84/864.66	c cleaning 40994 clauses out of 82014 with flag 2778000/2778000
881.43/879.20	c cleaning 41001 clauses out of 82020 with flag 2819000/2819000
894.54/892.35	c cleaning 40998 clauses out of 82019 with flag 2860000/2860000
908.14/905.98	c cleaning 41004 clauses out of 82022 with flag 2901001/2901001
921.76/919.58	c cleaning 40992 clauses out of 82020 with flag 2942003/2942003
936.06/933.83	c cleaning 41007 clauses out of 82027 with flag 2983002/2983002
948.17/945.95	c cleaning 40996 clauses out of 82018 with flag 3024000/3024000
961.27/959.03	c cleaning 41004 clauses out of 82022 with flag 3065000/3065000
974.78/972.54	c cleaning 41000 clauses out of 82021 with flag 3106003/3106003
988.48/986.21	c cleaning 41003 clauses out of 82018 with flag 3147000/3147000
1003.49/1001.26	c cleaning 40999 clauses out of 82015 with flag 3188000/3188000
1016.70/1014.41	c cleaning 41002 clauses out of 82017 with flag 3229001/3229001
1031.71/1029.42	c cleaning 40998 clauses out of 82014 with flag 3270000/3270000
1044.11/1041.87	c cleaning 41000 clauses out of 82016 with flag 3311000/3311000
1059.12/1056.87	c cleaning 41005 clauses out of 82016 with flag 3352000/3352000
1073.42/1071.16	c cleaning 40995 clauses out of 82012 with flag 3393001/3393001
1088.13/1085.84	c cleaning 41002 clauses out of 82016 with flag 3434000/3434000
1104.13/1101.81	c cleaning 41004 clauses out of 82016 with flag 3475002/3475002
1117.24/1114.95	c cleaning 40997 clauses out of 82011 with flag 3516001/3516001
1131.44/1129.10	c cleaning 41004 clauses out of 82014 with flag 3557001/3557001
1146.35/1144.09	c cleaning 41002 clauses out of 82010 with flag 3598001/3598001
1159.46/1157.15	c cleaning 40998 clauses out of 82008 with flag 3639001/3639001
1170.96/1168.68	c cleaning 40994 clauses out of 82012 with flag 3680003/3680003
1183.97/1181.60	c cleaning 40996 clauses out of 82015 with flag 3721000/3721000
1197.88/1195.50	c cleaning 40992 clauses out of 82019 with flag 3762000/3762000
1212.88/1210.57	c cleaning 40999 clauses out of 82029 with flag 3803002/3803002
1226.39/1224.01	c cleaning 41013 clauses out of 82030 with flag 3844002/3844002
1240.09/1237.73	c cleaning 40996 clauses out of 82016 with flag 3885001/3885001
1256.10/1253.80	c cleaning 40997 clauses out of 82019 with flag 3926000/3926000
1270.81/1268.49	c cleaning 40996 clauses out of 82022 with flag 3967000/3967000
1284.11/1281.72	c cleaning 41011 clauses out of 82026 with flag 4008000/4008000
1296.52/1294.13	c cleaning 40996 clauses out of 82016 with flag 4049001/4049001
1302.43/1300.01	c starts		: 2001
1302.43/1300.01	c conflicts		: 4071262
1302.43/1300.01	c decisions		: 4648612
1302.43/1300.01	c propagations		: 130430420
1302.43/1300.01	c inspects		: 13138972074
1302.43/1300.01	c shortcuts		: 0
1302.43/1300.01	c learnt literals	: 0
1302.43/1300.01	c learnt binary clauses	: 47
1302.43/1300.01	c learnt ternary clauses	: 347
1302.43/1300.01	c learnt constraints	: 4071263
1302.43/1300.01	c ignored constraints	: 0
1302.43/1300.01	c root simplifications	: 2001
1302.43/1300.01	c removed literals (reason simplification)	: 201705411
1302.43/1300.01	c reason swapping (by a shorter reason)	: 0
1302.43/1300.01	c Calls to reduceDB	: 115
1302.43/1300.01	c speed (assignments/second)	: 100348.56598147063
1302.43/1300.01	c non guided choices	29
1302.43/1300.04	c learnt constraints type 
1302.43/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 47
1302.43/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 63336
1302.43/1300.04	c constraints type 
1302.43/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18
1302.43/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 40492
1302.43/1300.04	s UNKNOWN
1302.43/1300.04	c Total wall clock time (in seconds) : 1299.905

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3263228-1303566768/watcher-3263228-1303566768 -o /tmp/evaluation-result-3263228-1303566768/solver-3263228-1303566768 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263228-1303566768.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: 0.88 1.56 2.45 3/174 10442
/proc/meminfo: memFree=14503860/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=23028 CPUtime=0 cores=0,2
/proc/10442/stat : 10442 (java) R 10440 10442 9247 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 468277750 23580672 622 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270608148224 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10442/statm: 5757 634 468 9 0 124 0

[startup+0.033247 s]
/proc/loadavg: 0.88 1.56 2.45 3/174 10442
/proc/meminfo: memFree=14503860/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7551884 CPUtime=0.02 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 8355 0 1 0 1 1 0 0 20 0 10 0 468277750 7733129216 8054 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1887971 8056 1540 9 0 1878719 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7551884

[startup+0.101571 s]
/proc/loadavg: 0.88 1.56 2.45 3/174 10442
/proc/meminfo: memFree=14503860/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7636376 CPUtime=0.08 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 10309 0 1 0 7 1 0 0 20 0 18 0 468277750 7819649024 9984 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1909094 9984 2061 9 0 1899832 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7636376

[startup+0.301917 s]
/proc/loadavg: 0.88 1.56 2.45 3/174 10442
/proc/meminfo: memFree=14503860/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7642132 CPUtime=0.45 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 13596 0 1 0 43 2 0 0 20 0 19 0 468277750 7825543168 12610 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1910533 12630 2209 9 0 1901271 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 7642132

[startup+0.701109 s]
/proc/loadavg: 0.88 1.56 2.45 3/174 10442
/proc/meminfo: memFree=14503860/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7642164 CPUtime=1.03 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 14488 0 1 0 101 2 0 0 20 0 19 0 468277750 7825575936 13377 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1910541 13377 2220 9 0 1901279 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 7642164

[startup+1.50094 s]
/proc/loadavg: 0.88 1.56 2.45 10/262 10540
/proc/meminfo: memFree=14267472/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7660128 CPUtime=2.05 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 23117 0 1 0 202 3 0 0 20 0 19 0 468277750 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1915032 20071 2252 9 0 1905770 0
[pid=10442/tid=10449] ppid=10440 vsize=7660128 CPUtime=1.39 cores=0,2
/proc/10442/task/10449/stat : 10449 (java) R 10440 10442 9247 0 -1 4202560 10184 0 1 0 138 1 0 0 25 0 19 0 468277751 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 46912505650830 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10442/tid=10459] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10459/stat : 10459 (java) S 10440 10442 9247 0 -1 4202560 984 0 0 0 0 0 0 0 17 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10460] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10460/stat : 10460 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10461] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10461/stat : 10461 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10462] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10462/stat : 10462 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10463] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10463/stat : 10463 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10464] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10464/stat : 10464 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10465] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10465/stat : 10465 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10466] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10466/stat : 10466 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 468277752 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10468] ppid=10440 vsize=7660128 CPUtime=0.01 cores=0,2
/proc/10442/task/10468/stat : 10468 (java) S 10440 10442 9247 0 -1 4202560 988 0 0 0 1 0 0 0 17 0 19 0 468277753 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10471] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10471/stat : 10471 (java) S 10440 10442 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277754 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10472] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10472/stat : 10472 (java) S 10440 10442 9247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 468277754 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10473] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10473/stat : 10473 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 468277757 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10474] ppid=10440 vsize=7660128 CPUtime=0.5 cores=0,2
/proc/10442/task/10474/stat : 10474 (java) S 10440 10442 9247 0 -1 4202560 8406 0 0 0 49 1 0 0 16 0 19 0 468277757 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10477] ppid=10440 vsize=7660128 CPUtime=0.1 cores=0,2
/proc/10442/task/10477/stat : 10477 (java) S 10440 10442 9247 0 -1 4202560 1398 0 0 0 10 0 0 0 16 0 19 0 468277757 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10478] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10478/stat : 10478 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 468277757 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10479] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10479/stat : 10479 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277757 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10514] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10514/stat : 10514 (java) S 10440 10442 9247 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 468277774 7843971072 20071 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 7660128

[startup+3.10071 s]
/proc/loadavg: 0.88 1.56 2.45 5/262 10540
/proc/meminfo: memFree=14177572/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7660128 CPUtime=3.65 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 24707 0 1 0 362 3 0 0 20 0 19 0 468277750 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1915032 21659 2254 9 0 1905770 0
[pid=10442/tid=10449] ppid=10440 vsize=7660128 CPUtime=2.91 cores=0,2
/proc/10442/task/10449/stat : 10449 (java) R 10440 10442 9247 0 -1 4202560 10187 0 1 0 290 1 0 0 25 0 19 0 468277751 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 46912505590788 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10442/tid=10459] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10459/stat : 10459 (java) S 10440 10442 9247 0 -1 4202560 984 0 0 0 0 0 0 0 15 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10460] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10460/stat : 10460 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10461] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10461/stat : 10461 (java) S 10440 10442 9247 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10462] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10462/stat : 10462 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10463] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10463/stat : 10463 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10464] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10464/stat : 10464 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10465] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10465/stat : 10465 (java) S 10440 10442 9247 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10466] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10466/stat : 10466 (java) S 10440 10442 9247 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 19 0 468277752 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10468] ppid=10440 vsize=7660128 CPUtime=0.05 cores=0,2
/proc/10442/task/10468/stat : 10468 (java) S 10440 10442 9247 0 -1 4202560 1742 0 0 0 5 0 0 0 15 0 19 0 468277753 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10471] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10471/stat : 10471 (java) S 10440 10442 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277754 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10472] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10472/stat : 10472 (java) S 10440 10442 9247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 468277754 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10473] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10473/stat : 10473 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 468277757 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10474] ppid=10440 vsize=7660128 CPUtime=0.52 cores=0,2
/proc/10442/task/10474/stat : 10474 (java) S 10440 10442 9247 0 -1 4202560 8406 0 0 0 51 1 0 0 15 0 19 0 468277757 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10477] ppid=10440 vsize=7660128 CPUtime=0.13 cores=0,2
/proc/10442/task/10477/stat : 10477 (java) S 10440 10442 9247 0 -1 4202560 1414 0 0 0 13 0 0 0 15 0 19 0 468277757 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10478] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10478/stat : 10478 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 468277757 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10479] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10479/stat : 10479 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277757 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10514] ppid=10440 vsize=7660128 CPUtime=0 cores=0,2
/proc/10442/task/10514/stat : 10514 (java) S 10440 10442 9247 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 468277774 7843971072 21659 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 7660128

[startup+6.30115 s]
/proc/loadavg: 1.13 1.60 2.46 5/262 10540
/proc/meminfo: memFree=14166784/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7655140 CPUtime=6.85 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 25123 0 1 0 682 3 0 0 20 0 19 0 468277750 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1913785 20630 2254 9 0 1904523 0
[pid=10442/tid=10449] ppid=10440 vsize=7655140 CPUtime=6.03 cores=0,2
/proc/10442/task/10449/stat : 10449 (java) R 10440 10442 9247 0 -1 4202560 10190 0 1 0 602 1 0 0 25 0 19 0 468277751 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 46912505650812 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10442/tid=10459] ppid=10440 vsize=7655140 CPUtime=0.01 cores=0,2
/proc/10442/task/10459/stat : 10459 (java) S 10440 10442 9247 0 -1 4202560 1172 0 0 0 1 0 0 0 15 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10460] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10460/stat : 10460 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10461] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10461/stat : 10461 (java) S 10440 10442 9247 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10462] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10462/stat : 10462 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10463] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10463/stat : 10463 (java) S 10440 10442 9247 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10464] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10464/stat : 10464 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10465] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10465/stat : 10465 (java) S 10440 10442 9247 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10466] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10466/stat : 10466 (java) S 10440 10442 9247 0 -1 4202560 815 0 0 0 0 0 0 0 15 0 19 0 468277752 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10468] ppid=10440 vsize=7655140 CPUtime=0.09 cores=0,2
/proc/10442/task/10468/stat : 10468 (java) S 10440 10442 9247 0 -1 4202560 1958 0 0 0 9 0 0 0 15 0 19 0 468277753 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10471] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10471/stat : 10471 (java) S 10440 10442 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277754 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10472] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10472/stat : 10472 (java) S 10440 10442 9247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 468277754 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10473] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10473/stat : 10473 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 468277757 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10474] ppid=10440 vsize=7655140 CPUtime=0.54 cores=0,2
/proc/10442/task/10474/stat : 10474 (java) S 10440 10442 9247 0 -1 4202560 8413 0 0 0 53 1 0 0 15 0 19 0 468277757 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10477] ppid=10440 vsize=7655140 CPUtime=0.13 cores=0,2
/proc/10442/task/10477/stat : 10477 (java) S 10440 10442 9247 0 -1 4202560 1414 0 0 0 13 0 0 0 15 0 19 0 468277757 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10478] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10478/stat : 10478 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 468277757 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10479] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10479/stat : 10479 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 468277757 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10514] ppid=10440 vsize=7655140 CPUtime=0 cores=0,2
/proc/10442/task/10514/stat : 10514 (java) S 10440 10442 9247 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 468277774 7838863360 20630 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 7655140

[startup+12.701 s]

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

[pid=10442/tid=10464] ppid=10440 vsize=7654440 CPUtime=0.16 cores=0,2
/proc/10442/task/10464/stat : 10464 (java) S 10440 10442 9247 0 -1 4202560 568 0 0 0 16 0 0 0 15 0 19 0 468277752 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10465] ppid=10440 vsize=7654440 CPUtime=0.13 cores=0,2
/proc/10442/task/10465/stat : 10465 (java) S 10440 10442 9247 0 -1 4202560 425 0 0 0 13 0 0 0 15 0 19 0 468277752 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10466] ppid=10440 vsize=7654440 CPUtime=0.16 cores=0,2
/proc/10442/task/10466/stat : 10466 (java) S 10440 10442 9247 0 -1 4202560 1574 0 0 0 16 0 0 0 15 0 19 0 468277752 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10468] ppid=10440 vsize=7654440 CPUtime=4.03 cores=0,2
/proc/10442/task/10468/stat : 10468 (java) S 10440 10442 9247 0 -1 4202560 8446 0 0 0 402 1 0 0 15 0 19 0 468277753 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10471] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10471/stat : 10471 (java) S 10440 10442 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10472] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10472/stat : 10472 (java) S 10440 10442 9247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10473] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10473/stat : 10473 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 468277757 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10474] ppid=10440 vsize=7654440 CPUtime=1.74 cores=0,2
/proc/10442/task/10474/stat : 10474 (java) S 10440 10442 9247 0 -1 4202560 12014 0 0 0 173 1 0 0 15 0 19 0 468277757 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10477] ppid=10440 vsize=7654440 CPUtime=0.18 cores=0,2
/proc/10442/task/10477/stat : 10477 (java) S 10440 10442 9247 0 -1 4202560 1446 0 0 0 18 0 0 0 15 0 19 0 468277757 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10478] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10478/stat : 10478 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 468277757 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10479] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10479/stat : 10479 (java) S 10440 10442 9247 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 468277757 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10514] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10514/stat : 10514 (java) S 10440 10442 9247 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 468277774 7838146560 35336 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1124.64
Current children cumulated vsize (KiB) 7654440

[startup+1182.3 s]
/proc/loadavg: 4.03 3.99 3.57 5/262 10583
/proc/meminfo: memFree=13963972/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7654440 CPUtime=1184.68 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 44448 0 1 0 118458 10 0 0 20 0 19 0 468277750 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1913610 36079 2256 9 0 1904348 0
[pid=10442/tid=10449] ppid=10440 vsize=7654440 CPUtime=1177.13 cores=0,2
/proc/10442/task/10449/stat : 10449 (java) R 10440 10442 9247 0 -1 4202560 14207 0 1 0 117708 5 0 0 25 0 19 0 468277751 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 46912505897410 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10442/tid=10459] ppid=10440 vsize=7654440 CPUtime=0.21 cores=0,2
/proc/10442/task/10459/stat : 10459 (java) S 10440 10442 9247 0 -1 4202560 2310 0 0 0 21 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10460] ppid=10440 vsize=7654440 CPUtime=0.13 cores=0,2
/proc/10442/task/10460/stat : 10460 (java) S 10440 10442 9247 0 -1 4202560 66 0 0 0 13 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10461] ppid=10440 vsize=7654440 CPUtime=0.15 cores=0,2
/proc/10442/task/10461/stat : 10461 (java) S 10440 10442 9247 0 -1 4202560 908 0 0 0 15 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10462] ppid=10440 vsize=7654440 CPUtime=0.17 cores=0,2
/proc/10442/task/10462/stat : 10462 (java) S 10440 10442 9247 0 -1 4202560 958 0 0 0 17 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10463] ppid=10440 vsize=7654440 CPUtime=0.14 cores=0,2
/proc/10442/task/10463/stat : 10463 (java) S 10440 10442 9247 0 -1 4202560 110 0 0 0 14 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10464] ppid=10440 vsize=7654440 CPUtime=0.17 cores=0,2
/proc/10442/task/10464/stat : 10464 (java) S 10440 10442 9247 0 -1 4202560 569 0 0 0 17 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10465] ppid=10440 vsize=7654440 CPUtime=0.13 cores=0,2
/proc/10442/task/10465/stat : 10465 (java) S 10440 10442 9247 0 -1 4202560 425 0 0 0 13 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10466] ppid=10440 vsize=7654440 CPUtime=0.16 cores=0,2
/proc/10442/task/10466/stat : 10466 (java) S 10440 10442 9247 0 -1 4202560 1574 0 0 0 16 0 0 0 15 0 19 0 468277752 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10468] ppid=10440 vsize=7654440 CPUtime=4.26 cores=0,2
/proc/10442/task/10468/stat : 10468 (java) S 10440 10442 9247 0 -1 4202560 8643 0 0 0 425 1 0 0 16 0 19 0 468277753 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10471] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10471/stat : 10471 (java) S 10440 10442 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10472] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10472/stat : 10472 (java) S 10440 10442 9247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10473] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10473/stat : 10473 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 468277757 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10474] ppid=10440 vsize=7654440 CPUtime=1.74 cores=0,2
/proc/10442/task/10474/stat : 10474 (java) S 10440 10442 9247 0 -1 4202560 12014 0 0 0 173 1 0 0 15 0 19 0 468277757 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10477] ppid=10440 vsize=7654440 CPUtime=0.18 cores=0,2
/proc/10442/task/10477/stat : 10477 (java) S 10440 10442 9247 0 -1 4202560 1446 0 0 0 18 0 0 0 15 0 19 0 468277757 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10478] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10478/stat : 10478 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 468277757 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10479] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10479/stat : 10479 (java) S 10440 10442 9247 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 468277757 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10514] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10514/stat : 10514 (java) S 10440 10442 9247 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 468277774 7838146560 36079 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1184.68
Current children cumulated vsize (KiB) 7654440

[startup+1242.3 s]
/proc/loadavg: 4.33 4.05 3.62 5/262 10585
/proc/meminfo: memFree=13961324/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7654440 CPUtime=1244.7 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 44466 0 1 0 124460 10 0 0 20 0 19 0 468277750 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1913610 36085 2256 9 0 1904348 0
[pid=10442/tid=10449] ppid=10440 vsize=7654440 CPUtime=1236.93 cores=0,2
/proc/10442/task/10449/stat : 10449 (java) R 10440 10442 9247 0 -1 4202560 14211 0 1 0 123688 5 0 0 25 0 19 0 468277751 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 46912505897410 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10442/tid=10459] ppid=10440 vsize=7654440 CPUtime=0.22 cores=0,2
/proc/10442/task/10459/stat : 10459 (java) S 10440 10442 9247 0 -1 4202560 2310 0 0 0 22 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10460] ppid=10440 vsize=7654440 CPUtime=0.13 cores=0,2
/proc/10442/task/10460/stat : 10460 (java) S 10440 10442 9247 0 -1 4202560 66 0 0 0 13 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10461] ppid=10440 vsize=7654440 CPUtime=0.16 cores=0,2
/proc/10442/task/10461/stat : 10461 (java) S 10440 10442 9247 0 -1 4202560 911 0 0 0 16 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10462] ppid=10440 vsize=7654440 CPUtime=0.17 cores=0,2
/proc/10442/task/10462/stat : 10462 (java) S 10440 10442 9247 0 -1 4202560 958 0 0 0 17 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10463] ppid=10440 vsize=7654440 CPUtime=0.15 cores=0,2
/proc/10442/task/10463/stat : 10463 (java) S 10440 10442 9247 0 -1 4202560 113 0 0 0 15 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10464] ppid=10440 vsize=7654440 CPUtime=0.18 cores=0,2
/proc/10442/task/10464/stat : 10464 (java) S 10440 10442 9247 0 -1 4202560 569 0 0 0 18 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10465] ppid=10440 vsize=7654440 CPUtime=0.13 cores=0,2
/proc/10442/task/10465/stat : 10465 (java) S 10440 10442 9247 0 -1 4202560 425 0 0 0 13 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10466] ppid=10440 vsize=7654440 CPUtime=0.17 cores=0,2
/proc/10442/task/10466/stat : 10466 (java) S 10440 10442 9247 0 -1 4202560 1574 0 0 0 17 0 0 0 15 0 19 0 468277752 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10468] ppid=10440 vsize=7654440 CPUtime=4.44 cores=0,2
/proc/10442/task/10468/stat : 10468 (java) S 10440 10442 9247 0 -1 4202560 8647 0 0 0 443 1 0 0 15 0 19 0 468277753 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10471] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10471/stat : 10471 (java) S 10440 10442 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10472] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10472/stat : 10472 (java) S 10440 10442 9247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10473] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10473/stat : 10473 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 468277757 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10474] ppid=10440 vsize=7654440 CPUtime=1.74 cores=0,2
/proc/10442/task/10474/stat : 10474 (java) S 10440 10442 9247 0 -1 4202560 12014 0 0 0 173 1 0 0 15 0 19 0 468277757 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10477] ppid=10440 vsize=7654440 CPUtime=0.18 cores=0,2
/proc/10442/task/10477/stat : 10477 (java) S 10440 10442 9247 0 -1 4202560 1446 0 0 0 18 0 0 0 15 0 19 0 468277757 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10478] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10478/stat : 10478 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 468277757 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10479] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10479/stat : 10479 (java) S 10440 10442 9247 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 468277757 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10514] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10514/stat : 10514 (java) S 10440 10442 9247 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 468277774 7838146560 36085 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1244.7
Current children cumulated vsize (KiB) 7654440



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.15 4.05 3.64 5/262 10587
/proc/meminfo: memFree=13960448/32951124 swapFree=67111528/67111528
[pid=10442] ppid=10440 vsize=7654440 CPUtime=1302.43 cores=0,2
/proc/10442/stat : 10442 (java) S 10440 10442 9247 0 -1 4202496 44550 0 1 0 130233 10 0 0 20 0 19 0 468277750 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10442/statm: 1913610 36157 2256 9 0 1904348 0
[pid=10442/tid=10449] ppid=10440 vsize=7654440 CPUtime=1294.43 cores=0,2
/proc/10442/task/10449/stat : 10449 (java) R 10440 10442 9247 0 -1 4202560 14215 0 1 0 129438 5 0 0 25 0 19 0 468277751 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 46912505897410 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10442/tid=10459] ppid=10440 vsize=7654440 CPUtime=0.24 cores=0,2
/proc/10442/task/10459/stat : 10459 (java) S 10440 10442 9247 0 -1 4202560 2310 0 0 0 24 0 0 0 15 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10460] ppid=10440 vsize=7654440 CPUtime=0.14 cores=0,2
/proc/10442/task/10460/stat : 10460 (java) S 10440 10442 9247 0 -1 4202560 68 0 0 0 14 0 0 0 15 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10461] ppid=10440 vsize=7654440 CPUtime=0.17 cores=0,2
/proc/10442/task/10461/stat : 10461 (java) S 10440 10442 9247 0 -1 4202560 911 0 0 0 17 0 0 0 16 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10462] ppid=10440 vsize=7654440 CPUtime=0.17 cores=0,2
/proc/10442/task/10462/stat : 10462 (java) S 10440 10442 9247 0 -1 4202560 958 0 0 0 17 0 0 0 15 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10463] ppid=10440 vsize=7654440 CPUtime=0.16 cores=0,2
/proc/10442/task/10463/stat : 10463 (java) S 10440 10442 9247 0 -1 4202560 113 0 0 0 16 0 0 0 15 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10464] ppid=10440 vsize=7654440 CPUtime=0.18 cores=0,2
/proc/10442/task/10464/stat : 10464 (java) S 10440 10442 9247 0 -1 4202560 569 0 0 0 18 0 0 0 15 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10465] ppid=10440 vsize=7654440 CPUtime=0.15 cores=0,2
/proc/10442/task/10465/stat : 10465 (java) S 10440 10442 9247 0 -1 4202560 425 0 0 0 15 0 0 0 15 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10466] ppid=10440 vsize=7654440 CPUtime=0.17 cores=0,2
/proc/10442/task/10466/stat : 10466 (java) S 10440 10442 9247 0 -1 4202560 1574 0 0 0 17 0 0 0 15 0 19 0 468277752 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10468] ppid=10440 vsize=7654440 CPUtime=4.62 cores=0,2
/proc/10442/task/10468/stat : 10468 (java) S 10440 10442 9247 0 -1 4202560 8721 0 0 0 461 1 0 0 15 0 19 0 468277753 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10471] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10471/stat : 10471 (java) S 10440 10442 9247 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10472] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10472/stat : 10472 (java) S 10440 10442 9247 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 468277754 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10473] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10473/stat : 10473 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 468277757 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10474] ppid=10440 vsize=7654440 CPUtime=1.74 cores=0,2
/proc/10442/task/10474/stat : 10474 (java) S 10440 10442 9247 0 -1 4202560 12014 0 0 0 173 1 0 0 15 0 19 0 468277757 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10477] ppid=10440 vsize=7654440 CPUtime=0.18 cores=0,2
/proc/10442/task/10477/stat : 10477 (java) S 10440 10442 9247 0 -1 4202560 1446 0 0 0 18 0 0 0 15 0 19 0 468277757 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10478] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10478/stat : 10478 (java) S 10440 10442 9247 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 468277757 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=10442/tid=10479] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10479/stat : 10479 (java) S 10440 10442 9247 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 468277757 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=10442/tid=10514] ppid=10440 vsize=7654440 CPUtime=0 cores=0,2
/proc/10442/task/10514/stat : 10514 (java) S 10440 10442 9247 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 468277774 7838146560 36157 33554432000 1073741824 1073778376 140734398867472 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1302.43
Current children cumulated vsize (KiB) 7654440

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

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

Child status: 143
Real time (s): 1300.06
CPU time (s): 1302.52
CPU user time (s): 1302.41
CPU system time (s): 0.108983
CPU usage (%): 100.189
Max. virtual memory (cumulated for all children) (KiB): 7663420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.41
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44585
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= 30125
involuntary context switches= 6658

runsolver used 2.6306 second user time and 5.15022 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 1037a2754a0a53f62ba8ec901741c9e9
RANDOM SEED=1714617593

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14504132 kB
Buffers:       2251660 kB
Cached:       15562848 kB
SwapCached:          0 kB
Active:        9891512 kB
Inactive:      7986568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14504132 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             912 kB
Writeback:           0 kB
AnonPages:       63148 kB
Mapped:          14496 kB
Slab:           505368 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190188 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71396 MiB
End job on node108 at 2011-04-23 16:14:30