Trace number 3459843

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 Resolution 2.3.0? (TO) 1800.15 1797.17

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12058_4-sat.opb
MD5SUMda4c22aa3836e09c7cdc382a7b6da5de
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35332
Total number of constraints122962
Number of constraints which are clauses122382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints580
Minimum length of a constraint1
Maximum length of a constraint120
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3459843-1307169328.opb
0.11/0.11	c reading problem ... 
1.66/1.06	c ... done. Wall clock time 0.955s.
1.66/1.06	c #vars     35332
1.66/1.06	c #constraints  107258
1.66/1.06	c constraints type 
1.66/1.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12767
1.66/1.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 87354
1.66/1.06	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 580
3.94/3.01	c cleaning 2492 clauses out of 5001 with flag 5001/5001
6.04/4.80	c cleaning 4242 clauses out of 8508 with flag 11000/11000
8.24/7.07	c cleaning 5627 clauses out of 11266 with flag 18000/18000
10.74/9.51	c cleaning 6812 clauses out of 13639 with flag 26000/26000
13.88/12.65	c cleaning 7897 clauses out of 15828 with flag 35001/35001
17.05/15.70	c cleaning 8941 clauses out of 17930 with flag 45000/45000
20.63/19.03	c cleaning 9950 clauses out of 19989 with flag 56000/56000
25.01/23.02	c cleaning 11003 clauses out of 22039 with flag 68000/68000
29.41/27.45	c cleaning 12013 clauses out of 24036 with flag 81000/81000
33.40/31.46	c cleaning 12987 clauses out of 26024 with flag 95001/95001
38.60/36.68	c cleaning 13998 clauses out of 28036 with flag 110000/110000
43.42/41.49	c cleaning 15012 clauses out of 30038 with flag 126000/126000
49.23/47.23	c cleaning 15997 clauses out of 32026 with flag 143000/143000
55.03/53.08	c cleaning 17011 clauses out of 34029 with flag 161000/161000
61.03/59.06	c cleaning 18002 clauses out of 36018 with flag 180000/180000
68.43/66.40	c cleaning 18994 clauses out of 38019 with flag 200003/200003
75.75/73.74	c cleaning 19956 clauses out of 40022 with flag 221000/221000
83.84/81.88	c cleaning 21008 clauses out of 42067 with flag 243001/243001
91.95/89.91	c cleaning 22008 clauses out of 44058 with flag 266000/266000
101.35/99.38	c cleaning 23005 clauses out of 46051 with flag 290001/290001
110.87/108.81	c cleaning 23995 clauses out of 48045 with flag 315000/315000
119.37/117.33	c cleaning 24991 clauses out of 50050 with flag 341000/341000
129.58/127.56	c cleaning 26007 clauses out of 52060 with flag 368001/368001
139.59/137.56	c cleaning 27010 clauses out of 54052 with flag 396000/396000
149.40/147.33	c cleaning 28006 clauses out of 56042 with flag 425000/425000
160.40/158.36	c cleaning 29001 clauses out of 58036 with flag 455000/455000
172.51/170.42	c cleaning 29986 clauses out of 60035 with flag 486000/486000
185.91/183.80	c cleaning 30985 clauses out of 62049 with flag 518000/518000
198.31/196.26	c cleaning 32001 clauses out of 64064 with flag 551000/551000
211.72/209.68	c cleaning 33012 clauses out of 66063 with flag 585000/585000
223.63/221.52	c cleaning 34014 clauses out of 68053 with flag 620002/620002
236.45/234.37	c cleaning 35000 clauses out of 70037 with flag 656000/656000
250.05/247.94	c cleaning 36003 clauses out of 72037 with flag 693000/693000
265.77/263.60	c cleaning 37002 clauses out of 74034 with flag 731000/731000
282.38/280.23	c cleaning 37996 clauses out of 76032 with flag 770000/770000
299.49/297.35	c cleaning 38983 clauses out of 78036 with flag 810000/810000
319.70/317.52	c cleaning 39999 clauses out of 80053 with flag 851000/851000
335.31/333.15	c cleaning 41021 clauses out of 82054 with flag 893000/893000
351.62/349.49	c cleaning 41990 clauses out of 84032 with flag 936000/936000
368.44/366.28	c cleaning 42964 clauses out of 86042 with flag 980000/980000
386.34/384.13	c cleaning 44023 clauses out of 88078 with flag 1025000/1025000
406.16/403.91	c cleaning 45007 clauses out of 90055 with flag 1071000/1071000
424.57/422.41	c cleaning 45962 clauses out of 92048 with flag 1118000/1118000
447.27/445.02	c cleaning 46994 clauses out of 94086 with flag 1166000/1166000
465.98/463.70	c cleaning 48007 clauses out of 96092 with flag 1215000/1215000
487.40/485.15	c cleaning 49020 clauses out of 98085 with flag 1265000/1265000
510.00/507.70	c cleaning 50015 clauses out of 100066 with flag 1316001/1316001
528.13/525.88	c cleaning 50999 clauses out of 102051 with flag 1368001/1368001
548.94/546.65	c cleaning 51992 clauses out of 104051 with flag 1421000/1421000
571.24/568.99	c cleaning 53014 clauses out of 106059 with flag 1475000/1475000
595.75/593.40	c cleaning 54016 clauses out of 108045 with flag 1530000/1530000
619.98/617.61	c cleaning 55004 clauses out of 110031 with flag 1586002/1586002
642.80/640.40	c cleaning 55972 clauses out of 112026 with flag 1643001/1643001
670.50/668.19	c cleaning 56994 clauses out of 114054 with flag 1701001/1701001
702.03/699.63	c cleaning 57988 clauses out of 116060 with flag 1760001/1760001
729.13/726.74	c cleaning 59014 clauses out of 118072 with flag 1820001/1820001
756.84/754.43	c cleaning 60014 clauses out of 120057 with flag 1881000/1881000
786.46/784.04	c cleaning 60993 clauses out of 122044 with flag 1943001/1943001
813.57/811.14	c cleaning 62019 clauses out of 124051 with flag 2006001/2006001
836.69/834.29	c cleaning 62986 clauses out of 126031 with flag 2070000/2070000
863.81/861.31	c cleaning 63994 clauses out of 128047 with flag 2135002/2135002
893.02/890.55	c cleaning 64988 clauses out of 130051 with flag 2201000/2201000
937.13/934.66	c cleaning 66002 clauses out of 132063 with flag 2268000/2268000
968.45/965.99	c cleaning 67024 clauses out of 134063 with flag 2336002/2336002
1001.46/998.91	c cleaning 67978 clauses out of 136037 with flag 2405000/2405000
1033.58/1031.09	c cleaning 69015 clauses out of 138060 with flag 2475001/2475001
1078.89/1076.39	c cleaning 69979 clauses out of 140045 with flag 2546001/2546001
1127.82/1125.27	c cleaning 71005 clauses out of 142067 with flag 2618002/2618002
1164.94/1162.32	c cleaning 72019 clauses out of 144062 with flag 2691002/2691002
1199.86/1197.23	c cleaning 73006 clauses out of 146041 with flag 2765000/2765000
1233.18/1230.55	c cleaning 73998 clauses out of 148035 with flag 2840000/2840000
1270.79/1268.15	c cleaning 75001 clauses out of 150037 with flag 2916000/2916000
1305.40/1302.78	c cleaning 76007 clauses out of 152036 with flag 2993000/2993000
1338.22/1335.53	c cleaning 76958 clauses out of 154032 with flag 3071003/3071003
1375.64/1372.90	c cleaning 77971 clauses out of 156071 with flag 3150000/3150000
1410.55/1407.84	c cleaning 79028 clauses out of 158100 with flag 3230000/3230000
1445.98/1443.25	c cleaning 79967 clauses out of 160072 with flag 3311000/3311000
1491.39/1488.60	c cleaning 80992 clauses out of 162106 with flag 3393001/3393001
1529.21/1526.42	c cleaning 82044 clauses out of 164114 with flag 3476001/3476001
1570.34/1567.59	c cleaning 82996 clauses out of 166070 with flag 3560001/3560001
1611.65/1608.86	c cleaning 84016 clauses out of 168073 with flag 3645000/3645000
1656.37/1653.55	c cleaning 84994 clauses out of 170057 with flag 3731000/3731000
1704.60/1701.77	c cleaning 86005 clauses out of 172064 with flag 3818001/3818001
1755.01/1752.10	c cleaning 86999 clauses out of 174059 with flag 3906001/3906001
1800.04/1797.12	c starts		: 253
1800.04/1797.12	c conflicts		: 3989961
1800.04/1797.12	c decisions		: 5000239
1800.04/1797.12	c propagations		: 2084931271
1800.04/1797.12	c inspects		: 12197988026
1800.04/1797.12	c shortcuts		: 0
1800.04/1797.12	c learnt literals	: 1
1800.04/1797.12	c learnt binary clauses	: 5
1800.04/1797.12	c learnt ternary clauses	: 1133
1800.04/1797.12	c learnt constraints	: 3989961
1800.04/1797.12	c ignored constraints	: 0
1800.04/1797.12	c root simplifications	: 0
1800.04/1797.12	c removed literals (reason simplification)	: 74842866
1800.04/1797.12	c reason swapping (by a shorter reason)	: 0
1800.04/1797.12	c Calls to reduceDB	: 84
1800.04/1797.12	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.12	c number of learned constraints concerned by reduction	: 0
1800.04/1797.12	c number of learning phase by resolution	: 0
1800.04/1797.12	c number of learning phase by cutting planes	: 0
1800.04/1797.12	c speed (assignments/second)	: 1160841.466171358
1800.04/1797.12	c non guided choices	4820
1800.04/1797.14	c learnt constraints type 
1800.04/1797.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.04/1797.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 171095
1800.04/1797.14	c constraints type 
1800.04/1797.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12767
1800.04/1797.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 87354
1800.04/1797.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 580
1800.04/1797.14	s UNKNOWN
1800.04/1797.14	c Total wall clock time (in seconds): 1797.037

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3459843-1307169328/watcher-3459843-1307169328 -o /tmp/evaluation-result-3459843-1307169328/solver-3459843-1307169328 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459843-1307169328.opb 

