Trace number 4081270

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 Res+CP PB16SAT (TO)3 1800.08 899.916

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUMb258fc1dc8cb1827e842a0b9558712c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables435
Total number of constraints501
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081270-1465226580.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.23/0.22	c ... done. Wall clock time 0.098s.
0.23/0.22	c declared #vars     435
0.23/0.22	c #constraints  502
0.23/0.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.22	c constraints type 
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
0.23/0.23	c org.sat4j.specs.Constr$1 => 1
0.23/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 402
0.23/0.23	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.23/0.23	c 502 constraints processed.
0.23/0.23	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.23	c constraints type 
0.23/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 402
0.23/0.23	c org.sat4j.specs.Constr$1 => 1
0.23/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
0.23/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
0.23/0.23	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.23/0.23	c 502 constraints processed.
0.23/0.23	c objective function length is 435 literals
0.23/0.24	c And the winner is solver0
0.32/0.73	c SATISFIABLE
0.32/0.73	c OPTIMIZING...
0.32/0.73	c Got one! Elapsed wall clock time (in seconds):0.604
0.32/0.73	o 5
0.93/0.92	c And the winner is solver1
1.43/1.24	c Got one! Elapsed wall clock time (in seconds):1.113
1.43/1.24	o 4
2.84/1.62	c And the winner is solver1
2.91/1.74	c Got one! Elapsed wall clock time (in seconds):1.617
2.91/1.74	o 3
3.33/1.94	c cleaning 3136 clauses out of 6271 with flag 5423/6271
4.51/2.42	c cleaning 4561 clauses out of 9136 with flag 21197/12272
5.66/3.00	c cleaning 5783 clauses out of 11574 with flag 41423/19271
7.15/3.68	c cleaning 6884 clauses out of 13791 with flag 63556/27271
8.63/4.40	c cleaning 7954 clauses out of 15907 with flag 86457/36271
10.50/5.29	c cleaning 8972 clauses out of 17953 with flag 112766/46271
12.58/6.26	c cleaning 9976 clauses out of 19981 with flag 141276/57271
14.58/7.23	c cleaning 11003 clauses out of 22005 with flag 172485/69271
16.86/8.36	c cleaning 11995 clauses out of 24002 with flag 206774/82271
19.26/9.57	c cleaning 12998 clauses out of 26007 with flag 244108/96271
22.15/10.92	c cleaning 14001 clauses out of 28009 with flag 282315/111271
24.76/12.25	c cleaning 15000 clauses out of 30008 with flag 324808/127271
28.05/13.81	c cleaning 16000 clauses out of 32008 with flag 367688/144271
31.46/15.50	c cleaning 16999 clauses out of 34008 with flag 412913/162271
34.85/17.28	c cleaning 18005 clauses out of 36010 with flag 460486/181272
38.95/19.23	c cleaning 18997 clauses out of 38004 with flag 510153/201271
42.95/21.24	c cleaning 20000 clauses out of 40008 with flag 561861/222272
47.42/23.42	c cleaning 20999 clauses out of 42007 with flag 619856/244271
52.22/25.83	c cleaning 22001 clauses out of 44010 with flag 677008/267273
56.83/28.17	c cleaning 23003 clauses out of 46007 with flag 736589/291271
61.63/30.54	c cleaning 23994 clauses out of 48004 with flag 799147/316271
66.71/33.02	c cleaning 25005 clauses out of 50010 with flag 865911/342271
71.90/35.61	c cleaning 25995 clauses out of 52005 with flag 933863/369271
77.10/38.29	c cleaning 27002 clauses out of 54011 with flag 1005915/397272
83.09/41.20	c cleaning 27999 clauses out of 56008 with flag 1084019/426271
89.09/44.24	c cleaning 28995 clauses out of 58010 with flag 1160629/456272
95.09/47.28	c cleaning 30008 clauses out of 60015 with flag 1243314/487272
101.69/50.57	c cleaning 30997 clauses out of 62006 with flag 1327406/519271
108.71/54.05	c cleaning 32003 clauses out of 64010 with flag 1411669/552272
116.10/57.79	c cleaning 33003 clauses out of 66006 with flag 1498260/586271
123.70/61.59	c cleaning 33998 clauses out of 68003 with flag 1589816/621271
131.50/65.43	c cleaning 35004 clauses out of 70007 with flag 1681327/657273
139.69/69.56	c cleaning 35990 clauses out of 72001 with flag 1773507/694271
147.89/73.62	c cleaning 37000 clauses out of 74012 with flag 1869573/732272
156.09/77.78	c cleaning 38001 clauses out of 76012 with flag 1969201/771272
164.69/82.09	c cleaning 39001 clauses out of 78010 with flag 2071848/811271
173.49/86.45	c cleaning 40000 clauses out of 80009 with flag 2179570/852271
183.50/91.46	c cleaning 41005 clauses out of 82009 with flag 2288062/894271
193.49/96.42	c cleaning 41998 clauses out of 84004 with flag 2409879/937271
203.30/101.38	c cleaning 42993 clauses out of 86006 with flag 2524779/981271
214.48/106.90	c cleaning 44000 clauses out of 88013 with flag 2638764/1026271
225.29/112.35	c cleaning 44997 clauses out of 90013 with flag 2754797/1072271
237.08/118.27	c cleaning 45995 clauses out of 92016 with flag 2877984/1119271
248.89/124.14	c cleaning 47000 clauses out of 94021 with flag 3001198/1167271
261.29/130.35	c cleaning 47995 clauses out of 96021 with flag 3127139/1216271
274.29/136.86	c cleaning 49004 clauses out of 98026 with flag 3258954/1266271
288.08/143.71	c cleaning 50002 clauses out of 100022 with flag 3395947/1317271
301.88/150.66	c cleaning 50995 clauses out of 102020 with flag 3537662/1369271
314.48/156.99	c cleaning 52009 clauses out of 104027 with flag 3681470/1422273
328.28/163.86	c cleaning 52990 clauses out of 106016 with flag 3824915/1476271
343.98/171.76	c cleaning 54002 clauses out of 108026 with flag 3965523/1531271
357.96/178.76	c cleaning 54996 clauses out of 110024 with flag 4110581/1587271
373.36/186.41	c cleaning 56006 clauses out of 112028 with flag 4265467/1644271
388.56/194.09	c cleaning 57002 clauses out of 114022 with flag 4415229/1702271
405.76/202.61	c cleaning 58008 clauses out of 116020 with flag 4582408/1761271
424.36/211.94	c cleaning 59001 clauses out of 118012 with flag 4765233/1821271
442.78/221.16	c cleaning 60007 clauses out of 120013 with flag 4948803/1882273
459.97/229.74	c cleaning 60995 clauses out of 122007 with flag 5110459/1944274
477.37/238.48	c cleaning 61996 clauses out of 124009 with flag 5277266/2007271
494.37/246.96	c cleaning 63004 clauses out of 126014 with flag 5444378/2071272
513.38/256.44	c cleaning 64002 clauses out of 128009 with flag 5613740/2136271
531.56/265.50	c cleaning 64990 clauses out of 130007 with flag 5799464/2202271
550.78/275.15	c cleaning 66004 clauses out of 132017 with flag 5983556/2269271
569.57/284.57	c cleaning 66998 clauses out of 134013 with flag 6156916/2337271
588.57/294.09	c cleaning 67991 clauses out of 136015 with flag 6336893/2406271
607.57/303.54	c cleaning 69011 clauses out of 138025 with flag 6521991/2476272
626.97/313.23	c cleaning 69994 clauses out of 140013 with flag 6707781/2547271
647.76/323.61	c cleaning 71005 clauses out of 142020 with flag 6897554/2619272
667.76/333.69	c cleaning 71994 clauses out of 144014 with flag 7092072/2692271
689.39/344.49	c cleaning 73000 clauses out of 146020 with flag 7291379/2766271
711.77/355.65	c cleaning 74009 clauses out of 148021 with flag 7482067/2841272
736.77/368.13	c cleaning 75005 clauses out of 150012 with flag 7674523/2917272
761.37/380.50	c cleaning 75990 clauses out of 152006 with flag 7868664/2994271
790.17/394.86	c cleaning 77000 clauses out of 154016 with flag 8067034/3072271
818.57/409.06	c cleaning 78001 clauses out of 156016 with flag 8267654/3151271
846.97/423.29	c cleaning 79003 clauses out of 158015 with flag 8468159/3231271
876.38/437.99	c cleaning 79990 clauses out of 160012 with flag 8669167/3312271
906.99/453.28	c cleaning 80998 clauses out of 162022 with flag 8880250/3394271
938.57/469.01	c cleaning 82005 clauses out of 164024 with flag 9113032/3477271
969.97/484.78	c cleaning 83002 clauses out of 166021 with flag 9342494/3561273
1003.99/501.77	c cleaning 84008 clauses out of 168017 with flag 9568095/3646271
1035.58/517.56	c cleaning 85005 clauses out of 170009 with flag 9800198/3732271
1068.18/533.83	c cleaning 85993 clauses out of 172004 with flag 10041418/3819271
1103.00/551.21	c cleaning 87005 clauses out of 174011 with flag 10286187/3907271
1136.38/567.96	c cleaning 87999 clauses out of 176006 with flag 10516437/3996271
1171.78/585.68	c cleaning 88993 clauses out of 178007 with flag 10746000/4086271
1201.99/600.73	c cleaning 90000 clauses out of 180014 with flag 10985172/4177271
1231.78/615.67	c cleaning 91001 clauses out of 182015 with flag 11228246/4269272
1263.18/631.39	c cleaning 91994 clauses out of 184013 with flag 11472200/4362271
1294.40/646.97	c cleaning 93005 clauses out of 186020 with flag 11715362/4456272
1327.19/663.36	c cleaning 94003 clauses out of 188015 with flag 11969026/4551272
1359.98/679.78	c cleaning 95001 clauses out of 190013 with flag 12219550/4647273
1394.08/696.84	c cleaning 96001 clauses out of 192010 with flag 12477460/4744271
1427.07/713.35	c cleaning 97005 clauses out of 194009 with flag 12730783/4842271
1461.87/730.79	c cleaning 97992 clauses out of 196004 with flag 12983695/4941271
1496.07/747.84	c cleaning 98998 clauses out of 198012 with flag 13247921/5041271
1536.46/768.06	c cleaning 100005 clauses out of 200014 with flag 13517124/5142271
1572.66/786.13	c cleaning 100993 clauses out of 202009 with flag 13785701/5244271
1610.26/804.96	c cleaning 102000 clauses out of 204016 with flag 14057385/5347271
1648.87/824.23	c cleaning 102998 clauses out of 206016 with flag 14328228/5451271
1689.46/844.55	c cleaning 104005 clauses out of 208023 with flag 14599498/5556276
1727.06/863.30	c cleaning 104997 clauses out of 210014 with flag 14868318/5662272
1766.86/883.29	c cleaning 106003 clauses out of 212016 with flag 15143929/5769271
1800.07/899.81	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.07/899.81	c starts		: 488
1800.07/899.81	c conflicts		: 5857672
1800.07/899.81	c decisions		: 16254536
1800.07/899.81	c propagations		: 226240077
1800.07/899.81	c inspects		: 10656999638
1800.07/899.81	c shortcuts		: 0
1800.07/899.81	c learnt literals	: 0
1800.07/899.81	c learnt binary clauses	: 0
1800.07/899.81	c learnt ternary clauses	: 0
1800.07/899.81	c learnt constraints	: 5857672
1800.07/899.81	c ignored constraints	: 0
1800.07/899.81	c root simplifications	: 0
1800.07/899.81	c removed literals (reason simplification)	: 577415352
1800.07/899.81	c reason swapping (by a shorter reason)	: 0
1800.07/899.81	c Calls to reduceDB	: 103
1800.07/899.81	c Number of update (reduction) of LBD	: 1081914
1800.07/899.81	c Imported unit clauses	: 0
1800.07/899.81	c number of reductions to clauses (during analyze)	: 0
1800.07/899.81	c number of learned constraints concerned by reduction	: 0
1800.07/899.81	c number of learning phase by resolution	: 0
1800.07/899.81	c number of learning phase by cutting planes	: 0
1800.07/899.81	c speed (assignments/second)	: 251918.36818774504
1800.07/899.81	c non guided choices	0
1800.07/899.84	c learnt constraints type 
1800.07/899.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 194414
1800.07/899.84	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.07/899.84	c starts		: 18
1800.07/899.84	c conflicts		: 2967
1800.07/899.84	c decisions		: 15701
1800.07/899.84	c propagations		: 115904
1800.07/899.84	c inspects		: 39962103
1800.07/899.84	c shortcuts		: 0
1800.07/899.84	c learnt literals	: 0
1800.07/899.84	c learnt binary clauses	: 0
1800.07/899.84	c learnt ternary clauses	: 0
1800.07/899.84	c learnt constraints	: 2966
1800.07/899.84	c ignored constraints	: 0
1800.07/899.84	c root simplifications	: 0
1800.07/899.84	c removed literals (reason simplification)	: 0
1800.07/899.84	c reason swapping (by a shorter reason)	: 0
1800.07/899.84	c Calls to reduceDB	: 0
1800.07/899.84	c Number of update (reduction) of LBD	: 0
1800.07/899.84	c Imported unit clauses	: 0
1800.07/899.84	c number of reductions to clauses (during analyze)	: 0
1800.07/899.84	c number of learned constraints concerned by reduction	: 0
1800.07/899.84	c number of learning phase by resolution	: 0
1800.07/899.84	c number of learning phase by cutting planes	: 0
1800.07/899.84	c speed (assignments/second)	: 128.9108466002745
1800.07/899.84	c non guided choices	0
1800.07/899.84	c learnt constraints type 
1800.07/899.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2966
1800.07/899.84	s SATISFIABLE
1800.07/899.84	c Found 3 solution(s)
1800.07/899.84	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 
1800.07/899.85	c objective function=3
1800.07/899.85	c Total wall clock time (in seconds): 899.722

