Trace number 4118587

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)6 1800.64 1795.64

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb
MD5SUM71abf2434aba1ed4ee11516d329b2b0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark4.67329
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables328
Total number of constraints1747
Number of constraints which are clauses1601
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 231
Biggest coefficient in the objective function 49
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 519
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 519
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118587-1467232381.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.26/0.26	c ... done. Wall clock time 0.146s.
0.26/0.26	c declared #vars     328
0.26/0.26	c #constraints  1748
0.26/0.26	c constraints type 
0.26/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1601
0.26/0.26	c org.sat4j.specs.Constr$1 => 1
0.26/0.26	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.26/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 145
0.26/0.26	c 1748 constraints processed.
0.26/0.26	c objective function length is 231 literals
0.26/0.27	c SATISFIABLE
0.26/0.27	c OPTIMIZING...
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.156
0.26/0.27	o 46
0.26/0.29	c Got one! Elapsed wall clock time (in seconds):0.178
0.26/0.29	o 42
0.44/0.30	c Got one! Elapsed wall clock time (in seconds):0.185
0.44/0.30	o 35
0.44/0.32	c Got one! Elapsed wall clock time (in seconds):0.209
0.44/0.32	o 34
0.44/0.33	c Got one! Elapsed wall clock time (in seconds):0.219
0.44/0.33	o 33
0.44/0.34	c Got one! Elapsed wall clock time (in seconds):0.231
0.44/0.34	o 32
0.44/0.35	c Got one! Elapsed wall clock time (in seconds):0.238
0.44/0.35	o 27
0.44/0.36	c Got one! Elapsed wall clock time (in seconds):0.243
0.44/0.36	o 26
0.72/0.40	c Got one! Elapsed wall clock time (in seconds):0.284
0.72/0.40	o 25
0.72/0.40	c Got one! Elapsed wall clock time (in seconds):0.291
0.72/0.40	o 24
0.72/0.41	c Got one! Elapsed wall clock time (in seconds):0.294
0.72/0.41	o 23
0.72/0.41	c Got one! Elapsed wall clock time (in seconds):0.297
0.72/0.41	o 22
0.72/0.42	c Got one! Elapsed wall clock time (in seconds):0.303
0.72/0.42	o 21
0.72/0.42	c Got one! Elapsed wall clock time (in seconds):0.306
0.72/0.42	o 20
0.72/0.42	c Got one! Elapsed wall clock time (in seconds):0.311
0.72/0.42	o 19
0.72/0.43	c Got one! Elapsed wall clock time (in seconds):0.315
0.72/0.43	o 18
0.98/0.52	c Got one! Elapsed wall clock time (in seconds):0.404
0.98/0.52	o 17
1.26/0.75	c cleaning 3264 clauses out of 6528 with flag 9128/6528
1.61/1.07	c cleaning 4633 clauses out of 9266 with flag 24360/12530
1.91/1.39	c cleaning 5807 clauses out of 11631 with flag 40252/19528
2.33/1.78	c cleaning 6910 clauses out of 13825 with flag 58679/27529
2.85/2.23	c cleaning 7955 clauses out of 15914 with flag 79002/36528
3.34/2.71	c cleaning 8975 clauses out of 17959 with flag 99876/46528
3.44/2.89	c Got one! Elapsed wall clock time (in seconds):2.775
3.44/2.89	o 16
3.64/3.02	c Got one! Elapsed wall clock time (in seconds):2.912
3.64/3.02	o 15
3.64/3.04	c Got one! Elapsed wall clock time (in seconds):2.931
3.64/3.04	o 14
3.64/3.05	c Got one! Elapsed wall clock time (in seconds):2.941
3.64/3.05	o 13
3.64/3.09	c Got one! Elapsed wall clock time (in seconds):2.975
3.64/3.09	o 12
3.64/3.09	c Got one! Elapsed wall clock time (in seconds):2.981
3.64/3.09	o 10
3.74/3.13	c Got one! Elapsed wall clock time (in seconds):3.016
3.74/3.13	o 9
3.74/3.14	c Got one! Elapsed wall clock time (in seconds):3.028
3.74/3.14	o 7
3.86/3.20	c Got one! Elapsed wall clock time (in seconds):3.086
3.86/3.20	o 6
3.96/3.33	c cleaning 11014 clauses out of 22027 with flag 4426/59571
4.26/3.67	c cleaning 8501 clauses out of 17013 with flag 18425/65571
4.66/4.03	c cleaning 7748 clauses out of 15513 with flag 33721/72572
4.96/4.39	c cleaning 7881 clauses out of 15765 with flag 50555/80572
5.46/4.81	c cleaning 8438 clauses out of 16884 with flag 69734/89572
5.86/5.29	c cleaning 9217 clauses out of 18445 with flag 91184/99571
6.46/5.88	c cleaning 10114 clauses out of 20228 with flag 115007/110571
7.16/6.56	c cleaning 11057 clauses out of 22116 with flag 140435/122573
7.95/7.33	c cleaning 12029 clauses out of 24058 with flag 168944/135572
8.75/8.20	c cleaning 13009 clauses out of 26028 with flag 200010/149571
9.75/9.16	c cleaning 14006 clauses out of 28019 with flag 232283/164571
10.86/10.29	c cleaning 15003 clauses out of 30013 with flag 267571/180571
12.16/11.58	c cleaning 16001 clauses out of 32011 with flag 304095/197572
13.46/12.81	c cleaning 17002 clauses out of 34009 with flag 342350/215571
14.76/14.12	c cleaning 17996 clauses out of 36007 with flag 383695/234571
16.26/15.61	c cleaning 19003 clauses out of 38011 with flag 427861/254571
17.96/17.36	c cleaning 20003 clauses out of 40009 with flag 474258/275572
19.76/19.20	c cleaning 20996 clauses out of 42005 with flag 521767/297571
21.76/21.19	c cleaning 21996 clauses out of 44010 with flag 573488/320572
23.77/23.20	c cleaning 23005 clauses out of 46013 with flag 627176/344571
25.97/25.36	c cleaning 24004 clauses out of 48009 with flag 683812/369572
28.36/27.79	c cleaning 25000 clauses out of 50004 with flag 740595/395571
31.16/30.53	c cleaning 26000 clauses out of 52006 with flag 807056/422573
33.86/33.27	c cleaning 26997 clauses out of 54004 with flag 869711/450571
36.82/36.10	c cleaning 28002 clauses out of 56007 with flag 940169/479571
39.82/39.12	c cleaning 29001 clauses out of 58005 with flag 1007297/509571
42.82/42.14	c cleaning 30002 clauses out of 60005 with flag 1077221/540572
45.93/45.23	c cleaning 30994 clauses out of 62003 with flag 1146835/572572
49.42/48.71	c cleaning 32003 clauses out of 64008 with flag 1219800/605571
53.02/52.38	c cleaning 32998 clauses out of 66005 with flag 1294453/639571
56.72/56.03	c cleaning 34002 clauses out of 68007 with flag 1369771/674571
60.57/59.82	c cleaning 34997 clauses out of 70005 with flag 1449935/710571
64.68/63.93	c cleaning 36002 clauses out of 72008 with flag 1531083/747571
69.08/68.38	c cleaning 37001 clauses out of 74007 with flag 1612843/785572
73.97/73.23	c cleaning 38002 clauses out of 76005 with flag 1696665/824571
78.78/78.08	c cleaning 39000 clauses out of 78005 with flag 1783135/864573
83.68/82.94	c cleaning 40002 clauses out of 80004 with flag 1873634/905572
88.97/88.14	c cleaning 40997 clauses out of 82001 with flag 1966552/947571
93.86/93.02	c cleaning 41999 clauses out of 84004 with flag 2059059/990571
99.26/98.49	c cleaning 43000 clauses out of 86008 with flag 2154668/1034574
105.16/104.39	c cleaning 44001 clauses out of 88006 with flag 2257325/1079572
111.26/110.44	c cleaning 45003 clauses out of 90005 with flag 2357820/1125572
117.66/116.89	c cleaning 45997 clauses out of 92002 with flag 2464267/1172572
124.65/123.79	c cleaning 46996 clauses out of 94004 with flag 2573501/1220571
131.06/130.19	c cleaning 47996 clauses out of 96009 with flag 2677505/1269572
137.66/136.74	c cleaning 49006 clauses out of 98014 with flag 2786408/1319573
144.95/144.06	c cleaning 50000 clauses out of 100007 with flag 2899505/1370572
153.18/152.13	c cleaning 51000 clauses out of 102006 with flag 3009035/1422571
161.79/160.79	c cleaning 52000 clauses out of 104007 with flag 3122709/1475572
170.68/169.69	c cleaning 53002 clauses out of 106006 with flag 3240080/1529571
180.78/179.73	c cleaning 53997 clauses out of 108004 with flag 3359567/1584571
190.44/189.23	c cleaning 55002 clauses out of 110007 with flag 3481633/1640571
201.35/200.18	c cleaning 55993 clauses out of 112005 with flag 3604775/1697571
210.65/209.49	c cleaning 56996 clauses out of 114013 with flag 3728903/1755572
219.85/218.68	c cleaning 58008 clauses out of 116016 with flag 3856305/1814571
231.18/229.82	c cleaning 59004 clauses out of 118009 with flag 3984811/1874572
242.49/241.17	c cleaning 59996 clauses out of 120004 with flag 4115109/1935571
253.89/252.59	c cleaning 60998 clauses out of 122008 with flag 4248992/1997571
266.30/264.89	c cleaning 62003 clauses out of 124012 with flag 4386523/2060573
278.19/276.77	c cleaning 62997 clauses out of 126008 with flag 4519522/2124572
290.99/289.59	c cleaning 64002 clauses out of 128010 with flag 4659857/2189571
305.44/303.84	c cleaning 65004 clauses out of 130011 with flag 4801145/2255574
318.65/317.06	c cleaning 65999 clauses out of 132006 with flag 4950385/2322573
333.65/332.00	c cleaning 67002 clauses out of 134007 with flag 5104578/2390573
348.80/347.09	c cleaning 67995 clauses out of 136003 with flag 5261720/2459571
364.61/362.81	c cleaning 68999 clauses out of 138008 with flag 5417271/2529571
379.81/378.00	c cleaning 69999 clauses out of 140010 with flag 5577358/2600572
395.72/393.85	c cleaning 71002 clauses out of 142010 with flag 5731380/2672571
412.43/410.56	c cleaning 72001 clauses out of 144008 with flag 5889988/2745571
428.13/426.19	c cleaning 72998 clauses out of 146007 with flag 6052782/2819571
444.35/442.37	c cleaning 74004 clauses out of 148009 with flag 6217413/2894571
462.35/460.24	c cleaning 74998 clauses out of 150005 with flag 6379372/2970571
480.16/478.03	c cleaning 75999 clauses out of 152007 with flag 6543175/3047571
499.76/497.66	c cleaning 77000 clauses out of 154009 with flag 6710643/3125572
522.24/520.09	c cleaning 78001 clauses out of 156009 with flag 6890093/3204572
545.24/543.06	c cleaning 78995 clauses out of 158008 with flag 7061095/3284572
567.85/565.55	c cleaning 80003 clauses out of 160013 with flag 7239658/3365572
591.46/589.11	c cleaning 81003 clauses out of 162009 with flag 7438826/3447571
611.36/608.93	c cleaning 81998 clauses out of 164006 with flag 7616580/3530571
635.27/632.81	c cleaning 82999 clauses out of 166008 with flag 7811478/3614571
661.85/659.39	c cleaning 84003 clauses out of 168011 with flag 7996076/3699573
685.77/683.23	c cleaning 85000 clauses out of 170006 with flag 8188031/3785571
709.76/707.15	c cleaning 86001 clauses out of 172006 with flag 8378254/3872571
735.97/733.38	c cleaning 86999 clauses out of 174005 with flag 8587170/3960571
762.83/760.19	c cleaning 87999 clauses out of 176006 with flag 8782946/4049571
789.02/786.23	c cleaning 89002 clauses out of 178007 with flag 8975129/4139571
815.63/812.83	c cleaning 89992 clauses out of 180006 with flag 9173526/4230572
842.48/839.61	c cleaning 91002 clauses out of 182013 with flag 9373182/4322571
869.05/866.16	c cleaning 92001 clauses out of 184011 with flag 9572531/4415571
899.96/897.07	c cleaning 93001 clauses out of 186012 with flag 9776934/4509573
930.52/927.57	c cleaning 93999 clauses out of 188010 with flag 9979842/4604572
959.50/956.49	c cleaning 95002 clauses out of 190010 with flag 10193355/4700571
989.00/985.93	c cleaning 95995 clauses out of 192009 with flag 10403574/4797572
1019.38/1016.25	c cleaning 97005 clauses out of 194014 with flag 10611863/4895572
1048.07/1044.83	c cleaning 98002 clauses out of 196008 with flag 10819445/4994571
1080.78/1077.51	c cleaning 99001 clauses out of 198009 with flag 11038686/5094574
1110.89/1107.54	c cleaning 99995 clauses out of 200005 with flag 11250870/5195571
1146.32/1142.90	c cleaning 101004 clauses out of 202011 with flag 11476622/5297572
1178.82/1175.24	c cleaning 102003 clauses out of 204006 with flag 11695709/5400571
1212.70/1209.06	c cleaning 102993 clauses out of 206004 with flag 11913903/5504572
1251.40/1247.79	c cleaning 104000 clauses out of 208010 with flag 12145906/5609571
1287.37/1283.67	c cleaning 105004 clauses out of 210011 with flag 12376890/5715572
1325.84/1322.04	c cleaning 105994 clauses out of 212006 with flag 12611771/5822571
1368.10/1364.26	c cleaning 107000 clauses out of 214012 with flag 12849457/5930571
1415.93/1412.10	c cleaning 107999 clauses out of 216012 with flag 13093636/6039571
1458.37/1454.44	c cleaning 109002 clauses out of 218016 with flag 13352665/6149574
1505.80/1501.85	c cleaning 110000 clauses out of 220011 with flag 13590584/6260571
1552.07/1548.07	c cleaning 111002 clauses out of 222011 with flag 13843284/6372571
1597.22/1593.10	c cleaning 112002 clauses out of 224011 with flag 14088822/6485573
1642.38/1638.24	c cleaning 113000 clauses out of 226007 with flag 14330329/6599571
1694.20/1689.92	c cleaning 113995 clauses out of 228008 with flag 14588661/6714572
1739.98/1735.69	c cleaning 115003 clauses out of 230012 with flag 14852206/6830571
1790.26/1785.89	c cleaning 115998 clauses out of 232010 with flag 15121413/6947572
1800.06/1795.60	c starts		: 14395
1800.06/1795.60	c conflicts		: 6982333
1800.06/1795.60	c decisions		: 7622321
1800.06/1795.60	c propagations		: 107000481
1800.06/1795.60	c inspects		: 29816060204
1800.06/1795.60	c shortcuts		: 0
1800.06/1795.60	c learnt literals	: 0
1800.06/1795.60	c learnt binary clauses	: 0
1800.06/1795.60	c learnt ternary clauses	: 385
1800.06/1795.60	c learnt constraints	: 6982333
1800.06/1795.60	c ignored constraints	: 0
1800.06/1795.60	c root simplifications	: 0
1800.06/1795.60	c removed literals (reason simplification)	: 0
1800.06/1795.60	c reason swapping (by a shorter reason)	: 0
1800.06/1795.60	c Calls to reduceDB	: 119
1800.06/1795.60	c Number of update (reduction) of LBD	: 90323
1800.06/1795.60	c Imported unit clauses	: 0
1800.06/1795.60	c number of reductions to clauses (during analyze)	: 0
1800.06/1795.60	c number of learned constraints concerned by reduction	: 0
1800.06/1795.60	c number of learning phase by resolution	: 0
1800.06/1795.60	c number of learning phase by cutting planes	: 0
1800.06/1795.60	c speed (assignments/second)	: 59599.0096583377
1800.06/1795.60	c non guided choices	693
1800.06/1795.63	c learnt constraints type 
1800.06/1795.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150774
1800.06/1795.63	s SATISFIABLE
1800.06/1795.63	c Found 26 solution(s)
1800.06/1795.63	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 
1800.06/1795.63	c objective function=6
1800.06/1795.63	c Total wall clock time (in seconds): 1795.517

