Trace number 4085258

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)154 1800.09 1796.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark154
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4085258-1465228622.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
0.92/0.51	c ... done. Wall clock time 0.409s.
0.92/0.51	c declared #vars     1344
0.92/0.51	c #constraints  16376
0.92/0.51	c constraints type 
0.92/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
0.92/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
0.92/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
0.92/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
0.92/0.51	c 16376 constraints processed.
0.92/0.51	c objective function length is 448 literals
1.16/0.67	c SATISFIABLE
1.16/0.67	c OPTIMIZING...
1.16/0.67	c Got one! Elapsed wall clock time (in seconds):0.568
1.16/0.67	o 196
1.45/0.77	c Got one! Elapsed wall clock time (in seconds):0.665
1.45/0.77	o 182
1.84/1.08	c cleaning 3264 clauses out of 6530 with flag 13897/6530
2.19/1.37	c cleaning 4632 clauses out of 9264 with flag 27264/12528
2.59/1.72	c cleaning 5812 clauses out of 11631 with flag 42318/19527
3.00/2.18	c cleaning 6910 clauses out of 13820 with flag 59535/27528
3.62/2.72	c cleaning 7949 clauses out of 15910 with flag 79552/36528
4.22/3.39	c cleaning 8979 clauses out of 17961 with flag 102986/46528
5.01/4.17	c cleaning 9986 clauses out of 19981 with flag 130054/57527
6.02/5.16	c cleaning 10998 clauses out of 21997 with flag 160856/69529
7.02/6.19	c cleaning 11996 clauses out of 23997 with flag 193164/82527
8.32/7.50	c cleaning 12998 clauses out of 26001 with flag 230229/96527
9.77/8.89	c cleaning 13998 clauses out of 28003 with flag 268972/111527
11.57/10.61	c cleaning 14999 clauses out of 30007 with flag 313085/127529
13.37/12.49	c cleaning 16004 clauses out of 32008 with flag 360892/144529
15.37/14.41	c cleaning 16994 clauses out of 34002 with flag 403771/162527
17.57/16.63	c cleaning 17997 clauses out of 36008 with flag 449443/181527
19.67/18.75	c cleaning 19004 clauses out of 38013 with flag 497962/201529
22.27/21.39	c cleaning 20003 clauses out of 40007 with flag 551946/222527
25.27/24.38	c cleaning 21003 clauses out of 42007 with flag 608284/244530
28.16/27.20	c cleaning 21996 clauses out of 44002 with flag 669386/267528
31.16/30.24	c cleaning 23003 clauses out of 46006 with flag 737132/291528
34.86/33.93	c cleaning 23994 clauses out of 48002 with flag 808313/316527
39.07/38.17	c cleaning 25005 clauses out of 50009 with flag 882465/342528
43.57/42.68	c cleaning 26000 clauses out of 52003 with flag 960264/369527
47.59/46.66	c cleaning 26997 clauses out of 54004 with flag 1042484/397528
52.49/51.59	c cleaning 27993 clauses out of 56006 with flag 1132064/426527
56.50/55.53	c cleaning 29003 clauses out of 58013 with flag 1250135/456527
61.03/60.03	c Got one! Elapsed wall clock time (in seconds):59.932
61.03/60.03	o 178
61.34/60.35	c Got one! Elapsed wall clock time (in seconds):60.25
61.34/60.35	o 166
61.78/60.68	c cleaning 25684 clauses out of 51368 with flag 13681/478885
62.67/61.54	c Got one! Elapsed wall clock time (in seconds):61.439
62.67/61.54	o 164
62.80/61.64	c cleaning 15826 clauses out of 31675 with flag 5639/484876
63.90/62.75	c Got one! Elapsed wall clock time (in seconds):62.648
63.90/62.75	o 162
64.19/63.09	c Got one! Elapsed wall clock time (in seconds):62.991
64.19/63.09	o 160
64.61/63.43	c Got one! Elapsed wall clock time (in seconds):63.326
64.61/63.43	o 154
65.23/64.02	c cleaning 14205 clauses out of 28453 with flag 32392/497480
66.33/65.11	c cleaning 10107 clauses out of 20249 with flag 109196/503481
67.43/66.21	c cleaning 8555 clauses out of 17140 with flag 187526/510479
68.53/67.35	c cleaning 8272 clauses out of 16585 with flag 292393/518479
69.23/68.08	c cleaning 8648 clauses out of 17314 with flag 337264/527480
69.93/68.71	c cleaning 9332 clauses out of 18665 with flag 361445/537479
70.54/69.36	c cleaning 10167 clauses out of 20333 with flag 387721/548479
71.43/70.24	c cleaning 11083 clauses out of 22165 with flag 417705/560478
72.43/71.24	c cleaning 12036 clauses out of 24082 with flag 450516/573478
73.43/72.24	c cleaning 13018 clauses out of 26046 with flag 486087/587478
74.65/73.45	c cleaning 14012 clauses out of 28028 with flag 525735/602478
76.05/74.81	c cleaning 15006 clauses out of 30016 with flag 569159/618478
77.35/76.13	c cleaning 16004 clauses out of 32010 with flag 614140/635478
78.95/77.73	c cleaning 17003 clauses out of 34007 with flag 664775/653479
80.75/79.54	c cleaning 18000 clauses out of 36004 with flag 719417/672479
82.45/81.21	c cleaning 18996 clauses out of 38004 with flag 772935/692479
84.24/83.07	c cleaning 20000 clauses out of 40008 with flag 829566/713479
86.34/85.13	c cleaning 20997 clauses out of 42010 with flag 886934/735481
88.44/87.24	c cleaning 21998 clauses out of 44010 with flag 949007/758478
90.84/89.66	c cleaning 22998 clauses out of 46012 with flag 1016172/782478
93.34/92.20	c cleaning 24006 clauses out of 48015 with flag 1083554/807479
95.86/94.70	c cleaning 24999 clauses out of 50010 with flag 1148869/833480
98.25/97.00	c cleaning 26000 clauses out of 52009 with flag 1210106/860478
100.77/99.54	c cleaning 27000 clauses out of 54011 with flag 1275016/888480
103.97/102.79	c cleaning 27999 clauses out of 56009 with flag 1347217/917478
107.37/106.17	c cleaning 29002 clauses out of 58012 with flag 1424164/947480
111.08/109.85	c cleaning 30000 clauses out of 60008 with flag 1507187/978478
114.88/113.68	c cleaning 30999 clauses out of 62008 with flag 1594337/1010478
118.68/117.41	c cleaning 32002 clauses out of 64009 with flag 1681526/1043478
122.29/121.07	c cleaning 33001 clauses out of 66009 with flag 1770145/1077480
126.69/125.42	c cleaning 33999 clauses out of 68006 with flag 1865466/1112478
130.74/129.46	c cleaning 35004 clauses out of 70009 with flag 1962215/1148480
134.93/133.63	c cleaning 35998 clauses out of 72003 with flag 2061048/1185478
139.73/138.43	c cleaning 37001 clauses out of 74007 with flag 2166195/1223480
144.73/143.46	c cleaning 37999 clauses out of 76004 with flag 2276962/1262478
150.03/148.77	c cleaning 39000 clauses out of 78005 with flag 2388274/1302478
155.63/154.32	c cleaning 39998 clauses out of 80006 with flag 2502892/1343479
161.94/160.65	c cleaning 40996 clauses out of 82007 with flag 2620794/1385478
168.10/166.79	c cleaning 42006 clauses out of 84011 with flag 2739601/1428478
174.30/172.99	c cleaning 43002 clauses out of 86006 with flag 2861859/1472479
181.39/180.02	c cleaning 43998 clauses out of 88003 with flag 2990462/1517478
188.59/187.20	c cleaning 45003 clauses out of 90006 with flag 3120090/1563479
195.99/194.62	c cleaning 45995 clauses out of 92002 with flag 3256961/1610478
204.49/203.10	c cleaning 46995 clauses out of 94007 with flag 3397283/1658478
212.68/211.28	c cleaning 48002 clauses out of 96012 with flag 3539230/1707478
221.47/220.01	c cleaning 49003 clauses out of 98011 with flag 3683264/1757479
230.46/229.05	c cleaning 49992 clauses out of 100008 with flag 3830932/1808479
239.87/238.44	c cleaning 51003 clauses out of 102015 with flag 3981600/1860478
249.37/247.95	c cleaning 52001 clauses out of 104012 with flag 4138958/1913478
258.91/257.39	c cleaning 53005 clauses out of 106011 with flag 4301229/1967478
269.30/267.75	c cleaning 53998 clauses out of 108007 with flag 4464515/2022479
280.30/278.79	c cleaning 54996 clauses out of 110008 with flag 4625953/2078478
291.61/290.05	c cleaning 56005 clauses out of 112013 with flag 4789329/2135479
304.31/302.61	c cleaning 56994 clauses out of 114007 with flag 4958137/2193478
316.50/314.80	c cleaning 58003 clauses out of 116013 with flag 5128650/2252478
329.51/327.86	c cleaning 59003 clauses out of 118010 with flag 5305545/2312478
343.32/341.52	c cleaning 60000 clauses out of 120009 with flag 5487745/2373480
357.02/355.20	c cleaning 60997 clauses out of 122007 with flag 5672631/2435478
370.63/368.86	c cleaning 61995 clauses out of 124010 with flag 5864325/2498478
385.73/383.95	c cleaning 63002 clauses out of 126017 with flag 6058785/2562480
399.69/397.82	c cleaning 64005 clauses out of 128015 with flag 6261251/2627480
414.20/412.35	c cleaning 64997 clauses out of 130009 with flag 6454858/2693479
429.00/427.19	c cleaning 65999 clauses out of 132013 with flag 6652758/2760480
444.87/442.91	c cleaning 67004 clauses out of 134013 with flag 6856969/2828479
459.87/457.90	c cleaning 67999 clauses out of 136008 with flag 7065661/2897478
475.17/473.23	c cleaning 69003 clauses out of 138009 with flag 7277798/2967478
491.84/489.88	c cleaning 69997 clauses out of 140006 with flag 7494750/3038478
509.74/507.77	c cleaning 70995 clauses out of 142009 with flag 7710439/3110478
528.15/526.13	c cleaning 72003 clauses out of 144015 with flag 7933120/3183479
547.53/545.43	c cleaning 72998 clauses out of 146011 with flag 8157308/3257478
565.53/563.49	c cleaning 74000 clauses out of 148013 with flag 8395920/3332478
585.53/583.34	c cleaning 75002 clauses out of 150013 with flag 8652375/3408478
605.32/603.11	c cleaning 76002 clauses out of 152011 with flag 8913324/3485478
624.73/622.55	c cleaning 76998 clauses out of 154009 with flag 9173046/3563478
646.64/644.40	c cleaning 77999 clauses out of 156012 with flag 9427860/3642479
670.14/667.84	c cleaning 79003 clauses out of 158013 with flag 9693364/3722479
692.99/690.58	c cleaning 79999 clauses out of 160010 with flag 9964875/3803479
714.20/711.71	c cleaning 80998 clauses out of 162010 with flag 10243493/3885478
738.78/736.22	c cleaning 82003 clauses out of 164012 with flag 10522883/3968478
761.19/758.64	c cleaning 82999 clauses out of 166010 with flag 10805791/4052479
787.74/785.18	c cleaning 83996 clauses out of 168010 with flag 11097284/4137478
820.45/817.86	c cleaning 85003 clauses out of 170014 with flag 11394901/4223478
849.74/847.05	c cleaning 86002 clauses out of 172011 with flag 11697341/4310478
881.75/879.06	c cleaning 86999 clauses out of 174009 with flag 12005451/4398478
913.17/910.44	c cleaning 88001 clauses out of 176010 with flag 12310156/4487478
946.78/944.07	c cleaning 89004 clauses out of 178009 with flag 12612289/4577478
982.05/979.25	c cleaning 89998 clauses out of 180005 with flag 12909587/4668478
1019.55/1016.79	c cleaning 91001 clauses out of 182007 with flag 13240029/4760478
1058.64/1055.77	c cleaning 91992 clauses out of 184006 with flag 13563545/4853478
1099.83/1096.99	c cleaning 93003 clauses out of 186015 with flag 13899824/4947479
1140.99/1138.05	c cleaning 94003 clauses out of 188011 with flag 14236518/5042478
1183.17/1180.17	c cleaning 95000 clauses out of 190008 with flag 14570561/5138478
1225.98/1222.94	c cleaning 95999 clauses out of 192008 with flag 14923705/5235478
1266.40/1263.35	c cleaning 96995 clauses out of 194010 with flag 15275400/5333479
1308.38/1305.22	c cleaning 98004 clauses out of 196014 with flag 15618523/5432478
1349.77/1346.67	c cleaning 99002 clauses out of 198010 with flag 15965358/5532478
1392.78/1389.53	c cleaning 99998 clauses out of 200008 with flag 16322670/5633478
1432.90/1429.57	c cleaning 100997 clauses out of 202011 with flag 16682606/5735479
1470.14/1466.73	c cleaning 102003 clauses out of 204014 with flag 17043635/5838479
1511.85/1508.46	c cleaning 103001 clauses out of 206011 with flag 17403549/5942479
1554.66/1551.22	c cleaning 103997 clauses out of 208010 with flag 17771648/6047479
1598.40/1594.91	c cleaning 105004 clauses out of 210014 with flag 18145448/6153480
1646.66/1643.15	c cleaning 106002 clauses out of 212010 with flag 18510879/6260480
1696.03/1692.49	c cleaning 106998 clauses out of 214007 with flag 18888495/6368479
1746.90/1743.29	c cleaning 108000 clauses out of 216008 with flag 19258860/6477478
1799.58/1795.84	c cleaning 109002 clauses out of 218008 with flag 19645763/6587478
1800.09/1796.31	c starts		: 190
1800.09/1796.31	c conflicts		: 6589060
1800.09/1796.31	c decisions		: 7641003
1800.09/1796.31	c propagations		: 125809320
1800.09/1796.31	c inspects		: 31299690924
1800.09/1796.31	c shortcuts		: 0
1800.09/1796.31	c learnt literals	: 0
1800.09/1796.31	c learnt binary clauses	: 0
1800.09/1796.31	c learnt ternary clauses	: 0
1800.09/1796.31	c learnt constraints	: 6589060
1800.09/1796.31	c ignored constraints	: 0
1800.09/1796.31	c root simplifications	: 0
1800.09/1796.31	c removed literals (reason simplification)	: 0
1800.09/1796.31	c reason swapping (by a shorter reason)	: 0
1800.09/1796.31	c Calls to reduceDB	: 134
1800.09/1796.31	c Number of update (reduction) of LBD	: 521069
1800.09/1796.31	c Imported unit clauses	: 0
1800.09/1796.31	c number of reductions to clauses (during analyze)	: 0
1800.09/1796.31	c number of learned constraints concerned by reduction	: 0
1800.09/1796.31	c number of learning phase by resolution	: 0
1800.09/1796.31	c number of learning phase by cutting planes	: 0
1800.09/1796.31	c speed (assignments/second)	: 70057.84634300633
1800.09/1796.31	c non guided choices	477
1800.09/1796.33	c learnt constraints type 
1800.09/1796.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110588
1800.09/1796.33	s SATISFIABLE
1800.09/1796.33	c Found 8 solution(s)
1800.09/1796.34	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 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 x965 x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 x1277 x1278 -x1279 x1280 x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 -x1340 -x1341 x1342 -x1343 x1344 
1800.09/1796.34	c objective function=154
1800.09/1796.34	c Total wall clock time (in seconds): 1796.239