running on 4 cores: 1,3,5,7

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: 2.06 2.03 2.00 2/391 19761
/proc/meminfo: memFree=22474028/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 3344 0 1 0 0 0 0 0 25 0 2 0 828533260 13833195520 3047 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3377245 3058 906 9 0 3368401 0
[pid=19761/tid=19762] ppid=19759 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 3911 0 1 0 0 0 0 0 25 0 2 0 828533260 13850947584 4727 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.067789 s]
/proc/loadavg: 2.06 2.03 2.00 2/391 19761
/proc/meminfo: memFree=22474028/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 14241 0 1 0 4 1 0 0 25 0 18 0 828533260 13880270848 13938 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3388738 13938 1740 9 0 3379472 0
[pid=19761/tid=19762] ppid=19759 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 13067 0 1 0 4 1 0 0 25 0 18 0 828533260 13880270848 13938 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 47612160708613 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554952

[startup+0.100733 s]
/proc/loadavg: 2.06 2.03 2.00 2/391 19761
/proc/meminfo: memFree=22474028/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13621676 CPUtime=0.11 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 15577 0 1 0 9 2 0 0 25 0 18 0 828533260 13948596224 15235 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3405419 15236 2093 9 0 3396153 0
[pid=19761/tid=19762] ppid=19759 vsize=13621676 CPUtime=0.08 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 13618 0 1 0 7 1 0 0 18 0 18 0 828533260 13948596224 15236 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621676