Verifier Data 

OK	3

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-4081270-1465226580/watcher-4081270-1465226580 -o /tmp/evaluation-result-4081270-1465226580/solver-4081270-1465226580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31431 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081270-1465226580.opb 

pid=1639
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: 4.23 4.19 4.18 5/197 1643
/proc/meminfo: memFree=27967592/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/1643/stat : 1643 (java) D 1639 1643 31415 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 104591662 2560000 46 33554432000 1073741824 1073778376 140736449285840 140736449282968 266426477863 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 625 46 37 9 0 29 0

[startup+0.100057 s]
/proc/loadavg: 4.23 4.19 4.18 5/197 1643
/proc/meminfo: memFree=27967592/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 4405 0 1 0 8 1 0 0 20 0 18 0 104591662 9787879424 6026 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2389619 6026 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200263 s]
/proc/loadavg: 4.23 4.19 4.18 5/197 1643
/proc/meminfo: memFree=27967592/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 4684 0 1 0 21 2 0 0 20 0 18 0 104591662 9787879424 7275 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2389619 7275 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300378 s]
/proc/loadavg: 4.23 4.19 4.18 5/197 1643
/proc/meminfo: memFree=27967592/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 5105 0 1 0 29 3 0 0 20 0 19 0 104591662 10060525568 8582 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2456183 8582 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824732

