Trace number 4116001

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.02 1797.74

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round23-7.opb
MD5SUM935c4ce5f931d101d829070a69f3ff5c
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 constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4116001-1466946158.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.69/0.42	c ... done. Wall clock time 0.306s.
0.69/0.42	c declared #vars     4288
0.69/0.42	c #constraints  10816
0.69/0.42	c constraints type 
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.69/0.42	c org.sat4j.specs.Constr$1 => 904
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 504
0.69/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.69/0.42	c 10816 constraints processed.
1.70/1.09	c cleaning 2495 clauses out of 4998 with flag 16162/5000
2.48/1.76	c cleaning 4231 clauses out of 8503 with flag 38069/11000
3.28/2.51	c cleaning 5630 clauses out of 11272 with flag 69168/18000
4.10/3.36	c cleaning 6809 clauses out of 13642 with flag 103302/26000
5.10/4.37	c cleaning 7903 clauses out of 15833 with flag 147200/35000
6.31/5.51	c cleaning 8958 clauses out of 17931 with flag 195311/45001
7.51/6.76	c cleaning 9978 clauses out of 19973 with flag 248757/56001
8.90/8.11	c cleaning 10949 clauses out of 21994 with flag 312426/68000
10.40/9.64	c cleaning 12003 clauses out of 24045 with flag 381868/81000
12.10/11.33	c cleaning 13013 clauses out of 26042 with flag 456953/95000
13.90/13.18	c cleaning 14001 clauses out of 28029 with flag 536208/110000
15.90/15.15	c cleaning 14995 clauses out of 30028 with flag 624913/126000
18.11/17.37	c cleaning 15974 clauses out of 32036 with flag 722207/143003
20.41/19.67	c cleaning 16984 clauses out of 34060 with flag 827107/161001
23.01/22.28	c cleaning 18008 clauses out of 36075 with flag 935721/180000
25.71/25.00	c cleaning 18963 clauses out of 38067 with flag 1053655/200000
28.71/27.91	c cleaning 20030 clauses out of 40105 with flag 1174645/221001
31.72/30.94	c cleaning 20971 clauses out of 42074 with flag 1305066/243000
35.02/34.28	c cleaning 22039 clauses out of 44104 with flag 1438143/266001
38.52/37.79	c cleaning 22980 clauses out of 46064 with flag 1578995/290000
42.31/41.53	c cleaning 24013 clauses out of 48085 with flag 1726806/315001
46.21/45.49	c cleaning 25011 clauses out of 50072 with flag 1877766/341001
50.42/49.63	c cleaning 26012 clauses out of 52060 with flag 2041506/368000
54.53/53.70	c cleaning 27008 clauses out of 54048 with flag 2212132/396000
58.63/57.80	c cleaning 28012 clauses out of 56040 with flag 2389957/425000
63.03/62.25	c cleaning 29000 clauses out of 58028 with flag 2570186/455000
67.63/66.83	c cleaning 29979 clauses out of 60028 with flag 2760498/486000
72.54/71.76	c cleaning 30975 clauses out of 62049 with flag 2955719/518000
77.74/76.92	c cleaning 32000 clauses out of 64075 with flag 3156673/551001
83.04/82.25	c cleaning 32998 clauses out of 66074 with flag 3366759/585000
88.74/87.91	c cleaning 34014 clauses out of 68077 with flag 3579681/620001
94.54/93.79	c cleaning 34982 clauses out of 70062 with flag 3807309/656000
100.74/99.96	c cleaning 36020 clauses out of 72080 with flag 4030876/693000
107.14/106.32	c cleaning 36999 clauses out of 74060 with flag 4263182/731000
113.74/112.95	c cleaning 38018 clauses out of 76061 with flag 4501858/770000
120.84/120.08	c cleaning 39003 clauses out of 78044 with flag 4747270/810001
128.15/127.38	c cleaning 40008 clauses out of 80040 with flag 4995856/851000
135.70/134.88	c cleaning 40978 clauses out of 82034 with flag 5253603/893002
143.30/142.40	c cleaning 42009 clauses out of 84055 with flag 5517094/936001
151.00/150.14	c cleaning 43013 clauses out of 86046 with flag 5782184/980001
159.31/158.43	c cleaning 43985 clauses out of 88032 with flag 6062125/1025000
167.91/167.07	c cleaning 45011 clauses out of 90047 with flag 6344992/1071000
176.71/175.85	c cleaning 46001 clauses out of 92037 with flag 6635545/1118001
185.82/184.97	c cleaning 46993 clauses out of 94035 with flag 6926596/1166000
195.21/194.31	c cleaning 47991 clauses out of 96042 with flag 7230394/1215000
205.01/204.10	c cleaning 48976 clauses out of 98051 with flag 7537500/1265000
215.11/214.28	c cleaning 50032 clauses out of 100075 with flag 7848963/1316000
225.42/224.56	c cleaning 51021 clauses out of 102043 with flag 8166829/1368000
236.14/235.23	c cleaning 51979 clauses out of 104024 with flag 8485978/1421002
246.94/246.01	c cleaning 52981 clauses out of 106043 with flag 8815630/1475000
258.04/257.11	c cleaning 54031 clauses out of 108062 with flag 9146100/1530000
269.64/268.73	c cleaning 54987 clauses out of 110031 with flag 9485643/1586000
281.55/280.67	c cleaning 55971 clauses out of 112046 with flag 9829218/1643002
293.84/292.99	c cleaning 57003 clauses out of 114077 with flag 10181307/1701004
306.65/305.72	c cleaning 58016 clauses out of 116070 with flag 10541845/1760000
319.75/318.85	c cleaning 59018 clauses out of 118054 with flag 10906867/1820000
333.11/332.11	c cleaning 59977 clauses out of 120037 with flag 11275390/1881001
346.61/345.65	c cleaning 61009 clauses out of 122060 with flag 11647431/1943001
360.72/359.76	c cleaning 61989 clauses out of 124050 with flag 12026725/2006000
375.22/374.25	c cleaning 63010 clauses out of 126065 with flag 12408996/2070004
390.02/389.02	c cleaning 63996 clauses out of 128051 with flag 12800498/2135000
405.24/404.27	c cleaning 65013 clauses out of 130055 with flag 13202690/2201000
421.35/420.36	c cleaning 65986 clauses out of 132043 with flag 13603919/2268001
437.45/436.45	c cleaning 66993 clauses out of 134056 with flag 14009598/2336000
453.94/452.82	c cleaning 67996 clauses out of 136065 with flag 14425302/2405002
470.85/469.77	c cleaning 69021 clauses out of 138067 with flag 14840425/2475000
488.46/487.35	c cleaning 69968 clauses out of 140046 with flag 15267313/2546000
506.25/505.12	c cleaning 71024 clauses out of 142079 with flag 15696012/2618001
524.45/523.37	c cleaning 72001 clauses out of 144055 with flag 16130515/2691001
543.15/542.09	c cleaning 73013 clauses out of 146054 with flag 16572100/2765001
562.65/561.57	c cleaning 73988 clauses out of 148040 with flag 17015161/2840000
582.16/580.96	c cleaning 74936 clauses out of 150052 with flag 17472858/2916000
602.16/600.96	c cleaning 76038 clauses out of 152117 with flag 17921422/2993001
622.66/621.43	c cleaning 76979 clauses out of 154079 with flag 18385105/3071001
644.06/642.84	c cleaning 78036 clauses out of 156100 with flag 18853866/3150001
665.86/664.68	c cleaning 79018 clauses out of 158065 with flag 19331121/3230002
688.68/687.31	c cleaning 79993 clauses out of 160046 with flag 19810261/3311001
711.48/710.18	c cleaning 81021 clauses out of 162052 with flag 20293661/3393000
734.79/733.41	c cleaning 81995 clauses out of 164031 with flag 20783622/3476000
758.70/757.30	c cleaning 83004 clauses out of 166042 with flag 21282761/3560006
782.89/781.59	c cleaning 83955 clauses out of 168032 with flag 21785250/3645000
807.40/806.10	c cleaning 85036 clauses out of 170077 with flag 22294293/3731000
832.69/831.23	c cleaning 86018 clauses out of 172041 with flag 22808388/3818000
858.40/856.98	c cleaning 86935 clauses out of 174023 with flag 23332424/3906000
884.90/883.43	c cleaning 88021 clauses out of 176088 with flag 23863558/3995000
911.90/910.48	c cleaning 89027 clauses out of 178067 with flag 24401085/4085000
939.91/938.41	c cleaning 89988 clauses out of 180040 with flag 24937304/4176000
968.92/967.36	c cleaning 91017 clauses out of 182053 with flag 25487310/4268001
998.71/997.17	c cleaning 92010 clauses out of 184035 with flag 26036536/4361000
1029.32/1027.75	c cleaning 92955 clauses out of 186026 with flag 26591218/4455001
1060.81/1059.30	c cleaning 94006 clauses out of 188070 with flag 27156111/4550000
1093.63/1091.90	c cleaning 95021 clauses out of 190065 with flag 27717891/4646001
1126.73/1125.02	c cleaning 96014 clauses out of 192045 with flag 28288738/4743002
1160.43/1158.74	c cleaning 96963 clauses out of 194032 with flag 28873467/4841003
1192.93/1191.21	c cleaning 98016 clauses out of 196066 with flag 29463312/4940000
1226.34/1224.52	c cleaning 99008 clauses out of 198050 with flag 30056409/5040000
1260.26/1258.48	c cleaning 100008 clauses out of 200042 with flag 30654366/5141000
1294.25/1292.47	c cleaning 100999 clauses out of 202035 with flag 31257233/5243001
1329.06/1327.21	c cleaning 102007 clauses out of 204035 with flag 31872630/5346000
1364.62/1362.61	c cleaning 102969 clauses out of 206029 with flag 32495678/5450001
1400.52/1398.59	c cleaning 104002 clauses out of 208059 with flag 33116058/5555000
1437.54/1435.57	c cleaning 105012 clauses out of 210059 with flag 33741197/5661002
1475.54/1473.55	c cleaning 105990 clauses out of 212045 with flag 34372223/5768000
1514.22/1512.16	c cleaning 107007 clauses out of 214055 with flag 35010847/5876000
1553.33/1551.29	c cleaning 108022 clauses out of 216048 with flag 35660664/5985000
1592.93/1590.84	c cleaning 108976 clauses out of 218027 with flag 36314904/6095001
1633.34/1631.30	c cleaning 109989 clauses out of 220050 with flag 36963915/6206000
1674.23/1672.04	c cleaning 111020 clauses out of 222061 with flag 37629242/6318000
1715.63/1713.42	c cleaning 112010 clauses out of 224041 with flag 38291328/6431000
1758.73/1756.56	c cleaning 112966 clauses out of 226031 with flag 38963412/6545000
1800.02/1797.70	c starts		: 49847
1800.02/1797.70	c conflicts		: 6655996
1800.02/1797.70	c decisions		: 56981136
1800.02/1797.70	c propagations		: 871275956
1800.02/1797.70	c inspects		: 24247925275
1800.02/1797.70	c shortcuts		: 0
1800.02/1797.70	c learnt literals	: 2
1800.02/1797.70	c learnt binary clauses	: 59
1800.02/1797.70	c learnt ternary clauses	: 748
1800.02/1797.70	c learnt constraints	: 6655994
1800.02/1797.70	c ignored constraints	: 0
1800.02/1797.70	c root simplifications	: 0
1800.02/1797.70	c removed literals (reason simplification)	: 0
1800.02/1797.70	c reason swapping (by a shorter reason)	: 0
1800.02/1797.70	c Calls to reduceDB	: 110
1800.02/1797.70	c Number of update (reduction) of LBD	: 1444591
1800.02/1797.70	c Imported unit clauses	: 0
1800.02/1797.70	c number of reductions to clauses (during analyze)	: 0
1800.02/1797.70	c number of learned constraints concerned by reduction	: 0
1800.02/1797.70	c number of learning phase by resolution	: 0
1800.02/1797.70	c number of learning phase by cutting planes	: 0
1800.02/1797.70	c speed (assignments/second)	: 484775.8251932369
1800.02/1797.70	c non guided choices	32588
1800.02/1797.70	c timeout
1800.02/1797.73	c learnt constraints type 
1800.02/1797.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 59
1800.02/1797.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224002
1800.02/1797.73	s UNKNOWN
1800.02/1797.73	c Total wall clock time (in seconds): 1797.617

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

