Trace number 4117049

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.08 1798.13

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-3.opb
MD5SUMf6c76c9ee3b2b7a7912c204650cab285
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 variables4128
Total number of constraints8672
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints864
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.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	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.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4117049-1466959497.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  no objective function found
0.69/0.41	c ... done. Wall clock time 0.294s.
0.69/0.41	c declared #vars     4128
0.69/0.41	c #constraints  9920
0.69/0.41	c constraints type 
0.69/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.69/0.41	c org.sat4j.specs.Constr$1 => 872
0.69/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.69/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.69/0.41	c 9920 constraints processed.
1.62/1.06	c cleaning 2486 clauses out of 4999 with flag 15867/5001
2.39/1.71	c cleaning 4249 clauses out of 8512 with flag 36742/11000
3.09/2.45	c cleaning 5631 clauses out of 11263 with flag 62875/18000
4.02/3.34	c cleaning 6802 clauses out of 13632 with flag 96985/26000
5.02/4.38	c cleaning 7877 clauses out of 15830 with flag 136487/35000
6.23/5.53	c cleaning 8975 clauses out of 17955 with flag 182171/45002
7.52/6.81	c cleaning 9988 clauses out of 19980 with flag 234611/56002
9.02/8.31	c cleaning 10975 clauses out of 21991 with flag 293344/68001
10.63/9.92	c cleaning 12001 clauses out of 24015 with flag 357665/81000
12.32/11.67	c cleaning 12991 clauses out of 26014 with flag 429940/95000
14.33/13.66	c cleaning 14010 clauses out of 28024 with flag 507880/110001
16.53/15.80	c cleaning 14982 clauses out of 30013 with flag 593000/126000
18.83/18.11	c cleaning 16008 clauses out of 32031 with flag 684828/143000
21.32/20.61	c cleaning 17005 clauses out of 34025 with flag 784373/161002
23.93/23.29	c cleaning 18007 clauses out of 36018 with flag 887866/180000
26.92/26.24	c cleaning 18988 clauses out of 38011 with flag 999917/200000
30.02/29.36	c cleaning 19993 clauses out of 40024 with flag 1118933/221001
33.32/32.61	c cleaning 20994 clauses out of 42031 with flag 1246571/243001
36.83/36.16	c cleaning 22012 clauses out of 44037 with flag 1381615/266001
40.63/39.92	c cleaning 22994 clauses out of 46025 with flag 1523671/290001
44.53/43.83	c cleaning 23954 clauses out of 48032 with flag 1672639/315002
48.73/48.07	c cleaning 25026 clauses out of 50077 with flag 1828484/341001
53.23/52.54	c cleaning 26020 clauses out of 52050 with flag 1988889/368000
57.93/57.24	c cleaning 26949 clauses out of 54031 with flag 2154061/396001
62.78/62.08	c cleaning 28014 clauses out of 56083 with flag 2329503/425002
67.48/66.78	c cleaning 29015 clauses out of 58067 with flag 2511262/455000
72.58/71.86	c cleaning 30003 clauses out of 60052 with flag 2697701/486000
77.78/77.01	c cleaning 30988 clauses out of 62049 with flag 2889076/518000
83.18/82.46	c cleaning 32012 clauses out of 64061 with flag 3089194/551000
88.78/88.06	c cleaning 32997 clauses out of 66050 with flag 3296839/585001
94.79/94.02	c cleaning 33959 clauses out of 68052 with flag 3513965/620000
101.09/100.39	c cleaning 35019 clauses out of 70097 with flag 3734057/656004
107.89/107.12	c cleaning 36023 clauses out of 72074 with flag 3964516/693000
114.69/113.94	c cleaning 36982 clauses out of 74051 with flag 4198757/731000
121.99/121.22	c cleaning 38013 clauses out of 76070 with flag 4438511/770001
129.60/128.90	c cleaning 38964 clauses out of 78056 with flag 4684667/810000
137.50/136.70	c cleaning 40018 clauses out of 80092 with flag 4936560/851000
145.80/145.01	c cleaning 40991 clauses out of 82075 with flag 5196747/893001
154.30/153.58	c cleaning 42023 clauses out of 84083 with flag 5467787/936000
162.93/162.15	c cleaning 43017 clauses out of 86061 with flag 5742038/980001
171.54/170.72	c cleaning 44004 clauses out of 88043 with flag 6023100/1025000
180.64/179.81	c cleaning 45015 clauses out of 90039 with flag 6307140/1071000
189.93/189.18	c cleaning 46008 clauses out of 92024 with flag 6600660/1118000
199.63/198.81	c cleaning 46980 clauses out of 94017 with flag 6901194/1166001
209.53/208.71	c cleaning 48014 clauses out of 96036 with flag 7206104/1215000
219.94/219.11	c cleaning 48989 clauses out of 98022 with flag 7519747/1265000
230.75/229.94	c cleaning 50008 clauses out of 100034 with flag 7838763/1316001
241.75/241.00	c cleaning 50963 clauses out of 102025 with flag 8168682/1368000
253.34/252.53	c cleaning 51994 clauses out of 104063 with flag 8503227/1421001
265.25/264.44	c cleaning 53016 clauses out of 106069 with flag 8842472/1475001
277.39/276.52	c cleaning 53977 clauses out of 108052 with flag 9188382/1530000
289.59/288.72	c cleaning 55010 clauses out of 110076 with flag 9542225/1586001
302.40/301.53	c cleaning 55999 clauses out of 112066 with flag 9900902/1643001
315.61/314.72	c cleaning 56988 clauses out of 114067 with flag 10264765/1701001
329.20/328.35	c cleaning 58012 clauses out of 116078 with flag 10640641/1760000
343.21/342.37	c cleaning 59019 clauses out of 118066 with flag 11018736/1820000
357.51/356.62	c cleaning 60017 clauses out of 120048 with flag 11403516/1881001
372.52/371.64	c cleaning 60989 clauses out of 122031 with flag 11791797/1943001
387.83/386.93	c cleaning 62015 clauses out of 124042 with flag 12187702/2006001
403.17/402.27	c cleaning 62996 clauses out of 126026 with flag 12590936/2070000
418.97/418.09	c cleaning 63983 clauses out of 128030 with flag 12999553/2135000
435.37/434.42	c cleaning 65008 clauses out of 130047 with flag 13411877/2201000
452.11/451.19	c cleaning 65973 clauses out of 132039 with flag 13830964/2268000
469.31/468.36	c cleaning 67017 clauses out of 134066 with flag 14262267/2336000
487.02/486.07	c cleaning 68024 clauses out of 136049 with flag 14697869/2405000
504.82/503.85	c cleaning 69001 clauses out of 138025 with flag 15135768/2475000
523.43/522.50	c cleaning 69971 clauses out of 140024 with flag 15585910/2546000
542.39/541.32	c cleaning 71021 clauses out of 142053 with flag 16039000/2618000
561.70/560.68	c cleaning 71978 clauses out of 144032 with flag 16498903/2691000
581.80/580.74	c cleaning 73002 clauses out of 146054 with flag 16967477/2765000
602.61/601.52	c cleaning 74021 clauses out of 148052 with flag 17439674/2840000
623.72/622.63	c cleaning 75007 clauses out of 150031 with flag 17919366/2916000
644.92/643.88	c cleaning 75995 clauses out of 152024 with flag 18401248/2993000
666.92/665.85	c cleaning 76990 clauses out of 154029 with flag 18890030/3071000
688.97/687.83	c cleaning 78016 clauses out of 156041 with flag 19389744/3150002
711.37/710.23	c cleaning 78985 clauses out of 158023 with flag 19894033/3230000
734.38/733.29	c cleaning 80006 clauses out of 160038 with flag 20403623/3311000
758.18/757.04	c cleaning 80975 clauses out of 162034 with flag 20919362/3393002
782.09/780.94	c cleaning 82022 clauses out of 164057 with flag 21441504/3476000
807.10/805.92	c cleaning 82968 clauses out of 166035 with flag 21967589/3560000
832.55/831.35	c cleaning 84010 clauses out of 168067 with flag 22500999/3645000
858.17/856.91	c cleaning 85015 clauses out of 170057 with flag 23045155/3731000
884.26/883.08	c cleaning 86003 clauses out of 172042 with flag 23590482/3818000
911.57/910.32	c cleaning 86967 clauses out of 174039 with flag 24141287/3906000
938.77/937.59	c cleaning 88011 clauses out of 176072 with flag 24701097/3995000
966.98/965.72	c cleaning 89017 clauses out of 178061 with flag 25265774/4085000
995.63/994.40	c cleaning 90010 clauses out of 180044 with flag 25834489/4176000
1024.94/1023.61	c cleaning 91001 clauses out of 182035 with flag 26410885/4268001
1055.05/1053.73	c cleaning 91982 clauses out of 184033 with flag 26988187/4361000
1085.48/1084.19	c cleaning 93021 clauses out of 186051 with flag 27574687/4455000
1116.79/1115.41	c cleaning 94008 clauses out of 188032 with flag 28172424/4550002
1148.43/1147.07	c cleaning 95006 clauses out of 190022 with flag 28775437/4646000
1180.66/1179.29	c cleaning 95997 clauses out of 192016 with flag 29380625/4743000
1213.56/1212.12	c cleaning 96983 clauses out of 194020 with flag 30000018/4841001
1247.39/1245.93	c cleaning 98001 clauses out of 196036 with flag 30622387/4940000
1281.80/1280.27	c cleaning 98979 clauses out of 198035 with flag 31251134/5040000
1317.00/1315.45	c cleaning 100015 clauses out of 200056 with flag 31887673/5141000
1353.10/1351.58	c cleaning 101017 clauses out of 202043 with flag 32533028/5243002
1390.31/1388.78	c cleaning 101978 clauses out of 204024 with flag 33182009/5346000
1428.65/1426.99	c cleaning 102992 clauses out of 206046 with flag 33837795/5450000
1466.56/1464.81	c cleaning 104017 clauses out of 208054 with flag 34497117/5555000
1505.18/1503.44	c cleaning 104982 clauses out of 210037 with flag 35157640/5661000
1544.68/1542.96	c cleaning 105990 clauses out of 212055 with flag 35832981/5768000
1584.37/1582.55	c cleaning 107035 clauses out of 214069 with flag 36510385/5876004
1625.38/1623.60	c cleaning 107988 clauses out of 216032 with flag 37196577/5985002
1667.09/1665.25	c cleaning 108985 clauses out of 218042 with flag 37890364/6095000
1709.90/1708.02	c cleaning 110012 clauses out of 220060 with flag 38579283/6206003
1753.67/1751.70	c cleaning 110969 clauses out of 222048 with flag 39279505/6318003
1797.68/1795.74	c cleaning 111978 clauses out of 224077 with flag 39985340/6431001
1800.08/1798.10	c starts		: 54807
1800.08/1798.10	c conflicts		: 6439579
1800.08/1798.10	c decisions		: 66613896
1800.08/1798.10	c propagations		: 900571332
1800.08/1798.10	c inspects		: 24759484260
1800.08/1798.10	c shortcuts		: 0
1800.08/1798.10	c learnt literals	: 2
1800.08/1798.10	c learnt binary clauses	: 41
1800.08/1798.10	c learnt ternary clauses	: 620
1800.08/1798.10	c learnt constraints	: 6439577
1800.08/1798.10	c ignored constraints	: 0
1800.08/1798.10	c root simplifications	: 0
1800.08/1798.10	c removed literals (reason simplification)	: 0
1800.08/1798.10	c reason swapping (by a shorter reason)	: 0
1800.08/1798.10	c Calls to reduceDB	: 109
1800.08/1798.10	c Number of update (reduction) of LBD	: 1331615
1800.08/1798.10	c Imported unit clauses	: 0
1800.08/1798.10	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.10	c number of learned constraints concerned by reduction	: 0
1800.08/1798.10	c number of learning phase by resolution	: 0
1800.08/1798.10	c number of learning phase by cutting planes	: 0
1800.08/1798.10	c speed (assignments/second)	: 500960.8630641134
1800.08/1798.10	c non guided choices	13465
1800.08/1798.10	c timeout
1800.08/1798.13	c learnt constraints type 
1800.08/1798.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 41
1800.08/1798.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 120636
1800.08/1798.13	s UNKNOWN
1800.08/1798.13	c Total wall clock time (in seconds): 1798.014

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-4117049-1466959497/watcher-4117049-1466959497 -o /tmp/evaluation-result-4117049-1466959497/solver-4117049-1466959497 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466945036-19727 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4117049-1466959497.opb 