[startup+0.700271 s]
/proc/loadavg: 4.23 4.19 4.18 5/197 1643
/proc/meminfo: memFree=27967592/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 5105 0 1 0 29 3 0 0 20 0 19 0 104591662 10060525568 8582 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2456183 8582 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.23 4.19 4.18 5/216 1669
/proc/meminfo: memFree=27900080/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 20570 0 1 0 238 7 0 0 20 0 22 0 104591662 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2456183 24715 2262 9 0 2446860 0
[pid=1643/tid=1645] ppid=1639 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/1643/task/1645/stat : 1645 (java) S 1639 1643 31415 0 -1 4202560 2424 0 1 0 19 2 0 0 20 0 22 0 104591663 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482259727224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1646] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1646/stat : 1646 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482221218472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1647] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1647/stat : 1647 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482220165928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1648] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1648/stat : 1648 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482219113384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1649] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1649/stat : 1649 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482218060840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1650] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1650/stat : 1650 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482217007272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1651] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1651/stat : 1651 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482215954728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1652] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1652/stat : 1652 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482214902184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1653] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1653/stat : 1653 (java) S 1639 1643 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482213849640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1654] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1654/stat : 1654 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591665 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482083527272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1655] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1655/stat : 1655 (java) S 1639 1643 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482082473592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1656] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1656/stat : 1656 (java) S 1639 1643 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482081420936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1658] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1658/stat : 1658 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482080369680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1659] ppid=1639 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/1643/task/1659/stat : 1659 (java) R 1639 1643 31415 0 -1 4202560 8623 0 0 0 59 1 0 0 20 0 22 0 104591668 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482079316024 140482261813649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1660] ppid=1639 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/1643/task/1660/stat : 1660 (java) R 1639 1643 31415 0 -1 4202560 8168 0 0 0 70 1 0 0 20 0 22 0 104591668 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482078263480 140482265869501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1661] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1661/stat : 1661 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482077211128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1662] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1662/stat : 1662 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482076158792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1669] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1669/stat : 1669 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591736 10060525568 24715 33554432000 1073741824 1073778376 140736449285840 140482075104296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9824732