pid=27226
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.07 2.03 2.00 3/194 27229
/proc/meminfo: memFree=31166192/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27229/stat : 27229 (java) D 27226 27229 26442 0 -1 4202496 521 0 0 0 0 0 0 0 20 0 1 0 27653688 9515008 175 33554432000 1073741824 1073778376 140733263666096 140733263648824 206629061520 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2323 175 133 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 27229
/proc/meminfo: memFree=31166192/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 4425 0 1 0 8 1 0 0 20 0 18 0 27653688 9787879424 6053 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2389619 6053 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200249 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 27229
/proc/meminfo: memFree=31166192/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 4948 0 1 0 25 1 0 0 20 0 18 0 27653688 9787879424 6999 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2389619 6999 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 27229
/proc/meminfo: memFree=31166192/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 5752 0 1 0 48 1 0 0 20 0 18 0 27653688 9787879424 8970 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2389619 8970 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700185 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 27229
/proc/meminfo: memFree=31166192/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 8608 0 1 0 135 2 0 0 20 0 19 0 27653688 9856040960 16075 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2406260 16075 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.07 2.03 2.00 4/213 27248
/proc/meminfo: memFree=31110292/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9625040 CPUtime=2.25 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 8930 0 1 0 222 3 0 0 20 0 19 0 27653688 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2406260 16441 2270 9 0 2396937 0
[pid=27229/tid=27231] ppid=27226 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/27229/task/27231/stat : 27231 (java) R 27226 27229 26442 0 -1 4202560 2469 0 1 0 145 1 0 0 20 0 19 0 27653689 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139960036024552 139959908816134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27232] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27232/stat : 27232 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959879846312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27233] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27233/stat : 27233 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959878793768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27234] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27234/stat : 27234 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959877740712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27235] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27235/stat : 27235 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959876688168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27236] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27236/stat : 27236 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959875636136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27237] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27237/stat : 27237 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959874583592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27238] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27238/stat : 27238 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959873530536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27239] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27239/stat : 27239 (java) S 27226 27229 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959872477992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27240] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27240/stat : 27240 (java) S 27226 27229 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959860279656 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27241] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27241/stat : 27241 (java) S 27226 27229 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959859225976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27242] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27242/stat : 27242 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959858172808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27243] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27243/stat : 27243 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959857121552 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27244] ppid=27226 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/27229/task/27244/stat : 27244 (java) S 27226 27229 26442 0 -1 4202560 3467 0 0 0 43 0 0 0 20 0 19 0 27653694 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959856069432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27245] ppid=27226 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/27229/task/27245/stat : 27245 (java) S 27226 27229 26442 0 -1 4202560 1723 0 0 0 31 0 0 0 20 0 19 0 27653694 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959855016888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27246] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27246/stat : 27246 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959853964024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27247] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27247/stat : 27247 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959852911688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27248] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27248/stat : 27248 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653731 9856040960 16441 33554432000 1073741824 1073778376 140733263666096 139959851807784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 27248
/proc/meminfo: memFree=31105776/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 8933 0 1 0 386 3 0 0 20 0 19 0 27653688 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2406260 17465 2270 9 0 2396937 0
[pid=27229/tid=27231] ppid=27226 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/27229/task/27231/stat : 27231 (java) R 27226 27229 26442 0 -1 4202560 2472 0 1 0 304 1 0 0 20 0 19 0 27653689 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139960036015824 139959908871342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27232] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27232/stat : 27232 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959879846312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27233] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27233/stat : 27233 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959878793768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27234] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27234/stat : 27234 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959877740712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27235] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27235/stat : 27235 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959876688168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27236] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27236/stat : 27236 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959875636136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27237] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27237/stat : 27237 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959874583592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27238] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27238/stat : 27238 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959873530536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27239] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27239/stat : 27239 (java) S 27226 27229 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959872477992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27240] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27240/stat : 27240 (java) S 27226 27229 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959860279656 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27241] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27241/stat : 27241 (java) S 27226 27229 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959859225976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27242] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27242/stat : 27242 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959858172808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27243] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27243/stat : 27243 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959857121552 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27244] ppid=27226 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/27229/task/27244/stat : 27244 (java) S 27226 27229 26442 0 -1 4202560 3467 0 0 0 45 0 0 0 20 0 19 0 27653694 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959856069432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27245] ppid=27226 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/27229/task/27245/stat : 27245 (java) S 27226 27229 26442 0 -1 4202560 1723 0 0 0 33 0 0 0 20 0 19 0 27653694 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959855016888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27246] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27246/stat : 27246 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959853964024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27247] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27247/stat : 27247 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959852911688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27248] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27248/stat : 27248 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653731 9856040960 17465 33554432000 1073741824 1073778376 140733263666096 139959851807784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 27248
/proc/meminfo: memFree=31097740/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9625040 CPUtime=7.1 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 8939 0 1 0 707 3 0 0 20 0 19 0 27653688 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2406260 19463 2271 9 0 2396937 0
[pid=27229/tid=27231] ppid=27226 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/27229/task/27231/stat : 27231 (java) R 27226 27229 26442 0 -1 4202560 2477 0 1 0 623 1 0 0 20 0 19 0 27653689 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139960036024592 139959908742955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27232] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27232/stat : 27232 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959879846312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27233] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27233/stat : 27233 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959878793768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27234] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27234/stat : 27234 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959877740712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27235] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27235/stat : 27235 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959876688168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27236] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27236/stat : 27236 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959875636136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27237] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27237/stat : 27237 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959874583592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27238] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27238/stat : 27238 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959873530536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27239] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27239/stat : 27239 (java) S 27226 27229 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27653690 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959872477992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27240] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27240/stat : 27240 (java) S 27226 27229 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959860279656 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27241] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27241/stat : 27241 (java) S 27226 27229 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959859225976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27242] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27242/stat : 27242 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959858172808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27243] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27243/stat : 27243 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959857121552 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27244] ppid=27226 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/27229/task/27244/stat : 27244 (java) S 27226 27229 26442 0 -1 4202560 3467 0 0 0 45 0 0 0 20 0 19 0 27653694 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959856069432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27245] ppid=27226 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/27229/task/27245/stat : 27245 (java) S 27226 27229 26442 0 -1 4202560 1723 0 0 0 35 0 0 0 20 0 19 0 27653694 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959855016888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27246] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27246/stat : 27246 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959853964024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27247] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27247/stat : 27247 (java) S 27226 27229 26442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959852911688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27248] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27248/stat : 27248 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653731 9856040960 19463 33554432000 1073741824 1073778376 140733263666096 139959851807784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9625040


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