Verifier Data 

OK	154

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-4085258-1465228622/watcher-4085258-1465228622 -o /tmp/evaluation-result-4085258-1465228622/solver-4085258-1465228622 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085258-1465228622.opb 

pid=10127
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.23 2.20 2.10 3/195 10130
/proc/meminfo: memFree=30373356/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 104794256 98570240 977 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 24065 977 743 9 0 16771 0
[pid=10130/tid=10131] ppid=10127 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 104794257 98570240 977 33554432000 1073741824 1073778376 140734237241040 140098942123560 215124624768 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.23 2.20 2.10 3/195 10130
/proc/meminfo: memFree=30373356/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 4534 0 1 0 10 0 0 0 20 0 18 0 104794256 9787879424 5658 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2389619 5658 2157 9 0 2380296 0
[pid=10130/tid=10131] ppid=10127 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2435 0 1 0 7 0 0 0 20 0 18 0 104794257 9787879424 5658 33554432000 1073741824 1073778376 140734237241040 140098942127008 140098944862020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200277 s]
/proc/loadavg: 2.23 2.20 2.10 3/195 10130
/proc/meminfo: memFree=30373356/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 5088 0 1 0 27 1 0 0 20 0 18 0 104794256 9787879424 7044 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2389619 7044 2218 9 0 2380296 0
[pid=10130/tid=10131] ppid=10127 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2455 0 1 0 17 0 0 0 20 0 18 0 104794257 9787879424 7044 33554432000 1073741824 1073778376 140734237241040 140098942128344 215127997496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300279 s]
/proc/loadavg: 2.23 2.20 2.10 3/195 10130
/proc/meminfo: memFree=30373356/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 6596 0 1 0 52 1 0 0 20 0 18 0 104794256 9787879424 10018 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2389619 10018 2232 9 0 2380296 0
[pid=10130/tid=10131] ppid=10127 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2459 0 1 0 27 0 0 0 20 0 18 0 104794257 9787879424 10018 33554432000 1073741824 1073778376 140734237241040 140098942128344 140098881922510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700255 s]
/proc/loadavg: 2.23 2.20 2.10 3/195 10130
/proc/meminfo: memFree=30373356/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 10008 0 1 0 142 3 0 0 20 0 19 0 104794256 9856040960 27017 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2406260 27017 2265 9 0 2396937 0
[pid=10130/tid=10131] ppid=10127 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2507 0 1 0 65 2 0 0 20 0 19 0 104794257 9856040960 27017 33554432000 1073741824 1073778376 140734237241040 140098942128392 140098945414039 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.23 2.20 2.10 3/215 10150
/proc/meminfo: memFree=30221100/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 10740 0 1 0 236 3 0 0 20 0 19 0 104794256 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2406260 29095 2272 9 0 2396937 0
[pid=10130/tid=10131] ppid=10127 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2511 0 1 0 145 2 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098942128520 140098882579137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10133] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10133/stat : 10133 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098785721128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10134] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10134/stat : 10134 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098784668328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10135] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10135/stat : 10135 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098783616040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10136] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10136/stat : 10136 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098782563240 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10137] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10137/stat : 10137 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098781509928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10138] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10138/stat : 10138 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098780457128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10139] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10139/stat : 10139 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098779404840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10140] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10140/stat : 10140 (java) S 10127 10130 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098778352040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10141] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10141/stat : 10141 (java) S 10127 10130 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098766154472 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10142] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10142/stat : 10142 (java) S 10127 10130 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098765100536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10143] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10143/stat : 10143 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098764048136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10144] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10144/stat : 10144 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098762996624 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10145] ppid=10127 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/10130/task/10145/stat : 10145 (java) S 10127 10130 9891 0 -1 4202560 2985 0 0 0 46 0 0 0 20 0 19 0 104794261 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098761943224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10146] ppid=10127 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10130/task/10146/stat : 10146 (java) S 10127 10130 9891 0 -1 4202560 3972 0 0 0 42 0 0 0 20 0 19 0 104794261 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098760890424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10147] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10147/stat : 10147 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098759838328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10148] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10148/stat : 10148 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098758785736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10150] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10150/stat : 10150 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794308 9856040960 29095 33554432000 1073741824 1073778376 140734237241040 140098757731752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.21 2.20 2.10 3/215 10150
/proc/meminfo: memFree=30167856/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9625040 CPUtime=4.02 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 10754 0 1 0 399 3 0 0 20 0 19 0 104794256 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2406260 32173 2272 9 0 2396937 0
[pid=10130/tid=10131] ppid=10127 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2519 0 1 0 304 2 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098942128456 140098882484363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10133] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10133/stat : 10133 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098785721128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10134] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10134/stat : 10134 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098784668328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10135] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10135/stat : 10135 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098783616040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10136] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10136/stat : 10136 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098782563240 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10137] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10137/stat : 10137 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098781509928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10138] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10138/stat : 10138 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098780457128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10139] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10139/stat : 10139 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098779404840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10140] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10140/stat : 10140 (java) S 10127 10130 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098778352040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10141] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10141/stat : 10141 (java) S 10127 10130 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098766154472 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10142] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10142/stat : 10142 (java) S 10127 10130 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098765100536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10143] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10143/stat : 10143 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098764048136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10144] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10144/stat : 10144 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098762996624 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10145] ppid=10127 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10130/task/10145/stat : 10145 (java) S 10127 10130 9891 0 -1 4202560 2990 0 0 0 48 0 0 0 20 0 19 0 104794261 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098761943224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10146] ppid=10127 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/10130/task/10146/stat : 10146 (java) S 10127 10130 9891 0 -1 4202560 3972 0 0 0 43 0 0 0 20 0 19 0 104794261 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098760890424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10147] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10147/stat : 10147 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098759838328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10148] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10148/stat : 10148 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098758785736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10150] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10150/stat : 10150 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794308 9856040960 32173 33554432000 1073741824 1073778376 140734237241040 140098757731752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.21 2.20 2.10 3/215 10150
/proc/meminfo: memFree=30031276/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9625040 CPUtime=7.22 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 10765 0 1 0 719 3 0 0 20 0 19 0 104794256 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2406260 37182 2272 9 0 2396937 0
[pid=10130/tid=10131] ppid=10127 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2530 0 1 0 624 2 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098942119616 140098882538353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10133] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10133/stat : 10133 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098785721128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10134] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10134/stat : 10134 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098784668328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10135] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10135/stat : 10135 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098783616040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10136] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10136/stat : 10136 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098782563240 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10137] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10137/stat : 10137 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098781509928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10138] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10138/stat : 10138 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098780457128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10139] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10139/stat : 10139 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098779404840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10140] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10140/stat : 10140 (java) S 10127 10130 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104794257 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098778352040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10141] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10141/stat : 10141 (java) S 10127 10130 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098766154472 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10142] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10142/stat : 10142 (java) S 10127 10130 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098765100536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10143] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10143/stat : 10143 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098764048136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10144] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10144/stat : 10144 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098762996624 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10145] ppid=10127 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10130/task/10145/stat : 10145 (java) S 10127 10130 9891 0 -1 4202560 2990 0 0 0 48 0 0 0 20 0 19 0 104794261 9856040960 37182 33554432000 1073741824 1073778376 140734237241040 140098761943224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10146] ppid=10127 vsize=9625040 CPUtime=0.43 cores=0,2,4,6

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

