Trace number 4108908

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 PB 2.3.6 Resolution PB16? (TO) 1800.85 1798.44

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-40.opb
MD5SUM96b10f202af149572cd99ac873608650
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 variables9342
Total number of constraints199352
Number of constraints which are clauses178530
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint2
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4108908-1466293187.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
2.29/1.65	c ... done. Wall clock time 1.533s.
2.29/1.65	c declared #vars     9342
2.29/1.66	c #constraints  199720
2.29/1.66	c constraints type 
2.29/1.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 138943
2.29/1.66	c org.sat4j.minisat.constraints.card.MinWatchCard => 722
2.29/1.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39953
2.29/1.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20102
2.29/1.66	c 199720 constraints processed.
5.09/4.08	c cleaning 2489 clauses out of 4999 with flag 76392/5000
6.77/5.66	c cleaning 4248 clauses out of 8509 with flag 189061/11000
8.69/7.54	c cleaning 5596 clauses out of 11258 with flag 298357/18000
10.69/9.58	c cleaning 6797 clauses out of 13660 with flag 395478/26000
13.01/11.80	c cleaning 7885 clauses out of 15863 with flag 518665/35000
14.62/13.47	c cleaning 8940 clauses out of 17978 with flag 626127/45000
16.31/15.12	c cleaning 10010 clauses out of 20038 with flag 729425/56000
18.51/17.34	c cleaning 10968 clauses out of 22028 with flag 859456/68000
21.31/20.11	c cleaning 11996 clauses out of 24060 with flag 1009587/81000
24.12/22.97	c cleaning 12993 clauses out of 26064 with flag 1154162/95000
26.62/25.46	c cleaning 13995 clauses out of 28071 with flag 1310790/110000
29.22/28.10	c cleaning 15013 clauses out of 30077 with flag 1462834/126001
32.32/31.16	c cleaning 16012 clauses out of 32063 with flag 1624981/143000
34.72/33.57	c cleaning 17015 clauses out of 34052 with flag 1826147/161001
37.02/35.86	c cleaning 18005 clauses out of 36036 with flag 1993647/180000
39.83/38.63	c cleaning 18953 clauses out of 38032 with flag 2177066/200001
43.03/41.89	c cleaning 19971 clauses out of 40078 with flag 2403235/221000
47.02/45.81	c cleaning 21022 clauses out of 42108 with flag 2646781/243001
50.12/48.96	c cleaning 22030 clauses out of 44086 with flag 2860669/266001
54.22/53.08	c cleaning 23009 clauses out of 46057 with flag 3084152/290002
58.92/57.76	c cleaning 24003 clauses out of 48046 with flag 3286095/315000
62.82/61.61	c cleaning 24981 clauses out of 50044 with flag 3523540/341001
67.81/66.64	c cleaning 25933 clauses out of 52062 with flag 3769858/368000
74.41/73.21	c cleaning 27012 clauses out of 54129 with flag 4055162/396000
80.42/79.29	c cleaning 27984 clauses out of 56117 with flag 4319701/425000
85.41/84.20	c cleaning 29052 clauses out of 58134 with flag 4566000/455001
90.31/89.11	c cleaning 30020 clauses out of 60084 with flag 4816443/486003
95.20/94.05	c cleaning 31019 clauses out of 62061 with flag 5076444/518000
101.31/100.13	c cleaning 32003 clauses out of 64043 with flag 5352751/551001
107.71/106.58	c cleaning 32994 clauses out of 66041 with flag 5653790/585002
114.33/113.01	c cleaning 33982 clauses out of 68045 with flag 5962689/620000
120.52/119.23	c cleaning 35015 clauses out of 70064 with flag 6286795/656001
128.93/127.68	c cleaning 35986 clauses out of 72048 with flag 6615245/693000
136.73/135.44	c cleaning 36928 clauses out of 74063 with flag 6915900/731001
145.22/143.94	c cleaning 38017 clauses out of 76134 with flag 7257140/770000
153.61/152.31	c cleaning 39038 clauses out of 78117 with flag 7583831/810000
161.71/160.43	c cleaning 40003 clauses out of 80080 with flag 7937444/851001
170.32/169.01	c cleaning 40970 clauses out of 82076 with flag 8273352/893000
179.01/177.79	c cleaning 42032 clauses out of 84106 with flag 8618952/936000
188.81/187.56	c cleaning 42932 clauses out of 86074 with flag 9069239/980000
200.71/199.41	c cleaning 44028 clauses out of 88143 with flag 9433854/1025001
210.31/209.01	c cleaning 45035 clauses out of 90116 with flag 9811162/1071002
221.10/219.89	c cleaning 46005 clauses out of 92079 with flag 10203303/1118000
231.90/230.60	c cleaning 46998 clauses out of 94075 with flag 10580239/1166001
242.70/241.42	c cleaning 48001 clauses out of 96076 with flag 11009657/1215000
255.30/254.06	c cleaning 48997 clauses out of 98076 with flag 11411587/1265001
268.10/266.86	c cleaning 50016 clauses out of 100079 with flag 11817386/1316001
279.10/277.86	c cleaning 51024 clauses out of 102062 with flag 12252901/1368000
291.09/289.80	c cleaning 51966 clauses out of 104038 with flag 12668545/1421000
303.80/302.58	c cleaning 52981 clauses out of 106073 with flag 13117772/1475001
316.09/314.81	c cleaning 54027 clauses out of 108092 with flag 13540882/1530001
329.49/328.28	c cleaning 54981 clauses out of 110065 with flag 14029965/1586001
342.59/341.38	c cleaning 56025 clauses out of 112084 with flag 14443981/1643001
358.68/357.48	c cleaning 56974 clauses out of 114058 with flag 14920160/1701000
373.28/372.00	c cleaning 57982 clauses out of 116084 with flag 15375630/1760000
387.68/386.44	c cleaning 59033 clauses out of 118102 with flag 15864381/1820000
405.88/404.67	c cleaning 59978 clauses out of 120069 with flag 16372197/1881000
423.07/421.85	c cleaning 61016 clauses out of 122091 with flag 16880045/1943000
441.17/439.91	c cleaning 62002 clauses out of 124075 with flag 17329826/2006000
458.77/457.59	c cleaning 63005 clauses out of 126074 with flag 17829162/2070001
478.06/476.85	c cleaning 63994 clauses out of 128068 with flag 18261604/2135000
496.77/495.57	c cleaning 65013 clauses out of 130074 with flag 18738785/2201000
515.87/514.65	c cleaning 65945 clauses out of 132061 with flag 19223960/2268000
536.01/534.50	c cleaning 67024 clauses out of 134116 with flag 19757757/2336000
555.50/554.05	c cleaning 68005 clauses out of 136093 with flag 20260740/2405001
571.40/569.98	c cleaning 68978 clauses out of 138087 with flag 20792822/2475000
590.01/588.55	c cleaning 70037 clauses out of 140109 with flag 21365207/2546000
613.10/611.61	c cleaning 71006 clauses out of 142072 with flag 21867721/2618000
633.50/632.01	c cleaning 72023 clauses out of 144067 with flag 22407300/2691001
653.49/652.05	c cleaning 73008 clauses out of 146043 with flag 22977182/2765000
674.58/673.16	c cleaning 73976 clauses out of 148036 with flag 23504977/2840001
695.48/694.06	c cleaning 74981 clauses out of 150059 with flag 24143275/2916000
719.08/717.61	c cleaning 76010 clauses out of 152078 with flag 24718701/2993000
741.38/739.96	c cleaning 77011 clauses out of 154068 with flag 25254931/3071000
764.27/762.86	c cleaning 78006 clauses out of 156058 with flag 25851209/3150001
788.77/787.30	c cleaning 78999 clauses out of 158052 with flag 26445023/3230001
813.56/812.10	c cleaning 80003 clauses out of 160052 with flag 27044927/3311000
838.26/836.86	c cleaning 80983 clauses out of 162051 with flag 27639300/3393002
862.55/861.15	c cleaning 82029 clauses out of 164067 with flag 28300370/3476001
889.06/887.65	c cleaning 82994 clauses out of 166038 with flag 29011133/3560001
914.94/913.56	c cleaning 84006 clauses out of 168045 with flag 29603096/3645002
945.82/944.12	c cleaning 84930 clauses out of 170037 with flag 30188143/3731000
972.63/970.91	c cleaning 86013 clauses out of 172108 with flag 30850203/3818001
1001.94/1000.22	c cleaning 87028 clauses out of 174095 with flag 31511522/3906001
1030.75/1029.04	c cleaning 88018 clauses out of 176067 with flag 32161363/3995001
1063.97/1062.25	c cleaning 89009 clauses out of 178051 with flag 32771173/4085003
1096.38/1094.63	c cleaning 89976 clauses out of 180039 with flag 33394024/4176000
1127.68/1125.93	c cleaning 91030 clauses out of 182064 with flag 34104051/4268001
1157.18/1155.43	c cleaning 91939 clauses out of 184033 with flag 34807468/4361000
1190.38/1188.63	c cleaning 93040 clauses out of 186094 with flag 35464949/4455000
1223.48/1221.77	c cleaning 94005 clauses out of 188055 with flag 36149235/4550001
1254.39/1252.64	c cleaning 94984 clauses out of 190049 with flag 36881269/4646000
1285.18/1283.49	c cleaning 95973 clauses out of 192067 with flag 37617158/4743002
1320.29/1318.56	c cleaning 96985 clauses out of 194092 with flag 38319384/4841000
1353.61/1351.81	c cleaning 98015 clauses out of 196108 with flag 39064601/4940001
1387.51/1385.78	c cleaning 99029 clauses out of 198092 with flag 39806802/5040000
1423.63/1421.88	c cleaning 99989 clauses out of 200063 with flag 40516619/5141000
1458.63/1456.87	c cleaning 101000 clauses out of 202074 with flag 41265866/5243000
1494.44/1492.62	c cleaning 101976 clauses out of 204074 with flag 41961896/5346000
1537.64/1535.87	c cleaning 102982 clauses out of 206098 with flag 42663202/5450000
1579.36/1577.54	c cleaning 104044 clauses out of 208117 with flag 43376880/5555001
1618.46/1616.61	c cleaning 105011 clauses out of 210072 with flag 44090924/5661000
1660.27/1658.41	c cleaning 105996 clauses out of 212061 with flag 44810739/5768000
1703.07/1701.30	c cleaning 107021 clauses out of 214065 with flag 45520639/5876000
1741.38/1739.58	c cleaning 107988 clauses out of 216044 with flag 46314021/5985000
1786.99/1785.12	c cleaning 109027 clauses out of 218056 with flag 47055890/6095000
1800.85/1798.40	c starts		: 23361
1800.85/1798.40	c conflicts		: 6136712
1800.85/1798.40	c decisions		: 28258350
1800.85/1798.40	c propagations		: 1101622558
1800.85/1798.40	c inspects		: 26139912053
1800.85/1798.40	c shortcuts		: 0
1800.85/1798.40	c learnt literals	: 7
1800.85/1798.40	c learnt binary clauses	: 1514
1800.85/1798.40	c learnt ternary clauses	: 3254
1800.85/1798.40	c learnt constraints	: 6136705
1800.85/1798.40	c ignored constraints	: 0
1800.85/1798.40	c root simplifications	: 0
1800.85/1798.40	c removed literals (reason simplification)	: 0
1800.85/1798.40	c reason swapping (by a shorter reason)	: 0
1800.85/1798.40	c Calls to reduceDB	: 106
1800.85/1798.40	c Number of update (reduction) of LBD	: 3412379
1800.85/1798.40	c Imported unit clauses	: 0
1800.85/1798.40	c number of reductions to clauses (during analyze)	: 0
1800.85/1798.40	c number of learned constraints concerned by reduction	: 0
1800.85/1798.40	c number of learning phase by resolution	: 0
1800.85/1798.40	c number of learning phase by cutting planes	: 0
1800.85/1798.40	c speed (assignments/second)	: 613124.3310091187
1800.85/1798.40	c timeout
1800.85/1798.40	c non guided choices	615196
1800.85/1798.43	c learnt constraints type 
1800.85/1798.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1514
1800.85/1798.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 149227
1800.85/1798.43	s UNKNOWN
1800.85/1798.43	c Total wall clock time (in seconds): 1798.309

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4108908-1466293187/watcher-4108908-1466293187 -o /tmp/evaluation-result-4108908-1466293187/solver-4108908-1466293187 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466293187-16757 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4108908-1466293187.opb 

