Trace number 4115993

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round23-7.opb
MD5SUM4d7f4e517409151f797860ef8d501011
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 constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
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@587bd9f2
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@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4115993-1466945728.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.304s.
0.69/0.42	c declared #vars     4288
0.69/0.42	c #constraints  10784
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 => 888
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.42	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.69/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.69/0.42	c 10784 constraints processed.
1.67/1.08	c cleaning 2498 clauses out of 5001 with flag 15486/5003
2.42/1.68	c cleaning 4230 clauses out of 8501 with flag 39331/11001
3.21/2.46	c cleaning 5632 clauses out of 11271 with flag 68342/18001
4.02/3.29	c cleaning 6812 clauses out of 13641 with flag 101349/26003
5.03/4.26	c cleaning 7880 clauses out of 15827 with flag 141639/35001
6.24/5.40	c cleaning 8964 clauses out of 17946 with flag 187437/45000
7.45/6.61	c cleaning 9975 clauses out of 19983 with flag 240449/56001
8.74/7.96	c cleaning 10997 clauses out of 22008 with flag 300872/68001
10.24/9.45	c cleaning 11986 clauses out of 24010 with flag 367564/81000
11.95/11.19	c cleaning 12994 clauses out of 26024 with flag 437848/95000
13.85/13.01	c cleaning 13963 clauses out of 28031 with flag 517775/110001
15.75/14.94	c cleaning 15021 clauses out of 30068 with flag 606477/126001
17.85/17.09	c cleaning 15999 clauses out of 32047 with flag 701412/143001
20.25/19.43	c cleaning 16990 clauses out of 34047 with flag 801337/161000
22.75/21.98	c cleaning 18005 clauses out of 36057 with flag 909029/180000
25.34/24.57	c cleaning 19011 clauses out of 38053 with flag 1023581/200001
28.25/27.48	c cleaning 20005 clauses out of 40041 with flag 1140763/221000
31.35/30.55	c cleaning 21004 clauses out of 42036 with flag 1267602/243000
34.55/33.80	c cleaning 21927 clauses out of 44034 with flag 1397863/266002
38.15/37.40	c cleaning 23042 clauses out of 46105 with flag 1536338/290000
41.85/41.06	c cleaning 24012 clauses out of 48063 with flag 1687363/315000
45.75/44.98	c cleaning 25008 clauses out of 50051 with flag 1840602/341000
49.96/49.17	c cleaning 26007 clauses out of 52043 with flag 1999019/368000
54.09/53.28	c cleaning 27006 clauses out of 54036 with flag 2161400/396000
58.29/57.44	c cleaning 28016 clauses out of 56031 with flag 2333208/425001
62.59/61.79	c cleaning 29002 clauses out of 58015 with flag 2513526/455001
67.18/66.35	c cleaning 29997 clauses out of 60012 with flag 2698840/486000
71.99/71.18	c cleaning 30991 clauses out of 62016 with flag 2893764/518001
77.08/76.29	c cleaning 31997 clauses out of 64024 with flag 3093890/551000
82.48/81.60	c cleaning 33005 clauses out of 66027 with flag 3302283/585000
87.98/87.16	c cleaning 33968 clauses out of 68023 with flag 3511456/620001
93.78/92.92	c cleaning 35008 clauses out of 70055 with flag 3731176/656001
99.99/99.11	c cleaning 35984 clauses out of 72046 with flag 3957043/693000
106.19/105.39	c cleaning 37002 clauses out of 74062 with flag 4188653/731000
112.89/112.02	c cleaning 37994 clauses out of 76060 with flag 4430723/770000
119.80/118.94	c cleaning 39023 clauses out of 78068 with flag 4677591/810002
127.09/126.20	c cleaning 39976 clauses out of 80043 with flag 4933170/851000
134.69/133.81	c cleaning 41003 clauses out of 82067 with flag 5190565/893000
142.24/141.37	c cleaning 42007 clauses out of 84064 with flag 5455989/936000
149.94/149.01	c cleaning 42960 clauses out of 86059 with flag 5723276/980002
157.85/156.92	c cleaning 44045 clauses out of 88097 with flag 6002577/1025000
166.06/165.17	c cleaning 45006 clauses out of 90054 with flag 6287338/1071002
174.75/173.81	c cleaning 45999 clauses out of 92046 with flag 6575183/1118000
183.65/182.76	c cleaning 46994 clauses out of 94047 with flag 6873048/1166000
193.05/192.13	c cleaning 48015 clauses out of 96053 with flag 7179861/1215000
202.35/201.48	c cleaning 49020 clauses out of 98039 with flag 7486705/1265001
212.25/211.35	c cleaning 49993 clauses out of 100018 with flag 7806879/1316000
222.75/221.88	c cleaning 51004 clauses out of 102025 with flag 8128943/1368000
233.63/232.69	c cleaning 52000 clauses out of 104022 with flag 8462552/1421001
244.53/243.52	c cleaning 52999 clauses out of 106021 with flag 8800032/1475000
255.64/254.62	c cleaning 53962 clauses out of 108023 with flag 9139383/1530001
267.14/266.19	c cleaning 55021 clauses out of 110061 with flag 9484421/1586001
279.35/278.31	c cleaning 56017 clauses out of 112040 with flag 9835833/1643001
291.65/290.66	c cleaning 56974 clauses out of 114022 with flag 10196677/1701000
304.36/303.38	c cleaning 57941 clauses out of 116049 with flag 10563385/1760001
317.47/316.49	c cleaning 59026 clauses out of 118107 with flag 10935246/1820000
331.27/330.25	c cleaning 60023 clauses out of 120082 with flag 11311032/1881001
345.35/344.30	c cleaning 61005 clauses out of 122059 with flag 11693225/1943001
359.46/358.32	c cleaning 61967 clauses out of 124053 with flag 12083791/2006000
374.06/372.92	c cleaning 63041 clauses out of 126086 with flag 12474065/2070000
389.04/387.99	c cleaning 64016 clauses out of 128047 with flag 12872582/2135002
404.47/403.33	c cleaning 64993 clauses out of 130029 with flag 13279559/2201000
420.66/419.53	c cleaning 65953 clauses out of 132037 with flag 13696013/2268001
437.26/436.13	c cleaning 67022 clauses out of 134083 with flag 14120621/2336000
454.26/453.12	c cleaning 68007 clauses out of 136064 with flag 14542444/2405003
471.38/470.19	c cleaning 68995 clauses out of 138054 with flag 14970065/2475000
488.98/487.71	c cleaning 69981 clauses out of 140059 with flag 15400986/2546000
506.97/505.72	c cleaning 71021 clauses out of 142080 with flag 15856255/2618002
525.38/524.13	c cleaning 71970 clauses out of 144058 with flag 16309617/2691001
543.98/542.76	c cleaning 73004 clauses out of 146088 with flag 16767065/2765001
563.67/562.40	c cleaning 74033 clauses out of 148083 with flag 17224782/2840000
583.87/582.64	c cleaning 74997 clauses out of 150052 with flag 17691721/2916002
604.19/602.81	c cleaning 76018 clauses out of 152053 with flag 18165951/2993000
624.89/623.52	c cleaning 76999 clauses out of 154035 with flag 18645574/3071000
646.40/645.01	c cleaning 77978 clauses out of 156036 with flag 19135310/3150000
668.00/666.64	c cleaning 79020 clauses out of 158059 with flag 19622429/3230001
690.39/689.06	c cleaning 79996 clauses out of 160038 with flag 20113480/3311000
713.30/711.99	c cleaning 81001 clauses out of 162042 with flag 20611723/3393000
736.71/735.29	c cleaning 82010 clauses out of 164041 with flag 21117264/3476000
760.30/758.81	c cleaning 82985 clauses out of 166031 with flag 21633677/3560000
784.72/783.26	c cleaning 83995 clauses out of 168046 with flag 22157883/3645000
809.62/808.10	c cleaning 85014 clauses out of 170051 with flag 22682827/3731000
834.82/833.33	c cleaning 85952 clauses out of 172037 with flag 23211677/3818000
860.93/859.37	c cleaning 86998 clauses out of 174085 with flag 23754991/3906000
887.53/885.96	c cleaning 88037 clauses out of 176088 with flag 24291691/3995001
915.13/913.54	c cleaning 89010 clauses out of 178050 with flag 24838904/4085000
943.13/941.52	c cleaning 90017 clauses out of 180041 with flag 25393970/4176001
971.64/970.00	c cleaning 90943 clauses out of 182023 with flag 25955756/4268000
1000.35/998.69	c cleaning 92002 clauses out of 184080 with flag 26524777/4361000
1029.65/1027.92	c cleaning 92948 clauses out of 186078 with flag 27099742/4455000
1059.65/1057.96	c cleaning 94047 clauses out of 188131 with flag 27676135/4550001
1090.14/1088.45	c cleaning 95005 clauses out of 190084 with flag 28257815/4646001
1121.47/1119.68	c cleaning 96016 clauses out of 192078 with flag 28849671/4743000
1153.36/1151.59	c cleaning 96997 clauses out of 194062 with flag 29442298/4841000
1185.96/1184.14	c cleaning 98032 clauses out of 196065 with flag 30037190/4940000
1218.97/1217.19	c cleaning 98992 clauses out of 198033 with flag 30644979/5040000
1253.63/1251.62	c cleaning 99980 clauses out of 200041 with flag 31261434/5141000
1287.84/1285.83	c cleaning 101026 clauses out of 202061 with flag 31882728/5243000
1323.45/1321.42	c cleaning 101995 clauses out of 204035 with flag 32508221/5346000
1359.56/1357.52	c cleaning 103013 clauses out of 206042 with flag 33136842/5450002
1396.38/1394.26	c cleaning 103993 clauses out of 208027 with flag 33771813/5555000
1433.10/1430.98	c cleaning 104998 clauses out of 210035 with flag 34410981/5661001
1471.11/1468.90	c cleaning 105998 clauses out of 212036 with flag 35055956/5768000
1509.43/1507.15	c cleaning 106960 clauses out of 214038 with flag 35708203/5876000
1548.33/1546.03	c cleaning 108040 clauses out of 216080 with flag 36366915/5985002
1588.45/1586.16	c cleaning 109007 clauses out of 218038 with flag 37020962/6095000
1628.85/1626.50	c cleaning 110008 clauses out of 220031 with flag 37694431/6206000
1669.91/1667.56	c cleaning 111002 clauses out of 222024 with flag 38369268/6318001
1712.13/1709.74	c cleaning 111979 clauses out of 224022 with flag 39050594/6431001
1754.33/1751.98	c cleaning 112992 clauses out of 226042 with flag 39736898/6545000
1798.50/1796.02	c cleaning 114005 clauses out of 228050 with flag 40423509/6660000
1800.01/1797.51	c starts		: 49432
1800.01/1797.51	c conflicts		: 6665819
1800.01/1797.51	c decisions		: 60999152
1800.01/1797.51	c propagations		: 892933308
1800.01/1797.51	c inspects		: 24443818546
1800.01/1797.51	c shortcuts		: 0
1800.01/1797.51	c learnt literals	: 2
1800.01/1797.51	c learnt binary clauses	: 51
1800.01/1797.51	c learnt ternary clauses	: 711
1800.01/1797.51	c learnt constraints	: 6665817
1800.01/1797.51	c ignored constraints	: 0
1800.01/1797.51	c root simplifications	: 0
1800.01/1797.51	c removed literals (reason simplification)	: 0
1800.01/1797.51	c reason swapping (by a shorter reason)	: 0
1800.01/1797.51	c Calls to reduceDB	: 111
1800.01/1797.51	c Number of update (reduction) of LBD	: 1427785
1800.01/1797.51	c Imported unit clauses	: 0
1800.01/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.01/1797.51	c number of learned constraints concerned by reduction	: 0
1800.01/1797.51	c number of learning phase by resolution	: 0
1800.01/1797.51	c timeout
1800.01/1797.51	c number of learning phase by cutting planes	: 0
1800.01/1797.51	c speed (assignments/second)	: 496879.28047841974
1800.01/1797.51	c non guided choices	29803
1800.01/1797.53	c learnt constraints type 
1800.01/1797.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 51
1800.01/1797.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 119813
1800.01/1797.53	s UNKNOWN
1800.01/1797.53	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-4115993-1466945728/watcher-4115993-1466945728 -o /tmp/evaluation-result-4115993-1466945728/solver-4115993-1466945728 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26459 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4115993-1466945728.opb 