[startup+3.10091 s]
/proc/loadavg: 4.23 4.19 4.18 6/219 1675
/proc/meminfo: memFree=27780340/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9824732 CPUtime=6.12 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 21427 0 1 0 598 14 0 0 20 0 22 0 104591662 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2456183 56450 2285 9 0 2446860 0
[pid=1643/tid=1645] ppid=1639 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/1643/task/1645/stat : 1645 (java) S 1639 1643 31415 0 -1 4202560 2424 0 1 0 19 2 0 0 20 0 22 0 104591663 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482259727224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1646] ppid=1639 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/1643/task/1646/stat : 1646 (java) S 1639 1643 31415 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482221218472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1647] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1647/stat : 1647 (java) S 1639 1643 31415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482220165928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1648] ppid=1639 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/1643/task/1648/stat : 1648 (java) S 1639 1643 31415 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482219113384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1649] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1649/stat : 1649 (java) S 1639 1643 31415 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482218060840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1650] ppid=1639 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/1643/task/1650/stat : 1650 (java) S 1639 1643 31415 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482217007272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1651] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1651/stat : 1651 (java) S 1639 1643 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482215954728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1652] ppid=1639 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/1643/task/1652/stat : 1652 (java) S 1639 1643 31415 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482214902184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1653] ppid=1639 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/1643/task/1653/stat : 1653 (java) S 1639 1643 31415 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 104591664 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482213849640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1654] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1654/stat : 1654 (java) S 1639 1643 31415 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 104591665 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482083527272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1655] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1655/stat : 1655 (java) S 1639 1643 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482082473592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1656] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1656/stat : 1656 (java) S 1639 1643 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482081420936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1658] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1658/stat : 1658 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482080369680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1659] ppid=1639 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/1643/task/1659/stat : 1659 (java) S 1639 1643 31415 0 -1 4202560 9250 0 0 0 81 2 0 0 20 0 22 0 104591668 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482079316024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1660] ppid=1639 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/1643/task/1660/stat : 1660 (java) S 1639 1643 31415 0 -1 4202560 8179 0 0 0 109 1 0 0 20 0 22 0 104591668 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482078263480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1661] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1661/stat : 1661 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482077211128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1662] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1662/stat : 1662 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482076158792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1669] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1669/stat : 1669 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591736 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482075104296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1673] ppid=1639 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/1643/task/1673/stat : 1673 (java) R 1639 1643 31415 0 -1 4202560 7 0 0 0 125 0 0 0 20 0 22 0 104591837 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140482074042784 140482089385267 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1674] ppid=1639 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/1643/task/1674/stat : 1674 (java) R 1639 1643 31415 0 -1 4202560 42 0 0 0 126 0 0 0 20 0 22 0 104591837 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140480930107184 140482089676158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1675] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1675/stat : 1675 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591837 10060525568 56450 33554432000 1073741824 1073778376 140736449285840 140480931160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 9824732

