Trace number 4117964

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)115 1800.21 1796.88

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
dt-problems/normalized-lo_16x16_009.opb.metafix.opb
MD5SUM4100583cce5985521edb426b7c1d8612
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark9.79751
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables256
Total number of constraints94
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)94
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 256
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 256
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 256
Number of bits of the biggest sum of numbers9
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	16
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@3f662dc8
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@2a0ecd7e
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4117964-1467242108.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.11/0.16	c ... done. Wall clock time 0.056s.
0.11/0.16	c declared #vars     256
0.11/0.16	c #constraints  188
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9
0.11/0.16	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.11/0.16	c org.sat4j.specs.Constr$1 => 7
0.11/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 161
0.11/0.16	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
0.11/0.16	c 188 constraints processed.
0.11/0.16	c objective function length is 256 literals
0.28/0.28	c SATISFIABLE
0.28/0.28	c OPTIMIZING...
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.173
0.28/0.28	o 115
0.81/0.56	c cleaning 2761 clauses out of 5533 with flag 18460/5533
1.17/0.86	c cleaning 4380 clauses out of 8773 with flag 43151/11534
1.59/1.24	c cleaning 5694 clauses out of 11392 with flag 76533/18533
1.99/1.69	c cleaning 6834 clauses out of 13700 with flag 109786/26535
2.61/2.25	c cleaning 7929 clauses out of 15864 with flag 151890/35533
3.31/2.91	c cleaning 8963 clauses out of 17935 with flag 194325/45533
4.11/3.71	c cleaning 9978 clauses out of 19972 with flag 243355/56533
5.01/4.60	c cleaning 10996 clauses out of 21995 with flag 297290/68534
5.92/5.57	c cleaning 11988 clauses out of 24002 with flag 351458/81537
7.12/6.74	c cleaning 12996 clauses out of 26010 with flag 403368/95533
8.41/8.08	c cleaning 14004 clauses out of 28015 with flag 472128/110534
9.91/9.53	c cleaning 14998 clauses out of 30010 with flag 535583/126533
11.42/11.07	c cleaning 16001 clauses out of 32013 with flag 605168/143534
13.32/12.91	c cleaning 17002 clauses out of 34012 with flag 687107/161534
15.22/14.87	c cleaning 18006 clauses out of 36011 with flag 783513/180535
17.22/16.84	c cleaning 18989 clauses out of 38005 with flag 892057/200535
19.32/18.97	c cleaning 19990 clauses out of 40014 with flag 986830/221533
21.71/21.38	c cleaning 21002 clauses out of 42024 with flag 1080785/243533
24.41/24.04	c cleaning 21998 clauses out of 44024 with flag 1183386/266535
27.11/26.71	c cleaning 23005 clauses out of 46027 with flag 1291803/290536
29.81/29.49	c cleaning 24004 clauses out of 48020 with flag 1403775/315534
33.02/32.60	c cleaning 25002 clauses out of 50015 with flag 1522331/341533
36.22/35.80	c cleaning 25991 clauses out of 52014 with flag 1676741/368534
39.61/39.22	c cleaning 27008 clauses out of 54022 with flag 1792915/396533
43.21/42.80	c cleaning 28001 clauses out of 56014 with flag 1937520/425533
47.01/46.69	c cleaning 28993 clauses out of 58016 with flag 2073684/455536
51.70/51.29	c cleaning 30007 clauses out of 60022 with flag 2239095/486535
55.90/55.42	c cleaning 30999 clauses out of 62013 with flag 2422010/518533
60.30/59.85	c cleaning 31986 clauses out of 64018 with flag 2573734/551537
65.00/64.53	c cleaning 32990 clauses out of 66028 with flag 2739946/585533
69.91/69.50	c cleaning 34012 clauses out of 68038 with flag 2917341/620533
75.41/74.94	c cleaning 35014 clauses out of 70028 with flag 3135068/656535
80.60/80.17	c cleaning 35996 clauses out of 72013 with flag 3290269/693534
86.31/85.90	c cleaning 36999 clauses out of 74016 with flag 3458495/731533
91.91/91.49	c cleaning 37989 clauses out of 76019 with flag 3637309/770535
99.40/98.93	c cleaning 39010 clauses out of 78028 with flag 3876921/810533
106.59/106.16	c cleaning 39993 clauses out of 80018 with flag 4145399/851533
113.59/113.11	c cleaning 40995 clauses out of 82028 with flag 4351954/893536
121.09/120.62	c cleaning 42012 clauses out of 84031 with flag 4539344/936534
128.59/128.19	c cleaning 43004 clauses out of 86018 with flag 4746579/980533
136.42/135.82	c cleaning 44004 clauses out of 88017 with flag 4953678/1025536
144.72/144.14	c cleaning 45001 clauses out of 90010 with flag 5172480/1071533
152.31/151.79	c cleaning 45990 clauses out of 92009 with flag 5384999/1118533
161.32/160.72	c cleaning 46985 clauses out of 94021 with flag 5630015/1166535
171.22/170.62	c cleaning 48012 clauses out of 96036 with flag 5892474/1215535
183.81/183.28	c cleaning 49001 clauses out of 98023 with flag 6233693/1265534
193.22/192.68	c cleaning 50006 clauses out of 100021 with flag 6462708/1316533
204.12/203.57	c cleaning 50989 clauses out of 102016 with flag 6762358/1368534
214.90/214.40	c cleaning 52008 clauses out of 104028 with flag 7006043/1421535
226.64/225.95	c cleaning 53007 clauses out of 106018 with flag 7258904/1475533
238.03/237.34	c cleaning 54003 clauses out of 108012 with flag 7501519/1530534
249.35/248.66	c cleaning 54993 clauses out of 110008 with flag 7749911/1586533
261.74/261.02	c cleaning 55998 clauses out of 112015 with flag 7994672/1643533
274.54/273.88	c cleaning 56988 clauses out of 114018 with flag 8247473/1701534
288.04/287.38	c cleaning 58009 clauses out of 116029 with flag 8514276/1760533
302.44/301.79	c cleaning 58995 clauses out of 118024 with flag 8816794/1820537
316.83/316.15	c cleaning 60003 clauses out of 120025 with flag 9118348/1881533
330.87/330.11	c cleaning 61003 clauses out of 122022 with flag 9412562/1943533
345.72/344.88	c cleaning 62004 clauses out of 124019 with flag 9696703/2006533
360.92/360.09	c cleaning 62996 clauses out of 126016 with flag 10050137/2070534
376.83/375.98	c cleaning 63996 clauses out of 128020 with flag 10343431/2135534
394.23/393.34	c cleaning 65010 clauses out of 130023 with flag 10671208/2201533
409.43/408.54	c cleaning 66001 clauses out of 132013 with flag 11075590/2268533
426.03/425.17	c cleaning 66995 clauses out of 134013 with flag 11405763/2336534
443.14/442.23	c cleaning 68000 clauses out of 136019 with flag 11760641/2405535
461.83/460.94	c cleaning 69009 clauses out of 138018 with flag 12131218/2475534
480.29/479.33	c cleaning 69992 clauses out of 140008 with flag 12443967/2546533
500.09/499.19	c cleaning 70989 clauses out of 142018 with flag 12755805/2618535
519.20/518.22	c cleaning 72004 clauses out of 144027 with flag 13122294/2691533
544.78/543.82	c cleaning 72979 clauses out of 146024 with flag 13523711/2765534
567.39/566.43	c cleaning 74020 clauses out of 148045 with flag 13867796/2840534
588.59/587.62	c cleaning 75006 clauses out of 150026 with flag 14229934/2916535
611.05/609.91	c cleaning 75994 clauses out of 152019 with flag 14591179/2993534
634.95/633.89	c cleaning 77010 clauses out of 154024 with flag 14977504/3071533
664.94/663.86	c cleaning 77992 clauses out of 156014 with flag 15431412/3150533
690.87/689.74	c cleaning 79007 clauses out of 158023 with flag 15834312/3230534
715.35/714.21	c cleaning 80005 clauses out of 160017 with flag 16212372/3311535
741.35/740.29	c cleaning 80999 clauses out of 162010 with flag 16571531/3393533
769.07/767.90	c cleaning 82002 clauses out of 164013 with flag 16990695/3476535
795.67/794.45	c cleaning 83002 clauses out of 166009 with flag 17408656/3560533
823.47/822.27	c cleaning 83992 clauses out of 168007 with flag 17873004/3645533
858.47/857.24	c cleaning 84999 clauses out of 170016 with flag 18355988/3731534
886.78/885.52	c cleaning 86003 clauses out of 172016 with flag 18773384/3818533
916.97/915.42	c cleaning 87002 clauses out of 174013 with flag 19195608/3906533
947.76/946.28	c cleaning 88006 clauses out of 176012 with flag 19593787/3995534
978.77/977.25	c cleaning 88992 clauses out of 178005 with flag 20011151/4085533
1013.77/1012.25	c cleaning 89995 clauses out of 180013 with flag 20420303/4176533
1048.66/1046.91	c cleaning 91001 clauses out of 182018 with flag 20861550/4268533
1082.75/1081.07	c cleaning 91995 clauses out of 184018 with flag 21315730/4361534
1116.46/1114.75	c cleaning 93010 clauses out of 186023 with flag 21764974/4455534
1153.66/1151.91	c cleaning 94003 clauses out of 188012 with flag 22277595/4550533
1189.72/1187.55	c cleaning 94983 clauses out of 190009 with flag 22706249/4646533
1227.03/1224.89	c cleaning 95991 clauses out of 192026 with flag 23160866/4743533
1265.04/1262.88	c cleaning 96988 clauses out of 194036 with flag 23673682/4841534
1304.22/1302.03	c cleaning 98019 clauses out of 196049 with flag 24137399/4940535
1344.23/1341.72	c cleaning 99004 clauses out of 198028 with flag 24669923/5040533
1384.73/1382.21	c cleaning 100003 clauses out of 200024 with flag 25129777/5141533
1431.24/1428.80	c cleaning 101002 clauses out of 202023 with flag 25669247/5243535
1473.25/1470.77	c cleaning 101997 clauses out of 204019 with flag 26164956/5346533
1516.31/1513.46	c cleaning 102998 clauses out of 206022 with flag 26666601/5450533
1555.92/1553.00	c cleaning 104007 clauses out of 208024 with flag 27314221/5555533
1600.62/1597.77	c cleaning 104996 clauses out of 210020 with flag 27857086/5661536
1649.30/1646.20	c cleaning 105980 clauses out of 212022 with flag 28415071/5768534
1706.01/1702.94	c cleaning 107016 clauses out of 214043 with flag 29094326/5876535
1755.10/1752.00	c cleaning 108008 clauses out of 216025 with flag 29620980/5985533
1800.21/1796.84	c starts		: 12548
1800.21/1796.84	c conflicts		: 6091474
1800.21/1796.84	c decisions		: 8627845
1800.21/1796.84	c propagations		: 260549690
1800.21/1796.84	c inspects		: 33917880018
1800.21/1796.84	c shortcuts		: 0
1800.21/1796.84	c learnt literals	: 0
1800.21/1796.84	c learnt binary clauses	: 0
1800.21/1796.84	c learnt ternary clauses	: 0
1800.21/1796.84	c learnt constraints	: 6091474
1800.21/1796.84	c ignored constraints	: 0
1800.21/1796.84	c root simplifications	: 0
1800.21/1796.84	c removed literals (reason simplification)	: 0
1800.21/1796.84	c reason swapping (by a shorter reason)	: 0
1800.21/1796.84	c Calls to reduceDB	: 105
1800.21/1796.84	c Number of update (reduction) of LBD	: 2321680
1800.21/1796.84	c Imported unit clauses	: 0
1800.21/1796.84	c number of reductions to clauses (during analyze)	: 0
1800.21/1796.84	c number of learned constraints concerned by reduction	: 0
1800.21/1796.84	c number of learning phase by resolution	: 0
1800.21/1796.84	c number of learning phase by cutting planes	: 0
1800.21/1796.84	c speed (assignments/second)	: 145017.71438907983
1800.21/1796.84	c non guided choices	0
1800.21/1796.87	c learnt constraints type 
1800.21/1796.87	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 213959
1800.21/1796.87	s SATISFIABLE
1800.21/1796.87	c Found 1 solution(s)
1800.21/1796.87	v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 x14 -x15 x16 x17 x18 -x19 -x20 -x21 -x22 x23 -x24 x25 x26 x27 -x28 x29 -x30 x31 x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 x49 x50 x51 x52 x53 x54 -x55 -x56 x57 -x58 x59 x60 x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 x74 x75 x76 x77 -x78 -x79 x80 -x81 x82 x83 x84 -x85 -x86 x87 -x88 -x89 x90 x91 -x92 -x93 x94 -x95 -x96 -x97 x98 x99 x100 x101 x102 -x103 x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 x113 x114 x115 -x116 x117 x118 -x119 x120 x121 -x122 -x123 x124 x125 -x126 -x127 x128 x129 x130 x131 -x132 x133 -x134 -x135 -x136 x137 x138 -x139 x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 x155 -x156 x157 -x158 x159 x160 -x161 -x162 -x163 -x164 x165 -x166 x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 x190 x191 x192 -x193 x194 -x195 x196 x197 x198 x199 x200 -x201 -x202 x203 x204 x205 x206 x207 x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 x220 x221 -x222 -x223 x224 x225 x226 -x227 -x228 x229 x230 x231 x232 x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 x244 x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 
1800.21/1796.87	c objective function=115
1800.21/1796.87	c Total wall clock time (in seconds): 1796.765

