Trace number 4116897

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.03 1797.54

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-0.opb
MD5SUMcb6970291396a46a7f7f877e2dc367cc
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 constraints9456
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)368
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.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.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@2b21cc40
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@7c64dc11
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4116897-1466969454.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.66/0.42	c ... done. Wall clock time 0.307s.
0.66/0.42	c declared #vars     4288
0.66/0.42	c #constraints  10720
0.66/0.42	c constraints type 
0.66/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.66/0.42	c org.sat4j.specs.Constr$1 => 856
0.66/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.66/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 456
0.66/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.66/0.42	c 10720 constraints processed.
1.75/1.11	c cleaning 2493 clauses out of 4998 with flag 15433/5000
2.71/1.77	c cleaning 4226 clauses out of 8506 with flag 37953/11001
3.51/2.53	c cleaning 5620 clauses out of 11279 with flag 65092/18000
4.44/3.44	c cleaning 6816 clauses out of 13659 with flag 97074/26000
5.45/4.45	c cleaning 7913 clauses out of 15843 with flag 135415/35000
6.65/5.60	c cleaning 8962 clauses out of 17930 with flag 179562/45000
7.94/6.92	c cleaning 9953 clauses out of 19970 with flag 229520/56002
9.34/8.37	c cleaning 10978 clauses out of 22016 with flag 285520/68001
10.95/9.98	c cleaning 11982 clauses out of 24038 with flag 349295/81001
12.74/11.70	c cleaning 13024 clauses out of 26055 with flag 419138/95000
14.64/13.61	c cleaning 13993 clauses out of 28032 with flag 495777/110001
16.75/15.71	c cleaning 15009 clauses out of 30038 with flag 576563/126000
19.05/18.01	c cleaning 16007 clauses out of 32029 with flag 665125/143000
21.44/20.46	c cleaning 16996 clauses out of 34023 with flag 760358/161001
23.94/22.97	c cleaning 18001 clauses out of 36026 with flag 861601/180000
26.75/25.76	c cleaning 18970 clauses out of 38027 with flag 969291/200002
29.76/28.77	c cleaning 19999 clauses out of 40055 with flag 1085395/221000
33.05/32.01	c cleaning 21023 clauses out of 42056 with flag 1207026/243000
36.55/35.51	c cleaning 21999 clauses out of 44033 with flag 1337209/266000
40.24/39.24	c cleaning 22986 clauses out of 46035 with flag 1475801/290001
44.14/43.12	c cleaning 24001 clauses out of 48048 with flag 1616690/315000
48.14/47.15	c cleaning 25003 clauses out of 50048 with flag 1770679/341001
52.44/51.47	c cleaning 26007 clauses out of 52045 with flag 1926365/368001
56.87/55.83	c cleaning 26970 clauses out of 54037 with flag 2086644/396000
61.37/60.34	c cleaning 27943 clauses out of 56068 with flag 2255753/425001
65.87/64.85	c cleaning 29050 clauses out of 58124 with flag 2432859/455000
70.77/69.75	c cleaning 29976 clauses out of 60076 with flag 2617256/486002
75.77/74.72	c cleaning 31027 clauses out of 62098 with flag 2808057/518000
81.07/80.10	c cleaning 31998 clauses out of 64072 with flag 3004402/551001
86.77/85.75	c cleaning 33021 clauses out of 66074 with flag 3205288/585001
92.58/91.56	c cleaning 34006 clauses out of 68054 with flag 3413892/620002
98.68/97.67	c cleaning 35024 clauses out of 70048 with flag 3628568/656002
104.98/103.98	c cleaning 35988 clauses out of 72022 with flag 3849327/693000
111.78/110.79	c cleaning 36999 clauses out of 74035 with flag 4078478/731001
118.89/117.82	c cleaning 38010 clauses out of 76035 with flag 4318242/770000
126.08/125.02	c cleaning 39006 clauses out of 78026 with flag 4559792/810001
133.58/132.58	c cleaning 39986 clauses out of 80019 with flag 4806668/851000
141.58/140.50	c cleaning 40947 clauses out of 82035 with flag 5064281/893002
149.31/148.21	c cleaning 42027 clauses out of 84087 with flag 5326124/936001
157.22/156.17	c cleaning 42996 clauses out of 86059 with flag 5597218/980000
165.62/164.54	c cleaning 44004 clauses out of 88063 with flag 5873741/1025000
174.22/173.19	c cleaning 44987 clauses out of 90059 with flag 6150916/1071000
183.22/182.11	c cleaning 46004 clauses out of 92072 with flag 6439322/1118000
192.52/191.45	c cleaning 47009 clauses out of 94068 with flag 6735319/1166000
202.12/201.09	c cleaning 48016 clauses out of 96059 with flag 7037145/1215000
212.12/211.03	c cleaning 48982 clauses out of 98043 with flag 7343771/1265000
222.41/221.39	c cleaning 50010 clauses out of 100061 with flag 7659158/1316000
233.42/232.33	c cleaning 50972 clauses out of 102051 with flag 7979416/1368000
244.62/243.54	c cleaning 52016 clauses out of 104081 with flag 8307402/1421002
255.64/254.54	c cleaning 53018 clauses out of 106063 with flag 8641775/1475000
266.85/265.79	c cleaning 54008 clauses out of 108045 with flag 8977986/1530000
278.65/277.51	c cleaning 54981 clauses out of 110037 with flag 9324904/1586000
290.66/289.54	c cleaning 55985 clauses out of 112056 with flag 9682806/1643000
303.15/302.04	c cleaning 56926 clauses out of 114072 with flag 10045726/1701001
315.86/314.72	c cleaning 58033 clauses out of 116145 with flag 10410523/1760000
329.06/327.98	c cleaning 59038 clauses out of 118112 with flag 10782676/1820000
342.56/341.47	c cleaning 60022 clauses out of 120074 with flag 11161584/1881000
356.93/355.76	c cleaning 61018 clauses out of 122052 with flag 11538153/1943000
370.94/369.73	c cleaning 61990 clauses out of 124034 with flag 11926765/2006000
385.73/384.57	c cleaning 63014 clauses out of 126044 with flag 12320397/2070000
400.84/399.64	c cleaning 63997 clauses out of 128030 with flag 12722478/2135000
416.25/415.02	c cleaning 64981 clauses out of 130034 with flag 13129215/2201001
432.16/430.90	c cleaning 66009 clauses out of 132053 with flag 13540034/2268001
448.97/447.79	c cleaning 67012 clauses out of 134043 with flag 13958604/2336000
466.97/465.75	c cleaning 67992 clauses out of 136032 with flag 14384904/2405001
484.98/483.63	c cleaning 68998 clauses out of 138041 with flag 14815368/2475002
502.68/501.33	c cleaning 70016 clauses out of 140041 with flag 15247462/2546000
520.78/519.44	c cleaning 70973 clauses out of 142026 with flag 15693426/2618001
539.19/537.82	c cleaning 71973 clauses out of 144053 with flag 16144965/2691001
558.69/557.31	c cleaning 73020 clauses out of 146079 with flag 16598277/2765000
578.28/576.97	c cleaning 73975 clauses out of 148060 with flag 17061577/2840001
598.59/597.28	c cleaning 75018 clauses out of 150084 with flag 17532865/2916000
619.19/617.74	c cleaning 76013 clauses out of 152066 with flag 18011914/2993000
639.99/638.52	c cleaning 77005 clauses out of 154053 with flag 18492735/3071000
662.09/660.61	c cleaning 78001 clauses out of 156048 with flag 18984359/3150000
684.59/683.12	c cleaning 79013 clauses out of 158047 with flag 19474679/3230000
707.38/705.92	c cleaning 79936 clauses out of 160035 with flag 19970899/3311001
731.09/729.68	c cleaning 81036 clauses out of 162098 with flag 20479435/3393000
754.89/753.32	c cleaning 82016 clauses out of 164063 with flag 20995662/3476001
778.79/777.24	c cleaning 82993 clauses out of 166046 with flag 21508530/3560000
803.09/801.50	c cleaning 83985 clauses out of 168053 with flag 22036666/3645000
827.89/826.34	c cleaning 84991 clauses out of 170069 with flag 22567034/3731001
853.40/851.84	c cleaning 86011 clauses out of 172077 with flag 23104419/3818000
879.32/877.69	c cleaning 87010 clauses out of 174066 with flag 23652349/3906000
906.13/904.42	c cleaning 88005 clauses out of 176056 with flag 24199082/3995000
932.83/931.17	c cleaning 89014 clauses out of 178052 with flag 24755045/4085001
960.43/958.77	c cleaning 89985 clauses out of 180037 with flag 25313467/4176000
989.14/987.41	c cleaning 91001 clauses out of 182052 with flag 25879295/4268000
1018.33/1016.53	c cleaning 92008 clauses out of 184051 with flag 26445944/4361000
1047.62/1045.80	c cleaning 92999 clauses out of 186047 with flag 27026836/4455004
1077.64/1075.89	c cleaning 94003 clauses out of 188044 with flag 27610525/4550000
1108.43/1106.64	c cleaning 95008 clauses out of 190041 with flag 28206190/4646000
1139.53/1137.60	c cleaning 95971 clauses out of 192034 with flag 28800163/4743001
1171.04/1169.16	c cleaning 96959 clauses out of 194062 with flag 29405756/4841000
1203.94/1202.09	c cleaning 98024 clauses out of 196103 with flag 30013962/4940000
1236.84/1234.97	c cleaning 98994 clauses out of 198080 with flag 30623446/5040001
1271.10/1269.08	c cleaning 100035 clauses out of 200087 with flag 31244491/5141002
1305.49/1303.41	c cleaning 101006 clauses out of 202051 with flag 31870533/5243001
1340.61/1338.54	c cleaning 102006 clauses out of 204044 with flag 32495596/5346000
1376.74/1374.51	c cleaning 103009 clauses out of 206039 with flag 33136971/5450001
1413.35/1411.15	c cleaning 103971 clauses out of 208030 with flag 33778685/5555001
1451.06/1448.87	c cleaning 105020 clauses out of 210058 with flag 34426411/5661000
1489.16/1486.94	c cleaning 106012 clauses out of 212038 with flag 35083450/5768000
1527.77/1525.42	c cleaning 106991 clauses out of 214029 with flag 35746136/5876003
1567.07/1564.76	c cleaning 107998 clauses out of 216035 with flag 36410927/5985000
1607.18/1604.89	c cleaning 109014 clauses out of 218037 with flag 37089278/6095000
1649.76/1647.36	c cleaning 109977 clauses out of 220023 with flag 37771784/6206000
1694.15/1691.74	c cleaning 110976 clauses out of 222047 with flag 38460005/6318001
1738.25/1735.81	c cleaning 111989 clauses out of 224070 with flag 39146401/6431000
1781.42/1778.93	c cleaning 113021 clauses out of 226082 with flag 39840769/6545001
1800.03/1797.51	c starts		: 46863
1800.03/1797.51	c conflicts		: 6603053
1800.03/1797.51	c decisions		: 63775678
1800.03/1797.51	c propagations		: 898176553
1800.03/1797.51	c inspects		: 23583818483
1800.03/1797.51	c shortcuts		: 0
1800.03/1797.51	c learnt literals	: 2
1800.03/1797.51	c learnt binary clauses	: 34
1800.03/1797.51	c learnt ternary clauses	: 492
1800.03/1797.51	c learnt constraints	: 6603051
1800.03/1797.51	c ignored constraints	: 0
1800.03/1797.51	c root simplifications	: 0
1800.03/1797.51	c removed literals (reason simplification)	: 0
1800.03/1797.51	c reason swapping (by a shorter reason)	: 0
1800.03/1797.51	c Calls to reduceDB	: 110
1800.03/1797.51	c Number of update (reduction) of LBD	: 1375748
1800.03/1797.51	c Imported unit clauses	: 0
1800.03/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.51	c number of learned constraints concerned by reduction	: 0
1800.03/1797.51	c number of learning phase by resolution	: 0
1800.03/1797.51	c number of learning phase by cutting planes	: 0
1800.03/1797.51	c speed (assignments/second)	: 499798.0350335183
1800.03/1797.51	c non guided choices	30345
1800.03/1797.51	c timeout
1800.03/1797.54	c learnt constraints type 
1800.03/1797.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 34
1800.03/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 171079
1800.03/1797.54	s UNKNOWN
1800.03/1797.54	c Total wall clock time (in seconds): 1797.42

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-4116897-1466969454/watcher-4116897-1466969454 -o /tmp/evaluation-result-4116897-1466969454/solver-4116897-1466969454 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26458 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116897-1466969454.opb 

