Trace number 4106702

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)-99 1800 1776.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_5.opb
MD5SUM2b02b42135ec6f53aa7a47afb99951df
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6270
Sum of products size (including duplicates)12540
Number of different products3135
Sum of products size6270

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.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@37e893df
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@41ac1fe4
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4106702-1466274625.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.74/0.41	c ... done. Wall clock time 0.292s.
0.74/0.41	c declared #vars     500
0.74/0.41	c internal #vars     3635
0.74/0.41	c #constraints  7270
0.74/0.41	c constraints type 
0.74/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3135
0.74/0.41	c org.sat4j.minisat.constraints.cnf.UnitClauses => 402
0.74/0.41	c org.sat4j.specs.Constr$1 => 558
0.74/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 40
0.74/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3135
0.74/0.41	c 7270 constraints processed.
0.74/0.41	c objective function length is 500 literals
0.74/0.44	c SATISFIABLE
0.74/0.44	c OPTIMIZING...
0.74/0.44	c Got one! Elapsed wall clock time (in seconds):0.33
0.74/0.44	o -94
1.05/0.52	c Got one! Elapsed wall clock time (in seconds):0.411
1.05/0.52	o -95
1.05/0.58	c Got one! Elapsed wall clock time (in seconds):0.464
1.05/0.58	o -96
1.35/0.61	c Got one! Elapsed wall clock time (in seconds):0.501
1.35/0.61	o -97
1.81/0.94	c cleaning 2553 clauses out of 5105 with flag 10379/5105
2.22/1.27	c cleaning 4274 clauses out of 8552 with flag 22767/11105
2.62/1.63	c cleaning 5636 clauses out of 11278 with flag 37287/18105
3.04/2.07	c cleaning 6821 clauses out of 13642 with flag 53871/26105
3.57/2.59	c cleaning 7910 clauses out of 15821 with flag 72551/35105
3.67/2.65	c Got one! Elapsed wall clock time (in seconds):2.535
3.67/2.65	o -98
3.98/2.89	c cleaning 6585 clauses out of 13169 with flag 8557/40363
4.39/3.23	c cleaning 6290 clauses out of 12585 with flag 21900/46364
4.78/3.62	c cleaning 6643 clauses out of 13294 with flag 36704/53363
5.18/4.05	c cleaning 7325 clauses out of 14652 with flag 53538/61364
5.75/4.56	c cleaning 8160 clauses out of 16326 with flag 72274/70363
6.34/5.12	c cleaning 9084 clauses out of 18167 with flag 92835/80364
6.94/5.76	c cleaning 10038 clauses out of 20082 with flag 115514/91363
7.64/6.44	c cleaning 11021 clauses out of 22044 with flag 140376/103363
8.54/7.31	c cleaning 12008 clauses out of 24024 with flag 167362/116364
9.44/8.27	c cleaning 13007 clauses out of 26015 with flag 196272/130363
10.65/9.42	c cleaning 14000 clauses out of 28008 with flag 227238/145363
11.86/10.53	c cleaning 15000 clauses out of 30008 with flag 260441/161363
13.06/11.72	c cleaning 16004 clauses out of 32009 with flag 295557/178364
14.26/12.94	c cleaning 17000 clauses out of 34006 with flag 332670/196365
15.46/14.14	c cleaning 18001 clauses out of 36004 with flag 371856/215363
16.88/15.46	c cleaning 19000 clauses out of 38004 with flag 413121/235364
18.38/16.98	c cleaning 19998 clauses out of 40003 with flag 456612/256363
19.88/18.46	c cleaning 21002 clauses out of 42006 with flag 502133/278364
21.78/20.32	c cleaning 21996 clauses out of 44003 with flag 549759/301363
23.62/22.07	c cleaning 23003 clauses out of 46007 with flag 599410/325363
25.52/23.97	c cleaning 24000 clauses out of 48005 with flag 651320/350364
27.42/25.87	c Got one! Elapsed wall clock time (in seconds):25.753
27.42/25.87	o -99
28.13/26.59	c cleaning 27263 clauses out of 54525 with flag 10388/380884
29.13/27.30	c cleaning 16626 clauses out of 33261 with flag 23485/386883
29.53/27.70	c cleaning 11815 clauses out of 23637 with flag 38195/393885
29.92/28.14	c cleaning 9910 clauses out of 19820 with flag 54717/401883
30.43/28.62	c cleaning 9455 clauses out of 18910 with flag 73422/410883
31.02/29.21	c cleaning 9725 clauses out of 19455 with flag 94801/420883
31.63/29.83	c cleaning 10364 clauses out of 20730 with flag 117605/431883
32.32/30.57	c cleaning 11178 clauses out of 22366 with flag 142406/443883
33.12/31.33	c cleaning 12088 clauses out of 24188 with flag 169180/456883
34.06/32.23	c cleaning 13048 clauses out of 26101 with flag 198010/470884
35.06/33.23	c cleaning 14019 clauses out of 28052 with flag 228798/485883
36.26/34.40	c cleaning 15012 clauses out of 30034 with flag 261699/501884
37.46/35.63	c cleaning 16009 clauses out of 32021 with flag 296861/518883
38.66/36.85	c cleaning 17002 clauses out of 34012 with flag 333962/536883
39.78/37.97	c cleaning 18000 clauses out of 36010 with flag 373336/555883
41.08/39.20	c cleaning 19005 clauses out of 38010 with flag 414910/575883
42.39/40.59	c cleaning 20000 clauses out of 40006 with flag 458452/596884
44.07/42.10	c cleaning 21002 clauses out of 42005 with flag 504169/618883
45.67/43.72	c cleaning 21998 clauses out of 44004 with flag 551604/641884
47.47/45.51	c cleaning 23000 clauses out of 46006 with flag 601333/665884
49.38/47.32	c cleaning 24000 clauses out of 48005 with flag 652960/690883
51.47/49.47	c cleaning 25001 clauses out of 50005 with flag 706766/716883
53.78/51.73	c cleaning 26000 clauses out of 52005 with flag 762842/743884
55.98/53.90	c cleaning 27000 clauses out of 54004 with flag 820624/771883
58.39/56.24	c cleaning 28002 clauses out of 56006 with flag 880305/800885
61.53/59.28	c cleaning 28999 clauses out of 58002 with flag 942148/830883
64.83/62.57	c cleaning 30002 clauses out of 60003 with flag 1006207/861883
68.13/65.87	c cleaning 31000 clauses out of 62002 with flag 1072501/893884
71.72/69.35	c cleaning 31993 clauses out of 64002 with flag 1140843/926884
75.22/72.84	c cleaning 33001 clauses out of 66008 with flag 1211143/960883
79.25/76.74	c cleaning 34003 clauses out of 68007 with flag 1283335/995883
82.93/80.31	c cleaning 35000 clauses out of 70004 with flag 1357652/1031883
86.33/83.74	c cleaning 36002 clauses out of 72005 with flag 1433730/1068884
90.22/87.52	c cleaning 36999 clauses out of 74002 with flag 1511960/1106883
94.42/91.77	c cleaning 37997 clauses out of 76004 with flag 1592591/1145884
99.90/97.19	c cleaning 38996 clauses out of 78006 with flag 1674809/1185883
105.36/102.57	c cleaning 40004 clauses out of 80011 with flag 1759246/1226884
110.86/108.03	c cleaning 40998 clauses out of 82006 with flag 1845665/1268883
116.96/114.04	c cleaning 41997 clauses out of 84008 with flag 1934390/1311883
123.32/120.32	c cleaning 43003 clauses out of 86012 with flag 2025159/1355884
129.30/126.29	c cleaning 44003 clauses out of 88008 with flag 2117796/1400883
135.50/132.47	c cleaning 45004 clauses out of 90008 with flag 2212546/1446886
141.64/138.55	c cleaning 45998 clauses out of 92001 with flag 2309607/1493883
148.40/145.20	c cleaning 46995 clauses out of 94004 with flag 2408536/1541884
154.95/151.74	c cleaning 47999 clauses out of 96008 with flag 2509501/1590883
161.43/158.14	c cleaning 49005 clauses out of 98009 with flag 2612534/1640883
168.22/164.89	c cleaning 49999 clauses out of 100004 with flag 2717606/1691883
174.75/171.21	c cleaning 50999 clauses out of 102006 with flag 2824584/1743884
181.99/178.48	c cleaning 51999 clauses out of 104007 with flag 2933548/1796884
190.25/186.68	c cleaning 53002 clauses out of 106007 with flag 3044709/1850883
197.49/193.84	c cleaning 53998 clauses out of 108005 with flag 3157787/1905883
205.99/202.21	c cleaning 55002 clauses out of 110007 with flag 3272895/1961883
214.45/210.61	c cleaning 56002 clauses out of 112005 with flag 3390221/2018883
222.25/218.38	c cleaning 56997 clauses out of 114003 with flag 3510013/2076883
231.22/227.15	c cleaning 58002 clauses out of 116006 with flag 3632019/2135883
240.88/236.77	c cleaning 59003 clauses out of 118005 with flag 3755458/2195884
254.17/249.83	c cleaning 60001 clauses out of 120001 with flag 3880940/2256883
267.56/263.16	c cleaning 61001 clauses out of 122001 with flag 4008274/2318884
281.30/276.73	c cleaning 62000 clauses out of 124000 with flag 4137757/2381884
289.29/284.68	c cleaning 62997 clauses out of 125999 with flag 4269843/2445883
297.74/292.99	c cleaning 63999 clauses out of 128002 with flag 4404090/2510883
307.78/302.81	c cleaning 64997 clauses out of 130004 with flag 4539955/2576884
316.62/311.51	c cleaning 66001 clauses out of 132007 with flag 4677957/2643884
325.36/320.13	c cleaning 67000 clauses out of 134005 with flag 4818230/2711883
334.68/329.33	c cleaning 68000 clauses out of 136005 with flag 4960189/2780883
343.26/337.80	c cleaning 68999 clauses out of 138006 with flag 5104559/2850884
354.62/348.93	c cleaning 70001 clauses out of 140008 with flag 5250865/2921885
366.25/360.43	c cleaning 71003 clauses out of 142006 with flag 5399102/2993884
376.84/370.84	c cleaning 72000 clauses out of 144003 with flag 5549852/3066884
388.39/382.23	c cleaning 72999 clauses out of 146003 with flag 5702177/3140884
399.91/393.60	c cleaning 74001 clauses out of 148004 with flag 5856944/3215884
413.01/406.53	c cleaning 74997 clauses out of 150003 with flag 6014276/3291884
426.34/419.75	c cleaning 76000 clauses out of 152005 with flag 6173438/3368883
439.49/432.69	c cleaning 77004 clauses out of 154007 with flag 6334713/3446885
452.30/445.33	c cleaning 77998 clauses out of 156002 with flag 6497913/3525884
465.46/458.32	c cleaning 79000 clauses out of 158003 with flag 6662751/3605883
483.95/476.63	c cleaning 79995 clauses out of 160004 with flag 6829459/3686884
500.25/492.71	c cleaning 80999 clauses out of 162008 with flag 6998069/3768883
518.66/510.96	c cleaning 82001 clauses out of 164011 with flag 7169224/3851885
536.75/528.87	c cleaning 82999 clauses out of 166009 with flag 7342096/3935884
554.79/546.67	c cleaning 84004 clauses out of 168009 with flag 7517023/4020883
573.91/565.59	c cleaning 85002 clauses out of 170007 with flag 7693934/4106885
592.72/584.11	c cleaning 85996 clauses out of 172003 with flag 7872612/4193883
613.09/604.29	c cleaning 86998 clauses out of 174007 with flag 8053435/4281883
632.20/623.18	c cleaning 88005 clauses out of 176010 with flag 8236021/4370884
655.79/646.40	c cleaning 88997 clauses out of 178005 with flag 8420965/4460884
679.91/670.29	c cleaning 90002 clauses out of 180008 with flag 8608387/4551884
702.73/692.75	c cleaning 90999 clauses out of 182005 with flag 8798006/4643883
726.98/716.74	c cleaning 92004 clauses out of 184007 with flag 8989337/4736884
752.24/741.79	c cleaning 92999 clauses out of 186002 with flag 9182599/4830883
778.59/767.70	c cleaning 94002 clauses out of 188004 with flag 9378694/4925884
803.39/792.24	c cleaning 94997 clauses out of 190002 with flag 9576372/5021884
829.24/817.81	c cleaning 95999 clauses out of 192004 with flag 9776296/5118883
851.75/840.00	c cleaning 97000 clauses out of 194005 with flag 9978170/5216883
874.94/862.96	c cleaning 97995 clauses out of 196005 with flag 10181681/5315883
901.10/888.78	c cleaning 99000 clauses out of 198011 with flag 10387703/5415884
928.94/916.25	c cleaning 100003 clauses out of 200010 with flag 10595975/5516883
961.78/948.82	c cleaning 100998 clauses out of 202008 with flag 10806504/5618884
988.21/974.91	c cleaning 102001 clauses out of 204010 with flag 11018625/5721884
1015.44/1001.87	c cleaning 102998 clauses out of 206008 with flag 11232807/5825883
1049.52/1035.57	c cleaning 104004 clauses out of 208010 with flag 11448919/5930883
1085.78/1071.41	c cleaning 105000 clauses out of 210006 with flag 11667328/6036883
1122.96/1108.20	c cleaning 106004 clauses out of 212007 with flag 11887912/6143884
1158.57/1143.44	c cleaning 106999 clauses out of 214002 with flag 12110504/6251883
1195.79/1180.12	c cleaning 107992 clauses out of 216003 with flag 12335024/6360883
1225.97/1210.00	c cleaning 109003 clauses out of 218012 with flag 12561422/6470884
1258.40/1242.05	c cleaning 110005 clauses out of 220009 with flag 12789770/6581884
1295.60/1278.63	c cleaning 110997 clauses out of 222005 with flag 13020283/6693885
1333.39/1316.10	c cleaning 111996 clauses out of 224006 with flag 13252409/6806883
1367.36/1349.68	c cleaning 113001 clauses out of 226010 with flag 13487439/6920883
1398.12/1380.07	c cleaning 114005 clauses out of 228012 with flag 13724629/7035886
1430.26/1411.76	c cleaning 114999 clauses out of 230005 with flag 13964141/7151884
1467.57/1448.58	c cleaning 116001 clauses out of 232005 with flag 14206024/7268883
1499.44/1479.96	c cleaning 116996 clauses out of 234004 with flag 14449749/7386883
1521.34/1501.43	c cleaning 118001 clauses out of 236009 with flag 14696308/7505884
1543.93/1523.71	c cleaning 118998 clauses out of 238007 with flag 14944726/7625883
1577.94/1557.30	c cleaning 119999 clauses out of 240009 with flag 15196216/7746883
1603.76/1582.90	c cleaning 121002 clauses out of 242010 with flag 15449690/7868883
1639.79/1618.56	c cleaning 122001 clauses out of 244010 with flag 15704078/7991885
1670.02/1648.20	c cleaning 123001 clauses out of 246008 with flag 15962006/8115884
1699.41/1677.22	c cleaning 123999 clauses out of 248006 with flag 16222379/8240883
1731.64/1709.09	c cleaning 124998 clauses out of 250008 with flag 16484125/8366884
1772.26/1749.37	c cleaning 126005 clauses out of 252010 with flag 16748030/8493884
1800.00/1776.70	c starts		: 7
1800.00/1776.70	c conflicts		: 8586586
1800.00/1776.70	c decisions		: 9938023
1800.00/1776.70	c propagations		: 70622986
1800.00/1776.70	c inspects		: 25931282351
1800.00/1776.70	c shortcuts		: 0
1800.00/1776.70	c learnt literals	: 0
1800.00/1776.70	c learnt binary clauses	: 0
1800.00/1776.70	c learnt ternary clauses	: 0
1800.00/1776.70	c learnt constraints	: 8586586
1800.00/1776.70	c ignored constraints	: 0
1800.00/1776.70	c root simplifications	: 0
1800.00/1776.70	c removed literals (reason simplification)	: 0
1800.00/1776.70	c reason swapping (by a shorter reason)	: 0
1800.00/1776.70	c Calls to reduceDB	: 149
1800.00/1776.70	c Number of update (reduction) of LBD	: 66252
1800.00/1776.70	c Imported unit clauses	: 0
1800.00/1776.70	c number of reductions to clauses (during analyze)	: 0
1800.00/1776.70	c number of learned constraints concerned by reduction	: 0
1800.00/1776.70	c number of learning phase by resolution	: 0
1800.00/1776.70	c number of learning phase by cutting planes	: 0
1800.00/1776.70	c speed (assignments/second)	: 39758.9265205936
1800.00/1776.70	c non guided choices	0
1800.00/1776.73	c learnt constraints type 
1800.00/1776.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 218707
1800.00/1776.73	s SATISFIABLE
1800.00/1776.73	c Found 6 solution(s)
1800.00/1776.73	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 -x257 x258 x259 x260 x261 -x262 x263 -x264 -x265 -x266 x267 x268 -x269 x270 x271 x272 -x273 -x274 x275 -x276 -x277 x278 -x279 x280 -x281 x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 x291 x292 -x293 -x294 x295 x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 x461 -x462 x463 x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 
1800.00/1776.74	c objective function=-99
1800.00/1776.74	c Total wall clock time (in seconds): 1776.625