Verifier Data 

OK	115

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-4117964-1467242108/watcher-4117964-1467242108 -o /tmp/evaluation-result-4117964-1467242108/solver-4117964-1467242108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4117964-1467242108.opb 

pid=16825
running on 8 cores: 0-3,8-11

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.15 2.07 2.09 3/281 16828
/proc/meminfo: memFree=27769300/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=96260 CPUtime=0 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 5163642 98570240 977 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 24065 977 744 9 0 16771 0
[pid=16828/tid=16829] ppid=16825 vsize=96268 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 2 0 5163643 98578432 979 33554432000 1073741824 1073778376 140737257411232 140721543286312 216812025310 0 0 4096 2048 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.15 2.07 2.09 3/281 16828
/proc/meminfo: memFree=27769300/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9896436 CPUtime=0.11 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 4462 0 1 0 9 2 0 0 20 0 23 0 5163642 10133950464 6089 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2474109 6089 2140 9 0 2464786 0
[pid=16828/tid=16829] ppid=16825 vsize=9896436 CPUtime=0.07 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2418 0 1 0 6 1 0 0 20 0 23 0 5163643 10133950464 6089 33554432000 1073741824 1073778376 140737257411232 140721543290120 216812021005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436

[startup+0.200265 s]
/proc/loadavg: 2.15 2.07 2.09 3/281 16828
/proc/meminfo: memFree=27769300/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=0.28 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 5794 0 1 0 26 2 0 0 20 0 24 0 5163642 10202112000 8003 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 8010 2228 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=0.17 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2451 0 1 0 16 1 0 0 20 0 24 0 5163643 10202112000 8010 33554432000 1073741824 1073778376 140737257411232 140721543291520 140721399028078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9963000