pid=27126
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.11 2.04 2.00 3/194 27129
/proc/meminfo: memFree=31059408/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27129/stat : 27129 (java) D 27126 27129 26442 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 27610678 9515008 185 33554432000 1073741824 1073778376 140735882065760 140735882054824 206619897127 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2323 185 143 9 0 71 0

[startup+0.100186 s]
/proc/loadavg: 2.11 2.04 2.00 3/194 27129
/proc/meminfo: memFree=31059408/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 27610678 9787879424 6028 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200323 s]
/proc/loadavg: 2.11 2.04 2.00 3/194 27129
/proc/meminfo: memFree=31059408/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 4932 0 1 0 25 1 0 0 20 0 18 0 27610678 9787879424 6989 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2389619 6989 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300345 s]
/proc/loadavg: 2.11 2.04 2.00 3/194 27129
/proc/meminfo: memFree=31059408/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 5862 0 1 0 47 1 0 0 20 0 18 0 27610678 9787879424 9015 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2389619 9015 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700312 s]
/proc/loadavg: 2.11 2.04 2.00 3/194 27129
/proc/meminfo: memFree=31059408/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 8436 0 1 0 132 3 0 0 20 0 19 0 27610678 9856040960 16037 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2406260 16037 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.11 2.04 2.00 4/213 27148
/proc/meminfo: memFree=31000624/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 10247 0 1 0 226 3 0 0 20 0 19 0 27610678 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2406260 17021 2270 9 0 2396937 0
[pid=27129/tid=27131] ppid=27126 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/27129/task/27131/stat : 27131 (java) R 27126 27129 26442 0 -1 4202560 2436 0 1 0 144 1 0 0 20 0 19 0 27610679 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976182120728 139976021610476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27132] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27132/stat : 27132 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976143612840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27133] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27133/stat : 27133 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976142560296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27134] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27134/stat : 27134 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976141507240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27135] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27135/stat : 27135 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976140454696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27136] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27136/stat : 27136 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976139401640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27137] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27137/stat : 27137 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976020847144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27138] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27138/stat : 27138 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976019794088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27139] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27139/stat : 27139 (java) S 27126 27129 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976018741544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27140] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27140/stat : 27140 (java) S 27126 27129 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976006331240 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27141] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27141/stat : 27141 (java) S 27126 27129 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139976005277560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27142] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27142/stat : 27142 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139975400088968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27143] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27143/stat : 27143 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139975399037712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27144] ppid=27126 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/27129/task/27144/stat : 27144 (java) S 27126 27129 26442 0 -1 4202560 2727 0 0 0 38 0 0 0 20 0 19 0 27610685 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139975397984568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27145] ppid=27126 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/27129/task/27145/stat : 27145 (java) S 27126 27129 26442 0 -1 4202560 3812 0 0 0 42 0 0 0 20 0 19 0 27610685 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139975396932024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27146] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27146/stat : 27146 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139975395879160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27147] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27147/stat : 27147 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139975394826824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27148] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27148/stat : 27148 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610722 9856040960 17021 33554432000 1073741824 1073778376 140735882065760 139975393773096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.11 2.04 2.00 3/213 27148
/proc/meminfo: memFree=30996592/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 10250 0 1 0 389 3 0 0 20 0 19 0 27610678 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2406260 18045 2270 9 0 2396937 0
[pid=27129/tid=27131] ppid=27126 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/27129/task/27131/stat : 27131 (java) R 27126 27129 26442 0 -1 4202560 2439 0 1 0 303 1 0 0 20 0 19 0 27610679 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976182120656 139976021112253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27132] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27132/stat : 27132 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976143612840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27133] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27133/stat : 27133 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976142560296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27134] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27134/stat : 27134 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976141507240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27135] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27135/stat : 27135 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976140454696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27136] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27136/stat : 27136 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976139401640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27137] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27137/stat : 27137 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976020847144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27138] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27138/stat : 27138 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976019794088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27139] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27139/stat : 27139 (java) S 27126 27129 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976018741544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27140] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27140/stat : 27140 (java) S 27126 27129 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976006331240 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27141] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27141/stat : 27141 (java) S 27126 27129 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139976005277560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27142] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27142/stat : 27142 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139975400088968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27143] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27143/stat : 27143 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139975399037712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27144] ppid=27126 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27129/task/27144/stat : 27144 (java) S 27126 27129 26442 0 -1 4202560 2727 0 0 0 40 0 0 0 20 0 19 0 27610685 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139975397984568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27145] ppid=27126 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27129/task/27145/stat : 27145 (java) S 27126 27129 26442 0 -1 4202560 3812 0 0 0 44 0 0 0 20 0 19 0 27610685 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139975396932024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27146] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27146/stat : 27146 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139975395879160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27147] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27147/stat : 27147 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139975394826824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27148] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27148/stat : 27148 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610722 9856040960 18045 33554432000 1073741824 1073778376 140735882065760 139975393773096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.10 2.04 2.00 3/213 27148
/proc/meminfo: memFree=30990760/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9625040 CPUtime=7.14 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 10256 0 1 0 710 4 0 0 20 0 19 0 27610678 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2406260 19305 2271 9 0 2396937 0
[pid=27129/tid=27131] ppid=27126 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/27129/task/27131/stat : 27131 (java) R 27126 27129 26442 0 -1 4202560 2444 0 1 0 622 1 0 0 20 0 19 0 27610679 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976182120872 139976021505024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27132] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27132/stat : 27132 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976143612840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27133] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27133/stat : 27133 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976142560296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27134] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27134/stat : 27134 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976141507240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27135] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27135/stat : 27135 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976140454696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27136] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27136/stat : 27136 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976139401640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27137] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27137/stat : 27137 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976020847144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27138] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27138/stat : 27138 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976019794088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27139] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27139/stat : 27139 (java) S 27126 27129 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27610681 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976018741544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27140] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27140/stat : 27140 (java) S 27126 27129 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976006331240 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27141] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27141/stat : 27141 (java) S 27126 27129 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139976005277560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27142] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27142/stat : 27142 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139975400088968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27143] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27143/stat : 27143 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139975399037712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27144] ppid=27126 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/27129/task/27144/stat : 27144 (java) S 27126 27129 26442 0 -1 4202560 2727 0 0 0 40 0 0 0 20 0 19 0 27610685 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139975397984568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27145] ppid=27126 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27129/task/27145/stat : 27145 (java) S 27126 27129 26442 0 -1 4202560 3812 0 0 0 45 0 0 0 20 0 19 0 27610685 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139975396932024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27146] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27146/stat : 27146 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139975395879160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27147] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27147/stat : 27147 (java) S 27126 27129 26442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139975394826824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27148] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27148/stat : 27148 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610722 9856040960 19305 33554432000 1073741824 1073778376 140735882065760 139975393773096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9625040


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