[startup+6.301 s]
/proc/loadavg: 4.29 4.20 4.18 5/219 1675
/proc/meminfo: memFree=27565804/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9824732 CPUtime=12.78 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 22771 0 1 0 1248 30 0 0 20 0 22 0 104591662 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2456183 163786 2285 9 0 2446860 0
[pid=1643/tid=1645] ppid=1639 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/1643/task/1645/stat : 1645 (java) S 1639 1643 31415 0 -1 4202560 2426 0 1 0 19 2 0 0 20 0 22 0 104591663 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482259727224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1646] ppid=1639 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/1643/task/1646/stat : 1646 (java) S 1639 1643 31415 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482221218472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1647] ppid=1639 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/1643/task/1647/stat : 1647 (java) S 1639 1643 31415 0 -1 4202560 170 0 0 0 6 2 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482220165928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1648] ppid=1639 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/1643/task/1648/stat : 1648 (java) S 1639 1643 31415 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482219113384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1649] ppid=1639 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/1643/task/1649/stat : 1649 (java) S 1639 1643 31415 0 -1 4202560 47 0 0 0 5 3 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482218060840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1650] ppid=1639 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/1643/task/1650/stat : 1650 (java) S 1639 1643 31415 0 -1 4202560 156 0 0 0 10 2 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482217007272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1651] ppid=1639 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/1643/task/1651/stat : 1651 (java) S 1639 1643 31415 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482215954728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1652] ppid=1639 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/1643/task/1652/stat : 1652 (java) S 1639 1643 31415 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482214902184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1653] ppid=1639 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/1643/task/1653/stat : 1653 (java) S 1639 1643 31415 0 -1 4202560 188 0 0 0 9 3 0 0 20 0 22 0 104591664 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482213849640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1654] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1654/stat : 1654 (java) S 1639 1643 31415 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 22 0 104591665 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482083527272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1655] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1655/stat : 1655 (java) S 1639 1643 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482082473592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1656] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1656/stat : 1656 (java) S 1639 1643 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482081420936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1658] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1658/stat : 1658 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482080369680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1659] ppid=1639 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/1643/task/1659/stat : 1659 (java) S 1639 1643 31415 0 -1 4202560 9250 0 0 0 83 2 0 0 20 0 22 0 104591668 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482079316024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1660] ppid=1639 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/1643/task/1660/stat : 1660 (java) S 1639 1643 31415 0 -1 4202560 8179 0 0 0 111 1 0 0 20 0 22 0 104591668 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482078263480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1661] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1661/stat : 1661 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 163786 33554432000 1073741824 1073778376 140736449285840 140482077211128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1662] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=1643/tid=1669] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1669/stat : 1669 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591736 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482075104296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1673] ppid=1639 vsize=9824732 CPUtime=876.65 cores=0,2,4,6
/proc/1643/task/1673/stat : 1673 (java) R 1639 1643 31415 0 -1 4202560 64 0 0 0 87650 15 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482074042768 140482089064374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1674] ppid=1639 vsize=9824732 CPUtime=876.64 cores=0,2,4,6
/proc/1643/task/1674/stat : 1674 (java) R 1639 1643 31415 0 -1 4202560 1252 0 0 0 87618 46 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140480930107424 140482089447453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1675] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1675/stat : 1675 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140480931160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1765.08
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.801 s]
/proc/loadavg: 4.22 4.30 4.24 5/219 1797
/proc/meminfo: memFree=23330016/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 26775 0 1 0 179868 139 0 0 20 0 22 0 104591662 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2456183 796489 2294 9 0 2446860 0
[pid=1643/tid=1645] ppid=1639 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/1643/task/1645/stat : 1645 (java) S 1639 1643 31415 0 -1 4202560 2428 0 1 0 22 3 0 0 20 0 22 0 104591663 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482259727224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1646] ppid=1639 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/1643/task/1646/stat : 1646 (java) S 1639 1643 31415 0 -1 4202560 222 0 0 0 25 8 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482221218472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1647] ppid=1639 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/1643/task/1647/stat : 1647 (java) S 1639 1643 31415 0 -1 4202560 420 0 0 0 37 15 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482220165928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1648] ppid=1639 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/1643/task/1648/stat : 1648 (java) S 1639 1643 31415 0 -1 4202560 287 0 0 0 28 12 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482219113384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1649] ppid=1639 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/1643/task/1649/stat : 1649 (java) S 1639 1643 31415 0 -1 4202560 490 0 0 0 21 11 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482218060840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1650] ppid=1639 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/1643/task/1650/stat : 1650 (java) S 1639 1643 31415 0 -1 4202560 326 0 0 0 25 9 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482217007272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1651] ppid=1639 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/1643/task/1651/stat : 1651 (java) S 1639 1643 31415 0 -1 4202560 334 0 0 0 30 9 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482215954728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1652] ppid=1639 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/1643/task/1652/stat : 1652 (java) S 1639 1643 31415 0 -1 4202560 251 0 0 0 23 7 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482214902184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1653] ppid=1639 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/1643/task/1653/stat : 1653 (java) S 1639 1643 31415 0 -1 4202560 321 0 0 0 24 8 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482213849640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1654] ppid=1639 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/1643/task/1654/stat : 1654 (java) S 1639 1643 31415 0 -1 4202560 1544 0 0 0 76 3 0 0 20 0 22 0 104591665 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482083527272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1655] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1655/stat : 1655 (java) S 1639 1643 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482082473592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1656] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1656/stat : 1656 (java) S 1639 1643 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482081420936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1658] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1658/stat : 1658 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482080369680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1659] ppid=1639 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/1643/task/1659/stat : 1659 (java) S 1639 1643 31415 0 -1 4202560 9250 0 0 0 83 2 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482079316024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1660] ppid=1639 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/1643/task/1660/stat : 1660 (java) S 1639 1643 31415 0 -1 4202560 8182 0 0 0 115 1 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482078263480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1661] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1661/stat : 1661 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482077211128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1662] ppid=1639 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/1643/task/1662/stat : 1662 (java) S 1639 1643 31415 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482076158792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1669] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1669/stat : 1669 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591736 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482075104296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1673] ppid=1639 vsize=9824732 CPUtime=894.11 cores=0,2,4,6
/proc/1643/task/1673/stat : 1673 (java) R 1639 1643 31415 0 -1 4202560 64 0 0 0 89396 15 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482074042768 140482089403031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1674] ppid=1639 vsize=9824732 CPUtime=894.09 cores=0,2,4,6
/proc/1643/task/1674/stat : 1674 (java) R 1639 1643 31415 0 -1 4202560 1252 0 0 0 89363 46 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140480930107424 140482089447428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1675] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1675/stat : 1675 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140480931160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

