Trace number 3687200

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
SAT 4j PB RES // CP 2.3.2 Snapshot? (TO) 1800.18 911.56

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
MD5SUM1a4510076d9024b805728ffe22c0d108
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark48.1337
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints737
Number of constraints which are clauses397
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints338
Minimum length of a constraint2
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.79	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.79	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.79	c See www.sat4j.org for details.
0.09/0.80	c version 2.3.2.v20120418
0.09/0.80	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.80	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.80	c java.vm.version	19.1-b02
0.09/0.80	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.80	c sun.arch.data.model	64
0.09/0.80	c java.version		1.6.0_24
0.09/0.80	c os.name		Linux
0.09/0.80	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.80	c os.arch		amd64
0.09/0.80	c Free memory 		501472288
0.09/0.80	c Max memory 		7480803328
0.09/0.80	c Total memory 		504102912
0.09/0.80	c Number of processors 	8
0.09/0.85	c Pseudo Boolean Optimization by upper bound
0.09/0.85	c ManyCore solver with 2 solvers running in parallel
0.09/0.85	c --- Begin Solver configuration ---
0.09/0.85	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.85	c Learn all clauses as in MiniSAT
0.09/0.85	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.85	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.85	c Expensive reason simplification
0.09/0.85	c Armin Biere (Picosat) restarts strategy
0.09/0.85	c Glucose learned constraints deletion strategy
0.09/0.85	c timeout=2147483s
0.09/0.85	c DB Simplification allowed=false
0.09/0.85	c c --- End Solver configuration ---
0.09/0.85	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.85	c --- Begin Solver configuration ---
0.09/0.85	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.09/0.85	c Learn all clauses as in MiniSAT
0.09/0.85	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.85	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.85	c No reason simplification
0.09/0.85	c Armin Biere (Picosat) restarts strategy
0.09/0.85	c Glucose learned constraints deletion strategy
0.09/0.85	c timeout=2147483s
0.09/0.85	c DB Simplification allowed=false
0.09/0.85	c c --- End Solver configuration ---
0.09/0.85	c solving HOME/instance-3687200-1337871882.opb
0.09/0.85	c reading problem ... 
0.20/0.98	c ... done. Wall clock time 0.138s.
0.20/0.98	c declared #vars     490
0.20/0.98	c #constraints  737
0.20/0.98	c constraints type 
0.20/0.99	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144
0.20/0.99	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.20/0.99	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 253
0.20/0.99	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 338
0.20/0.99	c 737 constraints processed.
0.20/0.99	c constraints type 
0.20/0.99	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 253
0.20/0.99	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144
0.20/0.99	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.20/0.99	c org.sat4j.pb.constraints.pb.MaxWatchPb => 338
0.20/0.99	c 737 constraints processed.
3.57/1.84	c cleaning 2500 clauses out of 5001 with flag 5001/5001
4.68/2.31	c cleaning 4245 clauses out of 8500 with flag 11000/11000
5.65/2.86	c cleaning 5624 clauses out of 11255 with flag 18000/18000
7.01/3.53	c cleaning 6813 clauses out of 13631 with flag 26000/26000
8.61/4.33	c cleaning 7908 clauses out of 15818 with flag 35000/35000
10.35/5.24	c cleaning 8948 clauses out of 17911 with flag 45001/45001
12.29/6.27	c cleaning 9980 clauses out of 19962 with flag 56000/56000
14.60/7.44	c cleaning 10989 clauses out of 21983 with flag 68001/68001
17.49/8.91	c cleaning 11990 clauses out of 23994 with flag 81001/81001
20.62/10.55	c cleaning 12981 clauses out of 26005 with flag 95002/95002
24.35/12.42	c cleaning 14005 clauses out of 28022 with flag 110000/110000
28.66/14.64	c cleaning 14990 clauses out of 30017 with flag 126000/126000
33.31/17.08	c cleaning 16011 clauses out of 32027 with flag 143000/143000
38.38/19.61	c cleaning 17000 clauses out of 34016 with flag 161000/161000
43.85/22.47	c cleaning 18004 clauses out of 36018 with flag 180002/180002
50.95/26.03	c cleaning 18999 clauses out of 38012 with flag 200000/200000
58.76/30.00	c cleaning 19993 clauses out of 40013 with flag 221000/221000
66.60/34.10	c cleaning 21002 clauses out of 42020 with flag 243000/243000
76.41/39.03	c cleaning 21990 clauses out of 44018 with flag 266000/266000
85.44/43.66	c cleaning 23003 clauses out of 46028 with flag 290000/290000
95.76/48.91	c cleaning 23998 clauses out of 48025 with flag 315000/315000
106.18/54.29	c cleaning 25007 clauses out of 50027 with flag 341000/341000
117.38/59.92	c cleaning 26000 clauses out of 52022 with flag 368002/368002
128.76/65.72	c cleaning 26984 clauses out of 54022 with flag 396002/396002
142.43/72.77	c cleaning 27989 clauses out of 56036 with flag 425000/425000
157.22/80.22	c cleaning 29007 clauses out of 58049 with flag 455002/455002
171.95/87.77	c cleaning 30006 clauses out of 60041 with flag 486001/486001
187.50/95.64	c cleaning 31004 clauses out of 62034 with flag 518000/518000
203.45/103.85	c cleaning 32005 clauses out of 64030 with flag 551000/551000
219.96/112.21	c cleaning 32997 clauses out of 66026 with flag 585001/585001
240.31/122.59	c cleaning 33996 clauses out of 68029 with flag 620001/620001
261.10/133.02	c cleaning 35006 clauses out of 70032 with flag 656000/656000
282.45/143.91	c cleaning 36006 clauses out of 72028 with flag 693002/693002
305.97/155.87	c cleaning 0 clauses out of 5000 with flag 0/5000
308.12/156.89	c cleaning 36981 clauses out of 74021 with flag 731001/731001
335.81/170.74	c cleaning 38012 clauses out of 76041 with flag 770002/770002
363.83/184.92	c cleaning 39004 clauses out of 78027 with flag 810000/810000
389.72/198.03	c cleaning 40005 clauses out of 80024 with flag 851001/851001
418.97/212.88	c cleaning 40996 clauses out of 82018 with flag 893000/893000
445.44/226.28	c cleaning 41994 clauses out of 84022 with flag 936000/936000
476.43/242.04	c cleaning 43007 clauses out of 86028 with flag 980000/980000
506.50/257.23	c cleaning 44000 clauses out of 88023 with flag 1025002/1025002
539.15/273.73	c cleaning 44992 clauses out of 90021 with flag 1071000/1071000
571.19/289.90	c cleaning 46009 clauses out of 92031 with flag 1118002/1118002
610.41/309.85	c cleaning 46992 clauses out of 94020 with flag 1166000/1166000
645.55/327.54	c cleaning 48004 clauses out of 96029 with flag 1215001/1215001
683.72/347.04	c cleaning 49005 clauses out of 98025 with flag 1265001/1265001
727.76/369.32	c cleaning 49992 clauses out of 100019 with flag 1316000/1316000
769.02/390.18	c cleaning 51006 clauses out of 102030 with flag 1368003/1368003
811.34/411.42	c cleaning 51989 clauses out of 104022 with flag 1421001/1421001
853.31/432.61	c cleaning 52997 clauses out of 106033 with flag 1475001/1475001
904.86/458.72	c cleaning 54006 clauses out of 108040 with flag 1530005/1530005
956.49/484.73	c cleaning 55007 clauses out of 110030 with flag 1586001/1586001
1005.75/509.59	c cleaning 56003 clauses out of 112022 with flag 1643000/1643000
1050.52/532.18	c cleaning 57005 clauses out of 114019 with flag 1701000/1701000
1113.26/563.84	c cleaning 58001 clauses out of 116015 with flag 1760001/1760001
1171.52/593.17	c cleaning 58999 clauses out of 118013 with flag 1820000/1820000
1231.95/623.60	c cleaning 59995 clauses out of 120014 with flag 1881000/1881000
1291.14/653.30	c cleaning 61000 clauses out of 122020 with flag 1943001/1943001
1357.04/686.77	c cleaning 61998 clauses out of 124022 with flag 2006003/2006003
1393.92/705.43	c cleaning 62985 clauses out of 126021 with flag 2070000/2070000
1426.54/722.05	c cleaning 63999 clauses out of 128036 with flag 2135000/2135000
1458.97/738.58	c cleaning 65000 clauses out of 130037 with flag 2201000/2201000
1497.38/758.21	c cleaning 65994 clauses out of 132037 with flag 2268000/2268000
1542.93/781.24	c cleaning 66998 clauses out of 134045 with flag 2336002/2336002
1594.16/807.16	c cleaning 68014 clauses out of 136047 with flag 2405002/2405002
1648.04/834.32	c cleaning 69007 clauses out of 138035 with flag 2475004/2475004
1715.23/868.42	c cleaning 70007 clauses out of 140025 with flag 2546001/2546001
1780.26/901.28	c cleaning 70999 clauses out of 142018 with flag 2618001/2618001
1800.18/911.51	c starts		: 230
1800.18/911.51	c conflicts		: 2642415
1800.18/911.51	c decisions		: 6712452
1800.18/911.51	c propagations		: 95355267
1800.18/911.51	c inspects		: 8071764722
1800.18/911.51	c shortcuts		: 0
1800.18/911.51	c learnt literals	: 0
1800.18/911.51	c learnt binary clauses	: 0
1800.18/911.51	c learnt ternary clauses	: 0
1800.18/911.51	c learnt constraints	: 2642415
1800.18/911.51	c ignored constraints	: 0
1800.18/911.51	c root simplifications	: 0
1800.18/911.51	c removed literals (reason simplification)	: 8699675
1800.18/911.51	c reason swapping (by a shorter reason)	: 0
1800.18/911.51	c Calls to reduceDB	: 68
1800.18/911.51	c number of reductions to clauses (during analyze)	: 0
1800.18/911.51	c number of learned constraints concerned by reduction	: 0
1800.18/911.51	c number of learning phase by resolution	: 0
1800.18/911.51	c number of learning phase by cutting planes	: 0
1800.18/911.51	c speed (assignments/second)	: 104726.39530465075
1800.18/911.51	c non guided choices	56
1800.18/911.54	c learnt constraints type 
1800.18/911.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 95469
1800.18/911.54	c constraints type 
1800.18/911.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 144
1800.18/911.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.18/911.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 253
1800.18/911.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 338
1800.18/911.54	c 737 constraints processed.
1800.18/911.54	c constraints type 
1800.18/911.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 253
1800.18/911.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144
1800.18/911.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.18/911.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 338
1800.18/911.54	c 737 constraints processed.
1800.18/911.54	s UNKNOWN
1800.18/911.54	c Total wall clock time (in seconds): 910.695

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687200-1337871882/watcher-3687200-1337871882 -o /tmp/evaluation-result-3687200-1337871882/solver-3687200-1337871882 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687200-1337871882.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22439
/proc/meminfo: memFree=28387288/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22439/stat : 22439 (runsolver) D 22437 22439 22409 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 253315497 12095488 55 33554432000 4194304 5436572 140736041381120 140736041377000 5057063 0 0 4096 24578 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/22439/statm: 2953 55 36 304 0 2645 0