[startup+0.30026 s]
/proc/loadavg: 2.15 2.07 2.09 3/281 16828
/proc/meminfo: memFree=27769300/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=0.54 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 6669 0 1 0 52 2 0 0 20 0 24 0 5163642 10202112000 8327 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 8327 2243 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=0.27 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2453 0 1 0 26 1 0 0 20 0 24 0 5163643 10202112000 8327 33554432000 1073741824 1073778376 140737257411232 140721543290824 140721399339232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9963000

[startup+0.700295 s]
/proc/loadavg: 2.15 2.07 2.09 3/281 16828
/proc/meminfo: memFree=27769300/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=1.04 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 7542 0 1 0 102 2 0 0 20 0 24 0 5163642 10202112000 9039 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 9039 2254 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=0.67 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2454 0 1 0 66 1 0 0 20 0 24 0 5163643 10202112000 9039 33554432000 1073741824 1073778376 140737257411232 140721543290824 140721399509549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9963000

[startup+1.50091 s]
/proc/loadavg: 2.15 2.07 2.09 3/305 16852
/proc/meminfo: memFree=27738580/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=1.89 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 7548 0 1 0 187 2 0 0 20 0 24 0 5163642 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 10066 2256 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=1.47 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2457 0 1 0 146 1 0 0 20 0 24 0 5163643 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721543282384 140721399531911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16831] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16831/stat : 16831 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721521392168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16832] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16832/stat : 16832 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721520339368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16833] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16833/stat : 16833 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721519286568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16834] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16834/stat : 16834 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721518233768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16835] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16835/stat : 16835 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721180896296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16836] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16836/stat : 16836 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721179843496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16837] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16837/stat : 16837 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721178790696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16838] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16838/stat : 16838 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721177737896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16839] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16839/stat : 16839 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721176685096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16840] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16840/stat : 16840 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721175632296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16841] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16841/stat : 16841 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721174579496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16828/tid=16842] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16842/stat : 16842 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721173526696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16843] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16843/stat : 16843 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721172474920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16844] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16844/stat : 16844 (java) S 16825 16828 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 5163645 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721155013480 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16845] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16845/stat : 16845 (java) S 16825 16828 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721153959544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16846] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16846/stat : 16846 (java) S 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721152906632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16847] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16847/stat : 16847 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721151855120 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16848] ppid=16825 vsize=9963000 CPUtime=0.17 cores=0-3,8-11
/proc/16828/task/16848/stat : 16848 (java) S 16825 16828 15681 0 -1 4202560 1088 0 0 0 17 0 0 0 20 0 24 0 5163648 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721150802232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16849] ppid=16825 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/16828/task/16849/stat : 16849 (java) S 16825 16828 15681 0 -1 4202560 2716 0 0 0 19 0 0 0 20 0 24 0 5163648 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721149749432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16850] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16850/stat : 16850 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721148696824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16851] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16851/stat : 16851 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721147645256 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16852] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16852/stat : 16852 (java) S 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163660 10202112000 10066 33554432000 1073741824 1073778376 140737257411232 140721146492456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9963000

