Trace number 4085269

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)23 1800.08 1798.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
MD5SUM4b56e6775cc4a081c8696ef0fa81b784
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark0.008998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved YES
Number of variables81
Total number of constraints81
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 81
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 81
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
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.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4085269-1465232589.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.11/0.12	c ... done. Wall clock time 0.022s.
0.11/0.12	c declared #vars     81
0.11/0.12	c #constraints  81
0.11/0.12	c constraints type 
0.11/0.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
0.11/0.12	c 81 constraints processed.
0.11/0.12	c objective function length is 81 literals
0.11/0.13	c SATISFIABLE
0.11/0.13	c OPTIMIZING...
0.11/0.13	c Got one! Elapsed wall clock time (in seconds):0.027
0.11/0.13	o 27
0.11/0.13	c Got one! Elapsed wall clock time (in seconds):0.032
0.11/0.13	o 26
0.32/0.20	c Got one! Elapsed wall clock time (in seconds):0.104
0.32/0.20	o 25
0.66/0.40	c cleaning 2687 clauses out of 5375 with flag 12679/5375
0.82/0.57	c cleaning 4345 clauses out of 8689 with flag 26358/11376
0.94/0.62	c Got one! Elapsed wall clock time (in seconds):0.517
0.94/0.62	o 24
1.09/0.71	c cleaning 4894 clauses out of 9788 with flag 7264/16820
1.19/0.86	c cleaning 5448 clauses out of 10895 with flag 21174/22821
1.41/1.06	c cleaning 6223 clauses out of 12446 with flag 36746/29820
1.71/1.32	c cleaning 7107 clauses out of 14223 with flag 55322/37820
2.01/1.62	c cleaning 8055 clauses out of 16116 with flag 75510/46820
2.32/1.98	c cleaning 9029 clauses out of 18061 with flag 98168/56820
2.83/2.44	c cleaning 10015 clauses out of 20033 with flag 122909/67821
3.33/2.97	c cleaning 11000 clauses out of 22018 with flag 150449/79821
4.03/3.61	c cleaning 12005 clauses out of 24018 with flag 181609/92821
4.73/4.32	c cleaning 13006 clauses out of 26013 with flag 213582/106821
5.53/5.10	c cleaning 14001 clauses out of 28008 with flag 247289/121822
6.43/6.01	c cleaning 15001 clauses out of 30006 with flag 283359/137821
7.33/6.99	c cleaning 16001 clauses out of 32004 with flag 321806/154820
8.53/8.15	c cleaning 16999 clauses out of 34003 with flag 362188/172820
9.83/9.43	c cleaning 18002 clauses out of 36005 with flag 405010/191821
11.23/10.80	c cleaning 18995 clauses out of 38004 with flag 450691/211822
12.64/12.29	c cleaning 19998 clauses out of 40010 with flag 499007/232823
14.33/13.93	c cleaning 20995 clauses out of 42009 with flag 549902/254820
16.03/15.67	c cleaning 22005 clauses out of 44015 with flag 602233/277821
17.73/17.37	c cleaning 23001 clauses out of 46009 with flag 657631/301820
19.53/19.16	c cleaning 23999 clauses out of 48010 with flag 713878/326822
21.63/21.26	c cleaning 25003 clauses out of 50009 with flag 772182/352820
23.83/23.45	c cleaning 25998 clauses out of 52006 with flag 832734/379820
26.22/25.89	c cleaning 27003 clauses out of 54008 with flag 895895/407820
28.72/28.34	c cleaning 28000 clauses out of 56005 with flag 961616/436820
31.53/31.14	c cleaning 28998 clauses out of 58006 with flag 1029608/466821
34.33/33.98	c cleaning 30003 clauses out of 60007 with flag 1099686/497820
37.73/37.34	c cleaning 31000 clauses out of 62004 with flag 1171625/529820
38.33/37.94	c Got one! Elapsed wall clock time (in seconds):37.836
38.33/37.94	o 23
38.83/38.46	c cleaning 22608 clauses out of 45226 with flag 11576/544042
39.23/38.81	c cleaning 14305 clauses out of 28618 with flag 25257/550042
39.53/39.11	c cleaning 10650 clauses out of 21314 with flag 42032/557043
39.83/39.40	c cleaning 9327 clauses out of 18663 with flag 62299/565042
40.03/39.70	c cleaning 9155 clauses out of 18336 with flag 83614/574042
40.43/40.06	c cleaning 9583 clauses out of 19182 with flag 106216/584043
40.83/40.46	c cleaning 10297 clauses out of 20599 with flag 130844/595043
41.33/40.94	c cleaning 11141 clauses out of 22301 with flag 157935/607042
41.93/41.50	c cleaning 12075 clauses out of 24161 with flag 187312/620043
42.53/42.10	c cleaning 13039 clauses out of 26086 with flag 219093/634043
43.23/42.83	c cleaning 14021 clauses out of 28047 with flag 252986/649043
44.04/43.60	c cleaning 15003 clauses out of 30026 with flag 289041/665043
44.83/44.40	c cleaning 16007 clauses out of 32022 with flag 327231/682042
45.73/45.32	c cleaning 17004 clauses out of 34015 with flag 367957/700042
46.83/46.46	c cleaning 18003 clauses out of 36011 with flag 410387/719042
48.03/47.62	c cleaning 18996 clauses out of 38008 with flag 455553/739042
49.33/48.91	c cleaning 20003 clauses out of 40013 with flag 502937/760043
50.73/50.39	c cleaning 21004 clauses out of 42011 with flag 552592/782044
52.33/51.95	c cleaning 21993 clauses out of 44005 with flag 604598/805042
54.05/53.66	c cleaning 22997 clauses out of 46012 with flag 658579/829042
55.85/55.49	c cleaning 23998 clauses out of 48015 with flag 714920/854042
57.76/57.36	c cleaning 24997 clauses out of 50017 with flag 773668/880042
59.96/59.55	c cleaning 26003 clauses out of 52021 with flag 834676/907043
62.16/61.75	c cleaning 26993 clauses out of 54017 with flag 897799/935042
64.65/64.27	c cleaning 28000 clauses out of 56024 with flag 963462/964042
66.95/66.54	c cleaning 29000 clauses out of 58024 with flag 1031865/994042
69.05/68.64	c cleaning 30009 clauses out of 60025 with flag 1102716/1025043
70.85/70.46	c cleaning 30998 clauses out of 62015 with flag 1175575/1057042
72.95/72.56	c cleaning 32004 clauses out of 64018 with flag 1249968/1090043
75.67/75.28	c cleaning 33005 clauses out of 66013 with flag 1327426/1124042
78.37/77.95	c cleaning 34000 clauses out of 68008 with flag 1406112/1159042
80.97/80.52	c cleaning 35001 clauses out of 70008 with flag 1491606/1195042
83.87/83.48	c cleaning 36002 clauses out of 72008 with flag 1577916/1232043
86.77/86.36	c cleaning 36998 clauses out of 74006 with flag 1664690/1270043
90.17/89.79	c cleaning 38000 clauses out of 76008 with flag 1752860/1309043
94.27/93.83	c cleaning 39003 clauses out of 78010 with flag 1843540/1349045
98.47/98.02	c cleaning 39997 clauses out of 80004 with flag 1936771/1390042
103.46/103.09	c cleaning 40998 clauses out of 82007 with flag 2032606/1432042
109.17/108.79	c cleaning 42002 clauses out of 84010 with flag 2129906/1475043
114.97/114.58	c cleaning 43000 clauses out of 86008 with flag 2230218/1519043
120.67/120.28	c cleaning 43998 clauses out of 88008 with flag 2332078/1564043
127.17/126.76	c cleaning 45004 clauses out of 90010 with flag 2436848/1610043
134.17/133.77	c cleaning 45995 clauses out of 92006 with flag 2543464/1657043
140.90/140.42	c cleaning 47003 clauses out of 94011 with flag 2652379/1705043
148.20/147.70	c cleaning 48002 clauses out of 96007 with flag 2763625/1754042
155.80/155.38	c cleaning 48995 clauses out of 98006 with flag 2877155/1804043
163.80/163.37	c cleaning 50003 clauses out of 100010 with flag 2993112/1855042
172.00/171.52	c cleaning 51001 clauses out of 102008 with flag 3110936/1907043
179.80/179.33	c cleaning 52001 clauses out of 104008 with flag 3230897/1960044
188.20/187.73	c cleaning 52996 clauses out of 106005 with flag 3353351/2014042
197.51/197.01	c cleaning 54003 clauses out of 108009 with flag 3478330/2069042
205.91/205.43	c cleaning 54999 clauses out of 110006 with flag 3605131/2125042
214.41/213.97	c cleaning 56001 clauses out of 112008 with flag 3733592/2182043
224.01/223.55	c cleaning 56998 clauses out of 114006 with flag 3864779/2240042
233.31/232.86	c cleaning 58000 clauses out of 116008 with flag 3998599/2299042
243.21/242.79	c cleaning 59003 clauses out of 118008 with flag 4135260/2359042
253.81/253.36	c cleaning 60000 clauses out of 120006 with flag 4274083/2420043
264.31/263.82	c cleaning 60997 clauses out of 122005 with flag 4414645/2482042
274.27/273.78	c cleaning 62002 clauses out of 124008 with flag 4557835/2545042
284.97/284.45	c cleaning 62998 clauses out of 126006 with flag 4703091/2609042
297.07/296.51	c cleaning 64003 clauses out of 128009 with flag 4851172/2674043
307.97/307.47	c cleaning 65001 clauses out of 130005 with flag 5000864/2740042
320.27/319.73	c cleaning 66000 clauses out of 132004 with flag 5152899/2807042
331.48/330.94	c cleaning 66998 clauses out of 134004 with flag 5307531/2875042
343.47/342.93	c cleaning 67997 clauses out of 136007 with flag 5463883/2944043
356.37/355.82	c cleaning 69001 clauses out of 138011 with flag 5622709/3014044
369.18/368.66	c cleaning 69997 clauses out of 140008 with flag 5784094/3085042
382.87/382.34	c cleaning 71002 clauses out of 142013 with flag 5946879/3157044
397.07/396.55	c cleaning 72002 clauses out of 144009 with flag 6112407/3230042
411.57/411.05	c cleaning 73000 clauses out of 146007 with flag 6279612/3304042
426.58/426.08	c cleaning 73999 clauses out of 148007 with flag 6449666/3379042
442.24/441.60	c cleaning 75000 clauses out of 150008 with flag 6622704/3455042
457.34/456.79	c cleaning 75998 clauses out of 152008 with flag 6797802/3532042
473.04/472.45	c cleaning 76998 clauses out of 154010 with flag 6973707/3610042
490.94/490.32	c cleaning 78004 clauses out of 156013 with flag 7153427/3689043
507.44/506.88	c cleaning 78997 clauses out of 158008 with flag 7334860/3769042
523.95/523.31	c cleaning 80002 clauses out of 160011 with flag 7517865/3850042
541.55/540.97	c cleaning 81001 clauses out of 162012 with flag 7704452/3932045
560.45/559.88	c cleaning 82001 clauses out of 164010 with flag 7893029/4015044
578.65/578.06	c cleaning 83003 clauses out of 166008 with flag 8082829/4099043
596.86/596.30	c cleaning 83997 clauses out of 168004 with flag 8275697/4184042
615.32/614.67	c cleaning 85001 clauses out of 170008 with flag 8470879/4270043
635.03/634.31	c cleaning 85996 clauses out of 172006 with flag 8668180/4357042
654.83/654.15	c cleaning 87002 clauses out of 174011 with flag 8868009/4445043
676.24/675.52	c cleaning 88002 clauses out of 176008 with flag 9070036/4534042
696.43/695.78	c cleaning 89001 clauses out of 178007 with flag 9274137/4624043
717.14/716.46	c cleaning 90003 clauses out of 180006 with flag 9481205/4715043
740.25/739.55	c cleaning 90996 clauses out of 182002 with flag 9689902/4807042
763.25/762.59	c cleaning 92002 clauses out of 184009 with flag 9901019/4900045
786.65/785.90	c cleaning 92999 clauses out of 186004 with flag 10114667/4994042
811.05/810.38	c cleaning 93998 clauses out of 188005 with flag 10330734/5089042
832.64/831.81	c cleaning 95000 clauses out of 190007 with flag 10549647/5185042
853.44/852.61	c cleaning 96001 clauses out of 192009 with flag 10769761/5282044
873.43/872.62	c cleaning 96994 clauses out of 194006 with flag 10993090/5380042
896.83/896.02	c cleaning 97999 clauses out of 196014 with flag 11217507/5479044
918.03/917.28	c cleaning 99005 clauses out of 198013 with flag 11442945/5579042
939.45/938.67	c cleaning 99998 clauses out of 200008 with flag 11671994/5680042
963.75/962.91	c cleaning 101001 clauses out of 202010 with flag 11902216/5782042
988.55/987.74	c cleaning 102001 clauses out of 204010 with flag 12136075/5885043
1013.43/1012.59	c cleaning 102998 clauses out of 206009 with flag 12372199/5989043
1039.32/1038.41	c cleaning 103999 clauses out of 208012 with flag 12609357/6094044
1064.22/1063.35	c cleaning 105000 clauses out of 210012 with flag 12849524/6200043
1088.92/1088.06	c cleaning 106004 clauses out of 212011 with flag 13091336/6307042
1107.81/1106.92	c cleaning 107002 clauses out of 214008 with flag 13335379/6415043
1128.72/1127.84	c cleaning 107998 clauses out of 216005 with flag 13582601/6524042
1148.41/1147.52	c cleaning 108999 clauses out of 218009 with flag 13830989/6634044
1168.05/1167.10	c cleaning 109999 clauses out of 220009 with flag 14082777/6745043
1189.05/1188.03	c cleaning 110999 clauses out of 222009 with flag 14336115/6857042
1208.54/1207.57	c cleaning 111994 clauses out of 224010 with flag 14591198/6970042
1231.14/1230.19	c cleaning 113002 clauses out of 226016 with flag 14849557/7084042
1253.44/1252.42	c cleaning 113997 clauses out of 228014 with flag 15111200/7199042
1279.73/1278.77	c cleaning 115003 clauses out of 230018 with flag 15374113/7315043
1304.66/1303.58	c cleaning 116002 clauses out of 232015 with flag 15638757/7432043
1328.75/1327.70	c cleaning 117004 clauses out of 234013 with flag 15905654/7550043
1355.45/1354.36	c cleaning 117999 clauses out of 236010 with flag 16175197/7669044
1381.35/1380.21	c cleaning 119000 clauses out of 238009 with flag 16445980/7789042
1406.74/1405.65	c cleaning 120000 clauses out of 240010 with flag 16719193/7910043
1433.24/1432.14	c cleaning 120998 clauses out of 242009 with flag 16995456/8032042
1460.90/1459.64	c cleaning 122003 clauses out of 244012 with flag 17275606/8155043
1487.70/1486.43	c cleaning 122997 clauses out of 246008 with flag 17558053/8279042
1516.90/1515.61	c cleaning 124001 clauses out of 248011 with flag 17842995/8404042
1546.09/1544.86	c cleaning 124998 clauses out of 250011 with flag 18128654/8530043
1573.18/1571.99	c cleaning 126002 clauses out of 252014 with flag 18417276/8657044
1602.05/1600.66	c cleaning 127001 clauses out of 254011 with flag 18707933/8785043
1633.05/1631.60	c cleaning 127999 clauses out of 256009 with flag 19001670/8914042
1665.95/1664.59	c cleaning 129003 clauses out of 258012 with flag 19295809/9044044
1699.17/1697.71	c cleaning 129999 clauses out of 260007 with flag 19593585/9175042
1732.78/1731.34	c cleaning 131003 clauses out of 262009 with flag 19895395/9307043
1761.96/1760.48	c cleaning 131998 clauses out of 264006 with flag 20196953/9440043
1794.87/1793.38	c cleaning 132990 clauses out of 266008 with flag 20502302/9574043
1800.08/1798.51	c starts		: 17
1800.08/1798.51	c conflicts		: 9614611
1800.08/1798.51	c decisions		: 14481511
1800.08/1798.51	c propagations		: 95003959
1800.08/1798.51	c inspects		: 42931070118
1800.08/1798.51	c shortcuts		: 0
1800.08/1798.51	c learnt literals	: 0
1800.08/1798.51	c learnt binary clauses	: 0
1800.08/1798.51	c learnt ternary clauses	: 0
1800.08/1798.51	c learnt constraints	: 9614612
1800.08/1798.51	c ignored constraints	: 0
1800.08/1798.51	c root simplifications	: 0
1800.08/1798.51	c removed literals (reason simplification)	: 0
1800.08/1798.51	c reason swapping (by a shorter reason)	: 0
1800.08/1798.51	c Calls to reduceDB	: 160
1800.08/1798.51	c Number of update (reduction) of LBD	: 946388
1800.08/1798.51	c Imported unit clauses	: 0
1800.08/1798.51	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.51	c number of learned constraints concerned by reduction	: 0
1800.08/1798.51	c number of learning phase by resolution	: 0
1800.08/1798.51	c number of learning phase by cutting planes	: 0
1800.08/1798.51	c speed (assignments/second)	: 52827.404492032845
1800.08/1798.51	c non guided choices	0
1800.08/1798.54	c learnt constraints type 
1800.08/1798.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 173587
1800.08/1798.54	s SATISFIABLE
1800.08/1798.54	c Found 5 solution(s)
1800.08/1798.54	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 
1800.08/1798.54	c objective function=23
1800.08/1798.54	c Total wall clock time (in seconds): 1798.438