[pid=27129/tid=27148] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27148/stat : 27148 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610722 9856040960 108716 33554432000 1073741824 1073778376 140735882065760 139975393773096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.72
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.09 2.02 4/213 27281
/proc/meminfo: memFree=30593508/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9625040 CPUtime=1784.81 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 12130 0 1 0 178409 72 0 0 20 0 19 0 27610678 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2406260 110560 2285 9 0 2396937 0
[pid=27129/tid=27131] ppid=27126 vsize=9625040 CPUtime=1777.06 cores=1,3,5,7
/proc/27129/task/27131/stat : 27131 (java) R 27126 27129 26442 0 -1 4202560 2501 0 1 0 177676 30 0 0 20 0 19 0 27610679 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976182119760 139976021548746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27132] ppid=27126 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/27129/task/27132/stat : 27132 (java) S 27126 27129 26442 0 -1 4202560 133 0 0 0 16 2 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976143612840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27133] ppid=27126 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/27129/task/27133/stat : 27133 (java) S 27126 27129 26442 0 -1 4202560 220 0 0 0 16 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976142560296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27134] ppid=27126 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27129/task/27134/stat : 27134 (java) S 27126 27129 26442 0 -1 4202560 107 0 0 0 21 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976141507240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27135] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27135/stat : 27135 (java) S 27126 27129 26442 0 -1 4202560 212 0 0 0 20 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976140454696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27136] ppid=27126 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/27129/task/27136/stat : 27136 (java) S 27126 27129 26442 0 -1 4202560 65 0 0 0 16 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976139401640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27137] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27137/stat : 27137 (java) S 27126 27129 26442 0 -1 4202560 74 0 0 0 21 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976020847144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27138] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27138/stat : 27138 (java) S 27126 27129 26442 0 -1 4202560 227 0 0 0 20 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976019794088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27139] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27139/stat : 27139 (java) S 27126 27129 26442 0 -1 4202560 205 0 0 0 19 6 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976018741544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27140] ppid=27126 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/27129/task/27140/stat : 27140 (java) S 27126 27129 26442 0 -1 4202560 83 0 0 0 2 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976006331240 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27141] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27141/stat : 27141 (java) S 27126 27129 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976005277560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27142] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27142/stat : 27142 (java) S 27126 27129 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975400088968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27143] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27143/stat : 27143 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975399037712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27144] ppid=27126 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27129/task/27144/stat : 27144 (java) S 27126 27129 26442 0 -1 4202560 3129 0 0 0 44 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975397984568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27145] ppid=27126 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27129/task/27145/stat : 27145 (java) S 27126 27129 26442 0 -1 4202560 3812 0 0 0 45 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975396932024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27146] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27146/stat : 27146 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975395879160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27147] ppid=27126 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/27129/task/27147/stat : 27147 (java) S 27126 27129 26442 0 -1 4202560 104 0 0 0 29 47 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975394826824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27148] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27148/stat : 27148 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610722 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975393773096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1784.81
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 2.05 2.08 2.02 4/213 27281
/proc/meminfo: memFree=30556520/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 12130 0 1 0 179929 72 0 0 20 0 19 0 27610678 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2406260 110560 2285 9 0 2396937 0
[pid=27129/tid=27131] ppid=27126 vsize=9625040 CPUtime=1792.23 cores=1,3,5,7
/proc/27129/task/27131/stat : 27131 (java) R 27126 27129 26442 0 -1 4202560 2501 0 1 0 179193 30 0 0 20 0 19 0 27610679 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976182112032 139976021186838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27132] ppid=27126 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/27129/task/27132/stat : 27132 (java) S 27126 27129 26442 0 -1 4202560 133 0 0 0 16 2 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976143612840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27133] ppid=27126 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/27129/task/27133/stat : 27133 (java) S 27126 27129 26442 0 -1 4202560 220 0 0 0 16 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976142560296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27134] ppid=27126 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27129/task/27134/stat : 27134 (java) S 27126 27129 26442 0 -1 4202560 107 0 0 0 21 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976141507240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27135] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27135/stat : 27135 (java) S 27126 27129 26442 0 -1 4202560 212 0 0 0 20 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976140454696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27136] ppid=27126 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/27129/task/27136/stat : 27136 (java) S 27126 27129 26442 0 -1 4202560 65 0 0 0 16 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976139401640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27137] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27137/stat : 27137 (java) S 27126 27129 26442 0 -1 4202560 74 0 0 0 21 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976020847144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27138] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27138/stat : 27138 (java) S 27126 27129 26442 0 -1 4202560 227 0 0 0 20 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976019794088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27139] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27139/stat : 27139 (java) S 27126 27129 26442 0 -1 4202560 205 0 0 0 19 6 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976018741544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27140] ppid=27126 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/27129/task/27140/stat : 27140 (java) S 27126 27129 26442 0 -1 4202560 83 0 0 0 2 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976006331240 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27141] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27141/stat : 27141 (java) S 27126 27129 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976005277560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27142] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27142/stat : 27142 (java) S 27126 27129 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975400088968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27143] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27143/stat : 27143 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975399037712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27144] ppid=27126 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27129/task/27144/stat : 27144 (java) S 27126 27129 26442 0 -1 4202560 3129 0 0 0 44 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975397984568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27145] ppid=27126 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27129/task/27145/stat : 27145 (java) S 27126 27129 26442 0 -1 4202560 3812 0 0 0 45 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975396932024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27146] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27146/stat : 27146 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975395879160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27147] ppid=27126 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/27129/task/27147/stat : 27147 (java) S 27126 27129 26442 0 -1 4202560 104 0 0 0 29 48 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975394826824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27148] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27148/stat : 27148 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610722 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975393773096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 27129 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.51 s]
/proc/loadavg: 2.05 2.08 2.02 4/213 27281
/proc/meminfo: memFree=30556520/32872528 swapFree=552864/567172
[pid=27129] ppid=27126 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/27129/stat : 27129 (java) S 27126 27129 26442 0 -1 4202496 12130 0 1 0 179929 72 0 0 20 0 19 0 27610678 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 140735882056896 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27129/statm: 2406260 110560 2285 9 0 2396937 0
[pid=27129/tid=27131] ppid=27126 vsize=9625040 CPUtime=1792.23 cores=1,3,5,7
/proc/27129/task/27131/stat : 27131 (java) R 27126 27129 26442 0 -1 4202560 2501 0 1 0 179193 30 0 0 20 0 19 0 27610679 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976182112032 139976021186838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27132] ppid=27126 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/27129/task/27132/stat : 27132 (java) S 27126 27129 26442 0 -1 4202560 133 0 0 0 16 2 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976143612840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27133] ppid=27126 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/27129/task/27133/stat : 27133 (java) S 27126 27129 26442 0 -1 4202560 220 0 0 0 16 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976142560296 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27134] ppid=27126 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27129/task/27134/stat : 27134 (java) S 27126 27129 26442 0 -1 4202560 107 0 0 0 21 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976141507240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27135] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27135/stat : 27135 (java) S 27126 27129 26442 0 -1 4202560 212 0 0 0 20 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976140454696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27136] ppid=27126 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/27129/task/27136/stat : 27136 (java) S 27126 27129 26442 0 -1 4202560 65 0 0 0 16 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976139401640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27137] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27137/stat : 27137 (java) S 27126 27129 26442 0 -1 4202560 74 0 0 0 21 4 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976020847144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27138] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27138/stat : 27138 (java) S 27126 27129 26442 0 -1 4202560 227 0 0 0 20 5 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976019794088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27139] ppid=27126 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27129/task/27139/stat : 27139 (java) S 27126 27129 26442 0 -1 4202560 205 0 0 0 19 6 0 0 20 0 19 0 27610681 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976018741544 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27129/tid=27140] ppid=27126 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/27129/task/27140/stat : 27140 (java) S 27126 27129 26442 0 -1 4202560 83 0 0 0 2 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976006331240 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27129/tid=27141] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27141/stat : 27141 (java) S 27126 27129 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139976005277560 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27142] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27142/stat : 27142 (java) S 27126 27129 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27610682 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975400088968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27143] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27143/stat : 27143 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975399037712 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27144] ppid=27126 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/27129/task/27144/stat : 27144 (java) S 27126 27129 26442 0 -1 4202560 3129 0 0 0 44 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975397984568 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27145] ppid=27126 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27129/task/27145/stat : 27145 (java) S 27126 27129 26442 0 -1 4202560 3812 0 0 0 45 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975396932024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27146] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27146/stat : 27146 (java) S 27126 27129 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975395879160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27129/tid=27147] ppid=27126 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/27129/task/27147/stat : 27147 (java) S 27126 27129 26442 0 -1 4202560 104 0 0 0 29 48 0 0 20 0 19 0 27610685 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975394826824 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27129/tid=27148] ppid=27126 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27129/task/27148/stat : 27148 (java) S 27126 27129 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27610722 9856040960 110560 33554432000 1073741824 1073778376 140735882065760 139975393773096 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27129 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=788150
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=272806
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.01
#
# 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.01
CPU user time (s): 1799.29
CPU system time (s): 0.72
CPU usage (%): 100.137
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 1.27281
maximum resident set size= 447176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12164
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38441
involuntary context switches= 8234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6844 second user time and 13.7119 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-26 14:55:28
IDJOB=4115993
IDBENCH=109414
IDSOLVER=2546
FILE ID=node138/4115993-1466945728
RUNJOBID= node138-1466940040-26459
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-size112-round23-7.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115993-1466945728/watcher-4115993-1466945728 -o /tmp/evaluation-result-4115993-1466945728/solver-4115993-1466945728 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26459 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4115993-1466945728.opb

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

MD5SUM BENCH= 4d7f4e517409151f797860ef8d501011
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:        31059672 kB
Buffers:            8528 kB
Cached:           218112 kB
SwapCached:         3788 kB
Active:           315120 kB
Inactive:         207376 kB
Active(anon):     293652 kB
Inactive(anon):     4568 kB
Active(file):      21468 kB
Inactive(file):   202808 kB
Unevictable:      567172 kB
Mlocked:          552864 kB
SwapTotal:      67108856 kB
SwapFree:       67094448 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:        858168 kB
Mapped:            15388 kB
Shmem:                 0 kB
Slab:             566384 kB
SReclaimable:       9860 kB
SUnreclaim:       556524 kB
KernelStack:        1672 kB
PageTables:         6196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1273864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 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:25:25