[startup+0.0740221 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22439
/proc/meminfo: memFree=28387288/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/22439/stat : 22439 (java) D 22437 22439 22409 0 -1 4202496 94 0 1 0 0 0 0 0 20 0 1 0 253315497 3653632 48 33554432000 1073741824 1073778376 140733909650912 140733909648008 213857173136 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/22439/statm: 892 48 37 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568

[startup+0.100198 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22439
/proc/meminfo: memFree=28387288/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/22439/stat : 22439 (java) D 22437 22439 22409 0 -1 4202496 284 0 2 0 0 0 0 0 20 0 1 0 253315497 278528 34 33554432000 1073741824 1073778376 140735996300912 140735996298088 213857168679 0 0 4096 0 18446744072100609316 0 0 17 6 0 0 1 0 0
/proc/22439/statm: 68 34 25 9 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272

[startup+0.300218 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22439
/proc/meminfo: memFree=28387288/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=23236 CPUtime=0.01 cores=0,2,4,6
/proc/22439/stat : 22439 (java) D 22437 22439 22409 0 -1 4202496 1034 0 12 0 0 1 0 0 20 0 1 0 253315497 23793664 773 33554432000 1073741824 1073778376 140735996300912 140735996290904 140062790699840 0 0 4096 0 18446744071579943789 0 0 17 6 0 0 16 0 0
/proc/22439/statm: 5809 773 570 9 0 128 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23236

[startup+0.700251 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 22439
/proc/meminfo: memFree=28387288/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=9225560 CPUtime=0.05 cores=0,2,4,6
/proc/22439/stat : 22439 (java) S 22437 22439 22409 0 -1 4202496 3035 0 30 0 3 2 0 0 20 0 13 0 253315497 9446973440 3761 33554432000 1073741824 1073778376 140735996300912 140735996292048 213869690941 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 23 0 0
/proc/22439/statm: 2306390 3761 1705 9 0 2297091 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9225560

[startup+1.50071 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 22461
/proc/meminfo: memFree=28348084/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=9824668 CPUtime=2.37 cores=0,2,4,6
/proc/22439/stat : 22439 (java) S 22437 22439 22409 0 -1 4202496 19084 0 32 0 230 7 0 0 20 0 22 0 253315497 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140735996292048 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 23 0 0
/proc/22439/statm: 2456167 21250 2242 9 0 2446860 0
[pid=22439/tid=22441] ppid=22437 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/22439/task/22441/stat : 22441 (java) S 22437 22439 22409 0 -1 4202560 2481 0 7 0 22 1 0 0 20 0 22 0 253315534 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062784160760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 29 0 0
[pid=22439/tid=22442] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22442/stat : 22442 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062627891368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22443] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22443/stat : 22443 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062626838824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22444] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22444/stat : 22444 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062625786280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22445] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22445/stat : 22445 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062624733736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22446] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22446/stat : 22446 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062623681192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22447] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22447/stat : 22447 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062622628648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22448] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22448/stat : 22448 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062621576104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22449] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22449/stat : 22449 (java) S 22437 22439 22409 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062620523560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22450] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22450/stat : 22450 (java) S 22437 22439 22409 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253315554 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062608324712 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22451] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22451/stat : 22451 (java) S 22437 22439 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062607271032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22452] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22452/stat : 22452 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062606218376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22453] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22453/stat : 22453 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062605167120 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22454] ppid=22437 vsize=9824668 CPUtime=0.53 cores=0,2,4,6
/proc/22439/task/22454/stat : 22454 (java) R 22437 22439 22409 0 -1 4202560 6778 0 1 0 51 2 0 0 20 0 22 0 253315570 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062604101776 140062788249504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22455] ppid=22437 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/22439/task/22455/stat : 22455 (java) R 22437 22439 22409 0 -1 4202560 8539 0 1 0 54 1 0 0 20 0 22 0 253315570 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062603055784 140062790964143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22456] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22456/stat : 22456 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062602009592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22457] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22457/stat : 22457 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062600957256 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22458] ppid=22437 vsize=9824668 CPUtime=0.49 cores=0,2,4,6
/proc/22439/task/22458/stat : 22458 (java) R 22437 22439 22409 0 -1 4202560 29 0 0 0 49 0 0 0 20 0 22 0 253315597 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062599901336 140062656758539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22459] ppid=22437 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/22439/task/22459/stat : 22459 (java) R 22437 22439 22409 0 -1 4202560 81 0 0 0 48 0 0 0 20 0 22 0 253315597 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062598848200 140062656815275 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22460] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22460/stat : 22460 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062597796904 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22461] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22461/stat : 22461 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 21250 33554432000 1073741824 1073778376 140735996300912 140062596744360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 9824668