pid=16773
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: 1.15 1.15 1.26 4/172 16776
/proc/meminfo: memFree=31500248/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16776/stat : 16776 (java) D 16773 16776 12183 0 -1 4202496 323 0 2 0 0 0 0 0 20 0 1 0 31369263 9515008 182 33554432000 1073741824 1073778376 140734664067088 140734664058120 249650036405 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/16776/statm: 2323 182 140 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 1.15 1.15 1.26 4/172 16776
/proc/meminfo: memFree=31500248/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 4417 0 3 0 8 1 0 0 20 0 18 0 31369263 9787879424 5032 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2389619 5035 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200274 s]
/proc/loadavg: 1.15 1.15 1.26 4/172 16776
/proc/meminfo: memFree=31500248/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 4730 0 3 0 21 1 0 0 20 0 18 0 31369263 9787879424 6325 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2389619 6325 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300276 s]
/proc/loadavg: 1.15 1.15 1.26 4/172 16776
/proc/meminfo: memFree=31500248/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 5341 0 3 0 42 1 0 0 20 0 18 0 31369263 9787879424 7642 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2389619 7642 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.700245 s]
/proc/loadavg: 1.15 1.15 1.26 4/172 16776
/proc/meminfo: memFree=31500248/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9558476 CPUtime=1.14 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 7219 0 3 0 109 5 0 0 20 0 18 0 31369263 9787879424 39613 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2389619 39613 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558476