[startup+0.303673 s]
/proc/loadavg: 2.06 2.03 2.00 2/391 19761
/proc/meminfo: memFree=22474028/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13623708 CPUtime=0.5 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 19379 0 1 0 48 2 0 0 25 0 18 0 828533260 13950676992 18613 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3405927 18614 2202 9 0 3396661 0
[pid=19761/tid=19762] ppid=19759 vsize=13623708 CPUtime=0.29 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 15772 0 1 0 27 2 0 0 18 0 18 0 828533260 13950676992 18615 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13623708

[startup+0.700659 s]
/proc/loadavg: 2.06 2.03 2.00 2/391 19761
/proc/meminfo: memFree=22474028/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13625348 CPUtime=1.13 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 51374 0 1 0 107 6 0 0 25 0 18 0 828533260 13952356352 49483 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3406337 49487 2222 9 0 3397071 0
[pid=19761/tid=19762] ppid=19759 vsize=13625348 CPUtime=0.68 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 45548 0 1 0 64 4 0 0 18 0 18 0 828533260 13952356352 49488 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505587280 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13625348

[startup+1.50151 s]
/proc/loadavg: 2.05 2.03 2.00 4/409 19779
/proc/meminfo: memFree=22175420/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13627160 CPUtime=2.51 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 87786 0 1 0 241 10 0 0 25 0 19 0 828533260 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3406790 82323 2235 9 0 3397524 0
[pid=19761/tid=19762] ppid=19759 vsize=13627160 CPUtime=1.49 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 77852 0 1 0 140 9 0 0 20 0 19 0 828533260 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505921514 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19761/tid=19764] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19764/stat : 19764 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19765] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19765/stat : 19765 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19766] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19766/stat : 19766 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19767] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19767/stat : 19767 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19768] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19768/stat : 19768 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19769] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19769/stat : 19769 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19770] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19770/stat : 19770 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19771] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19771/stat : 19771 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533262 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19772] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19772/stat : 19772 (java) S 19759 19761 19222 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 828533263 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 0 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19773] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19773/stat : 19773 (java) S 19759 19761 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828533264 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19774] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19774/stat : 19774 (java) S 19759 19761 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828533264 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19775] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19775/stat : 19775 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820989361 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19776] ppid=19759 vsize=13627160 CPUtime=0.54 cores=1,3,5,7
/proc/19761/task/19776/stat : 19776 (java) S 19759 19761 19222 0 -1 4202560 5592 0 0 0 54 0 0 0 15 0 19 0 828533266 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19777] ppid=19759 vsize=13627160 CPUtime=0.45 cores=1,3,5,7
/proc/19761/task/19777/stat : 19777 (java) S 19759 19761 19222 0 -1 4202560 3181 0 0 0 45 0 0 0 15 0 19 0 828533266 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19778] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19778/stat : 19778 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19779] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19779/stat : 19779 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828533266 13954211840 82323 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13627160