[startup+3.10072 s]
/proc/loadavg: 0.32 0.07 0.02 3/193 22461
/proc/meminfo: memFree=28180508/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=9824668 CPUtime=6.22 cores=0,2,4,6
/proc/22439/stat : 22439 (java) S 22437 22439 22409 0 -1 4202496 19338 0 32 0 610 12 0 0 20 0 22 0 253315497 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140735996292048 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 23 0 0
/proc/22439/statm: 2456167 59784 2278 9 0 2446860 0
[pid=22439/tid=22441] ppid=22437 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/22439/task/22441/stat : 22441 (java) S 22437 22439 22409 0 -1 4202560 2481 0 7 0 22 1 0 0 20 0 22 0 253315534 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062784160760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 29 0 0
[pid=22439/tid=22442] ppid=22437 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22439/task/22442/stat : 22442 (java) S 22437 22439 22409 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062627891368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22443] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22443/stat : 22443 (java) S 22437 22439 22409 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062626838824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22444] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22444/stat : 22444 (java) S 22437 22439 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062625786280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22445] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22445/stat : 22445 (java) S 22437 22439 22409 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062624733736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22446] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22446/stat : 22446 (java) S 22437 22439 22409 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062623681192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22447] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22447/stat : 22447 (java) S 22437 22439 22409 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062622628648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22448] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22448/stat : 22448 (java) S 22437 22439 22409 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062621576104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22449] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22449/stat : 22449 (java) S 22437 22439 22409 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253315545 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062620523560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22450] ppid=22437 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22439/task/22450/stat : 22450 (java) S 22437 22439 22409 0 -1 4202560 103 0 0 0 10 0 0 0 20 0 22 0 253315554 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062608324712 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22451] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22451/stat : 22451 (java) S 22437 22439 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062607271032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22452] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22452/stat : 22452 (java) S 22437 22439 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062606218376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22453] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22453/stat : 22453 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062605167120 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22454] ppid=22437 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/22439/task/22454/stat : 22454 (java) S 22437 22439 22409 0 -1 4202560 6788 0 1 0 88 2 0 0 20 0 22 0 253315570 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062604114488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22455] ppid=22437 vsize=9824668 CPUtime=0.91 cores=0,2,4,6
/proc/22439/task/22455/stat : 22455 (java) S 22437 22439 22409 0 -1 4202560 8548 0 1 0 90 1 0 0 20 0 22 0 253315570 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062603061944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22456] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22456/stat : 22456 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062602009592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22457] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22457/stat : 22457 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062600957256 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22458] ppid=22437 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/22439/task/22458/stat : 22458 (java) R 22437 22439 22409 0 -1 4202560 36 0 0 0 191 0 0 0 20 0 22 0 253315597 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062599901264 140062656865847 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22459] ppid=22437 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/22439/task/22459/stat : 22459 (java) R 22437 22439 22409 0 -1 4202560 129 0 0 0 188 2 0 0 20 0 22 0 253315597 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062598846840 140062656920166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22460] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22460/stat : 22460 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062597796904 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22461] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22461/stat : 22461 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 59784 33554432000 1073741824 1073778376 140735996300912 140062596744360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9824668