[startup+3.10091 s]
/proc/loadavg: 2.15 2.07 2.09 4/305 16852
/proc/meminfo: memFree=27734248/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=3.51 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 7577 0 1 0 348 3 0 0 20 0 24 0 5163642 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 11603 2256 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=3.07 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2461 0 1 0 305 2 0 0 20 0 24 0 5163643 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721543282368 140721399501682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16831] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16831/stat : 16831 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721521392168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16832] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16832/stat : 16832 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721520339368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16833] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16833/stat : 16833 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721519286568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16834] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16834/stat : 16834 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721518233768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16835] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16835/stat : 16835 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721180896296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16836] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16836/stat : 16836 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721179843496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16837] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16837/stat : 16837 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721178790696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16838] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16838/stat : 16838 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721177737896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16839] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16839/stat : 16839 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721176685096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16840] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16840/stat : 16840 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721175632296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16841] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16841/stat : 16841 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721174579496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16828/tid=16842] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16842/stat : 16842 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721173526696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16843] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16843/stat : 16843 (java) S 16825 16828 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721172474920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16844] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16844/stat : 16844 (java) S 16825 16828 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 5163645 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721155013480 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16845] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16845/stat : 16845 (java) S 16825 16828 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721153959544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16846] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16846/stat : 16846 (java) S 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721152906632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16847] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16847/stat : 16847 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721151855120 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16848] ppid=16825 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/16828/task/16848/stat : 16848 (java) S 16825 16828 15681 0 -1 4202560 1113 0 0 0 19 0 0 0 20 0 24 0 5163648 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721150802232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16849] ppid=16825 vsize=9963000 CPUtime=0.2 cores=0-3,8-11
/proc/16828/task/16849/stat : 16849 (java) S 16825 16828 15681 0 -1 4202560 2716 0 0 0 20 0 0 0 20 0 24 0 5163648 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721149749432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16850] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16850/stat : 16850 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721148696824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16851] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16851/stat : 16851 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721147645256 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16852] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16852/stat : 16852 (java) S 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163660 10202112000 11603 33554432000 1073741824 1073778376 140737257411232 140721146492456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9963000