[startup+1.50073 s]
/proc/loadavg: 1.38 1.20 1.27 4/211 16822
/proc/meminfo: memFree=31281884/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9558476 CPUtime=2.19 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 9235 0 3 0 210 9 0 0 20 0 18 0 31369263 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2389619 78426 2263 9 0 2380296 0
[pid=16776/tid=16778] ppid=16773 vsize=9558476 CPUtime=1.39 cores=0,2,4,6
/proc/16776/task/16778/stat : 16778 (java) R 16773 16776 12183 0 -1 4202560 2577 0 1 0 133 6 0 0 20 0 18 0 31369264 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240876207480 249653421325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16779] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16779/stat : 16779 (java) S 16773 16776 12183 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240720182312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16780] ppid=16773 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16780/stat : 16780 (java) S 16773 16776 12183 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240719129512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16781] ppid=16773 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16781/stat : 16781 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240718076712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16782] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16782/stat : 16782 (java) S 16773 16776 12183 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240717023912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16783] ppid=16773 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/16776/task/16783/stat : 16783 (java) S 16773 16776 12183 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240715971112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16784] ppid=16773 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/16776/task/16784/stat : 16784 (java) S 16773 16776 12183 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240714918312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16785] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16785/stat : 16785 (java) S 16773 16776 12183 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240713865512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16786] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16786/stat : 16786 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 31369266 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240712812712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16787] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16787/stat : 16787 (java) S 16773 16776 12183 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 31369267 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240700402664 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16788] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16788/stat : 16788 (java) S 16773 16776 12183 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 31369268 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240699348728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16789] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16789/stat : 16789 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 31369268 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240698295816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16790] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16790/stat : 16790 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31369270 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240697244304 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16791] ppid=16773 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/16776/task/16791/stat : 16791 (java) S 16773 16776 12183 0 -1 4202560 2104 0 0 0 26 0 0 0 20 0 18 0 31369270 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240696191416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16792] ppid=16773 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/16776/task/16792/stat : 16792 (java) S 16773 16776 12183 0 -1 4202560 3036 0 0 0 29 0 0 0 20 0 18 0 31369270 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240695138616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16793] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16793/stat : 16793 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31369270 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240694086008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16794] ppid=16773 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16794/stat : 16794 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 31369270 9787879424 78426 33554432000 1073741824 1073778376 140735322378960 140240693033416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9558476