pid=22300
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.28 2.23 2.19 3/196 22303
/proc/meminfo: memFree=30140720/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/22303/stat : 22303 (java) D 22300 22303 19710 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 28988057 2560000 47 33554432000 1073741824 1073778376 140735092104768 140735092101896 273896533287 0 0 4096 0 18446744072100764964 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 625 47 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.28 2.23 2.19 3/196 22303
/proc/meminfo: memFree=30140720/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 4388 0 1 0 7 1 0 0 20 0 18 0 28988057 9787879424 6024 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2389619 6024 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200266 s]
/proc/loadavg: 2.28 2.23 2.19 3/196 22303
/proc/meminfo: memFree=30140720/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 4928 0 1 0 24 1 0 0 20 0 18 0 28988057 9787879424 6990 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2389619 6990 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 2.28 2.23 2.19 3/196 22303
/proc/meminfo: memFree=30140720/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 5767 0 1 0 47 1 0 0 20 0 18 0 28988057 9787879424 8965 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2389619 8965 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.7002 s]
/proc/loadavg: 2.28 2.23 2.19 3/196 22303
/proc/meminfo: memFree=30140720/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 8370 0 1 0 126 2 0 0 20 0 19 0 28988057 9856040960 15420 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2406260 15420 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.28 2.23 2.19 3/215 22322
/proc/meminfo: memFree=30087480/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 8878 0 1 0 214 2 0 0 20 0 19 0 28988057 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2406260 15924 2270 9 0 2396937 0
[pid=22303/tid=22305] ppid=22300 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (java) R 22300 22303 19710 0 -1 4202560 2421 0 1 0 144 2 0 0 20 0 19 0 28988058 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354286534936 140354112841413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22306] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354248026280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22307] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22307/stat : 22307 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354246973736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22308] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22308/stat : 22308 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354245921192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22309] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22309/stat : 22309 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354244868648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22310] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22310/stat : 22310 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354243816104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22311] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22311/stat : 22311 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354242763560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22312] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22312/stat : 22312 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354241711016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22313] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22313/stat : 22313 (java) S 22300 22303 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354240658472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22314] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22314/stat : 22314 (java) S 22300 22303 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354110081128 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22315] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22315/stat : 22315 (java) S 22300 22303 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354109027448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22316] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22316/stat : 22316 (java) S 22300 22303 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354107974792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22317] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22317/stat : 22317 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354106923536 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22318] ppid=22300 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/22303/task/22318/stat : 22318 (java) S 22300 22303 19710 0 -1 4202560 3518 0 0 0 37 0 0 0 20 0 19 0 28988063 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354105870904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22319] ppid=22300 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/22303/task/22319/stat : 22319 (java) S 22300 22303 19710 0 -1 4202560 1661 0 0 0 31 0 0 0 20 0 19 0 28988063 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354104818360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22320] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22320/stat : 22320 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354103766008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22321] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22321/stat : 22321 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354102713672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22322] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22322/stat : 22322 (java) S 22300 22303 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28988099 9856040960 15924 33554432000 1073741824 1073778376 140735092104768 140354101658408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.28 2.23 2.19 3/215 22322
/proc/meminfo: memFree=30082888/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 8881 0 1 0 378 3 0 0 20 0 19 0 28988057 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2406260 16948 2270 9 0 2396937 0
[pid=22303/tid=22305] ppid=22300 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (java) R 22300 22303 19710 0 -1 4202560 2424 0 1 0 303 2 0 0 20 0 19 0 28988058 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354286535160 140354112258086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354248026280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22307] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22307/stat : 22307 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354246973736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22308] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22308/stat : 22308 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354245921192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22309] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22309/stat : 22309 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354244868648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22310] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22310/stat : 22310 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354243816104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22311] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22311/stat : 22311 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354242763560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22312] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22312/stat : 22312 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354241711016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22313] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22313/stat : 22313 (java) S 22300 22303 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354240658472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22314] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22314/stat : 22314 (java) S 22300 22303 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354110081128 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22315] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22315/stat : 22315 (java) S 22300 22303 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354109027448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22316] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22316/stat : 22316 (java) S 22300 22303 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354107974792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22317] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22317/stat : 22317 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354106923536 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22318] ppid=22300 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22303/task/22318/stat : 22318 (java) S 22300 22303 19710 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 28988063 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354105870904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22319] ppid=22300 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/22303/task/22319/stat : 22319 (java) S 22300 22303 19710 0 -1 4202560 1661 0 0 0 33 0 0 0 20 0 19 0 28988063 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354104818360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22320] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22320/stat : 22320 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354103766008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22321] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22321/stat : 22321 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354102713672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22322] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22322/stat : 22322 (java) S 22300 22303 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28988099 9856040960 16948 33554432000 1073741824 1073778376 140735092104768 140354101658408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.25 2.22 2.19 3/215 22322
/proc/meminfo: memFree=30076812/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9625040 CPUtime=7.02 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 8886 0 1 0 699 3 0 0 20 0 19 0 28988057 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2406260 18202 2271 9 0 2396937 0
[pid=22303/tid=22305] ppid=22300 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (java) R 22300 22303 19710 0 -1 4202560 2428 0 1 0 622 2 0 0 20 0 19 0 28988058 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354286526144 140354112804454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354248026280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22307] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22307/stat : 22307 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354246973736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22308] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22308/stat : 22308 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354245921192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22309] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22309/stat : 22309 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354244868648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22310] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22310/stat : 22310 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354243816104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22311] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22311/stat : 22311 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354242763560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22312] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22312/stat : 22312 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354241711016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22313] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22313/stat : 22313 (java) S 22300 22303 19710 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28988059 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354240658472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22314] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22314/stat : 22314 (java) S 22300 22303 19710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354110081128 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22315] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22315/stat : 22315 (java) S 22300 22303 19710 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354109027448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22316] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22316/stat : 22316 (java) S 22300 22303 19710 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354107974792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22317] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22317/stat : 22317 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354106923536 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22318] ppid=22300 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22303/task/22318/stat : 22318 (java) S 22300 22303 19710 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 28988063 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354105870904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22319] ppid=22300 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22303/task/22319/stat : 22319 (java) S 22300 22303 19710 0 -1 4202560 1661 0 0 0 34 0 0 0 20 0 19 0 28988063 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354104818360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22320] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22320/stat : 22320 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354103766008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22321] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22321/stat : 22321 (java) S 22300 22303 19710 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354102713672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22322] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22322/stat : 22322 (java) S 22300 22303 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28988099 9856040960 18202 33554432000 1073741824 1073778376 140735092104768 140354101658408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9625040


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