[startup+6.30082 s]
/proc/loadavg: 0.32 0.07 0.02 5/219 22496
/proc/meminfo: memFree=27771956/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=9824668 CPUtime=12.46 cores=0,2,4,6
/proc/22439/stat : 22439 (java) S 22437 22439 22409 0 -1 4202496 19665 0 32 0 1227 19 0 0 20 0 22 0 253315497 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140735996292048 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 23 0 0
/proc/22439/statm: 2456167 124731 2278 9 0 2446860 0
[pid=22439/tid=22441] ppid=22437 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/22439/task/22441/stat : 22441 (java) S 22437 22439 22409 0 -1 4202560 2481 0 7 0 22 1 0 0 20 0 22 0 253315534 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062784160760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 29 0 0
[pid=22439/tid=22442] ppid=22437 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22439/task/22442/stat : 22442 (java) S 22437 22439 22409 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062627891368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22443] ppid=22437 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22439/task/22443/stat : 22443 (java) S 22437 22439 22409 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062626838824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22444] ppid=22437 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22439/task/22444/stat : 22444 (java) S 22437 22439 22409 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062625786280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22445] ppid=22437 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22439/task/22445/stat : 22445 (java) S 22437 22439 22409 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062624733736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22446] ppid=22437 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22439/task/22446/stat : 22446 (java) S 22437 22439 22409 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062623681192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22447] ppid=22437 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22439/task/22447/stat : 22447 (java) S 22437 22439 22409 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062622628648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22448] ppid=22437 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/22439/task/22448/stat : 22448 (java) S 22437 22439 22409 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062621576104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22449] ppid=22437 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/22439/task/22449/stat : 22449 (java) S 22437 22439 22409 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 22 0 253315545 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062620523560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22450] ppid=22437 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/22439/task/22450/stat : 22450 (java) R 22437 22439 22409 0 -1 4202560 239 0 0 0 35 2 0 0 20 0 22 0 253315554 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062608323568 140062788297053 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22451] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22451/stat : 22451 (java) S 22437 22439 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062607271032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22452] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22452/stat : 22452 (java) S 22437 22439 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062606218376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22453] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22453/stat : 22453 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062605167120 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22454] ppid=22437 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/22439/task/22454/stat : 22454 (java) S 22437 22439 22409 0 -1 4202560 6789 0 1 0 91 3 0 0 20 0 22 0 253315570 10060460032 124731 33554432000 1073741824 1073778376 140735996300912 140062604114488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