[startup+3.10125 s]
/proc/loadavg: 2.05 2.03 2.00 3/410 19780
/proc/meminfo: memFree=22150116/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13627160 CPUtime=4.2 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 95706 0 1 0 409 11 0 0 25 0 19 0 828533260 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3406790 90224 2261 9 0 3397524 0
[pid=19761/tid=19762] ppid=19759 vsize=13627160 CPUtime=3 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 78197 0 1 0 291 9 0 0 25 0 19 0 828533260 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19761/tid=19764] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19764/stat : 19764 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19765] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19765/stat : 19765 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19766] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19766/stat : 19766 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19767] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19767/stat : 19767 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19768] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19768/stat : 19768 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19769] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19769/stat : 19769 (java) S 19759 19761 19222 0 -1 4202560 176 0 0 0 0 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19770] ppid=19759 vsize=13627160 CPUtime=0.02 cores=1,3,5,7
/proc/19761/task/19770/stat : 19770 (java) S 19759 19761 19222 0 -1 4202560 1597 0 0 0 2 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19771] ppid=19759 vsize=13627160 CPUtime=0.02 cores=1,3,5,7
/proc/19761/task/19771/stat : 19771 (java) S 19759 19761 19222 0 -1 4202560 2015 0 0 0 2 0 0 0 18 0 19 0 828533262 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19772] ppid=19759 vsize=13627160 CPUtime=0.04 cores=1,3,5,7
/proc/19761/task/19772/stat : 19772 (java) S 19759 19761 19222 0 -1 4202560 3777 0 0 0 4 0 0 0 15 0 19 0 828533263 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 0 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19773] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19773/stat : 19773 (java) S 19759 19761 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828533264 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19774] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19774/stat : 19774 (java) S 19759 19761 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828533264 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19775] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19775/stat : 19775 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820989361 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19776] ppid=19759 vsize=13627160 CPUtime=0.58 cores=1,3,5,7
/proc/19761/task/19776/stat : 19776 (java) S 19759 19761 19222 0 -1 4202560 5605 0 0 0 58 0 0 0 15 0 19 0 828533266 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19777] ppid=19759 vsize=13627160 CPUtime=0.48 cores=1,3,5,7
/proc/19761/task/19777/stat : 19777 (java) R 19759 19761 19222 0 -1 4202560 3187 0 0 0 48 0 0 0 15 0 19 0 828533266 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 47612163907296 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19761/tid=19778] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19778/stat : 19778 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19779] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19779/stat : 19779 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828533266 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19780] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19780/stat : 19780 (java) S 19759 19761 19222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 828533373 13954211840 90224 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 13627160