Verifier Data 

OK	6

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-4118587-1467232381/watcher-4118587-1467232381 -o /tmp/evaluation-result-4118587-1467232381/solver-4118587-1467232381 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4306 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118587-1467232381.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 2.01 3/194 7035
/proc/meminfo: memFree=30154268/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/7035/stat : 7035 (java) D 7032 7035 4289 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 4344452 2560000 46 33554432000 1073741824 1073778376 140733303116816 140733303113944 247055084839 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 625 46 37 9 0 29 0

[startup+0.100058 s]
/proc/loadavg: 2.08 2.05 2.01 3/194 7035
/proc/meminfo: memFree=30154268/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 4344452 9787879424 6034 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200209 s]
/proc/loadavg: 2.08 2.05 2.01 3/194 7035
/proc/meminfo: memFree=30154268/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 4727 0 1 0 25 1 0 0 20 0 18 0 4344452 9787879424 6809 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2389619 6809 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300212 s]
/proc/loadavg: 2.08 2.05 2.01 3/194 7035
/proc/meminfo: memFree=30154268/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 6032 0 1 0 43 1 0 0 20 0 19 0 4344452 9856040960 8324 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 8325 2245 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9625040

[startup+0.700161 s]
/proc/loadavg: 2.08 2.05 2.01 3/194 7035
/proc/meminfo: memFree=30154268/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 11216 0 1 0 124 2 0 0 20 0 19 0 4344452 9856040960 12205 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 12205 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.08 2.05 2.01 3/213 7054
/proc/meminfo: memFree=30111528/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=2.12 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 11231 0 1 0 210 2 0 0 20 0 19 0 4344452 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 14772 2258 9 0 2396937 0
[pid=7035/tid=7037] ppid=7032 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/7035/task/7037/stat : 7037 (java) R 7032 7035 4289 0 -1 4202560 2416 0 1 0 145 2 0 0 20 0 19 0 4344453 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422135029456 140421959839258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7038] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7038/stat : 7038 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422096530088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7039] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7039/stat : 7039 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422095477544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7040] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7040/stat : 7040 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422094425000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7041] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7041/stat : 7041 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422093372456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7042] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7042/stat : 7042 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422092318888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7043] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7043/stat : 7043 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422091266344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7044] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7044/stat : 7044 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422090213800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7045] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7045/stat : 7045 (java) S 7032 7035 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140422089161256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7046] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7046/stat : 7046 (java) S 7032 7035 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421959248488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7047] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7047/stat : 7047 (java) S 7032 7035 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421958194808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7048] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7048/stat : 7048 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421957142152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7049] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7049/stat : 7049 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421956090896 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7050] ppid=7032 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7035/task/7050/stat : 7050 (java) S 7032 7035 4289 0 -1 4202560 3154 0 0 0 31 0 0 0 20 0 19 0 4344459 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421955037240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7051] ppid=7032 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/7035/task/7051/stat : 7051 (java) S 7032 7035 4289 0 -1 4202560 4389 0 0 0 30 2 0 0 20 0 19 0 4344459 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421953984696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7052] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7052/stat : 7052 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421952932344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7053] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7053/stat : 7053 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421951880008 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7054] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7054/stat : 7054 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344479 9856040960 14772 33554432000 1073741824 1073778376 140733303116816 140421950825768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.08 2.05 2.01 4/213 7054
/proc/meminfo: memFree=30098612/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=3.74 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 11241 0 1 0 371 3 0 0 20 0 19 0 4344452 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 19380 2258 9 0 2396937 0
[pid=7035/tid=7037] ppid=7032 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/7035/task/7037/stat : 7037 (java) R 7032 7035 4289 0 -1 4202560 2426 0 1 0 304 2 0 0 20 0 19 0 4344453 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422135030064 140421959814595 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7038] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7038/stat : 7038 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422096530088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7039] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7039/stat : 7039 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422095477544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7040] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7040/stat : 7040 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422094425000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7041] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7041/stat : 7041 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422093372456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7042] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7042/stat : 7042 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422092318888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7043] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7043/stat : 7043 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422091266344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7044] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7044/stat : 7044 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422090213800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7045] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7045/stat : 7045 (java) S 7032 7035 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140422089161256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7046] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7046/stat : 7046 (java) S 7032 7035 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421959248488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7047] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7047/stat : 7047 (java) S 7032 7035 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421958194808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7048] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7048/stat : 7048 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421957142152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7049] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7049/stat : 7049 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421956090896 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7050] ppid=7032 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/7035/task/7050/stat : 7050 (java) S 7032 7035 4289 0 -1 4202560 3154 0 0 0 32 0 0 0 20 0 19 0 4344459 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421955037240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7051] ppid=7032 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7035/task/7051/stat : 7051 (java) S 7032 7035 4289 0 -1 4202560 4389 0 0 0 31 2 0 0 20 0 19 0 4344459 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421953984696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7052] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7052/stat : 7052 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421952932344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7053] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7053/stat : 7053 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421951880008 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7054] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7054/stat : 7054 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344479 9856040960 19380 33554432000 1073741824 1073778376 140733303116816 140421950825768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.07 2.05 2.01 3/213 7054
/proc/meminfo: memFree=30069584/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=6.96 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 11260 0 1 0 693 3 0 0 20 0 19 0 4344452 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 26028 2260 9 0 2396937 0
[pid=7035/tid=7037] ppid=7032 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/7035/task/7037/stat : 7037 (java) R 7032 7035 4289 0 -1 4202560 2443 0 1 0 624 2 0 0 20 0 19 0 4344453 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422135029440 140421959863223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7038] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7038/stat : 7038 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422096530088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7039] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7039/stat : 7039 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422095477544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7040] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7040/stat : 7040 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422094425000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7041] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7041/stat : 7041 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422093372456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7042] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7042/stat : 7042 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422092318888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7043] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7043/stat : 7043 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422091266344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7044] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7044/stat : 7044 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422090213800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7045] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7045/stat : 7045 (java) S 7032 7035 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4344455 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140422089161256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7046] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7046/stat : 7046 (java) S 7032 7035 4289 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421959248488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7047] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7047/stat : 7047 (java) S 7032 7035 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421958194808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7048] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7048/stat : 7048 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421957142152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7049] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7049/stat : 7049 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421956090896 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7050] ppid=7032 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/7035/task/7050/stat : 7050 (java) S 7032 7035 4289 0 -1 4202560 3155 0 0 0 34 0 0 0 20 0 19 0 4344459 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421955037240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7051] ppid=7032 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7035/task/7051/stat : 7051 (java) S 7032 7035 4289 0 -1 4202560 4389 0 0 0 31 2 0 0 20 0 19 0 4344459 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421953984696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7052] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7052/stat : 7052 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421952932344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7053] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7053/stat : 7053 (java) S 7032 7035 4289 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421951880008 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7054] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7054/stat : 7054 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344479 9856040960 26028 33554432000 1073741824 1073778376 140733303116816 140421950825768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 9625040


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