############
# WARNING:
# current cumulated CPU time (1796.11 s) is less than in the last sample (1800.07 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.96008 s) to the 'lost time'.

[startup+899.801 s]
/proc/loadavg: 4.22 4.30 4.24 5/219 1797
/proc/meminfo: memFree=23330016/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6
/proc/1643/stat : 1643 (java) S 1639 1643 31415 0 -1 4202496 26775 0 1 0 179868 139 0 0 20 0 22 0 104591662 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140736449276976 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1643/statm: 2456183 796489 2294 9 0 2446860 0
[pid=1643/tid=1645] ppid=1639 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/1643/task/1645/stat : 1645 (java) S 1639 1643 31415 0 -1 4202560 2428 0 1 0 22 3 0 0 20 0 22 0 104591663 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482259727224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1646] ppid=1639 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/1643/task/1646/stat : 1646 (java) S 1639 1643 31415 0 -1 4202560 222 0 0 0 25 8 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482221218472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1647] ppid=1639 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/1643/task/1647/stat : 1647 (java) S 1639 1643 31415 0 -1 4202560 420 0 0 0 37 15 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482220165928 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1648] ppid=1639 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/1643/task/1648/stat : 1648 (java) S 1639 1643 31415 0 -1 4202560 287 0 0 0 28 12 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482219113384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1649] ppid=1639 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/1643/task/1649/stat : 1649 (java) S 1639 1643 31415 0 -1 4202560 490 0 0 0 21 11 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482218060840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1650] ppid=1639 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/1643/task/1650/stat : 1650 (java) S 1639 1643 31415 0 -1 4202560 326 0 0 0 25 9 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482217007272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1651] ppid=1639 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/1643/task/1651/stat : 1651 (java) S 1639 1643 31415 0 -1 4202560 334 0 0 0 30 9 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482215954728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1652] ppid=1639 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/1643/task/1652/stat : 1652 (java) S 1639 1643 31415 0 -1 4202560 251 0 0 0 23 7 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482214902184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1643/tid=1653] ppid=1639 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/1643/task/1653/stat : 1653 (java) S 1639 1643 31415 0 -1 4202560 321 0 0 0 24 8 0 0 20 0 22 0 104591664 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482213849640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1654] ppid=1639 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/1643/task/1654/stat : 1654 (java) S 1639 1643 31415 0 -1 4202560 1544 0 0 0 76 3 0 0 20 0 22 0 104591665 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482083527272 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1655] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1655/stat : 1655 (java) S 1639 1643 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482082473592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1656] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1656/stat : 1656 (java) S 1639 1643 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104591666 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482081420936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1658] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1658/stat : 1658 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482080369680 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1659] ppid=1639 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/1643/task/1659/stat : 1659 (java) S 1639 1643 31415 0 -1 4202560 9250 0 0 0 83 2 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482079316024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1660] ppid=1639 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/1643/task/1660/stat : 1660 (java) S 1639 1643 31415 0 -1 4202560 8182 0 0 0 115 1 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482078263480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1661] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1661/stat : 1661 (java) S 1639 1643 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482077211128 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1662] ppid=1639 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/1643/task/1662/stat : 1662 (java) S 1639 1643 31415 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 104591668 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482076158792 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1643/tid=1669] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1669/stat : 1669 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591736 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482075104296 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1673] ppid=1639 vsize=9824732 CPUtime=894.11 cores=0,2,4,6
/proc/1643/task/1673/stat : 1673 (java) R 1639 1643 31415 0 -1 4202560 64 0 0 0 89396 15 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140482074042768 140482089403031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1643/tid=1674] ppid=1639 vsize=9824732 CPUtime=894.09 cores=0,2,4,6
/proc/1643/task/1674/stat : 1674 (java) R 1639 1643 31415 0 -1 4202560 1252 0 0 0 89363 46 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140480930107424 140482089447428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1643/tid=1675] ppid=1639 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/1643/task/1675/stat : 1675 (java) S 1639 1643 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104591837 10060525568 796489 33554432000 1073741824 1073778376 140736449285840 140480931160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