[startup+3.10084 s]
/proc/loadavg: 1.38 1.20 1.27 4/212 16823
/proc/meminfo: memFree=30844852/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9625040 CPUtime=4.17 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 11598 0 3 0 405 12 0 0 20 0 19 0 31369263 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2406260 79024 2280 9 0 2396937 0
[pid=16776/tid=16778] ppid=16773 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/16776/task/16778/stat : 16778 (java) R 16773 16776 12183 0 -1 4202560 2591 0 1 0 292 7 0 0 20 0 19 0 31369264 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240876208488 140240816682353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16779] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16779/stat : 16779 (java) S 16773 16776 12183 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240720182312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16780] ppid=16773 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16780/stat : 16780 (java) S 16773 16776 12183 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240719129512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16781] ppid=16773 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16781/stat : 16781 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240718076712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16782] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16782/stat : 16782 (java) S 16773 16776 12183 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240717023912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16783] ppid=16773 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/16776/task/16783/stat : 16783 (java) S 16773 16776 12183 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240715971112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16784] ppid=16773 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/16776/task/16784/stat : 16784 (java) S 16773 16776 12183 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240714918312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16785] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16785/stat : 16785 (java) S 16773 16776 12183 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240713865512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16786] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16786/stat : 16786 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240712812712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16787] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16787/stat : 16787 (java) S 16773 16776 12183 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 31369267 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240700402664 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16788] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16788/stat : 16788 (java) S 16773 16776 12183 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240699348728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16789] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16789/stat : 16789 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240698295816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16790] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16790/stat : 16790 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240697244304 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16791] ppid=16773 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/16776/task/16791/stat : 16791 (java) S 16773 16776 12183 0 -1 4202560 4413 0 0 0 49 0 0 0 20 0 19 0 31369270 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240696191416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16792] ppid=16773 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/16776/task/16792/stat : 16792 (java) S 16773 16776 12183 0 -1 4202560 3067 0 0 0 43 0 0 0 20 0 19 0 31369270 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240695138616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16793] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16793/stat : 16793 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240694086008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16794] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16794/stat : 16794 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240693033416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16823] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16823/stat : 16823 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31369430 9856040960 79024 33554432000 1073741824 1073778376 140735322378960 140240691979944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 1.43 1.21 1.28 3/212 16823
/proc/meminfo: memFree=30172680/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9625040 CPUtime=7.48 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 11614 0 3 0 736 12 0 0 20 0 19 0 31369263 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2406260 79012 2284 9 0 2396937 0
[pid=16776/tid=16778] ppid=16773 vsize=9625040 CPUtime=6.18 cores=0,2,4,6
/proc/16776/task/16778/stat : 16778 (java) R 16773 16776 12183 0 -1 4202560 2594 0 1 0 610 8 0 0 20 0 19 0 31369264 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240876206680 140240816627236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16779] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16779/stat : 16779 (java) S 16773 16776 12183 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240720182312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16780] ppid=16773 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16780/stat : 16780 (java) S 16773 16776 12183 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240719129512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16781] ppid=16773 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16781/stat : 16781 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240718076712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16782] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16782/stat : 16782 (java) S 16773 16776 12183 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240717023912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16783] ppid=16773 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/16776/task/16783/stat : 16783 (java) S 16773 16776 12183 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240715971112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16784] ppid=16773 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/16776/task/16784/stat : 16784 (java) S 16773 16776 12183 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240714918312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16785] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16785/stat : 16785 (java) S 16773 16776 12183 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240713865512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16786] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16786/stat : 16786 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31369266 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240712812712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16787] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16787/stat : 16787 (java) S 16773 16776 12183 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 31369267 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240700402664 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16788] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16788/stat : 16788 (java) S 16773 16776 12183 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240699348728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16789] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16789/stat : 16789 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240698295816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16790] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16790/stat : 16790 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240697244304 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16791] ppid=16773 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/16776/task/16791/stat : 16791 (java) S 16773 16776 12183 0 -1 4202560 4419 0 0 0 54 0 0 0 20 0 19 0 31369270 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240696191416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16792] ppid=16773 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16776/task/16792/stat : 16792 (java) S 16773 16776 12183 0 -1 4202560 3074 0 0 0 51 0 0 0 20 0 19 0 31369270 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240695138616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16793] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16793/stat : 16793 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240694086008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16794] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16794/stat : 16794 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240693033416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16823] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16823/stat : 16823 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31369430 9856040960 79012 33554432000 1073741824 1073778376 140735322378960 140240691979944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625040