pid=29850
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.25 2.20 2.11 3/195 29853
/proc/meminfo: memFree=31145016/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/29853/stat : 29853 (java) D 29850 29853 26442 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 29983288 2560000 46 33554432000 1073741824 1073778376 140733960462736 140733960459864 206619897127 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.25 2.20 2.11 3/195 29853
/proc/meminfo: memFree=31145016/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 4452 0 1 0 7 1 0 0 20 0 18 0 29983288 9787879424 5563 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2389619 5563 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.25 2.20 2.11 3/195 29853
/proc/meminfo: memFree=31145016/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 4774 0 1 0 23 1 0 0 20 0 18 0 29983288 9787879424 6334 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2389619 6334 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300229 s]
/proc/loadavg: 2.25 2.20 2.11 3/195 29853
/proc/meminfo: memFree=31145016/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 5840 0 1 0 46 1 0 0 20 0 18 0 29983288 9787879424 8536 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2389619 8536 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700182 s]
/proc/loadavg: 2.25 2.20 2.11 3/195 29853
/proc/meminfo: memFree=31145016/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9625040 CPUtime=1.31 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 8800 0 1 0 128 3 0 0 20 0 19 0 29983288 9856040960 15367 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2406260 15367 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.25 2.20 2.11 5/214 29872
/proc/meminfo: memFree=31091492/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 15206 0 1 0 245 3 0 0 20 0 19 0 29983288 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2406260 20123 2269 9 0 2396937 0
[pid=29853/tid=29855] ppid=29850 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (java) R 29850 29853 26442 0 -1 4202560 2493 0 1 0 144 2 0 0 20 0 19 0 29983289 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664481307992 139664421653438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29856] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664420039080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29857] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29857/stat : 29857 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664418986536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29858] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29858/stat : 29858 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664322934952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29859] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29859/stat : 29859 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664321882408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29860] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29860/stat : 29860 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664320830376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29861] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29861/stat : 29861 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664319777832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29862] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29862/stat : 29862 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664318724776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29863] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29863/stat : 29863 (java) S 29850 29853 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664317672232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29864] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29864/stat : 29864 (java) S 29850 29853 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664305473896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29865] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29865/stat : 29865 (java) S 29850 29853 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664304420216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29866] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29866/stat : 29866 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664303367048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29867] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29867/stat : 29867 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664302315792 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29868] ppid=29850 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/29853/task/29868/stat : 29868 (java) S 29850 29853 26442 0 -1 4202560 9106 0 0 0 67 2 0 0 20 0 19 0 29983294 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664301263672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29869] ppid=29850 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/29853/task/29869/stat : 29869 (java) S 29850 29853 26442 0 -1 4202560 2336 0 0 0 30 0 0 0 20 0 19 0 29983294 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664300211128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29870] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29870/stat : 29870 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664299158264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29871] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29871/stat : 29871 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664298105928 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29872] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29872/stat : 29872 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983331 9856040960 20123 33554432000 1073741824 1073778376 140733960462736 139664297051176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.23 2.19 2.11 3/214 29872
/proc/meminfo: memFree=31070408/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9625040 CPUtime=4.13 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 15210 0 1 0 409 4 0 0 20 0 19 0 29983288 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2406260 21148 2270 9 0 2396937 0
[pid=29853/tid=29855] ppid=29850 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (java) R 29850 29853 26442 0 -1 4202560 2496 0 1 0 304 2 0 0 20 0 19 0 29983289 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664481300176 139664421608046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29856] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664420039080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29857] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29857/stat : 29857 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664418986536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29858] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29858/stat : 29858 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664322934952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29859] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29859/stat : 29859 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664321882408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29860] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29860/stat : 29860 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664320830376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29861] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29861/stat : 29861 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664319777832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29862] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29862/stat : 29862 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664318724776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29863] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29863/stat : 29863 (java) S 29850 29853 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664317672232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29864] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29864/stat : 29864 (java) S 29850 29853 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664305473896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29865] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29865/stat : 29865 (java) S 29850 29853 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664304420216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29866] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29866/stat : 29866 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664303367048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29867] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29867/stat : 29867 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664302315792 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29868] ppid=29850 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/29853/task/29868/stat : 29868 (java) S 29850 29853 26442 0 -1 4202560 9107 0 0 0 70 2 0 0 20 0 19 0 29983294 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664301263672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29869] ppid=29850 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/29853/task/29869/stat : 29869 (java) S 29850 29853 26442 0 -1 4202560 2336 0 0 0 32 0 0 0 20 0 19 0 29983294 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664300211128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29870] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29870/stat : 29870 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664299158264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29871] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29871/stat : 29871 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664298105928 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29872] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29872/stat : 29872 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983331 9856040960 21148 33554432000 1073741824 1073778376 140733960462736 139664297051176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.23 2.19 2.11 3/214 29872
/proc/meminfo: memFree=31064812/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9625040 CPUtime=7.34 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 15218 0 1 0 730 4 0 0 20 0 19 0 29983288 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2406260 22430 2271 9 0 2396937 0
[pid=29853/tid=29855] ppid=29850 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (java) R 29850 29853 26442 0 -1 4202560 2500 0 1 0 623 2 0 0 20 0 19 0 29983289 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664481300160 139664421607456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29856] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664420039080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29857] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29857/stat : 29857 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664418986536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29858] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29858/stat : 29858 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664322934952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29859] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29859/stat : 29859 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664321882408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29860] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29860/stat : 29860 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664320830376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29861] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29861/stat : 29861 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664319777832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29862] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29862/stat : 29862 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664318724776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29863] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29863/stat : 29863 (java) S 29850 29853 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29983290 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664317672232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29864] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29864/stat : 29864 (java) S 29850 29853 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664305473896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29865] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29865/stat : 29865 (java) S 29850 29853 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664304420216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29866] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29866/stat : 29866 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664303367048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29867] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29867/stat : 29867 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664302315792 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29868] ppid=29850 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/29853/task/29868/stat : 29868 (java) S 29850 29853 26442 0 -1 4202560 9110 0 0 0 71 2 0 0 20 0 19 0 29983294 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664301263672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29869] ppid=29850 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/29853/task/29869/stat : 29869 (java) S 29850 29853 26442 0 -1 4202560 2336 0 0 0 32 0 0 0 20 0 19 0 29983294 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664300211128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29870] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29870/stat : 29870 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664299158264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29871] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29871/stat : 29871 (java) S 29850 29853 26442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664298105928 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29872] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29872/stat : 29872 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983331 9856040960 22430 33554432000 1073741824 1073778376 140733960462736 139664297051176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9625040


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