[startup+6.30065 s]
/proc/loadavg: 2.05 2.03 2.00 4/410 19781
/proc/meminfo: memFree=22106600/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13627160 CPUtime=7.54 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 100366 0 1 0 743 11 0 0 25 0 19 0 828533260 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3406790 90527 2263 9 0 3397524 0
[pid=19761/tid=19762] ppid=19759 vsize=13627160 CPUtime=6.14 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 78201 0 1 0 605 9 0 0 20 0 19 0 828533260 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505921191 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19761/tid=19764] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19764/stat : 19764 (java) S 19759 19761 19222 0 -1 4202560 344 0 0 0 0 0 0 0 16 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19765] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19765/stat : 19765 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19766] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19766/stat : 19766 (java) S 19759 19761 19222 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19767] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19767/stat : 19767 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19768] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19768/stat : 19768 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19769] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19769/stat : 19769 (java) S 19759 19761 19222 0 -1 4202560 176 0 0 0 0 0 0 0 18 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19770] ppid=19759 vsize=13627160 CPUtime=0.02 cores=1,3,5,7
/proc/19761/task/19770/stat : 19770 (java) S 19759 19761 19222 0 -1 4202560 1597 0 0 0 2 0 0 0 18 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19771] ppid=19759 vsize=13627160 CPUtime=0.02 cores=1,3,5,7
/proc/19761/task/19771/stat : 19771 (java) S 19759 19761 19222 0 -1 4202560 2015 0 0 0 2 0 0 0 18 0 19 0 828533262 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19772] ppid=19759 vsize=13627160 CPUtime=0.09 cores=1,3,5,7
/proc/19761/task/19772/stat : 19772 (java) S 19759 19761 19222 0 -1 4202560 3935 0 0 0 9 0 0 0 15 0 19 0 828533263 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 0 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19773] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19773/stat : 19773 (java) S 19759 19761 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828533264 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19774] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19774/stat : 19774 (java) S 19759 19761 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828533264 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19775] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19775/stat : 19775 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820989361 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19776] ppid=19759 vsize=13627160 CPUtime=0.59 cores=1,3,5,7
/proc/19761/task/19776/stat : 19776 (java) S 19759 19761 19222 0 -1 4202560 5605 0 0 0 59 0 0 0 16 0 19 0 828533266 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19777] ppid=19759 vsize=13627160 CPUtime=0.62 cores=1,3,5,7
/proc/19761/task/19777/stat : 19777 (java) S 19759 19761 19222 0 -1 4202560 7308 0 0 0 61 1 0 0 16 0 19 0 828533266 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19778] ppid=19759 vsize=13627160 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19778/stat : 19778 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13954211840 90527 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0

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