Verifier Data 

OK	23

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-4085269-1465232589/watcher-4085269-1465232589 -o /tmp/evaluation-result-4085269-1465232589/solver-4085269-1465232589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085269-1465232589.opb 

pid=764
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.08 2.11 2.09 3/194 767
/proc/meminfo: memFree=30812208/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/767/stat : 767 (java) R 764 767 31144 0 -1 4202496 963 0 0 0 0 0 0 0 20 0 1 0 105193388 23793664 614 33554432000 1073741824 1073778376 140734373030784 140734373019848 213857122881 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/767/statm: 5809 626 466 9 0 128 0
[pid=767/tid=768] ppid=764 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 105193388 98570240 977 33554432000 1073741824 1073778376 140734373030784 139975467875880 213866333568 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.08 2.11 2.09 3/194 767
/proc/meminfo: memFree=30812208/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 4545 0 1 0 10 1 0 0 20 0 18 0 105193388 9787879424 5666 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2389619 5666 2157 9 0 2380296 0
[pid=767/tid=768] ppid=764 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2436 0 1 0 6 1 0 0 20 0 18 0 105193388 9787879424 5666 33554432000 1073741824 1073778376 140734373030784 139975467879328 213869716749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200268 s]
/proc/loadavg: 2.08 2.11 2.09 3/194 767
/proc/meminfo: memFree=30812208/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 7300 0 1 0 30 2 0 0 20 0 19 0 105193388 9856040960 7308 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 7308 2221 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2460 0 1 0 16 1 0 0 20 0 19 0 105193388 9856040960 7309 33554432000 1073741824 1073778376 140734373030784 139975467881088 139975475344286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9625040