/proc/22439/statm: 2456167 780691 2279 9 0 2446860 0
[pid=22439/tid=22441] ppid=22437 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/22439/task/22441/stat : 22441 (java) S 22437 22439 22409 0 -1 4202560 2517 0 7 0 24 3 0 0 20 0 22 0 253315534 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062784160760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 29 0 0
[pid=22439/tid=22442] ppid=22437 vsize=9824668 CPUtime=2.33 cores=0,2,4,6
/proc/22439/task/22442/stat : 22442 (java) S 22437 22439 22409 0 -1 4202560 1072 0 0 0 212 21 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062627891368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22443] ppid=22437 vsize=9824668 CPUtime=2.31 cores=0,2,4,6
/proc/22439/task/22443/stat : 22443 (java) S 22437 22439 22409 0 -1 4202560 767 0 0 0 212 19 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062626838824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22444] ppid=22437 vsize=9824668 CPUtime=2.22 cores=0,2,4,6
/proc/22439/task/22444/stat : 22444 (java) S 22437 22439 22409 0 -1 4202560 1165 0 0 0 201 21 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062625786280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22445] ppid=22437 vsize=9824668 CPUtime=2.17 cores=0,2,4,6
/proc/22439/task/22445/stat : 22445 (java) S 22437 22439 22409 0 -1 4202560 565 0 0 0 201 16 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062624733736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22446] ppid=22437 vsize=9824668 CPUtime=2.09 cores=0,2,4,6
/proc/22439/task/22446/stat : 22446 (java) S 22437 22439 22409 0 -1 4202560 500 0 0 0 191 18 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062623681192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22447] ppid=22437 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/22439/task/22447/stat : 22447 (java) S 22437 22439 22409 0 -1 4202560 790 0 0 0 191 17 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062622628648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22448] ppid=22437 vsize=9824668 CPUtime=2.03 cores=0,2,4,6
/proc/22439/task/22448/stat : 22448 (java) S 22437 22439 22409 0 -1 4202560 519 0 0 0 186 17 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062621576104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22449] ppid=22437 vsize=9824668 CPUtime=2.16 cores=0,2,4,6
/proc/22439/task/22449/stat : 22449 (java) S 22437 22439 22409 0 -1 4202560 1005 0 0 0 196 20 0 0 20 0 22 0 253315545 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062620523560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22450] ppid=22437 vsize=9824668 CPUtime=31 cores=0,2,4,6
/proc/22439/task/22450/stat : 22450 (java) S 22437 22439 22409 0 -1 4202560 2408 0 0 0 3082 18 0 0 20 0 22 0 253315554 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062608324712 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22451] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22451/stat : 22451 (java) S 22437 22439 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062607271032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22452] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22452/stat : 22452 (java) S 22437 22439 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062606218376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22453] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22453/stat : 22453 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062605167120 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22454] ppid=22437 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/22439/task/22454/stat : 22454 (java) S 22437 22439 22409 0 -1 4202560 6798 0 1 0 102 3 0 0 20 0 22 0 253315570 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062604114488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22455] ppid=22437 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/22439/task/22455/stat : 22455 (java) S 22437 22439 22409 0 -1 4202560 16546 0 1 0 182 2 0 0 20 0 22 0 253315570 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062603061944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22456] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22456/stat : 22456 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062602009592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22457] ppid=22437 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/22439/task/22457/stat : 22457 (java) S 22437 22439 22409 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 253315570 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062600957256 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22458] ppid=22437 vsize=9824668 CPUtime=843.17 cores=0,2,4,6
/proc/22439/task/22458/stat : 22458 (java) R 22437 22439 22409 0 -1 4202560 155 0 0 0 84303 14 0 0 20 0 22 0 253315597 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062599900320 140062656850357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22459] ppid=22437 vsize=9824668 CPUtime=843.14 cores=0,2,4,6
/proc/22439/task/22459/stat : 22459 (java) R 22437 22439 22409 0 -1 4202560 1424 0 0 0 84263 51 0 0 20 0 22 0 253315597 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062598846744 140062656740228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22460] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22460/stat : 22460 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062597796904 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22461] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22461/stat : 22461 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 780691 33554432000 1073741824 1073778376 140735996300912 140062596744360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1742.37
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+911.501 s]
/proc/loadavg: 3.95 3.70 2.41 5/219 22634
/proc/meminfo: memFree=21456216/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=9824668 CPUtime=1800.18 cores=0,2,4,6
/proc/22439/stat : 22439 (java) S 22437 22439 22409 0 -1 4202496 37582 0 32 0 179784 234 0 0 20 0 22 0 253315497 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140735996292048 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 23 0 0
/proc/22439/statm: 2456167 797614 2279 9 0 2446860 0
[pid=22439/tid=22441] ppid=22437 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/22439/task/22441/stat : 22441 (java) S 22437 22439 22409 0 -1 4202560 2517 0 7 0 24 3 0 0 20 0 22 0 253315534 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062784160760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 29 0 0
[pid=22439/tid=22442] ppid=22437 vsize=9824668 CPUtime=2.37 cores=0,2,4,6
/proc/22439/task/22442/stat : 22442 (java) S 22437 22439 22409 0 -1 4202560 1086 0 0 0 216 21 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062627891368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22443] ppid=22437 vsize=9824668 CPUtime=2.34 cores=0,2,4,6
/proc/22439/task/22443/stat : 22443 (java) S 22437 22439 22409 0 -1 4202560 777 0 0 0 215 19 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062626838824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22444] ppid=22437 vsize=9824668 CPUtime=2.26 cores=0,2,4,6
/proc/22439/task/22444/stat : 22444 (java) S 22437 22439 22409 0 -1 4202560 1177 0 0 0 204 22 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062625786280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22445] ppid=22437 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/22439/task/22445/stat : 22445 (java) S 22437 22439 22409 0 -1 4202560 577 0 0 0 205 16 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062624733736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22446] ppid=22437 vsize=9824668 CPUtime=2.12 cores=0,2,4,6
/proc/22439/task/22446/stat : 22446 (java) S 22437 22439 22409 0 -1 4202560 520 0 0 0 193 19 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062623681192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22447] ppid=22437 vsize=9824668 CPUtime=2.11 cores=0,2,4,6
/proc/22439/task/22447/stat : 22447 (java) S 22437 22439 22409 0 -1 4202560 819 0 0 0 194 17 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062622628648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22448] ppid=22437 vsize=9824668 CPUtime=2.09 cores=0,2,4,6
/proc/22439/task/22448/stat : 22448 (java) S 22437 22439 22409 0 -1 4202560 532 0 0 0 192 17 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062621576104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22449] ppid=22437 vsize=9824668 CPUtime=2.22 cores=0,2,4,6
/proc/22439/task/22449/stat : 22449 (java) S 22437 22439 22409 0 -1 4202560 1018 0 0 0 201 21 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062620523560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22450] ppid=22437 vsize=9824668 CPUtime=31.77 cores=0,2,4,6
/proc/22439/task/22450/stat : 22450 (java) S 22437 22439 22409 0 -1 4202560 2416 0 0 0 3159 18 0 0 20 0 22 0 253315554 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062608324712 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22451] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22451/stat : 22451 (java) S 22437 22439 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062607271032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22452] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22452/stat : 22452 (java) S 22437 22439 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062606218376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22453] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22453/stat : 22453 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062605167120 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22454] ppid=22437 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/22439/task/22454/stat : 22454 (java) S 22437 22439 22409 0 -1 4202560 6798 0 1 0 102 3 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062604114488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22455] ppid=22437 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/22439/task/22455/stat : 22455 (java) S 22437 22439 22409 0 -1 4202560 16546 0 1 0 182 2 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062603061944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22456] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22456/stat : 22456 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062602009592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22457] ppid=22437 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/22439/task/22457/stat : 22457 (java) S 22437 22439 22409 0 -1 4202560 53 0 0 0 13 18 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062600957256 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22458] ppid=22437 vsize=9824668 CPUtime=871.45 cores=0,2,4,6
/proc/22439/task/22458/stat : 22458 (java) R 22437 22439 22409 0 -1 4202560 157 0 0 0 87130 15 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062599901264 140062656758602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22459] ppid=22437 vsize=9824668 CPUtime=871.42 cores=0,2,4,6
/proc/22439/task/22459/stat : 22459 (java) R 22437 22439 22409 0 -1 4202560 1424 0 0 0 87090 52 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062598846944 140062657051419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22460] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22460/stat : 22460 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062597796904 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22461] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22461/stat : 22461 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062596744360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824668

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

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