[pid=19761/tid=19769] ppid=19759 vsize=13644060 CPUtime=0.16 cores=1,3,5,7
/proc/19761/task/19769/stat : 19769 (java) S 19759 19761 19222 0 -1 4202560 678 0 0 0 16 0 0 0 15 0 19 0 828533262 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19770] ppid=19759 vsize=13644060 CPUtime=0.21 cores=1,3,5,7
/proc/19761/task/19770/stat : 19770 (java) S 19759 19761 19222 0 -1 4202560 2103 0 0 0 21 0 0 0 16 0 19 0 828533262 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19771] ppid=19759 vsize=13644060 CPUtime=0.18 cores=1,3,5,7
/proc/19761/task/19771/stat : 19771 (java) S 19759 19761 19222 0 -1 4202560 2525 0 0 0 18 0 0 0 15 0 19 0 828533262 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19772] ppid=19759 vsize=13644060 CPUtime=5.79 cores=1,3,5,7
/proc/19761/task/19772/stat : 19772 (java) S 19759 19761 19222 0 -1 4202560 13793 0 0 0 577 2 0 0 15 0 19 0 828533263 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 0 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19773] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19773/stat : 19773 (java) S 19759 19761 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19774] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19774/stat : 19774 (java) S 19759 19761 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19775] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19775/stat : 19775 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820989361 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19776] ppid=19759 vsize=13644060 CPUtime=1.35 cores=1,3,5,7
/proc/19761/task/19776/stat : 19776 (java) S 19759 19761 19222 0 -1 4202560 14364 0 0 0 134 1 0 0 15 0 19 0 828533266 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19777] ppid=19759 vsize=13644060 CPUtime=0.68 cores=1,3,5,7
/proc/19761/task/19777/stat : 19777 (java) S 19759 19761 19222 0 -1 4202560 7313 0 0 0 67 1 0 0 15 0 19 0 828533266 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19778] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19778/stat : 19778 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19779] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19779/stat : 19779 (java) S 19759 19761 19222 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828533266 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19780] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19780/stat : 19780 (java) S 19759 19761 19222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 828533373 13971517440 111779 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.21
Current children cumulated vsize (KiB) 13644060

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 19932
/proc/meminfo: memFree=21644860/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13644060 CPUtime=1785.23 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 126420 0 1 0 178507 16 0 0 25 0 19 0 828533260 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3411015 111785 2264 9 0 3401749 0
[pid=19761/tid=19762] ppid=19759 vsize=13644060 CPUtime=1775.73 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 78288 0 1 0 177564 9 0 0 25 0 19 0 828533260 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505934246 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19761/tid=19764] ppid=19759 vsize=13644060 CPUtime=0.16 cores=1,3,5,7
/proc/19761/task/19764/stat : 19764 (java) S 19759 19761 19222 0 -1 4202560 1196 0 0 0 16 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19765] ppid=19759 vsize=13644060 CPUtime=0.18 cores=1,3,5,7
/proc/19761/task/19765/stat : 19765 (java) S 19759 19761 19222 0 -1 4202560 1365 0 0 0 18 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19766] ppid=19759 vsize=13644060 CPUtime=0.19 cores=1,3,5,7
/proc/19761/task/19766/stat : 19766 (java) S 19759 19761 19222 0 -1 4202560 835 0 0 0 19 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19767] ppid=19759 vsize=13644060 CPUtime=0.16 cores=1,3,5,7
/proc/19761/task/19767/stat : 19767 (java) S 19759 19761 19222 0 -1 4202560 1402 0 0 0 16 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19768] ppid=19759 vsize=13644060 CPUtime=0.21 cores=1,3,5,7
/proc/19761/task/19768/stat : 19768 (java) S 19759 19761 19222 0 -1 4202560 1298 0 0 0 21 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19769] ppid=19759 vsize=13644060 CPUtime=0.17 cores=1,3,5,7
/proc/19761/task/19769/stat : 19769 (java) S 19759 19761 19222 0 -1 4202560 679 0 0 0 17 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19770] ppid=19759 vsize=13644060 CPUtime=0.21 cores=1,3,5,7
/proc/19761/task/19770/stat : 19770 (java) S 19759 19761 19222 0 -1 4202560 2103 0 0 0 21 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19771] ppid=19759 vsize=13644060 CPUtime=0.19 cores=1,3,5,7
/proc/19761/task/19771/stat : 19771 (java) S 19759 19761 19222 0 -1 4202560 2530 0 0 0 19 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19772] ppid=19759 vsize=13644060 CPUtime=5.9 cores=1,3,5,7
/proc/19761/task/19772/stat : 19772 (java) S 19759 19761 19222 0 -1 4202560 13795 0 0 0 588 2 0 0 15 0 19 0 828533263 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 0 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19773] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19773/stat : 19773 (java) S 19759 19761 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19774] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19774/stat : 19774 (java) S 19759 19761 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19775] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19775/stat : 19775 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820989361 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19776] ppid=19759 vsize=13644060 CPUtime=1.35 cores=1,3,5,7
/proc/19761/task/19776/stat : 19776 (java) S 19759 19761 19222 0 -1 4202560 14364 0 0 0 134 1 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19777] ppid=19759 vsize=13644060 CPUtime=0.68 cores=1,3,5,7
/proc/19761/task/19777/stat : 19777 (java) S 19759 19761 19222 0 -1 4202560 7313 0 0 0 67 1 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19778] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19778/stat : 19778 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19779] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19779/stat : 19779 (java) S 19759 19761 19222 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19780] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19780/stat : 19780 (java) S 19759 19761 19222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 828533373 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1785.23
Current children cumulated vsize (KiB) 13644060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 19932
/proc/meminfo: memFree=21644112/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13644060 CPUtime=1800.04 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 126420 0 1 0 179988 16 0 0 25 0 19 0 828533260 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3411015 111785 2264 9 0 3401749 0
[pid=19761/tid=19762] ppid=19759 vsize=13644060 CPUtime=1790.54 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 78288 0 1 0 179045 9 0 0 25 0 19 0 828533260 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505921205 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19761/tid=19764] ppid=19759 vsize=13644060 CPUtime=0.16 cores=1,3,5,7
/proc/19761/task/19764/stat : 19764 (java) S 19759 19761 19222 0 -1 4202560 1196 0 0 0 16 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19765] ppid=19759 vsize=13644060 CPUtime=0.18 cores=1,3,5,7
/proc/19761/task/19765/stat : 19765 (java) S 19759 19761 19222 0 -1 4202560 1365 0 0 0 18 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19766] ppid=19759 vsize=13644060 CPUtime=0.19 cores=1,3,5,7
/proc/19761/task/19766/stat : 19766 (java) S 19759 19761 19222 0 -1 4202560 835 0 0 0 19 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19767] ppid=19759 vsize=13644060 CPUtime=0.16 cores=1,3,5,7
/proc/19761/task/19767/stat : 19767 (java) S 19759 19761 19222 0 -1 4202560 1402 0 0 0 16 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19768] ppid=19759 vsize=13644060 CPUtime=0.21 cores=1,3,5,7
/proc/19761/task/19768/stat : 19768 (java) S 19759 19761 19222 0 -1 4202560 1298 0 0 0 21 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19769] ppid=19759 vsize=13644060 CPUtime=0.17 cores=1,3,5,7
/proc/19761/task/19769/stat : 19769 (java) S 19759 19761 19222 0 -1 4202560 679 0 0 0 17 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19770] ppid=19759 vsize=13644060 CPUtime=0.21 cores=1,3,5,7
/proc/19761/task/19770/stat : 19770 (java) S 19759 19761 19222 0 -1 4202560 2103 0 0 0 21 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19771] ppid=19759 vsize=13644060 CPUtime=0.19 cores=1,3,5,7
/proc/19761/task/19771/stat : 19771 (java) S 19759 19761 19222 0 -1 4202560 2530 0 0 0 19 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19772] ppid=19759 vsize=13644060 CPUtime=5.9 cores=1,3,5,7
/proc/19761/task/19772/stat : 19772 (java) S 19759 19761 19222 0 -1 4202560 13795 0 0 0 588 2 0 0 15 0 19 0 828533263 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 0 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19773] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19773/stat : 19773 (java) S 19759 19761 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19774] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19774/stat : 19774 (java) S 19759 19761 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19775] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19775/stat : 19775 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820989361 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19776] ppid=19759 vsize=13644060 CPUtime=1.35 cores=1,3,5,7
/proc/19761/task/19776/stat : 19776 (java) S 19759 19761 19222 0 -1 4202560 14364 0 0 0 134 1 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19777] ppid=19759 vsize=13644060 CPUtime=0.68 cores=1,3,5,7
/proc/19761/task/19777/stat : 19777 (java) S 19759 19761 19222 0 -1 4202560 7313 0 0 0 67 1 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19778] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19778/stat : 19778 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19779] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19779/stat : 19779 (java) S 19759 19761 19222 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19780] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19780/stat : 19780 (java) S 19759 19761 19222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 828533373 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13644060

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

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