[pid=29853/tid=29872] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29872/stat : 29872 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983331 9856040960 99807 33554432000 1073741824 1073778376 140733960462736 139664297051176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.74
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/214 29982
/proc/meminfo: memFree=30745968/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9625040 CPUtime=1784.82 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 16464 0 1 0 178428 54 0 0 20 0 19 0 29983288 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2406260 100700 2285 9 0 2396937 0
[pid=29853/tid=29855] ppid=29850 vsize=9625040 CPUtime=1777.13 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (java) R 29850 29853 26442 0 -1 4202560 2558 0 1 0 177682 31 0 0 20 0 19 0 29983289 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664481300256 139664421640576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29856] ppid=29850 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (java) S 29850 29853 26442 0 -1 4202560 86 0 0 0 21 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664420039080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29857] ppid=29850 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29853/task/29857/stat : 29857 (java) S 29850 29853 26442 0 -1 4202560 74 0 0 0 14 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664418986536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29858] ppid=29850 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29853/task/29858/stat : 29858 (java) S 29850 29853 26442 0 -1 4202560 39 0 0 0 14 2 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664322934952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29859] ppid=29850 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/29853/task/29859/stat : 29859 (java) S 29850 29853 26442 0 -1 4202560 190 0 0 0 18 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664321882408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29860] ppid=29850 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29853/task/29860/stat : 29860 (java) S 29850 29853 26442 0 -1 4202560 199 0 0 0 21 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664320830376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29861] ppid=29850 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29853/task/29861/stat : 29861 (java) S 29850 29853 26442 0 -1 4202560 128 0 0 0 12 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664319777832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29862] ppid=29850 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/29853/task/29862/stat : 29862 (java) S 29850 29853 26442 0 -1 4202560 70 0 0 0 18 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664318724776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29863] ppid=29850 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/29853/task/29863/stat : 29863 (java) S 29850 29853 26442 0 -1 4202560 230 0 0 0 20 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664317672232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29864] ppid=29850 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29853/task/29864/stat : 29864 (java) S 29850 29853 26442 0 -1 4202560 72 0 0 0 1 1 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664305473896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29865] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29865/stat : 29865 (java) S 29850 29853 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664304420216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29866] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29866/stat : 29866 (java) S 29850 29853 26442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664303367048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29867] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29867/stat : 29867 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664302315792 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29868] ppid=29850 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/29853/task/29868/stat : 29868 (java) S 29850 29853 26442 0 -1 4202560 9120 0 0 0 74 2 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664301263672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29869] ppid=29850 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/29853/task/29869/stat : 29869 (java) S 29850 29853 26442 0 -1 4202560 2336 0 0 0 32 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664300211128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29870] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29870/stat : 29870 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664299158264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29871] ppid=29850 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29853/task/29871/stat : 29871 (java) S 29850 29853 26442 0 -1 4202560 104 0 0 0 37 34 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664298105928 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29872] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29872/stat : 29872 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983331 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664297051176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.82
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 2.11 2.10 2.09 3/214 29982
/proc/meminfo: memFree=30746016/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 16464 0 1 0 179949 54 0 0 20 0 19 0 29983288 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2406260 100700 2285 9 0 2396937 0
[pid=29853/tid=29855] ppid=29850 vsize=9625040 CPUtime=1792.3 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (java) R 29850 29853 26442 0 -1 4202560 2558 0 1 0 179199 31 0 0 20 0 19 0 29983289 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664481300256 139664421640714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29856] ppid=29850 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (java) S 29850 29853 26442 0 -1 4202560 86 0 0 0 21 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664420039080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29857] ppid=29850 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29853/task/29857/stat : 29857 (java) S 29850 29853 26442 0 -1 4202560 74 0 0 0 14 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664418986536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29858] ppid=29850 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29853/task/29858/stat : 29858 (java) S 29850 29853 26442 0 -1 4202560 39 0 0 0 14 2 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664322934952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29859] ppid=29850 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/29853/task/29859/stat : 29859 (java) S 29850 29853 26442 0 -1 4202560 190 0 0 0 18 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664321882408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29860] ppid=29850 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29853/task/29860/stat : 29860 (java) S 29850 29853 26442 0 -1 4202560 199 0 0 0 21 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664320830376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29861] ppid=29850 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29853/task/29861/stat : 29861 (java) S 29850 29853 26442 0 -1 4202560 128 0 0 0 12 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664319777832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29862] ppid=29850 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/29853/task/29862/stat : 29862 (java) S 29850 29853 26442 0 -1 4202560 70 0 0 0 18 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664318724776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29863] ppid=29850 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/29853/task/29863/stat : 29863 (java) S 29850 29853 26442 0 -1 4202560 230 0 0 0 20 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664317672232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29864] ppid=29850 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29853/task/29864/stat : 29864 (java) S 29850 29853 26442 0 -1 4202560 72 0 0 0 1 1 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664305473896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29865] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29865/stat : 29865 (java) S 29850 29853 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664304420216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29866] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29866/stat : 29866 (java) S 29850 29853 26442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664303367048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29867] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29867/stat : 29867 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664302315792 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29868] ppid=29850 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/29853/task/29868/stat : 29868 (java) S 29850 29853 26442 0 -1 4202560 9120 0 0 0 74 2 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664301263672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29869] ppid=29850 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/29853/task/29869/stat : 29869 (java) S 29850 29853 26442 0 -1 4202560 2336 0 0 0 32 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664300211128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29870] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29870/stat : 29870 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664299158264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29871] ppid=29850 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29853/task/29871/stat : 29871 (java) S 29850 29853 26442 0 -1 4202560 104 0 0 0 37 34 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664298105928 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29872] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29872/stat : 29872 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983331 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664297051176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 29853 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.51 s]
/proc/loadavg: 2.11 2.10 2.09 3/214 29982
/proc/meminfo: memFree=30746016/32872528 swapFree=552864/567172
[pid=29853] ppid=29850 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/29853/stat : 29853 (java) S 29850 29853 26442 0 -1 4202496 16464 0 1 0 179949 54 0 0 20 0 19 0 29983288 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 140733960453872 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29853/statm: 2406260 100700 2285 9 0 2396937 0
[pid=29853/tid=29855] ppid=29850 vsize=9625040 CPUtime=1792.3 cores=0,2,4,6
/proc/29853/task/29855/stat : 29855 (java) R 29850 29853 26442 0 -1 4202560 2558 0 1 0 179199 31 0 0 20 0 19 0 29983289 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664481300256 139664421640714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29856] ppid=29850 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29853/task/29856/stat : 29856 (java) S 29850 29853 26442 0 -1 4202560 86 0 0 0 21 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664420039080 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29857] ppid=29850 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29853/task/29857/stat : 29857 (java) S 29850 29853 26442 0 -1 4202560 74 0 0 0 14 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664418986536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29858] ppid=29850 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29853/task/29858/stat : 29858 (java) S 29850 29853 26442 0 -1 4202560 39 0 0 0 14 2 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664322934952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29859] ppid=29850 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/29853/task/29859/stat : 29859 (java) S 29850 29853 26442 0 -1 4202560 190 0 0 0 18 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664321882408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29860] ppid=29850 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29853/task/29860/stat : 29860 (java) S 29850 29853 26442 0 -1 4202560 199 0 0 0 21 4 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664320830376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29861] ppid=29850 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29853/task/29861/stat : 29861 (java) S 29850 29853 26442 0 -1 4202560 128 0 0 0 12 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664319777832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29862] ppid=29850 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/29853/task/29862/stat : 29862 (java) S 29850 29853 26442 0 -1 4202560 70 0 0 0 18 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664318724776 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29863] ppid=29850 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/29853/task/29863/stat : 29863 (java) S 29850 29853 26442 0 -1 4202560 230 0 0 0 20 3 0 0 20 0 19 0 29983290 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664317672232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29864] ppid=29850 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29853/task/29864/stat : 29864 (java) S 29850 29853 26442 0 -1 4202560 72 0 0 0 1 1 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664305473896 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29865] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29865/stat : 29865 (java) S 29850 29853 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664304420216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29866] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29866/stat : 29866 (java) S 29850 29853 26442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29983291 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664303367048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29867] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29867/stat : 29867 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664302315792 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29868] ppid=29850 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/29853/task/29868/stat : 29868 (java) S 29850 29853 26442 0 -1 4202560 9120 0 0 0 74 2 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664301263672 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29853/tid=29869] ppid=29850 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/29853/task/29869/stat : 29869 (java) S 29850 29853 26442 0 -1 4202560 2336 0 0 0 32 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664300211128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29853/tid=29870] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29870/stat : 29870 (java) S 29850 29853 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664299158264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29853/tid=29871] ppid=29850 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29853/task/29871/stat : 29871 (java) S 29850 29853 26442 0 -1 4202560 104 0 0 0 37 34 0 0 20 0 19 0 29983294 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664298105928 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29853/tid=29872] ppid=29850 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29853/task/29872/stat : 29872 (java) S 29850 29853 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29983331 9856040960 100700 33554432000 1073741824 1073778376 140733960462736 139664297051176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1797.54
CPU time (s): 1800.03
CPU user time (s): 1799.49
CPU system time (s): 0.54
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.99
system time used= 1.08384
maximum resident set size= 409468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16503
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38435
involuntary context switches= 5280

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0323 second user time and 13.184 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-26 21:30:54
IDJOB=4116897
IDBENCH=109527
IDSOLVER=2546
FILE ID=node138/4116897-1466969454
RUNJOBID= node138-1466940040-26458
PBS_JOBID= 19976338
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-0.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116897-1466969454/watcher-4116897-1466969454 -o /tmp/evaluation-result-4116897-1466969454/solver-4116897-1466969454 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26458 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116897-1466969454.opb

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

MD5SUM BENCH= cb6970291396a46a7f7f877e2dc367cc
RANDOM SEED=787686199

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.803
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.803
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.803
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.803
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.803
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:        31145932 kB
Buffers:           35120 kB
Cached:           226668 kB
SwapCached:         3788 kB
Active:           220272 kB
Inactive:         239460 kB
Active(anon):     195616 kB
Inactive(anon):     4564 kB
Active(file):      24656 kB
Inactive(file):   234896 kB
Unevictable:      567172 kB
Mlocked:          552864 kB
SwapTotal:      67108856 kB
SwapFree:       67094448 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:        761460 kB
Mapped:            15396 kB
Shmem:                 0 kB
Slab:             567200 kB
SReclaimable:      10804 kB
SUnreclaim:       556396 kB
KernelStack:        1600 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1253572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 71716 MiB
End job on node138 at 2016-06-26 22:00:51