Verifier Data 

OK	-99

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-4106702-1466274625/watcher-4106702-1466274625 -o /tmp/evaluation-result-4106702-1466274625/solver-4106702-1466274625 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466269256-946 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106702-1466274625.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 3894
/proc/meminfo: memFree=31363756/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/3894/stat : 3894 (java) D 3891 3894 28317 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 29507372 2560000 47 33554432000 1073741824 1073778376 140733788945616 140733788942744 243756264743 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 625 47 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 3894
/proc/meminfo: memFree=31363756/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 29507372 9787879424 6031 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200213 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 3894
/proc/meminfo: memFree=31363756/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 4694 0 1 0 23 1 0 0 20 0 18 0 29507372 9787879424 6774 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2389619 6774 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300221 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 3894
/proc/meminfo: memFree=31363756/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 5645 0 1 0 43 2 0 0 20 0 18 0 29507372 9787879424 9020 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2389619 9020 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700179 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 3894
/proc/meminfo: memFree=31363756/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9625040 CPUtime=1.59 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 13940 0 1 0 155 4 0 0 20 0 19 0 29507372 9856040960 16352 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2406260 16352 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.16 2.04 2.01 3/214 3913
/proc/meminfo: memFree=31296780/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9625040 CPUtime=2.52 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 14010 0 1 0 248 4 0 0 20 0 19 0 29507372 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2406260 22553 2274 9 0 2396937 0
[pid=3894/tid=3896] ppid=3891 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/3894/task/3896/stat : 3896 (java) R 3891 3894 28317 0 -1 4202560 2448 0 1 0 143 2 0 0 20 0 19 0 29507373 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672491167904 139672353978280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3897] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3897/stat : 3897 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672480229672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3898] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3898/stat : 3898 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672479176872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3899] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672478124584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3900] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3900/stat : 3900 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672477071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3901] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3901/stat : 3901 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672476019496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3902] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672474966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3903] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3903/stat : 3903 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672473914408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3904] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3904/stat : 3904 (java) S 3891 3894 28317 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672472861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3905] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3905/stat : 3905 (java) S 3891 3894 28317 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672314521832 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3906] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3906/stat : 3906 (java) S 3891 3894 28317 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672313467896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3907] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3907/stat : 3907 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672312415496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3908] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3908/stat : 3908 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672311363984 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3909] ppid=3891 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/3894/task/3909/stat : 3909 (java) S 3891 3894 28317 0 -1 4202560 5680 0 0 0 55 0 0 0 20 0 19 0 29507378 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672310311608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3910] ppid=3891 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/3894/task/3910/stat : 3910 (java) S 3891 3894 28317 0 -1 4202560 4611 0 0 0 46 1 0 0 20 0 19 0 29507378 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672309258808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3911] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672308206712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3912] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3912/stat : 3912 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672307154120 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3913] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3913/stat : 3913 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507414 9856040960 22553 33554432000 1073741824 1073778376 140733788945616 139672306099112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.16 2.04 2.01 3/214 3913
/proc/meminfo: memFree=31260840/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 14034 0 1 0 423 5 0 0 20 0 19 0 29507372 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2406260 33818 2274 9 0 2396937 0
[pid=3894/tid=3896] ppid=3891 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/3894/task/3896/stat : 3896 (java) R 3891 3894 28317 0 -1 4202560 2471 0 1 0 302 3 0 0 20 0 19 0 29507373 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672491166408 139672353978175 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3897] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3897/stat : 3897 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672480229672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3898] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3898/stat : 3898 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672479176872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3899] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672478124584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3900] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3900/stat : 3900 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672477071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3901] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3901/stat : 3901 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672476019496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3902] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672474966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3903] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3903/stat : 3903 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672473914408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3904] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3904/stat : 3904 (java) S 3891 3894 28317 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672472861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3905] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3905/stat : 3905 (java) S 3891 3894 28317 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672314521832 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3906] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3906/stat : 3906 (java) S 3891 3894 28317 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672313467896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3907] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3907/stat : 3907 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672312415496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3908] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3908/stat : 3908 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672311363984 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3909] ppid=3891 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/3894/task/3909/stat : 3909 (java) S 3891 3894 28317 0 -1 4202560 5680 0 0 0 64 0 0 0 20 0 19 0 29507378 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672310311608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3910] ppid=3891 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/3894/task/3910/stat : 3910 (java) S 3891 3894 28317 0 -1 4202560 4611 0 0 0 52 2 0 0 20 0 19 0 29507378 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672309258808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3911] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672308206712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3912] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3912/stat : 3912 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672307154120 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3913] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3913/stat : 3913 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507414 9856040960 33818 33554432000 1073741824 1073778376 140733788945616 139672306099112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.15 2.04 2.01 3/214 3913
/proc/meminfo: memFree=31163188/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9625040 CPUtime=7.54 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 14143 0 1 0 744 10 0 0 20 0 19 0 29507372 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2406260 51949 2288 9 0 2396937 0
[pid=3894/tid=3896] ppid=3891 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/3894/task/3896/stat : 3896 (java) R 3891 3894 28317 0 -1 4202560 2498 0 1 0 618 4 0 0 20 0 19 0 29507373 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672491159264 139672353969449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3897] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3897/stat : 3897 (java) S 3891 3894 28317 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672480229672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3898] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3898/stat : 3898 (java) S 3891 3894 28317 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672479176872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3899] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (java) S 3891 3894 28317 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672478124584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3900] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3900/stat : 3900 (java) S 3891 3894 28317 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672477071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3901] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3901/stat : 3901 (java) S 3891 3894 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672476019496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3902] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (java) S 3891 3894 28317 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672474966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3903] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3903/stat : 3903 (java) S 3891 3894 28317 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672473914408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3904] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3904/stat : 3904 (java) S 3891 3894 28317 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29507374 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672472861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3905] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3905/stat : 3905 (java) S 3891 3894 28317 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672314521832 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3906] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3906/stat : 3906 (java) S 3891 3894 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672313467896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3907] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3907/stat : 3907 (java) S 3891 3894 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672312415496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3908] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3908/stat : 3908 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672311363984 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3909] ppid=3891 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/3894/task/3909/stat : 3909 (java) S 3891 3894 28317 0 -1 4202560 5680 0 0 0 65 0 0 0 20 0 19 0 29507378 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672310311608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3910] ppid=3891 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/3894/task/3910/stat : 3910 (java) S 3891 3894 28317 0 -1 4202560 4611 0 0 0 52 2 0 0 20 0 19 0 29507378 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672309258808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3911] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672308206712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3912] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3912/stat : 3912 (java) S 3891 3894 28317 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672307154120 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3913] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3913/stat : 3913 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507414 9856040960 51949 33554432000 1073741824 1073778376 140733788945616 139672306099112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 9625040


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