[startup+1797.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 19932
/proc/meminfo: memFree=21644112/32951124 swapFree=37148216/67111528
[pid=19761] ppid=19759 vsize=13644060 CPUtime=1800.04 cores=1,3,5,7
/proc/19761/stat : 19761 (java) S 19759 19761 19222 0 -1 4202496 126420 0 1 0 179988 16 0 0 25 0 19 0 828533260 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19761/statm: 3411015 111785 2264 9 0 3401749 0
[pid=19761/tid=19762] ppid=19759 vsize=13644060 CPUtime=1790.54 cores=1,3,5,7
/proc/19761/task/19762/stat : 19762 (java) R 19759 19761 19222 0 -1 4202560 78288 0 1 0 179045 9 0 0 25 0 19 0 828533260 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 46912505921205 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19761/tid=19764] ppid=19759 vsize=13644060 CPUtime=0.16 cores=1,3,5,7
/proc/19761/task/19764/stat : 19764 (java) S 19759 19761 19222 0 -1 4202560 1196 0 0 0 16 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19765] ppid=19759 vsize=13644060 CPUtime=0.18 cores=1,3,5,7
/proc/19761/task/19765/stat : 19765 (java) S 19759 19761 19222 0 -1 4202560 1365 0 0 0 18 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19766] ppid=19759 vsize=13644060 CPUtime=0.19 cores=1,3,5,7
/proc/19761/task/19766/stat : 19766 (java) S 19759 19761 19222 0 -1 4202560 835 0 0 0 19 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19767] ppid=19759 vsize=13644060 CPUtime=0.16 cores=1,3,5,7
/proc/19761/task/19767/stat : 19767 (java) S 19759 19761 19222 0 -1 4202560 1402 0 0 0 16 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19768] ppid=19759 vsize=13644060 CPUtime=0.21 cores=1,3,5,7
/proc/19761/task/19768/stat : 19768 (java) S 19759 19761 19222 0 -1 4202560 1298 0 0 0 21 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19769] ppid=19759 vsize=13644060 CPUtime=0.17 cores=1,3,5,7
/proc/19761/task/19769/stat : 19769 (java) S 19759 19761 19222 0 -1 4202560 679 0 0 0 17 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19770] ppid=19759 vsize=13644060 CPUtime=0.21 cores=1,3,5,7
/proc/19761/task/19770/stat : 19770 (java) S 19759 19761 19222 0 -1 4202560 2103 0 0 0 21 0 0 0 15 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19771] ppid=19759 vsize=13644060 CPUtime=0.19 cores=1,3,5,7
/proc/19761/task/19771/stat : 19771 (java) S 19759 19761 19222 0 -1 4202560 2530 0 0 0 19 0 0 0 16 0 19 0 828533262 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 7 0 0 0
[pid=19761/tid=19772] ppid=19759 vsize=13644060 CPUtime=5.9 cores=1,3,5,7
/proc/19761/task/19772/stat : 19772 (java) S 19759 19761 19222 0 -1 4202560 13795 0 0 0 588 2 0 0 15 0 19 0 828533263 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 0 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19773] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19773/stat : 19773 (java) S 19759 19761 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19774] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19774/stat : 19774 (java) S 19759 19761 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828533264 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19775] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19775/stat : 19775 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820989361 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19776] ppid=19759 vsize=13644060 CPUtime=1.35 cores=1,3,5,7
/proc/19761/task/19776/stat : 19776 (java) S 19759 19761 19222 0 -1 4202560 14364 0 0 0 134 1 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 5 0 0 0
[pid=19761/tid=19777] ppid=19759 vsize=13644060 CPUtime=0.68 cores=1,3,5,7
/proc/19761/task/19777/stat : 19777 (java) S 19759 19761 19222 0 -1 4202560 7313 0 0 0 67 1 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19778] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19778/stat : 19778 (java) S 19759 19761 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820981657 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
[pid=19761/tid=19779] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19779/stat : 19779 (java) S 19759 19761 19222 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828533266 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 1 0 0 0
[pid=19761/tid=19780] ppid=19759 vsize=13644060 CPUtime=0 cores=1,3,5,7
/proc/19761/task/19780/stat : 19780 (java) S 19759 19761 19222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 828533373 13971517440 111785 33554432000 1073741824 1073778376 140735327427088 18446744073709551615 230820982272 0 4 0 16800975 18446604454487841600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13644060