[pid=22303/tid=22322] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22322/stat : 22322 (java) S 22300 22303 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28988099 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354101658408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.26
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/215 22456
/proc/meminfo: memFree=29855428/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9625040 CPUtime=1784.28 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 10438 0 1 0 178368 60 0 0 20 0 19 0 28988057 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2406260 75310 2285 9 0 2396937 0
[pid=22303/tid=22305] ppid=22300 vsize=9625040 CPUtime=1777.34 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (java) R 22300 22303 19710 0 -1 4202560 2485 0 1 0 177703 31 0 0 20 0 19 0 28988058 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354286526240 140354112827650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (java) S 22300 22303 19710 0 -1 4202560 63 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354248026280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22307] ppid=22300 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22303/task/22307/stat : 22307 (java) S 22300 22303 19710 0 -1 4202560 214 0 0 0 10 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354246973736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22308] ppid=22300 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22303/task/22308/stat : 22308 (java) S 22300 22303 19710 0 -1 4202560 29 0 0 0 10 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354245921192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22309] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22309/stat : 22309 (java) S 22300 22303 19710 0 -1 4202560 226 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354244868648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22310] ppid=22300 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/22303/task/22310/stat : 22310 (java) S 22300 22303 19710 0 -1 4202560 54 0 0 0 10 3 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354243816104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22311] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22311/stat : 22311 (java) S 22300 22303 19710 0 -1 4202560 151 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354242763560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22312] ppid=22300 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/22303/task/22312/stat : 22312 (java) S 22300 22303 19710 0 -1 4202560 48 0 0 0 9 1 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354241711016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22313] ppid=22300 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/22303/task/22313/stat : 22313 (java) S 22300 22303 19710 0 -1 4202560 126 0 0 0 9 1 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354240658472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22314] ppid=22300 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/22303/task/22314/stat : 22314 (java) S 22300 22303 19710 0 -1 4202560 48 0 0 0 0 2 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354110081128 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22315] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22315/stat : 22315 (java) S 22300 22303 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354109027448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22316] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22316/stat : 22316 (java) S 22300 22303 19710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354107974792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22317] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22317/stat : 22317 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354106923536 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22318] ppid=22300 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22303/task/22318/stat : 22318 (java) S 22300 22303 19710 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354105870904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22319] ppid=22300 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/22303/task/22319/stat : 22319 (java) S 22300 22303 19710 0 -1 4202560 2108 0 0 0 38 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354104818360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22320] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22320/stat : 22320 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354103766008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22321] ppid=22300 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/22303/task/22321/stat : 22321 (java) S 22300 22303 19710 0 -1 4202560 104 0 0 0 36 42 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354102713672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22322] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22322/stat : 22322 (java) S 22300 22303 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28988099 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354101658408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.28
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 2.24 2.26 2.20 3/215 22456
/proc/meminfo: memFree=29855556/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 10438 0 1 0 179948 60 0 0 20 0 19 0 28988057 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2406260 75310 2285 9 0 2396937 0
[pid=22303/tid=22305] ppid=22300 vsize=9625040 CPUtime=1793.1 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (java) R 22300 22303 19710 0 -1 4202560 2485 0 1 0 179279 31 0 0 20 0 19 0 28988058 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354286526240 140354112827650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (java) S 22300 22303 19710 0 -1 4202560 63 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354248026280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22307] ppid=22300 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22303/task/22307/stat : 22307 (java) S 22300 22303 19710 0 -1 4202560 214 0 0 0 10 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354246973736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22308] ppid=22300 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22303/task/22308/stat : 22308 (java) S 22300 22303 19710 0 -1 4202560 29 0 0 0 10 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354245921192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22309] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22309/stat : 22309 (java) S 22300 22303 19710 0 -1 4202560 226 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354244868648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22310] ppid=22300 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/22303/task/22310/stat : 22310 (java) S 22300 22303 19710 0 -1 4202560 54 0 0 0 10 3 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354243816104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22311] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22311/stat : 22311 (java) S 22300 22303 19710 0 -1 4202560 151 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354242763560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22312] ppid=22300 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/22303/task/22312/stat : 22312 (java) S 22300 22303 19710 0 -1 4202560 48 0 0 0 9 1 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354241711016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22313] ppid=22300 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/22303/task/22313/stat : 22313 (java) S 22300 22303 19710 0 -1 4202560 126 0 0 0 9 1 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354240658472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22314] ppid=22300 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/22303/task/22314/stat : 22314 (java) S 22300 22303 19710 0 -1 4202560 48 0 0 0 0 2 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354110081128 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22315] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22315/stat : 22315 (java) S 22300 22303 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354109027448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22316] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22316/stat : 22316 (java) S 22300 22303 19710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354107974792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22317] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22317/stat : 22317 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354106923536 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22318] ppid=22300 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22303/task/22318/stat : 22318 (java) S 22300 22303 19710 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354105870904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22319] ppid=22300 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/22303/task/22319/stat : 22319 (java) S 22300 22303 19710 0 -1 4202560 2108 0 0 0 38 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354104818360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22320] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22320/stat : 22320 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354103766008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22321] ppid=22300 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/22303/task/22321/stat : 22321 (java) S 22300 22303 19710 0 -1 4202560 104 0 0 0 36 42 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354102713672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22322] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22322/stat : 22322 (java) S 22300 22303 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28988099 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354101658408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 22303 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.1 s]
/proc/loadavg: 2.24 2.26 2.20 3/215 22456
/proc/meminfo: memFree=29855556/32872528 swapFree=1491540/1663236
[pid=22303] ppid=22300 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/22303/stat : 22303 (java) S 22300 22303 19710 0 -1 4202496 10438 0 1 0 179948 60 0 0 20 0 19 0 28988057 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140735092095904 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22303/statm: 2406260 75310 2285 9 0 2396937 0
[pid=22303/tid=22305] ppid=22300 vsize=9625040 CPUtime=1793.1 cores=1,3,5,7
/proc/22303/task/22305/stat : 22305 (java) R 22300 22303 19710 0 -1 4202560 2485 0 1 0 179279 31 0 0 20 0 19 0 28988058 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354286526240 140354112827650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22306] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22306/stat : 22306 (java) S 22300 22303 19710 0 -1 4202560 63 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354248026280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22307] ppid=22300 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22303/task/22307/stat : 22307 (java) S 22300 22303 19710 0 -1 4202560 214 0 0 0 10 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354246973736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22303/tid=22308] ppid=22300 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/22303/task/22308/stat : 22308 (java) S 22300 22303 19710 0 -1 4202560 29 0 0 0 10 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354245921192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22309] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22309/stat : 22309 (java) S 22300 22303 19710 0 -1 4202560 226 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354244868648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22310] ppid=22300 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/22303/task/22310/stat : 22310 (java) S 22300 22303 19710 0 -1 4202560 54 0 0 0 10 3 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354243816104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22311] ppid=22300 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/22303/task/22311/stat : 22311 (java) S 22300 22303 19710 0 -1 4202560 151 0 0 0 12 2 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354242763560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22312] ppid=22300 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/22303/task/22312/stat : 22312 (java) S 22300 22303 19710 0 -1 4202560 48 0 0 0 9 1 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354241711016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22313] ppid=22300 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/22303/task/22313/stat : 22313 (java) S 22300 22303 19710 0 -1 4202560 126 0 0 0 9 1 0 0 20 0 19 0 28988059 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354240658472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22314] ppid=22300 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/22303/task/22314/stat : 22314 (java) S 22300 22303 19710 0 -1 4202560 48 0 0 0 0 2 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354110081128 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22315] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22315/stat : 22315 (java) S 22300 22303 19710 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354109027448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22316] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22316/stat : 22316 (java) S 22300 22303 19710 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28988061 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354107974792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22317] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22317/stat : 22317 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354106923536 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22318] ppid=22300 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22303/task/22318/stat : 22318 (java) S 22300 22303 19710 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354105870904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22319] ppid=22300 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/22303/task/22319/stat : 22319 (java) S 22300 22303 19710 0 -1 4202560 2108 0 0 0 38 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354104818360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22303/tid=22320] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22320/stat : 22320 (java) S 22300 22303 19710 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354103766008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22303/tid=22321] ppid=22300 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/22303/task/22321/stat : 22321 (java) S 22300 22303 19710 0 -1 4202560 104 0 0 0 36 42 0 0 20 0 19 0 28988063 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354102713672 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22303/tid=22322] ppid=22300 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22303/task/22322/stat : 22322 (java) S 22300 22303 19710 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28988099 9856040960 75310 33554432000 1073741824 1073778376 140735092104768 140354101658408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22303 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=930129
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=51840
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.13
CPU time (s): 1800.08
CPU user time (s): 1799.48
CPU system time (s): 0.6
CPU usage (%): 100.108
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.05184
maximum resident set size= 301360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10473
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38406
involuntary context switches= 3708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6414 second user time and 14.0129 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-26 18:44:58
IDJOB=4117049
IDBENCH=109546
IDSOLVER=2546
FILE ID=node134/4117049-1466959497
RUNJOBID= node134-1466945036-19727
PBS_JOBID= 19976362
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117049-1466959497/watcher-4117049-1466959497 -o /tmp/evaluation-result-4117049-1466959497/solver-4117049-1466959497 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466945036-19727 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4117049-1466959497.opb

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

MD5SUM BENCH= f6c76c9ee3b2b7a7912c204650cab285
RANDOM SEED=1730779125

node134.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		: 2667.170
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	: 5334.34
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		: 2667.170
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		: 2667.170
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.54
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		: 2667.170
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.56
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		: 2667.170
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.57
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		: 2667.170
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	: 5317.19
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		: 2667.170
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		: 2667.170
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30141512 kB
Buffers:           21704 kB
Cached:           111424 kB
SwapCached:         1316 kB
Active:           258608 kB
Inactive:         110864 kB
Active(anon):     236112 kB
Inactive(anon):     2484 kB
Active(file):      22496 kB
Inactive(file):   108380 kB
Unevictable:     1663236 kB
Mlocked:         1491540 kB
SwapTotal:      67108856 kB
SwapFree:       67099124 kB
Dirty:              1196 kB
Writeback:             0 kB
AnonPages:       2000448 kB
Mapped:            15396 kB
Shmem:                 0 kB
Slab:             565172 kB
SReclaimable:       8924 kB
SUnreclaim:       556248 kB
KernelStack:        1776 kB
PageTables:         8236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2358456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 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= 71692 MiB
End job on node134 at 2016-06-26 19:14:56