Trace number 4116657

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.62 1797.34

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-7.opb
MD5SUM61ae36a4f676caa4ef52360a8e78a841
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 variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4116657-1466979394.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.67/0.43	c ... done. Wall clock time 0.305s.
0.67/0.43	c declared #vars     4288
0.67/0.43	c #constraints  10880
0.67/0.43	c constraints type 
0.67/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.67/0.43	c org.sat4j.specs.Constr$1 => 936
0.67/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.67/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 536
0.67/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.67/0.43	c 10880 constraints processed.
1.85/1.12	c cleaning 2483 clauses out of 4999 with flag 15998/5001
2.52/1.70	c cleaning 4231 clauses out of 8515 with flag 38529/11000
3.22/2.41	c cleaning 5635 clauses out of 11284 with flag 68529/18000
4.03/3.21	c cleaning 6821 clauses out of 13649 with flag 103572/26000
4.94/4.16	c cleaning 7889 clauses out of 15828 with flag 144003/35000
6.04/5.28	c cleaning 8964 clauses out of 17939 with flag 190364/45000
7.25/6.50	c cleaning 9984 clauses out of 19975 with flag 242503/56000
8.66/7.89	c cleaning 10986 clauses out of 21991 with flag 300885/68000
10.25/9.40	c cleaning 11981 clauses out of 24008 with flag 364751/81003
11.86/11.02	c cleaning 12968 clauses out of 26024 with flag 437523/95000
13.66/12.81	c cleaning 14008 clauses out of 28059 with flag 518268/110003
15.56/14.77	c cleaning 14988 clauses out of 30050 with flag 602731/126002
17.66/16.87	c cleaning 16011 clauses out of 32060 with flag 694732/143000
20.05/19.21	c cleaning 16997 clauses out of 34049 with flag 791737/161000
22.55/21.75	c cleaning 18010 clauses out of 36052 with flag 894811/180000
25.25/24.43	c cleaning 19011 clauses out of 38043 with flag 1006243/200001
28.05/27.26	c cleaning 19996 clauses out of 40032 with flag 1123949/221001
31.05/30.29	c cleaning 20998 clauses out of 42035 with flag 1247741/243000
34.36/33.54	c cleaning 22007 clauses out of 44037 with flag 1376635/266000
37.76/36.98	c cleaning 22986 clauses out of 46031 with flag 1511012/290001
41.46/40.68	c cleaning 24009 clauses out of 48044 with flag 1652080/315000
45.36/44.54	c cleaning 25004 clauses out of 50035 with flag 1799118/341000
49.56/48.76	c cleaning 25994 clauses out of 52031 with flag 1948754/368000
53.80/52.97	c cleaning 27019 clauses out of 54037 with flag 2108280/396000
57.99/57.16	c cleaning 27947 clauses out of 56018 with flag 2273673/425000
62.39/61.52	c cleaning 28974 clauses out of 58071 with flag 2446645/455000
66.79/65.99	c cleaning 30030 clauses out of 60098 with flag 2622554/486001
71.59/70.79	c cleaning 31016 clauses out of 62067 with flag 2801719/518000
76.69/75.85	c cleaning 31980 clauses out of 64051 with flag 2992180/551000
81.99/81.16	c cleaning 32996 clauses out of 66071 with flag 3189247/585000
87.59/86.73	c cleaning 34032 clauses out of 68076 with flag 3389547/620001
93.41/92.55	c cleaning 35001 clauses out of 70043 with flag 3595428/656000
99.40/98.54	c cleaning 35983 clauses out of 72042 with flag 3810951/693000
105.80/104.90	c cleaning 36987 clauses out of 74060 with flag 4031801/731001
112.30/111.50	c cleaning 38013 clauses out of 76073 with flag 4258325/770001
119.30/118.42	c cleaning 39014 clauses out of 78059 with flag 4491245/810000
126.60/125.71	c cleaning 40002 clauses out of 80045 with flag 4730612/851000
134.19/133.32	c cleaning 41021 clauses out of 82044 with flag 4974614/893001
141.86/140.95	c cleaning 41980 clauses out of 84022 with flag 5224870/936000
149.96/149.01	c cleaning 43005 clauses out of 86042 with flag 5481455/980000
158.15/157.22	c cleaning 43989 clauses out of 88037 with flag 5743939/1025000
166.45/165.53	c cleaning 44993 clauses out of 90048 with flag 6013336/1071000
174.95/174.08	c cleaning 46022 clauses out of 92056 with flag 6287371/1118001
183.95/183.01	c cleaning 47006 clauses out of 94033 with flag 6567723/1166000
193.16/192.26	c cleaning 47987 clauses out of 96027 with flag 6857317/1215000
202.86/201.92	c cleaning 48993 clauses out of 98040 with flag 7149570/1265000
212.66/211.79	c cleaning 49968 clauses out of 100047 with flag 7451248/1316000
222.86/221.96	c cleaning 51027 clauses out of 102080 with flag 7756178/1368001
233.72/232.77	c cleaning 52013 clauses out of 104053 with flag 8064178/1421001
244.53/243.53	c cleaning 52997 clauses out of 106040 with flag 8375390/1475001
255.43/254.49	c cleaning 54018 clauses out of 108043 with flag 8695207/1530001
266.73/265.70	c cleaning 55000 clauses out of 110025 with flag 9024659/1586001
278.54/277.54	c cleaning 55968 clauses out of 112024 with flag 9357957/1643000
290.83/289.84	c cleaning 57012 clauses out of 114056 with flag 9699770/1701000
303.44/302.45	c cleaning 58016 clauses out of 116045 with flag 10047171/1760001
316.05/315.06	c cleaning 58989 clauses out of 118029 with flag 10391700/1820001
329.45/328.45	c cleaning 59967 clauses out of 120040 with flag 10747467/1881001
343.33/342.29	c cleaning 61009 clauses out of 122072 with flag 11108709/1943000
357.53/356.44	c cleaning 61995 clauses out of 124064 with flag 11478059/2006001
372.22/371.18	c cleaning 63009 clauses out of 126069 with flag 11854477/2070001
387.32/386.21	c cleaning 64022 clauses out of 128059 with flag 12228213/2135000
402.92/401.89	c cleaning 64966 clauses out of 130037 with flag 12606687/2201000
418.84/417.73	c cleaning 66019 clauses out of 132071 with flag 12996477/2268000
435.23/434.19	c cleaning 67020 clauses out of 134053 with flag 13386704/2336001
452.54/451.42	c cleaning 68001 clauses out of 136033 with flag 13784641/2405001
469.93/468.71	c cleaning 68998 clauses out of 138031 with flag 14185453/2475000
487.13/485.99	c cleaning 69989 clauses out of 140035 with flag 14595905/2546002
505.14/503.96	c cleaning 71009 clauses out of 142045 with flag 15013797/2618001
523.44/522.23	c cleaning 72012 clauses out of 144035 with flag 15438431/2691000
542.64/541.41	c cleaning 73002 clauses out of 146023 with flag 15865987/2765000
562.45/561.21	c cleaning 74003 clauses out of 148021 with flag 16301954/2840000
582.30/580.91	c cleaning 75000 clauses out of 150019 with flag 16736999/2916001
602.60/601.22	c cleaning 75987 clauses out of 152018 with flag 17185052/2993000
623.31/621.96	c cleaning 76999 clauses out of 154031 with flag 17635216/3071000
645.31/643.91	c cleaning 77996 clauses out of 156032 with flag 18087591/3150000
667.21/665.86	c cleaning 79010 clauses out of 158037 with flag 18547312/3230001
690.52/689.14	c cleaning 79981 clauses out of 160026 with flag 19008512/3311000
713.23/711.74	c cleaning 80954 clauses out of 162045 with flag 19479335/3393000
736.22/734.71	c cleaning 82022 clauses out of 164091 with flag 19955116/3476000
759.63/758.10	c cleaning 82993 clauses out of 166069 with flag 20437753/3560000
783.54/782.04	c cleaning 84031 clauses out of 168079 with flag 20927827/3645003
808.04/806.59	c cleaning 84983 clauses out of 170046 with flag 21423806/3731001
833.64/832.05	c cleaning 85984 clauses out of 172062 with flag 21924997/3818000
859.25/857.62	c cleaning 87040 clauses out of 174080 with flag 22430439/3906002
885.17/883.60	c cleaning 88001 clauses out of 176038 with flag 22942547/3995000
912.77/911.16	c cleaning 88951 clauses out of 178038 with flag 23461810/4085001
940.80/939.05	c cleaning 90025 clauses out of 180086 with flag 23981225/4176000
968.91/967.19	c cleaning 91020 clauses out of 182061 with flag 24501937/4268000
997.23/995.42	c cleaning 91975 clauses out of 184042 with flag 25039930/4361001
1027.14/1025.37	c cleaning 93010 clauses out of 186067 with flag 25585080/4455001
1057.13/1055.38	c cleaning 94020 clauses out of 188056 with flag 26128306/4550000
1088.04/1086.14	c cleaning 95018 clauses out of 190036 with flag 26681251/4646000
1119.56/1117.67	c cleaning 95984 clauses out of 192021 with flag 27237186/4743003
1151.48/1149.55	c cleaning 97007 clauses out of 194035 with flag 27797314/4841001
1184.30/1182.20	c cleaning 97963 clauses out of 196027 with flag 28368745/4940000
1217.42/1215.39	c cleaning 99007 clauses out of 198065 with flag 28935107/5040001
1251.83/1249.75	c cleaning 100006 clauses out of 200057 with flag 29509346/5141000
1286.03/1283.90	c cleaning 101019 clauses out of 202051 with flag 30095375/5243000
1321.89/1319.67	c cleaning 102010 clauses out of 204032 with flag 30680711/5346000
1356.91/1354.68	c cleaning 102949 clauses out of 206022 with flag 31277153/5450000
1393.02/1390.76	c cleaning 104025 clauses out of 208073 with flag 31876076/5555000
1430.50/1428.04	c cleaning 105004 clauses out of 210049 with flag 32483246/5661001
1468.20/1465.73	c cleaning 106005 clauses out of 212044 with flag 33091565/5768000
1507.01/1504.55	c cleaning 106977 clauses out of 214039 with flag 33711718/5876000
1548.03/1545.51	c cleaning 108022 clauses out of 216064 with flag 34331694/5985002
1588.90/1586.39	c cleaning 108995 clauses out of 218040 with flag 34959903/6095000
1630.40/1627.85	c cleaning 110015 clauses out of 220045 with flag 35588150/6206000
1672.52/1669.98	c cleaning 111007 clauses out of 222031 with flag 36225623/6318001
1715.52/1712.81	c cleaning 111995 clauses out of 224023 with flag 36861978/6431000
1759.52/1756.81	c cleaning 112995 clauses out of 226029 with flag 37508720/6545001
1800.03/1797.30	c starts		: 53947
1800.03/1797.30	c conflicts		: 6652452
1800.03/1797.30	c decisions		: 53082085
1800.03/1797.30	c propagations		: 839222778
1800.03/1797.30	c inspects		: 24620673507
1800.03/1797.30	c shortcuts		: 0
1800.03/1797.30	c learnt literals	: 2
1800.03/1797.30	c learnt binary clauses	: 89
1800.03/1797.30	c learnt ternary clauses	: 944
1800.03/1797.30	c learnt constraints	: 6652450
1800.03/1797.30	c ignored constraints	: 0
1800.03/1797.30	c root simplifications	: 0
1800.03/1797.30	c removed literals (reason simplification)	: 0
1800.03/1797.30	c reason swapping (by a shorter reason)	: 0
1800.03/1797.30	c Calls to reduceDB	: 110
1800.03/1797.30	c Number of update (reduction) of LBD	: 1433798
1800.03/1797.30	c Imported unit clauses	: 0
1800.03/1797.30	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.30	c number of learned constraints concerned by reduction	: 0
1800.03/1797.30	c number of learning phase by resolution	: 0
1800.03/1797.30	c number of learning phase by cutting planes	: 0
1800.03/1797.30	c speed (assignments/second)	: 467047.5393851969
1800.03/1797.30	c non guided choices	26170
1800.03/1797.30	c timeout
1800.03/1797.33	c learnt constraints type 
1800.03/1797.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 89
1800.03/1797.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 220396
1800.03/1797.33	s UNKNOWN
1800.03/1797.33	c Total wall clock time (in seconds): 1797.211

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-4116657-1466979394/watcher-4116657-1466979394 -o /tmp/evaluation-result-4116657-1466979394/solver-4116657-1466979394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23992 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116657-1466979394.opb 