Child status: 143
Real time (s): 1797.17
CPU time (s): 1800.15
CPU user time (s): 1799.96
CPU system time (s): 0.187971
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 13651296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126449
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= 38835
involuntary context switches= 27833

runsolver used 6.29504 second user time and 15.0297 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-04 08:35:28
IDJOB=3459843
IDBENCH=74310
IDSOLVER=1952
FILE ID=node104/3459843-1307169328
RUNJOBID= node104-1307165727-19241
PBS_JOBID= 13508864
Free space on /tmp= 73948 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12058_4-sat.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459843-1307169328/watcher-3459843-1307169328 -o /tmp/evaluation-result-3459843-1307169328/solver-3459843-1307169328 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459843-1307169328.opb

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

MD5SUM BENCH= da4c22aa3836e09c7cdc382a7b6da5de
RANDOM SEED=843090073

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22474184 kB
Buffers:        419472 kB
Cached:        7636920 kB
SwapCached:     163904 kB
Active:        4072776 kB
Inactive:      6063920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22474184 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:            8320 kB
Writeback:         176 kB
AnonPages:     1939584 kB
Mapped:          19272 kB
Slab:           182496 kB
PageTables:      89516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 101146304 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= 73944 MiB
End job on node104 at 2011-06-04 09:05:27