[pid=27229/tid=27248] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27248/stat : 27248 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653731 9856040960 101411 33554432000 1073741824 1073778376 140733263666096 139959851807784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1724.53
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/213 27423
/proc/meminfo: memFree=30777656/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9625040 CPUtime=1784.61 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 10544 0 1 0 178403 58 0 0 20 0 19 0 27653688 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2406260 103136 2285 9 0 2396937 0
[pid=27229/tid=27231] ppid=27226 vsize=9625040 CPUtime=1777.04 cores=0,2,4,6
/proc/27229/task/27231/stat : 27231 (java) R 27226 27229 26442 0 -1 4202560 2534 0 1 0 177674 30 0 0 20 0 19 0 27653689 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139960036023632 139959908871859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27232] ppid=27226 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/27229/task/27232/stat : 27232 (java) S 27226 27229 26442 0 -1 4202560 199 0 0 0 15 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959879846312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27233] ppid=27226 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/27229/task/27233/stat : 27233 (java) S 27226 27229 26442 0 -1 4202560 167 0 0 0 17 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959878793768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27234] ppid=27226 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/27229/task/27234/stat : 27234 (java) S 27226 27229 26442 0 -1 4202560 174 0 0 0 14 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959877740712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27235] ppid=27226 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/27229/task/27235/stat : 27235 (java) S 27226 27229 26442 0 -1 4202560 77 0 0 0 21 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959876688168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27236] ppid=27226 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/27229/task/27236/stat : 27236 (java) S 27226 27229 26442 0 -1 4202560 51 0 0 0 15 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959875636136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27237] ppid=27226 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/27229/task/27237/stat : 27237 (java) S 27226 27229 26442 0 -1 4202560 53 0 0 0 13 2 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959874583592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27238] ppid=27226 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/27229/task/27238/stat : 27238 (java) S 27226 27229 26442 0 -1 4202560 218 0 0 0 17 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959873530536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27239] ppid=27226 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/27229/task/27239/stat : 27239 (java) S 27226 27229 26442 0 -1 4202560 89 0 0 0 22 5 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959872477992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27240] ppid=27226 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/27229/task/27240/stat : 27240 (java) S 27226 27229 26442 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959860279656 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27241] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27241/stat : 27241 (java) S 27226 27229 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959859225976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27242] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27242/stat : 27242 (java) S 27226 27229 26442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959858172808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27243] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27243/stat : 27243 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959857121552 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27244] ppid=27226 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/27229/task/27244/stat : 27244 (java) S 27226 27229 26442 0 -1 4202560 3467 0 0 0 45 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959856069432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27245] ppid=27226 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/27229/task/27245/stat : 27245 (java) S 27226 27229 26442 0 -1 4202560 2084 0 0 0 38 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959855016888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27246] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27246/stat : 27246 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959853964024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27247] ppid=27226 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/27229/task/27247/stat : 27247 (java) S 27226 27229 26442 0 -1 4202560 104 0 0 0 38 32 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959852911688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27248] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27248/stat : 27248 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653731 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959851807784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.07 2.07 2.02 3/213 27423
/proc/meminfo: memFree=30771396/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 10544 0 1 0 179943 59 0 0 20 0 19 0 27653688 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2406260 103136 2285 9 0 2396937 0
[pid=27229/tid=27231] ppid=27226 vsize=9625040 CPUtime=1792.4 cores=0,2,4,6
/proc/27229/task/27231/stat : 27231 (java) R 27226 27229 26442 0 -1 4202560 2534 0 1 0 179210 30 0 0 20 0 19 0 27653689 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139960036023632 139959908476866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27232] ppid=27226 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/27229/task/27232/stat : 27232 (java) S 27226 27229 26442 0 -1 4202560 199 0 0 0 15 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959879846312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27233] ppid=27226 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/27229/task/27233/stat : 27233 (java) S 27226 27229 26442 0 -1 4202560 167 0 0 0 17 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959878793768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27234] ppid=27226 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/27229/task/27234/stat : 27234 (java) S 27226 27229 26442 0 -1 4202560 174 0 0 0 14 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959877740712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27235] ppid=27226 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/27229/task/27235/stat : 27235 (java) S 27226 27229 26442 0 -1 4202560 77 0 0 0 21 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959876688168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27236] ppid=27226 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/27229/task/27236/stat : 27236 (java) S 27226 27229 26442 0 -1 4202560 51 0 0 0 15 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959875636136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27237] ppid=27226 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/27229/task/27237/stat : 27237 (java) S 27226 27229 26442 0 -1 4202560 53 0 0 0 13 2 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959874583592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27238] ppid=27226 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/27229/task/27238/stat : 27238 (java) S 27226 27229 26442 0 -1 4202560 218 0 0 0 17 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959873530536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27239] ppid=27226 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/27229/task/27239/stat : 27239 (java) S 27226 27229 26442 0 -1 4202560 89 0 0 0 22 5 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959872477992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27240] ppid=27226 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/27229/task/27240/stat : 27240 (java) S 27226 27229 26442 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959860279656 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27241] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27241/stat : 27241 (java) S 27226 27229 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959859225976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27242] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27242/stat : 27242 (java) S 27226 27229 26442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959858172808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27243] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27243/stat : 27243 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959857121552 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27244] ppid=27226 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/27229/task/27244/stat : 27244 (java) S 27226 27229 26442 0 -1 4202560 3467 0 0 0 45 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959856069432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27245] ppid=27226 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/27229/task/27245/stat : 27245 (java) S 27226 27229 26442 0 -1 4202560 2084 0 0 0 38 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959855016888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27246] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27246/stat : 27246 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959853964024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27247] ppid=27226 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/27229/task/27247/stat : 27247 (java) S 27226 27229 26442 0 -1 4202560 104 0 0 0 39 32 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959852911688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27248] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27248/stat : 27248 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653731 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959851807784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 27229 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.7 s]
/proc/loadavg: 2.07 2.07 2.02 3/213 27423
/proc/meminfo: memFree=30771396/32872528 swapFree=552864/567172
[pid=27229] ppid=27226 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/27229/stat : 27229 (java) S 27226 27229 26442 0 -1 4202496 10544 0 1 0 179943 59 0 0 20 0 19 0 27653688 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 140733263657232 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/27229/statm: 2406260 103136 2285 9 0 2396937 0
[pid=27229/tid=27231] ppid=27226 vsize=9625040 CPUtime=1792.4 cores=0,2,4,6
/proc/27229/task/27231/stat : 27231 (java) R 27226 27229 26442 0 -1 4202560 2534 0 1 0 179210 30 0 0 20 0 19 0 27653689 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139960036023632 139959908476866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27232] ppid=27226 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/27229/task/27232/stat : 27232 (java) S 27226 27229 26442 0 -1 4202560 199 0 0 0 15 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959879846312 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27233] ppid=27226 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/27229/task/27233/stat : 27233 (java) S 27226 27229 26442 0 -1 4202560 167 0 0 0 17 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959878793768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27234] ppid=27226 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/27229/task/27234/stat : 27234 (java) S 27226 27229 26442 0 -1 4202560 174 0 0 0 14 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959877740712 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27235] ppid=27226 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/27229/task/27235/stat : 27235 (java) S 27226 27229 26442 0 -1 4202560 77 0 0 0 21 4 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959876688168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27236] ppid=27226 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/27229/task/27236/stat : 27236 (java) S 27226 27229 26442 0 -1 4202560 51 0 0 0 15 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959875636136 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27237] ppid=27226 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/27229/task/27237/stat : 27237 (java) S 27226 27229 26442 0 -1 4202560 53 0 0 0 13 2 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959874583592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27238] ppid=27226 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/27229/task/27238/stat : 27238 (java) S 27226 27229 26442 0 -1 4202560 218 0 0 0 17 3 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959873530536 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27229/tid=27239] ppid=27226 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/27229/task/27239/stat : 27239 (java) S 27226 27229 26442 0 -1 4202560 89 0 0 0 22 5 0 0 20 0 19 0 27653690 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959872477992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27240] ppid=27226 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/27229/task/27240/stat : 27240 (java) S 27226 27229 26442 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959860279656 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27241] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27241/stat : 27241 (java) S 27226 27229 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959859225976 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27242] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27242/stat : 27242 (java) S 27226 27229 26442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27653692 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959858172808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27243] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27243/stat : 27243 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959857121552 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27244] ppid=27226 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/27229/task/27244/stat : 27244 (java) S 27226 27229 26442 0 -1 4202560 3467 0 0 0 45 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959856069432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27229/tid=27245] ppid=27226 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/27229/task/27245/stat : 27245 (java) S 27226 27229 26442 0 -1 4202560 2084 0 0 0 38 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959855016888 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27246] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27246/stat : 27246 (java) S 27226 27229 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959853964024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27229/tid=27247] ppid=27226 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/27229/task/27247/stat : 27247 (java) S 27226 27229 26442 0 -1 4202560 104 0 0 0 39 32 0 0 20 0 19 0 27653694 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959852911688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27229/tid=27248] ppid=27226 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/27229/task/27248/stat : 27248 (java) S 27226 27229 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27653731 9856040960 103136 33554432000 1073741824 1073778376 140733263666096 139959851807784 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1797.74
CPU time (s): 1800.02
CPU user time (s): 1799.43
CPU system time (s): 0.59
CPU usage (%): 100.127
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.85
system time used= 1.05184
maximum resident set size= 417932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10578
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38453
involuntary context switches= 3952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7324 second user time and 13.8849 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-26 15:02:38
IDJOB=4116001
IDBENCH=109415
IDSOLVER=2546
FILE ID=node138/4116001-1466946158
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-size128-round23-7.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116001-1466946158/watcher-4116001-1466946158 -o /tmp/evaluation-result-4116001-1466946158/solver-4116001-1466946158 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26458 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116001-1466946158.opb

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

MD5SUM BENCH= 935c4ce5f931d101d829070a69f3ff5c
RANDOM SEED=377889662

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:        31166464 kB
Buffers:            9048 kB
Cached:           218216 kB
SwapCached:         3788 kB
Active:           230344 kB
Inactive:         207800 kB
Active(anon):     208580 kB
Inactive(anon):     4568 kB
Active(file):      21764 kB
Inactive(file):   203232 kB
Unevictable:      567172 kB
Mlocked:          552864 kB
SwapTotal:      67108856 kB
SwapFree:       67094448 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:        922604 kB
Mapped:            15432 kB
Shmem:                 0 kB
Slab:             566420 kB
SReclaimable:       9888 kB
SUnreclaim:       556532 kB
KernelStack:        1616 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1255844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 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 15:32:36