[startup+0.300325 s]
/proc/loadavg: 2.08 2.11 2.09 3/194 767
/proc/meminfo: memFree=30812208/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 7613 0 1 0 49 2 0 0 20 0 19 0 105193388 9856040960 7827 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 7827 2226 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2461 0 1 0 26 1 0 0 20 0 19 0 105193388 9856040960 7827 33554432000 1073741824 1073778376 140734373030784 139975467881088 139975407595356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700233 s]
/proc/loadavg: 2.08 2.11 2.09 3/194 767
/proc/meminfo: memFree=30812208/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 9693 0 1 0 107 2 0 0 20 0 19 0 105193388 9856040960 8446 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 8446 2240 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2462 0 1 0 66 1 0 0 20 0 19 0 105193388 9856040960 8446 33554432000 1073741824 1073778376 140734373030784 139975467881088 139975408055088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.08 2.11 2.09 3/213 786
/proc/meminfo: memFree=30783724/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=1.91 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 9720 0 1 0 189 2 0 0 20 0 19 0 105193388 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 9480 2247 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2471 0 1 0 146 1 0 0 20 0 19 0 105193388 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975467881000 139975407985064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=767/tid=770] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/770/stat : 770 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975406610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=771] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/771/stat : 771 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975405558056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=772] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/772/stat : 772 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975404505512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=773] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/773/stat : 773 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975403452968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=767/tid=774] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/774/stat : 774 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975402400424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=775] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/775/stat : 775 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975401347880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=776] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/776/stat : 776 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975305411496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=767/tid=777] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/777/stat : 777 (java) S 764 767 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975304358952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=778] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/778/stat : 778 (java) S 764 767 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975291947112 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=779] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/779/stat : 779 (java) S 764 767 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975290893432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=780] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/780/stat : 780 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975289840776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=781] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/781/stat : 781 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193392 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975288789520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=782] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/782/stat : 782 (java) S 764 767 31144 0 -1 4202560 1946 0 0 0 16 0 0 0 20 0 19 0 105193392 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975287736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=783] ppid=764 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/767/task/783/stat : 783 (java) S 764 767 31144 0 -1 4202560 4033 0 0 0 23 0 0 0 20 0 19 0 105193393 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975286684344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=784] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/784/stat : 784 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193393 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975285631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=785] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/785/stat : 785 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193393 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975284579656 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=786] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/786/stat : 786 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193401 9856040960 9480 33554432000 1073741824 1073778376 140734373030784 139975283524392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.07 2.11 2.09 3/213 786
/proc/meminfo: memFree=30779316/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 9767 0 1 0 351 2 0 0 20 0 19 0 105193388 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 11021 2247 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2474 0 1 0 306 1 0 0 20 0 19 0 105193388 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975467871952 139975408055207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=767/tid=770] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/770/stat : 770 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975406610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=771] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/771/stat : 771 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975405558056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=772] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/772/stat : 772 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975404505512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=773] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/773/stat : 773 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975403452968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=767/tid=774] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/774/stat : 774 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975402400424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=775] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/775/stat : 775 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975401347880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=776] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/776/stat : 776 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975305411496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=767/tid=777] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/777/stat : 777 (java) S 764 767 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975304358952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=778] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/778/stat : 778 (java) S 764 767 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975291947112 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=779] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/779/stat : 779 (java) S 764 767 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975290893432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=780] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/780/stat : 780 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975289840776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=781] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/781/stat : 781 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193392 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975288789520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=782] ppid=764 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/767/task/782/stat : 782 (java) S 764 767 31144 0 -1 4202560 1990 0 0 0 19 0 0 0 20 0 19 0 105193392 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975287736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=783] ppid=764 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/767/task/783/stat : 783 (java) S 764 767 31144 0 -1 4202560 4033 0 0 0 23 0 0 0 20 0 19 0 105193393 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975286684344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=784] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/784/stat : 784 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193393 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975285631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=785] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/785/stat : 785 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193393 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975284579656 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=786] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/786/stat : 786 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193401 9856040960 11021 33554432000 1073741824 1073778376 140734373030784 139975283524392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.07 2.11 2.09 3/212 786
/proc/meminfo: memFree=30767036/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=6.73 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 9776 0 1 0 671 2 0 0 20 0 19 0 105193388 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 13536 2249 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2480 0 1 0 625 1 0 0 20 0 19 0 105193388 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975467880840 139975408040530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=767/tid=770] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/770/stat : 770 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975406610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=771] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/771/stat : 771 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975405558056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=772] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/772/stat : 772 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975404505512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=773] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/773/stat : 773 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975403452968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=767/tid=774] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/774/stat : 774 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975402400424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=775] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/775/stat : 775 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975401347880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=776] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/776/stat : 776 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975305411496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=767/tid=777] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/777/stat : 777 (java) S 764 767 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105193389 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975304358952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=778] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/778/stat : 778 (java) S 764 767 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975291947112 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=779] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/779/stat : 779 (java) S 764 767 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975290893432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=780] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/780/stat : 780 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975289840776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=781] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/781/stat : 781 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193392 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975288789520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=782] ppid=764 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/767/task/782/stat : 782 (java) S 764 767 31144 0 -1 4202560 1990 0 0 0 19 0 0 0 20 0 19 0 105193392 9856040960 13536 33554432000 1073741824 1073778376 140734373030784 139975287736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=783] ppid=764 vsize=9625040 CPUtime=0.23 cores=0,2,4,6

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