[startup+12.7009 s]
/proc/loadavg: 1.48 1.22 1.28 3/213 16824

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

[pid=16776/tid=16823] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16823/stat : 16823 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31369430 9856040960 282112 33554432000 1073741824 1073778376 140735322378960 140240691979944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.18
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.90 3/213 16892
/proc/meminfo: memFree=28395376/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9625040 CPUtime=1784.19 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 13435 0 3 0 178329 90 0 0 20 0 19 0 31369263 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2406260 297984 2285 9 0 2396937 0
[pid=16776/tid=16778] ppid=16773 vsize=9625040 CPUtime=1777.01 cores=0,2,4,6
/proc/16776/task/16778/stat : 16778 (java) R 16773 16776 12183 0 -1 4202560 2899 0 1 0 177653 48 0 0 20 0 19 0 31369264 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240876199728 140240816655616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16779] ppid=16773 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/16776/task/16779/stat : 16779 (java) S 16773 16776 12183 0 -1 4202560 59 0 0 0 4 3 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240720182312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16780] ppid=16773 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/16776/task/16780/stat : 16780 (java) S 16773 16776 12183 0 -1 4202560 183 0 0 0 10 6 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240719129512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16781] ppid=16773 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/16776/task/16781/stat : 16781 (java) S 16773 16776 12183 0 -1 4202560 129 0 0 0 7 2 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240718076712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16782] ppid=16773 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/16776/task/16782/stat : 16782 (java) S 16773 16776 12183 0 -1 4202560 90 0 0 0 5 4 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240717023912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16783] ppid=16773 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/16776/task/16783/stat : 16783 (java) S 16773 16776 12183 0 -1 4202560 122 0 0 0 12 5 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240715971112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16784] ppid=16773 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/16776/task/16784/stat : 16784 (java) S 16773 16776 12183 0 -1 4202560 128 0 0 0 7 4 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240714918312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16785] ppid=16773 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/16776/task/16785/stat : 16785 (java) S 16773 16776 12183 0 -1 4202560 141 0 0 0 8 4 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240713865512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16786] ppid=16773 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/16776/task/16786/stat : 16786 (java) S 16773 16776 12183 0 -1 4202560 98 0 0 0 7 4 0 0 20 0 19 0 31369266 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240712812712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16787] ppid=16773 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16787/stat : 16787 (java) S 16773 16776 12183 0 -1 4202560 557 0 0 0 1 0 0 0 20 0 19 0 31369267 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240700402664 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16788] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16788/stat : 16788 (java) S 16773 16776 12183 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240699348728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16789] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16789/stat : 16789 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240698295816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16790] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16790/stat : 16790 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240697244304 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16791] ppid=16773 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/16776/task/16791/stat : 16791 (java) S 16773 16776 12183 0 -1 4202560 4598 0 0 0 58 0 0 0 20 0 19 0 31369270 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240696191416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16792] ppid=16773 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16776/task/16792/stat : 16792 (java) S 16773 16776 12183 0 -1 4202560 3074 0 0 0 51 0 0 0 20 0 19 0 31369270 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240695138616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16793] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16793/stat : 16793 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240694086008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16794] ppid=16773 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/16776/task/16794/stat : 16794 (java) S 16773 16776 12183 0 -1 4202560 103 0 0 0 26 31 0 0 20 0 19 0 31369270 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240693033416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16823] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16823/stat : 16823 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31369430 9856040960 297984 33554432000 1073741824 1073778376 140735322378960 140240691979944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.19
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.03 2.02 1.90 3/213 16892
/proc/meminfo: memFree=28368508/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 13444 0 3 0 179918 91 0 0 20 0 19 0 31369263 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2406260 302592 2285 9 0 2396937 0
[pid=16776/tid=16778] ppid=16773 vsize=9625040 CPUtime=1792.87 cores=0,2,4,6
/proc/16776/task/16778/stat : 16778 (java) R 16773 16776 12183 0 -1 4202560 2908 0 1 0 179239 48 0 0 20 0 19 0 31369264 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240876199728 140240816627235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16779] ppid=16773 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/16776/task/16779/stat : 16779 (java) S 16773 16776 12183 0 -1 4202560 59 0 0 0 4 3 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240720182312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16780] ppid=16773 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/16776/task/16780/stat : 16780 (java) S 16773 16776 12183 0 -1 4202560 183 0 0 0 10 6 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240719129512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16781] ppid=16773 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/16776/task/16781/stat : 16781 (java) S 16773 16776 12183 0 -1 4202560 129 0 0 0 7 2 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240718076712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16782] ppid=16773 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/16776/task/16782/stat : 16782 (java) S 16773 16776 12183 0 -1 4202560 90 0 0 0 5 4 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240717023912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16783] ppid=16773 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/16776/task/16783/stat : 16783 (java) S 16773 16776 12183 0 -1 4202560 122 0 0 0 12 5 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240715971112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16784] ppid=16773 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/16776/task/16784/stat : 16784 (java) S 16773 16776 12183 0 -1 4202560 128 0 0 0 7 4 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240714918312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16785] ppid=16773 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/16776/task/16785/stat : 16785 (java) S 16773 16776 12183 0 -1 4202560 141 0 0 0 8 4 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240713865512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16786] ppid=16773 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/16776/task/16786/stat : 16786 (java) S 16773 16776 12183 0 -1 4202560 98 0 0 0 7 4 0 0 20 0 19 0 31369266 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240712812712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16787] ppid=16773 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/16776/task/16787/stat : 16787 (java) S 16773 16776 12183 0 -1 4202560 557 0 0 0 1 0 0 0 20 0 19 0 31369267 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240700402664 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16788] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16788/stat : 16788 (java) S 16773 16776 12183 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240699348728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16789] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16789/stat : 16789 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 31369268 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240698295816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16790] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16790/stat : 16790 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240697244304 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16791] ppid=16773 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/16776/task/16791/stat : 16791 (java) S 16773 16776 12183 0 -1 4202560 4598 0 0 0 58 0 0 0 20 0 19 0 31369270 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240696191416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16792] ppid=16773 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/16776/task/16792/stat : 16792 (java) S 16773 16776 12183 0 -1 4202560 3074 0 0 0 51 0 0 0 20 0 19 0 31369270 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240695138616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16793] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16793/stat : 16793 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 31369270 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240694086008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16794] ppid=16773 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/16776/task/16794/stat : 16794 (java) S 16773 16776 12183 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 19 0 31369270 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240693033416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16823] ppid=16773 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16823/stat : 16823 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 31369430 9856040960 302592 33554432000 1073741824 1073778376 140735322378960 140240691979944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16776 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.4 s]
/proc/loadavg: 2.03 2.02 1.90 3/213 16892
/proc/meminfo: memFree=28368508/32872528 swapFree=190484/190484
[pid=16776] ppid=16773 vsize=9691604 CPUtime=1800.85 cores=0,2,4,6
/proc/16776/stat : 16776 (java) S 16773 16776 12183 0 -1 4202496 13951 0 3 0 179967 118 0 0 20 0 20 0 31369263 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140735322370096 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16776/statm: 2422901 362031 2285 9 0 2413578 0
[pid=16776/tid=16778] ppid=16773 vsize=9691604 CPUtime=1792.87 cores=0,2,4,6
/proc/16776/task/16778/stat : 16778 (java) S 16773 16776 12183 0 -1 4202560 2908 0 1 0 179239 48 0 0 20 0 20 0 31369264 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140240876206776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16779] ppid=16773 vsize=9691604 CPUtime=0.15 cores=0,2,4,6
/proc/16776/task/16779/stat : 16779 (java) R 16773 16776 12183 0 -1 4202560 129 0 0 0 10 5 0 0 20 0 20 0 31369266 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140240720182440 249649990791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16780] ppid=16773 vsize=9691604 CPUtime=0.22 cores=0,2,4,6
/proc/16776/task/16780/stat : 16780 (java) R 16773 16776 12183 0 -1 4202560 220 0 0 0 14 8 0 0 20 0 20 0 31369266 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140240719129688 140240878679795 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16781] ppid=16773 vsize=9691604 CPUtime=0.19 cores=0,2,4,6
/proc/16776/task/16781/stat : 16781 (java) R 16773 16776 12183 0 -1 4202560 191 0 0 0 13 6 0 0 20 0 20 0 31369266 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140240718076840 140240878679795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16782] ppid=16773 vsize=9691604 CPUtime=0.17 cores=0,2,4,6
/proc/16776/task/16782/stat : 16782 (java) R 16773 16776 12183 0 -1 4202560 137 0 0 0 10 7 0 0 20 0 20 0 31369266 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140240717024040 140240878679795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16783] ppid=16773 vsize=9691604 CPUtime=0.28 cores=0,2,4,6
/proc/16776/task/16783/stat : 16783 (java) R 16773 16776 12183 0 -1 4202560 189 0 0 0 18 10 0 0 20 0 20 0 31369266 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140240715971240 249649990791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16784] ppid=16773 vsize=9691604 CPUtime=0.3 cores=0,2,4,6
/proc/16776/task/16784/stat : 16784 (java) R 16773 16776 12183 0 -1 4202560 246 0 0 0 19 11 0 0 20 0 20 0 31369266 9924202496 362031 33554432000 1073741824 1073778376 140735322378960 140240714918168 249653409705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16785] ppid=16773 vsize=9691604 CPUtime=0.18 cores=0,2,4,6
/proc/16776/task/16785/stat : 16785 (java) R 16773 16776 12183 0 -1 4202560 176 0 0 0 12 6 0 0 20 0 20 0 31369266 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240713865640 140240878679795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16786] ppid=16773 vsize=9691604 CPUtime=0.2 cores=0,2,4,6
/proc/16776/task/16786/stat : 16786 (java) R 16773 16776 12183 0 -1 4202560 150 0 0 0 12 8 0 0 20 0 20 0 31369266 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240712812840 249649990791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16776/tid=16787] ppid=16773 vsize=9691604 CPUtime=0.02 cores=0,2,4,6
/proc/16776/task/16787/stat : 16787 (java) S 16773 16776 12183 0 -1 4202560 558 0 0 0 1 1 0 0 20 0 20 0 31369267 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240700401544 249653408828 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16788] ppid=16773 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16788/stat : 16788 (java) S 16773 16776 12183 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 31369268 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240699348728 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16789] ppid=16773 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16789/stat : 16789 (java) S 16773 16776 12183 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 31369268 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240698295816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16790] ppid=16773 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16790/stat : 16790 (java) S 16773 16776 12183 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 31369270 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240697244304 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16791] ppid=16773 vsize=9691604 CPUtime=0.58 cores=0,2,4,6
/proc/16776/task/16791/stat : 16791 (java) S 16773 16776 12183 0 -1 4202560 4598 0 0 0 58 0 0 0 20 0 20 0 31369270 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240696191416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16776/tid=16792] ppid=16773 vsize=9691604 CPUtime=0.51 cores=0,2,4,6
/proc/16776/task/16792/stat : 16792 (java) S 16773 16776 12183 0 -1 4202560 3074 0 0 0 51 0 0 0 20 0 20 0 31369270 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240695138616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16793] ppid=16773 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16793/stat : 16793 (java) S 16773 16776 12183 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 31369270 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240694086008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16776/tid=16794] ppid=16773 vsize=9691604 CPUtime=0.58 cores=0,2,4,6
/proc/16776/task/16794/stat : 16794 (java) S 16773 16776 12183 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 20 0 31369270 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240693033416 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16776/tid=16823] ppid=16773 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/16776/task/16823/stat : 16823 (java) S 16773 16776 12183 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 31369430 9924202496 362543 33554432000 1073741824 1073778376 140735322378960 140240691979944 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 9691604

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16776 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=19115
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=560762
# CPU time returned by wait4() is 1796.58
# while last known CPU time is 1800.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.44
CPU time (s): 1800.85
CPU user time (s): 1799.67
CPU system time (s): 1.18
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 1.56076
maximum resident set size= 1452440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14526
page faults= 3
swaps= 0
block input operations= 72
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38274
involuntary context switches= 24584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4321 second user time and 16.9884 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-19 01:39:47
IDJOB=4108908
IDBENCH=89687
IDSOLVER=2546
FILE ID=node102/4108908-1466293187
RUNJOBID= node102-1466293187-16757
PBS_JOBID= 19918251
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-40.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108908-1466293187/watcher-4108908-1466293187 -o /tmp/evaluation-result-4108908-1466293187/solver-4108908-1466293187 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466293187-16757 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4108908-1466293187.opb

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

MD5SUM BENCH= 96b10f202af149572cd99ac873608650
RANDOM SEED=861965801

node102.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.746
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.49
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.746
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	: 5332.55
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.746
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	: 5332.56
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.746
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	: 5332.55
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.746
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	: 5332.55
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.746
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	: 5332.55
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.746
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	: 5332.55
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.746
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31501132 kB
Buffers:          156916 kB
Cached:           275868 kB
SwapCached:         2124 kB
Active:           113660 kB
Inactive:         325480 kB
Active(anon):       6288 kB
Inactive(anon):     2976 kB
Active(file):     107372 kB
Inactive(file):   322504 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             15920 kB
Writeback:             0 kB
AnonPages:        196896 kB
Mapped:             8516 kB
Shmem:                 0 kB
Slab:             609628 kB
SReclaimable:      53712 kB
SUnreclaim:       555916 kB
KernelStack:        1360 kB
PageTables:         4316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     291632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node102 at 2016-06-19 02:09:46