[startup+911.501 s]
/proc/loadavg: 3.95 3.70 2.41 5/219 22634
/proc/meminfo: memFree=21456216/32873648 swapFree=6336/6336
[pid=22439] ppid=22437 vsize=9824668 CPUtime=1800.18 cores=0,2,4,6
/proc/22439/stat : 22439 (java) S 22437 22439 22409 0 -1 4202496 37582 0 32 0 179784 234 0 0 20 0 22 0 253315497 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140735996292048 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 23 0 0
/proc/22439/statm: 2456167 797614 2279 9 0 2446860 0
[pid=22439/tid=22441] ppid=22437 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/22439/task/22441/stat : 22441 (java) S 22437 22439 22409 0 -1 4202560 2517 0 7 0 24 3 0 0 20 0 22 0 253315534 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062784160760 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 29 0 0
[pid=22439/tid=22442] ppid=22437 vsize=9824668 CPUtime=2.37 cores=0,2,4,6
/proc/22439/task/22442/stat : 22442 (java) S 22437 22439 22409 0 -1 4202560 1086 0 0 0 216 21 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062627891368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22443] ppid=22437 vsize=9824668 CPUtime=2.34 cores=0,2,4,6
/proc/22439/task/22443/stat : 22443 (java) S 22437 22439 22409 0 -1 4202560 777 0 0 0 215 19 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062626838824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22444] ppid=22437 vsize=9824668 CPUtime=2.26 cores=0,2,4,6
/proc/22439/task/22444/stat : 22444 (java) S 22437 22439 22409 0 -1 4202560 1177 0 0 0 204 22 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062625786280 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22439/tid=22445] ppid=22437 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/22439/task/22445/stat : 22445 (java) S 22437 22439 22409 0 -1 4202560 577 0 0 0 205 16 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062624733736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22446] ppid=22437 vsize=9824668 CPUtime=2.12 cores=0,2,4,6
/proc/22439/task/22446/stat : 22446 (java) S 22437 22439 22409 0 -1 4202560 520 0 0 0 193 19 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062623681192 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22447] ppid=22437 vsize=9824668 CPUtime=2.11 cores=0,2,4,6
/proc/22439/task/22447/stat : 22447 (java) S 22437 22439 22409 0 -1 4202560 819 0 0 0 194 17 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062622628648 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22448] ppid=22437 vsize=9824668 CPUtime=2.09 cores=0,2,4,6
/proc/22439/task/22448/stat : 22448 (java) S 22437 22439 22409 0 -1 4202560 532 0 0 0 192 17 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062621576104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22449] ppid=22437 vsize=9824668 CPUtime=2.22 cores=0,2,4,6
/proc/22439/task/22449/stat : 22449 (java) S 22437 22439 22409 0 -1 4202560 1018 0 0 0 201 21 0 0 20 0 22 0 253315545 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062620523560 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22450] ppid=22437 vsize=9824668 CPUtime=31.77 cores=0,2,4,6
/proc/22439/task/22450/stat : 22450 (java) S 22437 22439 22409 0 -1 4202560 2416 0 0 0 3159 18 0 0 20 0 22 0 253315554 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062608324712 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22451] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22451/stat : 22451 (java) S 22437 22439 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062607271032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22452] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22452/stat : 22452 (java) S 22437 22439 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315559 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062606218376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22453] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22453/stat : 22453 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062605167120 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22454] ppid=22437 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/22439/task/22454/stat : 22454 (java) S 22437 22439 22409 0 -1 4202560 6798 0 1 0 102 3 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062604114488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22455] ppid=22437 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/22439/task/22455/stat : 22455 (java) S 22437 22439 22409 0 -1 4202560 16546 0 1 0 182 2 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062603061944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22439/tid=22456] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22456/stat : 22456 (java) S 22437 22439 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062602009592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22457] ppid=22437 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/22439/task/22457/stat : 22457 (java) S 22437 22439 22409 0 -1 4202560 53 0 0 0 13 18 0 0 20 0 22 0 253315570 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062600957256 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22458] ppid=22437 vsize=9824668 CPUtime=871.45 cores=0,2,4,6
/proc/22439/task/22458/stat : 22458 (java) R 22437 22439 22409 0 -1 4202560 157 0 0 0 87130 15 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062599901264 140062656758602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22439/tid=22459] ppid=22437 vsize=9824668 CPUtime=871.42 cores=0,2,4,6
/proc/22439/task/22459/stat : 22459 (java) R 22437 22439 22409 0 -1 4202560 1424 0 0 0 87090 52 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062598846944 140062657051419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22460] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22460/stat : 22460 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062597796904 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22439/tid=22461] ppid=22437 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22439/task/22461/stat : 22461 (java) S 22437 22439 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315597 10060460032 797614 33554432000 1073741824 1073778376 140735996300912 140062596744360 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22439 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=457353
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=811572
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 911.56
CPU time (s): 1800.18
CPU user time (s): 1797.84
CPU system time (s): 2.34
CPU usage (%): 197.483
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.46
system time used= 2.81157
maximum resident set size= 3190604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37623
page faults= 32
swaps= 0
block input operations= 28352
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26712
involuntary context switches= 36606

runsolver used 3.24051 second user time and 8.15476 second system time

The end

Launcher Data 

Begin job on node112 at 2012-05-24 17:04:42
IDJOB=3687200
IDBENCH=1167
IDSOLVER=2268
FILE ID=node112/3687200-1337871882
RUNJOBID= node112-1337871881-22425
PBS_JOBID= 14620092
Free space on /tmp= 71704 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687200-1337871882/watcher-3687200-1337871882 -o /tmp/evaluation-result-3687200-1337871882/solver-3687200-1337871882 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687200-1337871882.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1a4510076d9024b805728ffe22c0d108
RANDOM SEED=1415802339

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28387932 kB
Buffers:          187604 kB
Cached:          3528648 kB
SwapCached:            0 kB
Active:           473892 kB
Inactive:        3252856 kB
Active(anon):      13332 kB
Inactive(anon):        0 kB
Active(file):     460560 kB
Inactive(file):  3252856 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               396 kB
Writeback:             0 kB
AnonPages:         17224 kB
Mapped:            13568 kB
Shmem:               200 kB
Slab:             624888 kB
SReclaimable:      69468 kB
SUnreclaim:       555420 kB
KernelStack:        1392 kB
PageTables:         4140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node112 at 2012-05-24 17:19:56