/proc/767/task/786/stat : 786 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193401 9856040960 85968 33554432000 1073741824 1073778376 140734373030784 139975283524392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1723.78
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/213 895
/proc/meminfo: memFree=30480220/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=1783.87 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 10631 0 1 0 178341 46 0 0 20 0 19 0 105193388 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 87500 2263 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=1777.08 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2544 0 1 0 177676 32 0 0 20 0 19 0 105193388 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975467871936 139975408040530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=767/tid=770] ppid=764 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/767/task/770/stat : 770 (java) S 764 767 31144 0 -1 4202560 49 0 0 0 18 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975406610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=771] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/771/stat : 771 (java) S 764 767 31144 0 -1 4202560 60 0 0 0 13 3 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975405558056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=772] ppid=764 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/767/task/772/stat : 772 (java) S 764 767 31144 0 -1 4202560 68 0 0 0 12 3 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975404505512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=773] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/773/stat : 773 (java) S 764 767 31144 0 -1 4202560 86 0 0 0 14 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975403452968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=774] ppid=764 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/767/task/774/stat : 774 (java) S 764 767 31144 0 -1 4202560 30 0 0 0 12 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975402400424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=775] ppid=764 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/767/task/775/stat : 775 (java) S 764 767 31144 0 -1 4202560 87 0 0 0 17 4 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975401347880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=776] ppid=764 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/767/task/776/stat : 776 (java) S 764 767 31144 0 -1 4202560 38 0 0 0 16 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975305411496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=777] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/777/stat : 777 (java) S 764 767 31144 0 -1 4202560 36 0 0 0 14 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975304358952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=778] ppid=764 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/767/task/778/stat : 778 (java) S 764 767 31144 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975291947112 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=779] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/779/stat : 779 (java) S 764 767 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975290893432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=780] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/780/stat : 780 (java) S 764 767 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975289840776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=781] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/781/stat : 781 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193392 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975288789520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=782] ppid=764 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/767/task/782/stat : 782 (java) S 764 767 31144 0 -1 4202560 2178 0 0 0 21 0 0 0 20 0 19 0 105193392 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975287736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=783] ppid=764 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/767/task/783/stat : 783 (java) S 764 767 31144 0 -1 4202560 4033 0 0 0 23 0 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975286684344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=784] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/784/stat : 784 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975285631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=785] ppid=764 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/767/task/785/stat : 785 (java) S 764 767 31144 0 -1 4202560 104 0 0 0 25 23 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975284579656 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=786] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/786/stat : 786 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193401 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975283524392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1783.87
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.5 s]
/proc/loadavg: 2.06 2.06 2.08 3/213 896
/proc/meminfo: memFree=30480220/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 10633 0 1 0 179962 46 0 0 20 0 19 0 105193388 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 87500 2263 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=1793.24 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2544 0 1 0 179292 32 0 0 20 0 19 0 105193388 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975467871936 139975408040530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=767/tid=770] ppid=764 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/767/task/770/stat : 770 (java) S 764 767 31144 0 -1 4202560 49 0 0 0 18 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975406610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=771] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/771/stat : 771 (java) S 764 767 31144 0 -1 4202560 60 0 0 0 13 3 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975405558056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=772] ppid=764 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/767/task/772/stat : 772 (java) S 764 767 31144 0 -1 4202560 68 0 0 0 12 3 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975404505512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=773] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/773/stat : 773 (java) S 764 767 31144 0 -1 4202560 86 0 0 0 14 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975403452968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=774] ppid=764 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/767/task/774/stat : 774 (java) S 764 767 31144 0 -1 4202560 30 0 0 0 12 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975402400424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=775] ppid=764 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/767/task/775/stat : 775 (java) S 764 767 31144 0 -1 4202560 87 0 0 0 17 4 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975401347880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=776] ppid=764 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/767/task/776/stat : 776 (java) S 764 767 31144 0 -1 4202560 38 0 0 0 16 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975305411496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=777] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/777/stat : 777 (java) S 764 767 31144 0 -1 4202560 36 0 0 0 14 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975304358952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=778] ppid=764 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/767/task/778/stat : 778 (java) S 764 767 31144 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975291947112 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=779] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/779/stat : 779 (java) S 764 767 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975290893432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=780] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/780/stat : 780 (java) S 764 767 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975289840776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=781] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/781/stat : 781 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193392 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975288789520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=782] ppid=764 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/767/task/782/stat : 782 (java) S 764 767 31144 0 -1 4202560 2178 0 0 0 21 0 0 0 20 0 19 0 105193392 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975287736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=783] ppid=764 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/767/task/783/stat : 783 (java) S 764 767 31144 0 -1 4202560 4033 0 0 0 23 0 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975286684344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=784] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/784/stat : 784 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975285631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=785] ppid=764 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/767/task/785/stat : 785 (java) S 764 767 31144 0 -1 4202560 106 0 0 0 26 23 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975284579656 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=786] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/786/stat : 786 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193401 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975283524392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 767 sig 9
??? kill -767 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.5 s]
/proc/loadavg: 2.06 2.06 2.08 3/213 896
/proc/meminfo: memFree=30480220/32872528 swapFree=12352/737972
[pid=767] ppid=764 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/767/stat : 767 (java) S 764 767 31144 0 -1 4202496 10633 0 1 0 179962 46 0 0 20 0 19 0 105193388 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 140734373021920 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/767/statm: 2406260 87500 2263 9 0 2396937 0
[pid=767/tid=768] ppid=764 vsize=9625040 CPUtime=1793.24 cores=0,2,4,6
/proc/767/task/768/stat : 768 (java) R 764 767 31144 0 -1 4202560 2544 0 1 0 179292 32 0 0 20 0 19 0 105193388 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975467871936 139975408040530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=767/tid=770] ppid=764 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/767/task/770/stat : 770 (java) S 764 767 31144 0 -1 4202560 49 0 0 0 18 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975406610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=771] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/771/stat : 771 (java) S 764 767 31144 0 -1 4202560 60 0 0 0 13 3 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975405558056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=772] ppid=764 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/767/task/772/stat : 772 (java) S 764 767 31144 0 -1 4202560 68 0 0 0 12 3 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975404505512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=773] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/773/stat : 773 (java) S 764 767 31144 0 -1 4202560 86 0 0 0 14 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975403452968 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=774] ppid=764 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/767/task/774/stat : 774 (java) S 764 767 31144 0 -1 4202560 30 0 0 0 12 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975402400424 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=775] ppid=764 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/767/task/775/stat : 775 (java) S 764 767 31144 0 -1 4202560 87 0 0 0 17 4 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975401347880 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=776] ppid=764 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/767/task/776/stat : 776 (java) S 764 767 31144 0 -1 4202560 38 0 0 0 16 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975305411496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=777] ppid=764 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/767/task/777/stat : 777 (java) S 764 767 31144 0 -1 4202560 36 0 0 0 14 2 0 0 20 0 19 0 105193389 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975304358952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=778] ppid=764 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/767/task/778/stat : 778 (java) S 764 767 31144 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975291947112 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=779] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/779/stat : 779 (java) S 764 767 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975290893432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=780] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/780/stat : 780 (java) S 764 767 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105193390 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975289840776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=781] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/781/stat : 781 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193392 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975288789520 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=782] ppid=764 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/767/task/782/stat : 782 (java) S 764 767 31144 0 -1 4202560 2178 0 0 0 21 0 0 0 20 0 19 0 105193392 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975287736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=767/tid=783] ppid=764 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/767/task/783/stat : 783 (java) S 764 767 31144 0 -1 4202560 4033 0 0 0 23 0 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975286684344 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=784] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/784/stat : 784 (java) S 764 767 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975285631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=767/tid=785] ppid=764 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/767/task/785/stat : 785 (java) S 764 767 31144 0 -1 4202560 106 0 0 0 26 23 0 0 20 0 19 0 105193393 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975284579656 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=767/tid=786] ppid=764 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/767/task/786/stat : 786 (java) S 764 767 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105193401 9856040960 87500 33554432000 1073741824 1073778376 140734373030784 139975283524392 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 767 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=118
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=890864
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.55
CPU time (s): 1800.08
CPU user time (s): 1799.62
CPU system time (s): 0.46
CPU usage (%): 100.085
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795
system time used= 0.890864
maximum resident set size= 350192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10688
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38330
involuntary context switches= 15144

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6404 second user time and 13.095 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-06 19:03:09
IDJOB=4085269
IDBENCH=2213
IDSOLVER=2546
FILE ID=node112/4085269-1465232589
RUNJOBID= node112-1465218300-31160
PBS_JOBID= 19843211
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085269-1465232589/watcher-4085269-1465232589 -o /tmp/evaluation-result-4085269-1465232589/solver-4085269-1465232589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31160 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085269-1465232589.opb

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

MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784
RANDOM SEED=1234292554

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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:        30812472 kB
Buffers:           19564 kB
Cached:            85288 kB
SwapCached:         1628 kB
Active:           575764 kB
Inactive:          46864 kB
Active(anon):     519828 kB
Inactive(anon):      564 kB
Active(file):      55936 kB
Inactive(file):    46300 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098564 kB
Dirty:               804 kB
Writeback:            72 kB
AnonPages:       1254992 kB
Mapped:            15356 kB
Shmem:                 0 kB
Slab:             566268 kB
SReclaimable:       9732 kB
SUnreclaim:       556536 kB
KernelStack:        1640 kB
PageTables:         6516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1393184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node112 at 2016-06-06 19:33:08