[startup+6.30092 s]
/proc/loadavg: 2.14 2.07 2.09 4/305 16852
/proc/meminfo: memFree=27722172/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=6.71 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 7585 0 1 0 668 3 0 0 20 0 24 0 5163642 10202112000 14580 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 14580 2257 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=6.25 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2468 0 1 0 623 2 0 0 20 0 24 0 5163643 10202112000 14580 33554432000 1073741824 1073778376 140737257411232 140721543282368 140721399501682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16831] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16831/stat : 16831 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 14580 33554432000 1073741824 1073778376 140737257411232 140721521392168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16832] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16832/stat : 16832 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 14580 33554432000 1073741824 1073778376 140737257411232 140721520339368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16833] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16833/stat : 16833 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163644 10202112000 14580 33554432000 1073741824 1073778376 140737257411232 140721519286568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16834] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11

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

/proc/16828/task/16839/stat : 16839 (java) S 16825 16828 15681 0 -1 4202560 103 0 0 0 15 7 0 0 20 0 24 0 5163644 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721176685096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16840] ppid=16825 vsize=9963000 CPUtime=0.23 cores=0-3,8-11
/proc/16828/task/16840/stat : 16840 (java) S 16825 16828 15681 0 -1 4202560 183 0 0 0 17 6 0 0 20 0 24 0 5163644 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721175632296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16841] ppid=16825 vsize=9963000 CPUtime=0.18 cores=0-3,8-11
/proc/16828/task/16841/stat : 16841 (java) S 16825 16828 15681 0 -1 4202560 150 0 0 0 14 4 0 0 20 0 24 0 5163644 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721174579496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16842] ppid=16825 vsize=9963000 CPUtime=0.19 cores=0-3,8-11
/proc/16828/task/16842/stat : 16842 (java) S 16825 16828 15681 0 -1 4202560 100 0 0 0 13 6 0 0 20 0 24 0 5163644 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721173526696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16843] ppid=16825 vsize=9963000 CPUtime=0.28 cores=0-3,8-11
/proc/16828/task/16843/stat : 16843 (java) S 16825 16828 15681 0 -1 4202560 305 0 0 0 21 7 0 0 20 0 24 0 5163644 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721172474920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16828/tid=16844] ppid=16825 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/16828/task/16844/stat : 16844 (java) S 16825 16828 15681 0 -1 4202560 62 0 0 0 2 0 0 0 20 0 24 0 5163645 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721155013480 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16845] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16845/stat : 16845 (java) S 16825 16828 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721153959544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16846] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16846/stat : 16846 (java) S 16825 16828 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721152906632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16847] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16847/stat : 16847 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721151855120 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16848] ppid=16825 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/16828/task/16848/stat : 16848 (java) S 16825 16828 15681 0 -1 4202560 1739 0 0 0 22 0 0 0 20 0 24 0 5163648 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721150802232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16849] ppid=16825 vsize=9963000 CPUtime=0.2 cores=0-3,8-11
/proc/16828/task/16849/stat : 16849 (java) S 16825 16828 15681 0 -1 4202560 2716 0 0 0 20 0 0 0 20 0 24 0 5163648 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721149749432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16850] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16850/stat : 16850 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721148696824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16851] ppid=16825 vsize=9963000 CPUtime=0.61 cores=0-3,8-11
/proc/16828/task/16851/stat : 16851 (java) S 16825 16828 15681 0 -1 4202560 104 0 0 0 30 31 0 0 20 0 24 0 5163648 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721147645256 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16852] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16852/stat : 16852 (java) S 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163660 10202112000 97809 33554432000 1073741824 1073778376 140737257411232 140721146492456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (KiB) 9963000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.06 2.08 3/305 17036
/proc/meminfo: memFree=27304148/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=1800.01 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 10869 0 1 0 179888 113 0 0 20 0 24 0 5163642 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 101921 2271 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=1791.44 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2535 0 1 0 179112 32 0 0 20 0 24 0 5163643 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721543290080 140721399510241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16831] ppid=16825 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/16828/task/16831/stat : 16831 (java) S 16825 16828 15681 0 -1 4202560 157 0 0 0 17 8 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721521392168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16832] ppid=16825 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/16828/task/16832/stat : 16832 (java) S 16825 16828 15681 0 -1 4202560 242 0 0 0 18 8 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721520339368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16833] ppid=16825 vsize=9963000 CPUtime=0.27 cores=0-3,8-11
/proc/16828/task/16833/stat : 16833 (java) S 16825 16828 15681 0 -1 4202560 155 0 0 0 21 6 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721519286568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16834] ppid=16825 vsize=9963000 CPUtime=0.3 cores=0-3,8-11
/proc/16828/task/16834/stat : 16834 (java) S 16825 16828 15681 0 -1 4202560 232 0 0 0 22 8 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721518233768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16835] ppid=16825 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/16828/task/16835/stat : 16835 (java) S 16825 16828 15681 0 -1 4202560 186 0 0 0 16 6 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721180896296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16836] ppid=16825 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/16828/task/16836/stat : 16836 (java) S 16825 16828 15681 0 -1 4202560 224 0 0 0 16 6 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721179843496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16837] ppid=16825 vsize=9963000 CPUtime=0.23 cores=0-3,8-11
/proc/16828/task/16837/stat : 16837 (java) S 16825 16828 15681 0 -1 4202560 239 0 0 0 17 6 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721178790696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16828/tid=16838] ppid=16825 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/16828/task/16838/stat : 16838 (java) S 16825 16828 15681 0 -1 4202560 161 0 0 0 18 8 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721177737896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16839] ppid=16825 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/16828/task/16839/stat : 16839 (java) S 16825 16828 15681 0 -1 4202560 106 0 0 0 17 7 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721176685096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16840] ppid=16825 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/16828/task/16840/stat : 16840 (java) S 16825 16828 15681 0 -1 4202560 183 0 0 0 19 6 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721175632296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16841] ppid=16825 vsize=9963000 CPUtime=0.2 cores=0-3,8-11
/proc/16828/task/16841/stat : 16841 (java) S 16825 16828 15681 0 -1 4202560 154 0 0 0 16 4 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721174579496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16842] ppid=16825 vsize=9963000 CPUtime=0.21 cores=0-3,8-11
/proc/16828/task/16842/stat : 16842 (java) S 16825 16828 15681 0 -1 4202560 105 0 0 0 14 7 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721173526696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16843] ppid=16825 vsize=9963000 CPUtime=0.3 cores=0-3,8-11
/proc/16828/task/16843/stat : 16843 (java) S 16825 16828 15681 0 -1 4202560 307 0 0 0 23 7 0 0 20 0 24 0 5163644 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721172474920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16828/tid=16844] ppid=16825 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/16828/task/16844/stat : 16844 (java) S 16825 16828 15681 0 -1 4202560 66 0 0 0 2 0 0 0 20 0 24 0 5163645 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721155013480 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16845] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16845/stat : 16845 (java) S 16825 16828 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721153959544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16846] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16846/stat : 16846 (java) S 16825 16828 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721152906632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16847] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16847/stat : 16847 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721151855120 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16848] ppid=16825 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/16828/task/16848/stat : 16848 (java) S 16825 16828 15681 0 -1 4202560 1739 0 0 0 22 0 0 0 20 0 24 0 5163648 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721150802232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16849] ppid=16825 vsize=9963000 CPUtime=0.2 cores=0-3,8-11
/proc/16828/task/16849/stat : 16849 (java) S 16825 16828 15681 0 -1 4202560 2716 0 0 0 20 0 0 0 20 0 24 0 5163648 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721149749432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16850] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16850/stat : 16850 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721148696824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16851] ppid=16825 vsize=9963000 CPUtime=0.62 cores=0-3,8-11
/proc/16828/task/16851/stat : 16851 (java) S 16825 16828 15681 0 -1 4202560 104 0 0 0 30 32 0 0 20 0 24 0 5163648 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721147645256 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16852] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16852/stat : 16852 (java) S 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163660 10202112000 101921 33554432000 1073741824 1073778376 140737257411232 140721146492456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9963000

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 16828 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.8 s]
/proc/loadavg: 2.00 2.06 2.08 3/305 17036
/proc/meminfo: memFree=27304148/32872528 swapFree=8828/8828
[pid=16828] ppid=16825 vsize=9963000 CPUtime=1800.21 cores=0-3,8-11
/proc/16828/stat : 16828 (java) S 16825 16828 15681 0 -1 4202496 10875 0 1 0 179908 113 0 0 20 0 24 0 5163642 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140737257402368 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16828/statm: 2490750 101927 2271 9 0 2481427 0
[pid=16828/tid=16829] ppid=16825 vsize=9963000 CPUtime=1791.63 cores=0-3,8-11
/proc/16828/task/16829/stat : 16829 (java) R 16825 16828 15681 0 -1 4202560 2535 0 1 0 179131 32 0 0 20 0 24 0 5163643 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721543290080 140721399509919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16831] ppid=16825 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/16828/task/16831/stat : 16831 (java) S 16825 16828 15681 0 -1 4202560 157 0 0 0 17 8 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721521392168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16832] ppid=16825 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/16828/task/16832/stat : 16832 (java) S 16825 16828 15681 0 -1 4202560 242 0 0 0 18 8 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721520339368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16833] ppid=16825 vsize=9963000 CPUtime=0.27 cores=0-3,8-11
/proc/16828/task/16833/stat : 16833 (java) S 16825 16828 15681 0 -1 4202560 155 0 0 0 21 6 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721519286568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16828/tid=16834] ppid=16825 vsize=9963000 CPUtime=0.3 cores=0-3,8-11
/proc/16828/task/16834/stat : 16834 (java) S 16825 16828 15681 0 -1 4202560 232 0 0 0 22 8 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721518233768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16835] ppid=16825 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/16828/task/16835/stat : 16835 (java) S 16825 16828 15681 0 -1 4202560 186 0 0 0 16 6 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721180896296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16836] ppid=16825 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/16828/task/16836/stat : 16836 (java) S 16825 16828 15681 0 -1 4202560 224 0 0 0 16 6 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721179843496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16837] ppid=16825 vsize=9963000 CPUtime=0.23 cores=0-3,8-11
/proc/16828/task/16837/stat : 16837 (java) S 16825 16828 15681 0 -1 4202560 239 0 0 0 17 6 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721178790696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16828/tid=16838] ppid=16825 vsize=9963000 CPUtime=0.26 cores=0-3,8-11
/proc/16828/task/16838/stat : 16838 (java) S 16825 16828 15681 0 -1 4202560 161 0 0 0 18 8 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721177737896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16839] ppid=16825 vsize=9963000 CPUtime=0.24 cores=0-3,8-11
/proc/16828/task/16839/stat : 16839 (java) S 16825 16828 15681 0 -1 4202560 106 0 0 0 17 7 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721176685096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=16828/tid=16840] ppid=16825 vsize=9963000 CPUtime=0.25 cores=0-3,8-11
/proc/16828/task/16840/stat : 16840 (java) S 16825 16828 15681 0 -1 4202560 183 0 0 0 19 6 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721175632296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16841] ppid=16825 vsize=9963000 CPUtime=0.2 cores=0-3,8-11
/proc/16828/task/16841/stat : 16841 (java) S 16825 16828 15681 0 -1 4202560 154 0 0 0 16 4 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721174579496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16842] ppid=16825 vsize=9963000 CPUtime=0.21 cores=0-3,8-11
/proc/16828/task/16842/stat : 16842 (java) S 16825 16828 15681 0 -1 4202560 105 0 0 0 14 7 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721173526696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16828/tid=16843] ppid=16825 vsize=9963000 CPUtime=0.3 cores=0-3,8-11
/proc/16828/task/16843/stat : 16843 (java) S 16825 16828 15681 0 -1 4202560 307 0 0 0 23 7 0 0 20 0 24 0 5163644 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721172474920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=16828/tid=16844] ppid=16825 vsize=9963000 CPUtime=0.02 cores=0-3,8-11
/proc/16828/task/16844/stat : 16844 (java) S 16825 16828 15681 0 -1 4202560 66 0 0 0 2 0 0 0 20 0 24 0 5163645 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721155013480 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16828/tid=16845] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16845/stat : 16845 (java) S 16825 16828 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721153959544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16846] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16846/stat : 16846 (java) S 16825 16828 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 5163646 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721152906632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16847] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16847/stat : 16847 (java) D 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721151851744 216812021005 0 4 0 16800975 18446744072100756772 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16848] ppid=16825 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/16828/task/16848/stat : 16848 (java) S 16825 16828 15681 0 -1 4202560 1739 0 0 0 22 0 0 0 20 0 24 0 5163648 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721150802232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=16828/tid=16849] ppid=16825 vsize=9963000 CPUtime=0.2 cores=0-3,8-11
/proc/16828/task/16849/stat : 16849 (java) S 16825 16828 15681 0 -1 4202560 2716 0 0 0 20 0 0 0 20 0 24 0 5163648 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721149749432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16850] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16850/stat : 16850 (java) S 16825 16828 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5163648 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721148696824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=16828/tid=16851] ppid=16825 vsize=9963000 CPUtime=0.62 cores=0-3,8-11
/proc/16828/task/16851/stat : 16851 (java) S 16825 16828 15681 0 -1 4202560 104 0 0 0 30 32 0 0 20 0 24 0 5163648 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721147645256 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16828/tid=16852] ppid=16825 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/16828/task/16852/stat : 16852 (java) S 16825 16828 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5163660 10202112000 101927 33554432000 1073741824 1073778376 140737257411232 140721146492456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 9963000