pid=26442
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.24 2.21 2.18 3/171 26445
/proc/meminfo: memFree=30351444/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26445/stat : 26445 (java) D 26442 26445 23975 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 30976580 9515008 175 33554432000 1073741824 1073778376 140735142337632 140735142320360 248790205328 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/26445/statm: 2323 175 133 9 0 71 0

[startup+0.100188 s]
/proc/loadavg: 2.24 2.21 2.18 3/171 26445
/proc/meminfo: memFree=30351444/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 4333 0 1 0 7 1 0 0 20 0 18 0 30976580 9787879424 5453 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2389619 5454 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200324 s]
/proc/loadavg: 2.24 2.21 2.18 3/171 26445
/proc/meminfo: memFree=30351444/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 4690 0 1 0 22 2 0 0 20 0 18 0 30976580 9787879424 6770 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2389619 6778 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.24 2.21 2.18 3/171 26445
/proc/meminfo: memFree=30351444/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 5734 0 1 0 45 2 0 0 20 0 18 0 30976580 9787879424 8536 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2389619 8536 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700194 s]
/proc/loadavg: 2.24 2.21 2.18 3/171 26445
/proc/meminfo: memFree=30351444/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 10516 0 1 0 135 2 0 0 20 0 19 0 30976580 9856040960 17072 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2406260 17072 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.24 2.21 2.18 3/213 26520
/proc/meminfo: memFree=30234968/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 11438 0 1 0 228 2 0 0 20 0 19 0 30976580 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2406260 17102 2270 9 0 2396937 0
[pid=26445/tid=26447] ppid=26442 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/26445/task/26447/stat : 26447 (java) R 26442 26445 23975 0 -1 4202560 2437 0 1 0 143 2 0 0 20 0 19 0 30976581 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139769004343784 139768856398541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26448] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26448/stat : 26448 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768976796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768975743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768974690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768844822824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768843770792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768842718248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768841665192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768840612648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768358099304 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768357045624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768355992456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768354941200 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23975 0 -1 4202560 4148 0 0 0 46 0 0 0 20 0 19 0 30976587 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768353889080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23975 0 -1 4202560 3576 0 0 0 35 0 0 0 20 0 19 0 30976587 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768352836536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768351783672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768350731336 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26519] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26519/stat : 26519 (java) S 26442 26445 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976624 9856040960 17102 33554432000 1073741824 1073778376 140733869012624 139768349676584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.22 2.20 2.18 4/213 26520
/proc/meminfo: memFree=30230004/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 11441 0 1 0 391 2 0 0 20 0 19 0 30976580 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2406260 18126 2270 9 0 2396937 0
[pid=26445/tid=26447] ppid=26442 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/26445/task/26447/stat : 26447 (java) R 26442 26445 23975 0 -1 4202560 2440 0 1 0 303 2 0 0 20 0 19 0 30976581 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139769004334800 139768856364691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26448] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26448/stat : 26448 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768976796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768975743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768974690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768844822824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768843770792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768842718248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768841665192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768840612648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768358099304 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768357045624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768355992456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768354941200 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23975 0 -1 4202560 4148 0 0 0 48 0 0 0 20 0 19 0 30976587 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768353889080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23975 0 -1 4202560 3576 0 0 0 37 0 0 0 20 0 19 0 30976587 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768352836536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768351783672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768350731336 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26519] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26519/stat : 26519 (java) S 26442 26445 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976624 9856040960 18126 33554432000 1073741824 1073778376 140733869012624 139768349676584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.22 2.20 2.18 4/213 26520
/proc/meminfo: memFree=30213148/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9625040 CPUtime=7.15 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 11447 0 1 0 712 3 0 0 20 0 19 0 30976580 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2406260 20143 2271 9 0 2396937 0
[pid=26445/tid=26447] ppid=26442 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/26445/task/26447/stat : 26447 (java) R 26442 26445 23975 0 -1 4202560 2445 0 1 0 622 2 0 0 20 0 19 0 30976581 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139769004334784 139768856492666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26448] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26448/stat : 26448 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768976796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768975743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768974690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768844822824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768843770792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768842718248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768841665192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30976583 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768840612648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768358099304 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768357045624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768355992456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768354941200 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23975 0 -1 4202560 4148 0 0 0 48 0 0 0 20 0 19 0 30976587 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768353889080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23975 0 -1 4202560 3576 0 0 0 38 0 0 0 20 0 19 0 30976587 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768352836536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768351783672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768350731336 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26519] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26519/stat : 26519 (java) S 26442 26445 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976624 9856040960 20143 33554432000 1073741824 1073778376 140733869012624 139768349676584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625040


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