[pid=3894/tid=3913] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3913/stat : 3913 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507414 9856040960 213701 33554432000 1073741824 1073778376 140733788945616 139672306099112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1684.38
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 4084
/proc/meminfo: memFree=30175632/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9625040 CPUtime=1745.11 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 28798 0 1 0 174316 195 0 0 20 0 19 0 29507372 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2406260 212101 2297 9 0 2396937 0
[pid=3894/tid=3896] ppid=3891 vsize=9625040 CPUtime=1702.52 cores=0,2,4,6
/proc/3894/task/3896/stat : 3896 (java) R 3891 3894 28317 0 -1 4202560 2861 0 1 0 170221 31 0 0 20 0 19 0 29507373 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672491166976 139672354111463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3897] ppid=3891 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/3894/task/3897/stat : 3897 (java) S 3891 3894 28317 0 -1 4202560 1334 0 0 0 352 20 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672480229672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3898] ppid=3891 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/3894/task/3898/stat : 3898 (java) S 3891 3894 28317 0 -1 4202560 1476 0 0 0 358 21 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672479176872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3899] ppid=3891 vsize=9625040 CPUtime=3.64 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (java) S 3891 3894 28317 0 -1 4202560 1788 0 0 0 345 19 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672478124584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3900] ppid=3891 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/3894/task/3900/stat : 3900 (java) S 3891 3894 28317 0 -1 4202560 1905 0 0 0 351 21 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672477071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3901] ppid=3891 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/3894/task/3901/stat : 3901 (java) S 3891 3894 28317 0 -1 4202560 1560 0 0 0 363 20 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672476019496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3902] ppid=3891 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (java) S 3891 3894 28317 0 -1 4202560 1735 0 0 0 357 21 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672474966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3903] ppid=3891 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/3894/task/3903/stat : 3903 (java) S 3891 3894 28317 0 -1 4202560 1549 0 0 0 352 19 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672473914408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3904] ppid=3891 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/3894/task/3904/stat : 3904 (java) S 3891 3894 28317 0 -1 4202560 1252 0 0 0 357 20 0 0 20 0 19 0 29507374 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672472861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3905] ppid=3891 vsize=9625040 CPUtime=6.76 cores=0,2,4,6
/proc/3894/task/3905/stat : 3905 (java) S 3891 3894 28317 0 -1 4202560 1684 0 0 0 670 6 0 0 20 0 19 0 29507375 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672314521832 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3906] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3906/stat : 3906 (java) S 3891 3894 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672313467896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3907] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3907/stat : 3907 (java) S 3891 3894 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672312415496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3908] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3908/stat : 3908 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672311363984 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3909] ppid=3891 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/3894/task/3909/stat : 3909 (java) S 3891 3894 28317 0 -1 4202560 5686 0 0 0 67 0 0 0 20 0 19 0 29507378 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672310311608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3910] ppid=3891 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/3894/task/3910/stat : 3910 (java) S 3891 3894 28317 0 -1 4202560 4611 0 0 0 52 2 0 0 20 0 19 0 29507378 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672309258808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3911] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672308206712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3912] ppid=3891 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/3894/task/3912/stat : 3912 (java) S 3891 3894 28317 0 -1 4202560 99 0 0 0 28 25 0 0 20 0 19 0 29507378 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672307154120 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3913] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3913/stat : 3913 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507414 9856040960 212101 33554432000 1073741824 1073778376 140733788945616 139672306099112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1745.11
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 4088
/proc/meminfo: memFree=30168184/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 29542 0 1 0 179803 197 0 0 20 0 19 0 29507372 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2406260 214021 2297 9 0 2396937 0
[pid=3894/tid=3896] ppid=3891 vsize=9625040 CPUtime=1756.45 cores=0,2,4,6
/proc/3894/task/3896/stat : 3896 (java) R 3891 3894 28317 0 -1 4202560 2869 0 1 0 175613 32 0 0 20 0 19 0 29507373 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672491166960 139672353996037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3897] ppid=3891 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/3894/task/3897/stat : 3897 (java) S 3891 3894 28317 0 -1 4202560 1545 0 0 0 361 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672480229672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3898] ppid=3891 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/3894/task/3898/stat : 3898 (java) S 3891 3894 28317 0 -1 4202560 1485 0 0 0 366 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672479176872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3899] ppid=3891 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (java) S 3891 3894 28317 0 -1 4202560 1862 0 0 0 351 19 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672478124584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3900] ppid=3891 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/3894/task/3900/stat : 3900 (java) S 3891 3894 28317 0 -1 4202560 1905 0 0 0 363 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672477071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3901] ppid=3891 vsize=9625040 CPUtime=3.91 cores=0,2,4,6
/proc/3894/task/3901/stat : 3901 (java) S 3891 3894 28317 0 -1 4202560 1691 0 0 0 371 20 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672476019496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3902] ppid=3891 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (java) S 3891 3894 28317 0 -1 4202560 1735 0 0 0 365 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672474966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3903] ppid=3891 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/3894/task/3903/stat : 3903 (java) S 3891 3894 28317 0 -1 4202560 1792 0 0 0 360 19 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672473914408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3904] ppid=3891 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/3894/task/3904/stat : 3904 (java) S 3891 3894 28317 0 -1 4202560 1252 0 0 0 366 20 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672472861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3905] ppid=3891 vsize=9625040 CPUtime=6.9 cores=0,2,4,6
/proc/3894/task/3905/stat : 3905 (java) S 3891 3894 28317 0 -1 4202560 1748 0 0 0 684 6 0 0 20 0 19 0 29507375 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672314521832 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3906] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3906/stat : 3906 (java) S 3891 3894 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672313467896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3907] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3907/stat : 3907 (java) S 3891 3894 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672312415496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3908] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3908/stat : 3908 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672311363984 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3909] ppid=3891 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/3894/task/3909/stat : 3909 (java) S 3891 3894 28317 0 -1 4202560 5686 0 0 0 67 0 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672310311608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3910] ppid=3891 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/3894/task/3910/stat : 3910 (java) S 3891 3894 28317 0 -1 4202560 4611 0 0 0 52 2 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672309258808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3911] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672308206712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3912] ppid=3891 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/3894/task/3912/stat : 3912 (java) S 3891 3894 28317 0 -1 4202560 103 0 0 0 29 26 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672307154120 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3913] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3913/stat : 3913 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507414 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672306099112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 3894 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1776.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 4088
/proc/meminfo: memFree=30168184/32872528 swapFree=7780/7780
[pid=3894] ppid=3891 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/3894/stat : 3894 (java) S 3891 3894 28317 0 -1 4202496 29542 0 1 0 179803 197 0 0 20 0 19 0 29507372 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 140733788936752 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3894/statm: 2406260 214021 2297 9 0 2396937 0
[pid=3894/tid=3896] ppid=3891 vsize=9625040 CPUtime=1756.45 cores=0,2,4,6
/proc/3894/task/3896/stat : 3896 (java) R 3891 3894 28317 0 -1 4202560 2869 0 1 0 175613 32 0 0 20 0 19 0 29507373 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672491166960 139672353996037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3897] ppid=3891 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/3894/task/3897/stat : 3897 (java) S 3891 3894 28317 0 -1 4202560 1545 0 0 0 361 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672480229672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3898] ppid=3891 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/3894/task/3898/stat : 3898 (java) S 3891 3894 28317 0 -1 4202560 1485 0 0 0 366 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672479176872 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3899] ppid=3891 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/3894/task/3899/stat : 3899 (java) S 3891 3894 28317 0 -1 4202560 1862 0 0 0 351 19 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672478124584 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3900] ppid=3891 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/3894/task/3900/stat : 3900 (java) S 3891 3894 28317 0 -1 4202560 1905 0 0 0 363 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672477071784 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3894/tid=3901] ppid=3891 vsize=9625040 CPUtime=3.91 cores=0,2,4,6
/proc/3894/task/3901/stat : 3901 (java) S 3891 3894 28317 0 -1 4202560 1691 0 0 0 371 20 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672476019496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3902] ppid=3891 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/3894/task/3902/stat : 3902 (java) S 3891 3894 28317 0 -1 4202560 1735 0 0 0 365 21 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672474966696 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3903] ppid=3891 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/3894/task/3903/stat : 3903 (java) S 3891 3894 28317 0 -1 4202560 1792 0 0 0 360 19 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672473914408 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3904] ppid=3891 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/3894/task/3904/stat : 3904 (java) S 3891 3894 28317 0 -1 4202560 1252 0 0 0 366 20 0 0 20 0 19 0 29507374 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672472861608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3905] ppid=3891 vsize=9625040 CPUtime=6.9 cores=0,2,4,6
/proc/3894/task/3905/stat : 3905 (java) S 3891 3894 28317 0 -1 4202560 1748 0 0 0 684 6 0 0 20 0 19 0 29507375 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672314521832 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3906] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3906/stat : 3906 (java) S 3891 3894 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672313467896 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3907] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3907/stat : 3907 (java) S 3891 3894 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29507375 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672312415496 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3908] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3908/stat : 3908 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672311363984 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3909] ppid=3891 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/3894/task/3909/stat : 3909 (java) S 3891 3894 28317 0 -1 4202560 5686 0 0 0 67 0 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672310311608 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3910] ppid=3891 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/3894/task/3910/stat : 3910 (java) S 3891 3894 28317 0 -1 4202560 4611 0 0 0 52 2 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672309258808 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3894/tid=3911] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3911/stat : 3911 (java) S 3891 3894 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672308206712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3894/tid=3912] ppid=3891 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/3894/task/3912/stat : 3912 (java) S 3891 3894 28317 0 -1 4202560 103 0 0 0 29 26 0 0 20 0 19 0 29507378 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672307154120 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3894/tid=3913] ppid=3891 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3894/task/3913/stat : 3913 (java) S 3891 3894 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29507414 9856040960 214021 33554432000 1073741824 1073778376 140733788945616 139672306099112 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3894 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=678319
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=421631
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1776.75
CPU time (s): 1800
CPU user time (s): 1798.03
CPU system time (s): 1.97
CPU usage (%): 101.309
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 2.42163
maximum resident set size= 874012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29579
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49657
involuntary context switches= 50948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5642 second user time and 11.8122 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 20:30:26
IDJOB=4106702
IDBENCH=48194
IDSOLVER=2546
FILE ID=node151/4106702-1466274625
RUNJOBID= node151-1466269256-946
PBS_JOBID= 19918209
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106702-1466274625/watcher-4106702-1466274625 -o /tmp/evaluation-result-4106702-1466274625/solver-4106702-1466274625 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466269256-946 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106702-1466274625.opb

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

MD5SUM BENCH= 2b02b42135ec6f53aa7a47afb99951df
RANDOM SEED=1475196739

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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.55
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.103
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		: 2667.103
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.54
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.103
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		: 2667.103
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.56
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.103
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:        31364524 kB
Buffers:           81088 kB
Cached:           278016 kB
SwapCached:         1932 kB
Active:           458540 kB
Inactive:         298376 kB
Active(anon):     397980 kB
Inactive(anon):     2504 kB
Active(file):      60560 kB
Inactive(file):   295872 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:               912 kB
Writeback:             0 kB
AnonPages:        407160 kB
Mapped:            16424 kB
Shmem:                 0 kB
Slab:             608716 kB
SReclaimable:      52072 kB
SUnreclaim:       556644 kB
KernelStack:        1688 kB
PageTables:         5368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     821688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 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= 71748 MiB
End job on node151 at 2016-06-18 21:00:02