Child status: 143

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

Real time (s): 1796.88
CPU time (s): 1800.21
CPU user time (s): 1799.08
CPU system time (s): 1.13
CPU usage (%): 100.185
Max. virtual memory (cumulated for all children) (KiB): 9963000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.68
system time used= 1.71374
maximum resident set size= 407868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10920
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38560
involuntary context switches= 8356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0449 second user time and 18.4632 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-30 01:15:08
IDJOB=4117964
IDBENCH=111633
IDSOLVER=2546
FILE ID=node132/4117964-1467242108
RUNJOBID= node132-1467233254-15697
PBS_JOBID= 19997601
Free space on /tmp= 71540 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/dt-problems/normalized-lo_16x16_009.opb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117964-1467242108/watcher-4117964-1467242108 -o /tmp/evaluation-result-4117964-1467242108/solver-4117964-1467242108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4117964-1467242108.opb

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

MD5SUM BENCH= 4100583cce5985521edb426b7c1d8612
RANDOM SEED=340716083

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        27769680 kB
Buffers:          124952 kB
Cached:          3857188 kB
SwapCached:            0 kB
Active:           443240 kB
Inactive:        3874328 kB
Active(anon):     338012 kB
Inactive(anon):        0 kB
Active(file):     105228 kB
Inactive(file):  3874328 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:        352348 kB
Mapped:            22108 kB
Shmem:               216 kB
Slab:             632760 kB
SReclaimable:      72992 kB
SUnreclaim:       559768 kB
KernelStack:        2368 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     817500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 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= 71536 MiB
End job on node132 at 2016-06-30 01:45:05