[startup+899.915 s]
/proc/loadavg: 4.22 4.30 4.24 5/219 1797
/proc/meminfo: memFree=23330016/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=0 CPUtime=1796.11 cores=0,2,4,6
/proc/1643/stat : 1643 (java) Z 1639 1643 31415 0 -1 4203532 26821 0 1 0 179422 189 0 0 20 0 2 0 104591662 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1643/statm: 0 0 0 0 0 0 0
[pid=1643/tid=1660] ppid=1639 vsize=0 CPUtime=1.19 cores=0,2,4,6
/proc/1643/task/1660/stat : 1660 (java) R 1639 1643 31415 0 -1 4203588 8190 0 0 0 117 2 0 0 20 0 2 0 104591668 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 0
#
############


Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1643 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.915 s]
/proc/loadavg: 4.22 4.30 4.24 5/219 1797
/proc/meminfo: memFree=23330016/32872528 swapFree=14448/1543360
[pid=1643] ppid=1639 vsize=0 CPUtime=1796.11 cores=0,2,4,6
/proc/1643/stat : 1643 (java) Z 1639 1643 31415 0 -1 4203532 26821 0 1 0 179422 189 0 0 20 0 2 0 104591662 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1643/statm: 0 0 0 0 0 0 0
[pid=1643/tid=1660] ppid=1639 vsize=0 CPUtime=1.19 cores=0,2,4,6
/proc/1643/task/1660/stat : 1660 (java) R 1639 1643 31415 0 -1 4203588 8190 0 0 0 117 2 0 0 20 0 2 0 104591668 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 0