[pid=26445/tid=26457] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768357045624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768355992456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768354941200 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23975 0 -1 4202560 4148 0 0 0 48 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768353889080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23975 0 -1 4202560 3590 0 0 0 42 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768352836536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768351783672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23975 0 -1 4202560 100 0 0 0 33 38 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768350731336 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26519] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26519/stat : 26519 (java) S 26442 26445 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976624 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768349676584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.01
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.26 2.18 2.17 3/213 26565
/proc/meminfo: memFree=29555608/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9625040 CPUtime=1785.02 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 13762 0 1 0 178430 72 0 0 20 0 19 0 30976580 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2406260 108192 2285 9 0 2396937 0
[pid=26445/tid=26447] ppid=26442 vsize=9625040 CPUtime=1781.74 cores=1,3,5,7
/proc/26445/task/26447/stat : 26447 (java) R 26442 26445 23975 0 -1 4202560 2504 0 1 0 178143 31 0 0 20 0 19 0 30976581 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139769004334880 139768856515632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26448] ppid=26442 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26445/task/26448/stat : 26448 (java) S 26442 26445 23975 0 -1 4202560 213 0 0 0 22 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768976796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23975 0 -1 4202560 224 0 0 0 21 4 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768975743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23975 0 -1 4202560 459 0 0 0 21 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768974690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23975 0 -1 4202560 244 0 0 0 22 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768844822824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23975 0 -1 4202560 270 0 0 0 16 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768843770792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23975 0 -1 4202560 153 0 0 0 16 4 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768842718248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23975 0 -1 4202560 369 0 0 0 22 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768841665192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23975 0 -1 4202560 144 0 0 0 17 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768840612648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23975 0 -1 4202560 76 0 0 0 0 2 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768358099304 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768357045624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768355992456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768354941200 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23975 0 -1 4202560 4148 0 0 0 48 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768353889080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23975 0 -1 4202560 3590 0 0 0 42 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768352836536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768351783672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23975 0 -1 4202560 104 0 0 0 34 40 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768350731336 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26519] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26519/stat : 26519 (java) S 26442 26445 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976624 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768349676584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.3 s]
/proc/loadavg: 2.22 2.17 2.17 3/213 26565
/proc/meminfo: memFree=29555612/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 13762 0 1 0 179930 73 0 0 20 0 19 0 30976580 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2406260 108192 2285 9 0 2396937 0
[pid=26445/tid=26447] ppid=26442 vsize=9625040 CPUtime=1796.74 cores=1,3,5,7
/proc/26445/task/26447/stat : 26447 (java) R 26442 26445 23975 0 -1 4202560 2504 0 1 0 179643 31 0 0 20 0 19 0 30976581 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139769004334880 139768856515594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26448] ppid=26442 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26445/task/26448/stat : 26448 (java) S 26442 26445 23975 0 -1 4202560 213 0 0 0 22 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768976796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23975 0 -1 4202560 224 0 0 0 21 4 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768975743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23975 0 -1 4202560 459 0 0 0 21 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768974690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23975 0 -1 4202560 244 0 0 0 22 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768844822824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23975 0 -1 4202560 270 0 0 0 16 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768843770792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23975 0 -1 4202560 153 0 0 0 16 4 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768842718248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23975 0 -1 4202560 369 0 0 0 22 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768841665192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23975 0 -1 4202560 144 0 0 0 17 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768840612648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23975 0 -1 4202560 76 0 0 0 0 2 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768358099304 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768357045624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768355992456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768354941200 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23975 0 -1 4202560 4148 0 0 0 48 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768353889080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23975 0 -1 4202560 3590 0 0 0 42 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768352836536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768351783672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23975 0 -1 4202560 104 0 0 0 35 40 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768350731336 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26519] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26519/stat : 26519 (java) S 26442 26445 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976624 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768349676584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 26445 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.3 s]
/proc/loadavg: 2.22 2.17 2.17 3/213 26565
/proc/meminfo: memFree=29555612/32872528 swapFree=1392268/1580316
[pid=26445] ppid=26442 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/26445/stat : 26445 (java) S 26442 26445 23975 0 -1 4202496 13762 0 1 0 179930 73 0 0 20 0 19 0 30976580 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 140733869003760 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26445/statm: 2406260 108192 2285 9 0 2396937 0
[pid=26445/tid=26447] ppid=26442 vsize=9625040 CPUtime=1796.74 cores=1,3,5,7
/proc/26445/task/26447/stat : 26447 (java) R 26442 26445 23975 0 -1 4202560 2504 0 1 0 179643 31 0 0 20 0 19 0 30976581 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139769004334880 139768856515594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26448] ppid=26442 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26445/task/26448/stat : 26448 (java) S 26442 26445 23975 0 -1 4202560 213 0 0 0 22 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768976796072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23975 0 -1 4202560 224 0 0 0 21 4 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768975743528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23975 0 -1 4202560 459 0 0 0 21 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768974690472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23975 0 -1 4202560 244 0 0 0 22 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768844822824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23975 0 -1 4202560 270 0 0 0 16 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768843770792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23975 0 -1 4202560 153 0 0 0 16 4 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768842718248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23975 0 -1 4202560 369 0 0 0 22 5 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768841665192 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23975 0 -1 4202560 144 0 0 0 17 3 0 0 20 0 19 0 30976583 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768840612648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23975 0 -1 4202560 76 0 0 0 0 2 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768358099304 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768357045624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30976584 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768355992456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768354941200 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23975 0 -1 4202560 4148 0 0 0 48 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768353889080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23975 0 -1 4202560 3590 0 0 0 42 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768352836536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768351783672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23975 0 -1 4202560 104 0 0 0 35 40 0 0 20 0 19 0 30976587 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768350731336 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26445/tid=26519] ppid=26442 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26445/task/26519/stat : 26519 (java) S 26442 26445 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976624 9856040960 108192 33554432000 1073741824 1073778376 140733869012624 139768349676584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1797.34
CPU time (s): 1800.62
CPU user time (s): 1799.43
CPU system time (s): 1.19282
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 1.19282
maximum resident set size= 433416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13795
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38404
involuntary context switches= 5404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3491 second user time and 17.0444 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-27 00:16:34
IDJOB=4116657
IDBENCH=109497
IDSOLVER=2546
FILE ID=node139/4116657-1466979394
RUNJOBID= node139-1466956013-23992
PBS_JOBID= 19976371
Free space on /tmp= 71676 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-7.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116657-1466979394/watcher-4116657-1466979394 -o /tmp/evaluation-result-4116657-1466979394/solver-4116657-1466979394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23992 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116657-1466979394.opb

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

MD5SUM BENCH= 61ae36a4f676caa4ef52360a8e78a841
RANDOM SEED=1914725376

node139.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.394
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	: 5332.78
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.394
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.394
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.55
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.394
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.394
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.394
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.57
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.394
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.394
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:        30351864 kB
Buffers:           50416 kB
Cached:           182736 kB
SwapCached:         2156 kB
Active:            44648 kB
Inactive:         191600 kB
Active(anon):       4724 kB
Inactive(anon):     1120 kB
Active(file):      39924 kB
Inactive(file):   190480 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098796 kB
Dirty:              1248 kB
Writeback:             0 kB
AnonPages:       1582856 kB
Mapped:             7268 kB
Shmem:                 0 kB
Slab:             568936 kB
SReclaimable:      12768 kB
SUnreclaim:       556168 kB
KernelStack:        1424 kB
PageTables:         6860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1677620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71676 MiB
End job on node139 at 2016-06-27 00:46:31