/proc/10130/task/10150/stat : 10150 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794308 9856040960 110221 33554432000 1073741824 1073778376 140734237241040 140098757731752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.19 2.25 2.21 3/193 10236
/proc/meminfo: memFree=29947912/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9625040 CPUtime=1786.07 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 18875 0 1 0 178538 69 0 0 20 0 19 0 104794256 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2406260 108910 2296 9 0 2396937 0
[pid=10130/tid=10131] ppid=10127 vsize=9625040 CPUtime=1776.23 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2576 0 1 0 177592 31 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098942127328 140098882484363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10133] ppid=10127 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10130/task/10133/stat : 10133 (java) S 10127 10130 9891 0 -1 4202560 567 0 0 0 44 6 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098785721128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10134] ppid=10127 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10130/task/10134/stat : 10134 (java) S 10127 10130 9891 0 -1 4202560 585 0 0 0 40 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098784668328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10135] ppid=10127 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10130/task/10135/stat : 10135 (java) S 10127 10130 9891 0 -1 4202560 755 0 0 0 41 4 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098783616040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10136] ppid=10127 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10130/task/10136/stat : 10136 (java) S 10127 10130 9891 0 -1 4202560 584 0 0 0 37 7 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098782563240 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10137] ppid=10127 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/10130/task/10137/stat : 10137 (java) S 10127 10130 9891 0 -1 4202560 224 0 0 0 29 4 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098781509928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10138] ppid=10127 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10130/task/10138/stat : 10138 (java) S 10127 10130 9891 0 -1 4202560 514 0 0 0 44 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098780457128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10139] ppid=10127 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10130/task/10139/stat : 10139 (java) S 10127 10130 9891 0 -1 4202560 332 0 0 0 39 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098779404840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10140] ppid=10127 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10130/task/10140/stat : 10140 (java) S 10127 10130 9891 0 -1 4202560 575 0 0 0 37 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098778352040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10141] ppid=10127 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/10130/task/10141/stat : 10141 (java) S 10127 10130 9891 0 -1 4202560 140 0 0 0 12 3 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098766154472 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10142] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10142/stat : 10142 (java) S 10127 10130 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098765100536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10143] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10143/stat : 10143 (java) S 10127 10130 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098764048136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10144] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10144/stat : 10144 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098762996624 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10145] ppid=10127 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/10130/task/10145/stat : 10145 (java) S 10127 10130 9891 0 -1 4202560 3191 0 0 0 58 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098761943224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10146] ppid=10127 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/10130/task/10146/stat : 10146 (java) S 10127 10130 9891 0 -1 4202560 7471 0 0 0 62 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098760890424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10147] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10147/stat : 10147 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098759838328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10148] ppid=10127 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/10130/task/10148/stat : 10148 (java) S 10127 10130 9891 0 -1 4202560 103 0 0 0 32 32 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098758785736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10150] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10150/stat : 10150 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794308 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098757731752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.07
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 2.16 2.24 2.20 3/215 10283
/proc/meminfo: memFree=29761504/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 18875 0 1 0 179939 70 0 0 20 0 19 0 104794256 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2406260 108910 2296 9 0 2396937 0
[pid=10130/tid=10131] ppid=10127 vsize=9625040 CPUtime=1790.2 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2576 0 1 0 178988 32 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098942119616 140098882484312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10133] ppid=10127 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10130/task/10133/stat : 10133 (java) S 10127 10130 9891 0 -1 4202560 567 0 0 0 44 6 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098785721128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10134] ppid=10127 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10130/task/10134/stat : 10134 (java) S 10127 10130 9891 0 -1 4202560 585 0 0 0 40 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098784668328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10135] ppid=10127 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10130/task/10135/stat : 10135 (java) S 10127 10130 9891 0 -1 4202560 755 0 0 0 41 4 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098783616040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10136] ppid=10127 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10130/task/10136/stat : 10136 (java) S 10127 10130 9891 0 -1 4202560 584 0 0 0 37 7 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098782563240 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10137] ppid=10127 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/10130/task/10137/stat : 10137 (java) S 10127 10130 9891 0 -1 4202560 224 0 0 0 29 4 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098781509928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10138] ppid=10127 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10130/task/10138/stat : 10138 (java) S 10127 10130 9891 0 -1 4202560 514 0 0 0 44 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098780457128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10139] ppid=10127 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10130/task/10139/stat : 10139 (java) S 10127 10130 9891 0 -1 4202560 332 0 0 0 39 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098779404840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10140] ppid=10127 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10130/task/10140/stat : 10140 (java) S 10127 10130 9891 0 -1 4202560 575 0 0 0 37 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098778352040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10141] ppid=10127 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/10130/task/10141/stat : 10141 (java) S 10127 10130 9891 0 -1 4202560 140 0 0 0 12 3 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098766154472 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10142] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10142/stat : 10142 (java) S 10127 10130 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098765100536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10143] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10143/stat : 10143 (java) S 10127 10130 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098764048136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10144] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10144/stat : 10144 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098762996624 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10145] ppid=10127 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/10130/task/10145/stat : 10145 (java) S 10127 10130 9891 0 -1 4202560 3191 0 0 0 58 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098761943224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10146] ppid=10127 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/10130/task/10146/stat : 10146 (java) S 10127 10130 9891 0 -1 4202560 7471 0 0 0 62 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098760890424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10147] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10147/stat : 10147 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098759838328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10148] ppid=10127 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/10130/task/10148/stat : 10148 (java) S 10127 10130 9891 0 -1 4202560 103 0 0 0 32 33 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098758785736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10150] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10150/stat : 10150 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794308 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098757731752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 10130 sig 9
??? kill -10130 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.3 s]
/proc/loadavg: 2.16 2.24 2.20 3/215 10283
/proc/meminfo: memFree=29761504/32872528 swapFree=20720/1686580
[pid=10130] ppid=10127 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/10130/stat : 10130 (java) S 10127 10130 9891 0 -1 4202496 18875 0 1 0 179939 70 0 0 20 0 19 0 104794256 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140734237232176 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10130/statm: 2406260 108910 2296 9 0 2396937 0
[pid=10130/tid=10131] ppid=10127 vsize=9625040 CPUtime=1790.2 cores=0,2,4,6
/proc/10130/task/10131/stat : 10131 (java) R 10127 10130 9891 0 -1 4202560 2576 0 1 0 178988 32 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098942119616 140098882484312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10133] ppid=10127 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10130/task/10133/stat : 10133 (java) S 10127 10130 9891 0 -1 4202560 567 0 0 0 44 6 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098785721128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10134] ppid=10127 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10130/task/10134/stat : 10134 (java) S 10127 10130 9891 0 -1 4202560 585 0 0 0 40 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098784668328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10135] ppid=10127 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10130/task/10135/stat : 10135 (java) S 10127 10130 9891 0 -1 4202560 755 0 0 0 41 4 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098783616040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10136] ppid=10127 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10130/task/10136/stat : 10136 (java) S 10127 10130 9891 0 -1 4202560 584 0 0 0 37 7 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098782563240 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10137] ppid=10127 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/10130/task/10137/stat : 10137 (java) S 10127 10130 9891 0 -1 4202560 224 0 0 0 29 4 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098781509928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10138] ppid=10127 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10130/task/10138/stat : 10138 (java) S 10127 10130 9891 0 -1 4202560 514 0 0 0 44 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098780457128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10139] ppid=10127 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10130/task/10139/stat : 10139 (java) S 10127 10130 9891 0 -1 4202560 332 0 0 0 39 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098779404840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10140] ppid=10127 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10130/task/10140/stat : 10140 (java) S 10127 10130 9891 0 -1 4202560 575 0 0 0 37 5 0 0 20 0 19 0 104794257 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098778352040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10141] ppid=10127 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/10130/task/10141/stat : 10141 (java) S 10127 10130 9891 0 -1 4202560 140 0 0 0 12 3 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098766154472 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10130/tid=10142] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10142/stat : 10142 (java) S 10127 10130 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098765100536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10143] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10143/stat : 10143 (java) S 10127 10130 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104794259 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098764048136 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10144] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10144/stat : 10144 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098762996624 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10130/tid=10145] ppid=10127 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/10130/task/10145/stat : 10145 (java) S 10127 10130 9891 0 -1 4202560 3191 0 0 0 58 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098761943224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10146] ppid=10127 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/10130/task/10146/stat : 10146 (java) S 10127 10130 9891 0 -1 4202560 7471 0 0 0 62 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098760890424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10147] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10147/stat : 10147 (java) S 10127 10130 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098759838328 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10130/tid=10148] ppid=10127 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/10130/task/10148/stat : 10148 (java) S 10127 10130 9891 0 -1 4202560 103 0 0 0 32 33 0 0 20 0 19 0 104794261 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098758785736 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10130/tid=10150] ppid=10127 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10130/task/10150/stat : 10150 (java) S 10127 10130 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104794308 9856040960 108910 33554432000 1073741824 1073778376 140734237241040 140098757731752 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1796.35
CPU time (s): 1800.09
CPU user time (s): 1799.39
CPU system time (s): 0.7
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.83
system time used= 1.23081
maximum resident set size= 526024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18913
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39143
involuntary context switches= 20039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3844 second user time and 13.5599 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-06 17:57:02
IDJOB=4085258
IDBENCH=2006
IDSOLVER=2546
FILE ID=node135/4085258-1465228622
RUNJOBID= node135-1465226821-9907
PBS_JOBID= 19843238
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085258-1465228622/watcher-4085258-1465228622 -o /tmp/evaluation-result-4085258-1465228622/solver-4085258-1465228622 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085258-1465228622.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=1759652113

node135.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.026
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.05
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.026
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.026
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.026
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.026
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.56
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.026
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.026
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		: 2667.026
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:        30374396 kB
Buffers:           16708 kB
Cached:            82500 kB
SwapCached:         1828 kB
Active:            68868 kB
Inactive:          42816 kB
Active(anon):      13180 kB
Inactive(anon):     1352 kB
Active(file):      55688 kB
Inactive(file):    41464 kB
Unevictable:     1686580 kB
Mlocked:           20720 kB
SwapTotal:      67108856 kB
SwapFree:       67098248 kB
Dirty:              1884 kB
Writeback:             0 kB
AnonPages:       1693632 kB
Mapped:            12356 kB
Shmem:                 0 kB
Slab:             566744 kB
SReclaimable:      10276 kB
SUnreclaim:       556468 kB
KernelStack:        1448 kB
PageTables:         7368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2370060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1669120 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= 71732 MiB
End job on node135 at 2016-06-06 18:26:58