Child status: 143

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.96008
#  lost CPU user time (s): 4.46008
#  lost CPU system time (s): -0.5

Real time (s): 899.916
CPU time (s): 1800.08
CPU user time (s): 1798.68
CPU system time (s): 1.40271
CPU usage (%): 200.028
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 1.90271
maximum resident set size= 3186092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21570
involuntary context switches= 6560

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73313 second user time and 7.27389 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-06 17:23:01
IDJOB=4081270
IDBENCH=2225
IDSOLVER=2543
FILE ID=node116/4081270-1465226580
RUNJOBID= node116-1465218446-31431
PBS_JOBID= 19843214
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081270-1465226580/watcher-4081270-1465226580 -o /tmp/evaluation-result-4081270-1465226580/solver-4081270-1465226580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31431 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081270-1465226580.opb

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

MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7
RANDOM SEED=251691620

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.134
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.134
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.134
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:        27968384 kB
Buffers:           18268 kB
Cached:            89900 kB
SwapCached:         1432 kB
Active:          2603804 kB
Inactive:          50524 kB
Active(anon):    2547160 kB
Inactive(anon):     1372 kB
Active(file):      56644 kB
Inactive(file):    49152 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67098876 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       4091116 kB
Mapped:            15412 kB
Shmem:                 0 kB
Slab:             565528 kB
SReclaimable:       9600 kB
SUnreclaim:       555928 kB
KernelStack:        1792 kB
PageTables:        12760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4234044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4028416 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 node116 at 2016-06-06 17:38:01