[pid=7035/tid=7047] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7047/stat : 7047 (java) S 7032 7035 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421958194808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7048] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7048/stat : 7048 (java) S 7032 7035 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421957142152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7049] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7049/stat : 7049 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421956090896 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7050] ppid=7032 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/7035/task/7050/stat : 7050 (java) S 7032 7035 4289 0 -1 4202560 3418 0 0 0 36 0 0 0 20 0 19 0 4344459 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421955037240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7051] ppid=7032 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7035/task/7051/stat : 7051 (java) S 7032 7035 4289 0 -1 4202560 4389 0 0 0 31 2 0 0 20 0 19 0 4344459 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421953984696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7052] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7052/stat : 7052 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421952932344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7053] ppid=7032 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/7035/task/7053/stat : 7053 (java) S 7032 7035 4289 0 -1 4202560 96 0 0 0 30 39 0 0 20 0 19 0 4344459 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421951880008 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7054] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7054/stat : 7054 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344479 9856040960 101837 33554432000 1073741824 1073778376 140733303116816 140421950825768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.5
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.01 3/214 7183
/proc/meminfo: memFree=26623124/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=1726.6 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 14681 0 1 0 172565 95 0 0 20 0 19 0 4344452 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 101843 2282 9 0 2396937 0
[pid=7035/tid=7037] ppid=7032 vsize=9625040 CPUtime=1720.8 cores=1,3,5,7
/proc/7035/task/7037/stat : 7037 (java) R 7032 7035 4289 0 -1 4202560 2514 0 1 0 172050 30 0 0 20 0 19 0 4344453 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422135029440 140421959863223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7038] ppid=7032 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7035/task/7038/stat : 7038 (java) S 7032 7035 4289 0 -1 4202560 433 0 0 0 53 6 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422096530088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7039] ppid=7032 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/7035/task/7039/stat : 7039 (java) S 7032 7035 4289 0 -1 4202560 288 0 0 0 42 5 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422095477544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7040] ppid=7032 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7035/task/7040/stat : 7040 (java) S 7032 7035 4289 0 -1 4202560 431 0 0 0 55 8 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422094425000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7041] ppid=7032 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7035/task/7041/stat : 7041 (java) S 7032 7035 4289 0 -1 4202560 283 0 0 0 49 5 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422093372456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7042] ppid=7032 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7035/task/7042/stat : 7042 (java) S 7032 7035 4289 0 -1 4202560 250 0 0 0 43 5 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422092318888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7043] ppid=7032 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/7035/task/7043/stat : 7043 (java) S 7032 7035 4289 0 -1 4202560 415 0 0 0 56 8 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422091266344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7044] ppid=7032 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/7035/task/7044/stat : 7044 (java) S 7032 7035 4289 0 -1 4202560 273 0 0 0 45 6 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422090213800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7045] ppid=7032 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7035/task/7045/stat : 7045 (java) S 7032 7035 4289 0 -1 4202560 465 0 0 0 41 8 0 0 20 0 19 0 4344455 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140422089161256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7046] ppid=7032 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7035/task/7046/stat : 7046 (java) S 7032 7035 4289 0 -1 4202560 164 0 0 0 22 3 0 0 20 0 19 0 4344456 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421959248488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7047] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7047/stat : 7047 (java) S 7032 7035 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421958194808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7048] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7048/stat : 7048 (java) S 7032 7035 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421957142152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7049] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7049/stat : 7049 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421956090896 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7050] ppid=7032 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/7035/task/7050/stat : 7050 (java) S 7032 7035 4289 0 -1 4202560 3418 0 0 0 36 0 0 0 20 0 19 0 4344459 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421955037240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7051] ppid=7032 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7035/task/7051/stat : 7051 (java) S 7032 7035 4289 0 -1 4202560 4389 0 0 0 31 2 0 0 20 0 19 0 4344459 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421953984696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7052] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7052/stat : 7052 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421952932344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7053] ppid=7032 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/7035/task/7053/stat : 7053 (java) S 7032 7035 4289 0 -1 4202560 100 0 0 0 31 41 0 0 20 0 19 0 4344459 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421951880008 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7054] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7054/stat : 7054 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344479 9856040960 101843 33554432000 1073741824 1073778376 140733303116816 140421950825768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.6
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/213 7185
/proc/meminfo: memFree=26689904/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=1786.76 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 14691 0 1 0 178579 97 0 0 20 0 19 0 4344452 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 101842 2282 9 0 2396937 0
[pid=7035/tid=7037] ppid=7032 vsize=9625040 CPUtime=1780.75 cores=1,3,5,7
/proc/7035/task/7037/stat : 7037 (java) R 7032 7035 4289 0 -1 4202560 2516 0 1 0 178044 31 0 0 20 0 19 0 4344453 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422135037152 140421959863223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7038] ppid=7032 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7035/task/7038/stat : 7038 (java) S 7032 7035 4289 0 -1 4202560 433 0 0 0 56 6 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422096530088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7039] ppid=7032 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7035/task/7039/stat : 7039 (java) S 7032 7035 4289 0 -1 4202560 288 0 0 0 45 5 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422095477544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7040] ppid=7032 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/7035/task/7040/stat : 7040 (java) S 7032 7035 4289 0 -1 4202560 431 0 0 0 57 8 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422094425000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7041] ppid=7032 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/7035/task/7041/stat : 7041 (java) S 7032 7035 4289 0 -1 4202560 283 0 0 0 51 6 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422093372456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7042] ppid=7032 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7035/task/7042/stat : 7042 (java) S 7032 7035 4289 0 -1 4202560 250 0 0 0 45 5 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422092318888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7043] ppid=7032 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7035/task/7043/stat : 7043 (java) S 7032 7035 4289 0 -1 4202560 415 0 0 0 58 8 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422091266344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7044] ppid=7032 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7035/task/7044/stat : 7044 (java) S 7032 7035 4289 0 -1 4202560 273 0 0 0 47 6 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422090213800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7045] ppid=7032 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/7035/task/7045/stat : 7045 (java) S 7032 7035 4289 0 -1 4202560 465 0 0 0 43 8 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422089161256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7046] ppid=7032 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7035/task/7046/stat : 7046 (java) S 7032 7035 4289 0 -1 4202560 168 0 0 0 22 3 0 0 20 0 19 0 4344456 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421959248488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7047] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7047/stat : 7047 (java) S 7032 7035 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421958194808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7048] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7048/stat : 7048 (java) S 7032 7035 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421957142152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7049] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7049/stat : 7049 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421956090896 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7050] ppid=7032 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/7035/task/7050/stat : 7050 (java) S 7032 7035 4289 0 -1 4202560 3418 0 0 0 36 0 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421955037240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7051] ppid=7032 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7035/task/7051/stat : 7051 (java) S 7032 7035 4289 0 -1 4202560 4389 0 0 0 31 2 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421953984696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7052] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7052/stat : 7052 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421952932344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7053] ppid=7032 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/7035/task/7053/stat : 7053 (java) S 7032 7035 4289 0 -1 4202560 104 0 0 0 33 42 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421951880008 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7054] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7054/stat : 7054 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344479 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421950825768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.76
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.13 2.04 2.01 3/213 7185
/proc/meminfo: memFree=26688296/32872528 swapFree=242912/249044
[pid=7035] ppid=7032 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/7035/stat : 7035 (java) S 7032 7035 4289 0 -1 4202496 14691 0 1 0 179909 97 0 0 20 0 19 0 4344452 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140733303107952 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7035/statm: 2406260 101842 2282 9 0 2396937 0
[pid=7035/tid=7037] ppid=7032 vsize=9625040 CPUtime=1794.05 cores=1,3,5,7
/proc/7035/task/7037/stat : 7037 (java) R 7032 7035 4289 0 -1 4202560 2516 0 1 0 179374 31 0 0 20 0 19 0 4344453 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422135029440 140421959815387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7038] ppid=7032 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7035/task/7038/stat : 7038 (java) S 7032 7035 4289 0 -1 4202560 433 0 0 0 56 6 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422096530088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7039] ppid=7032 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7035/task/7039/stat : 7039 (java) S 7032 7035 4289 0 -1 4202560 288 0 0 0 45 5 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422095477544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7040] ppid=7032 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/7035/task/7040/stat : 7040 (java) S 7032 7035 4289 0 -1 4202560 431 0 0 0 57 8 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422094425000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7041] ppid=7032 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/7035/task/7041/stat : 7041 (java) S 7032 7035 4289 0 -1 4202560 283 0 0 0 51 6 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422093372456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7042] ppid=7032 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7035/task/7042/stat : 7042 (java) S 7032 7035 4289 0 -1 4202560 250 0 0 0 45 5 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422092318888 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7043] ppid=7032 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7035/task/7043/stat : 7043 (java) S 7032 7035 4289 0 -1 4202560 415 0 0 0 58 8 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422091266344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7035/tid=7044] ppid=7032 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7035/task/7044/stat : 7044 (java) S 7032 7035 4289 0 -1 4202560 273 0 0 0 47 6 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422090213800 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7045] ppid=7032 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/7035/task/7045/stat : 7045 (java) S 7032 7035 4289 0 -1 4202560 465 0 0 0 43 8 0 0 20 0 19 0 4344455 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140422089161256 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7046] ppid=7032 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7035/task/7046/stat : 7046 (java) S 7032 7035 4289 0 -1 4202560 168 0 0 0 22 3 0 0 20 0 19 0 4344456 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421959248488 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7047] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7047/stat : 7047 (java) S 7032 7035 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421958194808 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7048] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7048/stat : 7048 (java) S 7032 7035 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4344456 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421957142152 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7049] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7049/stat : 7049 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421956090896 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7050] ppid=7032 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/7035/task/7050/stat : 7050 (java) S 7032 7035 4289 0 -1 4202560 3418 0 0 0 36 0 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421955037240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7051] ppid=7032 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7035/task/7051/stat : 7051 (java) S 7032 7035 4289 0 -1 4202560 4389 0 0 0 31 2 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421953984696 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7035/tid=7052] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7052/stat : 7052 (java) S 7032 7035 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421952932344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7035/tid=7053] ppid=7032 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/7035/task/7053/stat : 7053 (java) S 7032 7035 4289 0 -1 4202560 104 0 0 0 33 43 0 0 20 0 19 0 4344459 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421951880008 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7035/tid=7054] ppid=7032 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7035/task/7054/stat : 7054 (java) S 7032 7035 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4344479 9856040960 101842 33554432000 1073741824 1073778376 140733303116816 140421950825768 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 7035 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1795.64
CPU time (s): 1800.64
CPU user time (s): 1799.18
CPU system time (s): 1.45978
CPU usage (%): 100.279
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.45978
maximum resident set size= 571076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14741
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39253
involuntary context switches= 11310

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.29974 second user time and 16.0156 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-29 22:33:01
IDJOB=4118587
IDBENCH=111510
IDSOLVER=2546
FILE ID=node103/4118587-1467232381
RUNJOBID= node103-1467209106-4306
PBS_JOBID= 19997590
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-019.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118587-1467232381/watcher-4118587-1467232381 -o /tmp/evaluation-result-4118587-1467232381/solver-4118587-1467232381 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4306 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118587-1467232381.opb

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

MD5SUM BENCH= 71abf2434aba1ed4ee11516d329b2b0f
RANDOM SEED=573507423

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30155176 kB
Buffers:          107172 kB
Cached:          1226984 kB
SwapCached:            0 kB
Active:          1298160 kB
Inactive:         434740 kB
Active(anon):     401352 kB
Inactive(anon):       88 kB
Active(file):     896808 kB
Inactive(file):   434652 kB
Unevictable:      249044 kB
Mlocked:          242912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:        627236 kB
Mapped:            22220 kB
Shmem:               204 kB
Slab:             603412 kB
SReclaimable:      47656 kB
SUnreclaim:       555756 kB
KernelStack:        1768 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     768924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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= 71712 MiB
End job on node103 at 2016-06-29 23:02:57