Trace number 4081110

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)64 1800.78 897.373

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM4a444f89cff56050e88660d23e3d8694
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47
Best CPU time to get the best result obtained on this benchmark0.237963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 47
Optimality of the best value was proved NO
Number of variables607
Total number of constraints1022
Number of constraints which are clauses1022
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 constraint32
Number of terms in the objective function 607
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 607
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 607
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4081110-1465225434.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.27/0.28	c ... done. Wall clock time 0.161s.
0.27/0.28	c declared #vars     607
0.27/0.28	c #constraints  1022
0.27/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.27/0.28	c constraints type 
0.27/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1022
0.27/0.28	c 1022 constraints processed.
0.27/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.27/0.28	c constraints type 
0.27/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1022
0.27/0.28	c 1022 constraints processed.
0.27/0.28	c objective function length is 607 literals
0.52/0.30	c And the winner is solver0
0.57/0.79	c SATISFIABLE
0.57/0.79	c OPTIMIZING...
0.57/0.79	c Got one! Elapsed wall clock time (in seconds):0.667
0.57/0.79	o 82
2.20/1.24	c And the winner is solver1
2.20/1.27	c cleaning 2493 clauses out of 5002 with flag 11724/5002
2.20/1.29	c Got one! Elapsed wall clock time (in seconds):1.172
2.20/1.29	o 81
3.90/1.74	c cleaning 3755 clauses out of 7511 with flag 14764/10004
4.32/1.95	c And the winner is solver1
4.44/2.29	c Got one! Elapsed wall clock time (in seconds):2.177
4.44/2.29	o 80
4.73/2.43	c And the winner is solver1
4.82/2.80	c Got one! Elapsed wall clock time (in seconds):2.68
4.82/2.80	o 73
5.02/2.94	c cleaning 5087 clauses out of 10175 with flag 5704/16423
6.07/3.48	c cleaning 5544 clauses out of 11087 with flag 22905/22422
6.87/3.89	c And the winner is solver1
7.07/4.30	c Got one! Elapsed wall clock time (in seconds):4.182
7.07/4.30	o 72
7.07/4.38	c cleaning 5631 clauses out of 11262 with flag 2870/28141
8.11/4.87	c cleaning 5815 clauses out of 11630 with flag 19660/34140
9.61/5.51	c And the winner is solver1
9.62/5.80	c Got one! Elapsed wall clock time (in seconds):5.684
9.62/5.80	o 71
10.01/6.02	c And the winner is solver1
10.06/6.30	c Got one! Elapsed wall clock time (in seconds):6.186
10.06/6.30	o 70
10.24/6.46	c cleaning 8918 clauses out of 17835 with flag 5603/46160
11.30/6.97	c cleaning 7459 clauses out of 14918 with flag 22659/52161
12.77/7.62	c cleaning 7230 clauses out of 14459 with flag 42418/59161
13.83/8.13	c And the winner is solver1
13.92/8.31	c Got one! Elapsed wall clock time (in seconds):8.188
13.92/8.31	o 69
14.73/8.71	c cleaning 8615 clauses out of 17230 with flag 13971/69162
15.73/9.26	c cleaning 7308 clauses out of 14615 with flag 30688/75162
17.18/9.99	c cleaning 7154 clauses out of 14307 with flag 50275/82162
18.24/10.44	c And the winner is solver1
18.34/10.81	c Got one! Elapsed wall clock time (in seconds):10.693
18.34/10.81	o 68
18.34/10.88	c cleaning 6296 clauses out of 12594 with flag 2710/87603
19.31/11.35	c cleaning 6148 clauses out of 12301 with flag 19119/93606
20.72/12.01	c cleaning 6576 clauses out of 13152 with flag 39704/100605
22.20/12.72	c cleaning 7283 clauses out of 14574 with flag 61829/108603
22.60/12.93	c And the winner is solver1
22.68/13.31	c Got one! Elapsed wall clock time (in seconds):13.195
22.68/13.31	o 67
23.03/13.51	c cleaning 6523 clauses out of 13049 with flag 8854/114361
24.05/14.01	c cleaning 6261 clauses out of 12528 with flag 26239/120363
25.05/14.59	c cleaning 6633 clauses out of 13268 with flag 46399/127364
25.25/14.64	c And the winner is solver1
25.35/14.81	c Got one! Elapsed wall clock time (in seconds):14.697
25.35/14.81	o 66
25.92/15.15	c cleaning 6129 clauses out of 12259 with flag 14042/132988
26.92/15.60	c cleaning 6065 clauses out of 12130 with flag 31068/138988
27.92/16.19	c cleaning 6533 clauses out of 13065 with flag 49944/145988
29.65/16.90	c cleaning 7266 clauses out of 14532 with flag 73654/153988
31.26/17.74	c cleaning 8133 clauses out of 16271 with flag 99140/162993
33.05/18.67	c cleaning 9067 clauses out of 18134 with flag 127769/172989
35.52/19.89	c cleaning 10034 clauses out of 20069 with flag 158282/183991
38.32/21.23	c cleaning 11014 clauses out of 22032 with flag 190508/195988
39.52/21.83	c And the winner is solver1
39.60/22.32	c Got one! Elapsed wall clock time (in seconds):22.2
39.60/22.32	o 65
40.15/22.67	c cleaning 10988 clauses out of 21990 with flag 14394/206960
41.16/23.11	c cleaning 8499 clauses out of 17002 with flag 32461/212960
42.35/23.73	c cleaning 7752 clauses out of 15503 with flag 51486/219960
43.58/24.33	c cleaning 7876 clauses out of 15754 with flag 73969/227963
45.17/25.13	c cleaning 8436 clauses out of 16875 with flag 100553/236960
47.55/26.21	c cleaning 9216 clauses out of 18439 with flag 128990/246960
49.95/27.41	c cleaning 10109 clauses out of 20223 with flag 159836/257960
52.57/28.79	c cleaning 11053 clauses out of 22115 with flag 194447/269961
53.15/29.03	c And the winner is solver1
53.25/29.32	c Got one! Elapsed wall clock time (in seconds):29.203
53.25/29.32	o 64
53.59/29.52	c cleaning 8354 clauses out of 16719 with flag 8343/275618
54.39/29.95	c cleaning 7184 clauses out of 14367 with flag 25814/281620
55.62/30.56	c cleaning 7093 clauses out of 14185 with flag 45742/288622
57.22/31.34	c cleaning 7536 clauses out of 15088 with flag 67833/296618
59.42/32.33	c cleaning 8271 clauses out of 16552 with flag 93436/305618
61.62/33.41	c cleaning 9141 clauses out of 18281 with flag 120936/315618
63.82/34.50	c cleaning 10069 clauses out of 20140 with flag 150381/326618
66.22/35.76	c cleaning 11034 clauses out of 22072 with flag 182428/338619
69.22/37.24	c cleaning 12015 clauses out of 24038 with flag 218357/351619
72.21/38.75	c cleaning 13011 clauses out of 26022 with flag 259224/365618
76.33/40.63	c cleaning 14006 clauses out of 28011 with flag 302916/380618
80.53/42.79	c cleaning 15002 clauses out of 30006 with flag 347092/396619
85.54/45.21	c cleaning 16001 clauses out of 32005 with flag 394675/413620
90.51/47.69	c cleaning 16995 clauses out of 34002 with flag 444241/431618
95.51/50.14	c cleaning 18003 clauses out of 36007 with flag 497431/450618
101.12/52.98	c cleaning 19001 clauses out of 38005 with flag 552140/470619
107.72/56.26	c cleaning 20000 clauses out of 40003 with flag 610400/491618
114.67/59.63	c cleaning 20994 clauses out of 42003 with flag 672938/513618
120.89/62.77	c cleaning 22005 clauses out of 44012 with flag 739047/536621
127.69/66.15	c cleaning 23000 clauses out of 46007 with flag 805141/560621
136.04/70.64	c cleaning 23997 clauses out of 48004 with flag 876041/585618
144.24/74.76	c cleaning 25003 clauses out of 50008 with flag 950907/611619
153.26/79.24	c cleaning 25997 clauses out of 52006 with flag 1030751/638620
162.90/84.01	c cleaning 27001 clauses out of 54007 with flag 1109345/666618
172.29/88.72	c cleaning 28000 clauses out of 56006 with flag 1191647/695618
182.40/93.77	c cleaning 29000 clauses out of 58008 with flag 1274685/725620
193.23/99.15	c cleaning 29996 clauses out of 60006 with flag 1361927/756618
204.52/104.76	c cleaning 30999 clauses out of 62010 with flag 1450723/788618
209.92/107.48	c cleaning 0 clauses out of 7534 with flag 0/7534
216.30/110.42	c cleaning 32005 clauses out of 64011 with flag 1543766/821618
227.08/115.79	c cleaning 33000 clauses out of 66006 with flag 1638027/855618
239.48/121.95	c cleaning 34003 clauses out of 68006 with flag 1735742/890618
251.67/127.99	c cleaning 35000 clauses out of 70004 with flag 1834330/926619
266.27/135.25	c cleaning 36001 clauses out of 72004 with flag 1937758/963619
280.99/142.59	c cleaning 36993 clauses out of 74002 with flag 2047502/1001618
296.12/150.09	c cleaning 38002 clauses out of 76009 with flag 2156323/1040618
312.12/158.03	c cleaning 39003 clauses out of 78007 with flag 2266224/1080618
329.34/166.58	c cleaning 39998 clauses out of 80004 with flag 2382006/1121618
346.68/175.16	c cleaning 41003 clauses out of 82012 with flag 2498016/1163624
364.45/183.96	c cleaning 41999 clauses out of 84003 with flag 2616986/1206618
384.26/193.89	c cleaning 42997 clauses out of 86004 with flag 2735606/1250618
406.85/205.69	c cleaning 43999 clauses out of 88007 with flag 2859259/1295618
426.92/215.61	c cleaning 45002 clauses out of 90008 with flag 2985069/1341618
446.80/225.57	c cleaning 46002 clauses out of 92006 with flag 3112920/1388618
468.71/236.43	c cleaning 47000 clauses out of 94004 with flag 3244974/1436618
493.58/248.80	c cleaning 48000 clauses out of 96004 with flag 3376819/1485618
516.55/260.29	c cleaning 49003 clauses out of 98005 with flag 3506273/1535619
544.38/274.00	c cleaning 50000 clauses out of 100001 with flag 3648026/1586618
571.73/287.50	c cleaning 51001 clauses out of 102001 with flag 3784145/1638618
601.80/302.43	c cleaning 52000 clauses out of 104000 with flag 3932103/1691618
624.02/313.50	c cleaning 0 clauses out of 13535 with flag 0/13535
637.10/319.81	c cleaning 52994 clauses out of 106000 with flag 4075730/1745618
669.41/335.72	c cleaning 53996 clauses out of 108007 with flag 4219615/1800619
700.62/351.20	c cleaning 54997 clauses out of 110010 with flag 4375907/1856618
736.76/369.17	c cleaning 56002 clauses out of 112016 with flag 4532901/1913621
772.50/386.90	c cleaning 57006 clauses out of 114012 with flag 4691505/1971619
812.64/406.86	c cleaning 57997 clauses out of 116005 with flag 4852301/2030618
850.82/425.73	c cleaning 58994 clauses out of 118010 with flag 5015044/2090620
889.24/444.72	c cleaning 60004 clauses out of 120014 with flag 5178449/2151618
931.18/465.46	c cleaning 60996 clauses out of 122010 with flag 5348487/2213618
973.47/486.38	c cleaning 62003 clauses out of 124014 with flag 5518466/2276618
1015.35/507.03	c cleaning 63000 clauses out of 126012 with flag 5683425/2340619
1064.86/532.69	c cleaning 63997 clauses out of 128011 with flag 5854262/2405618
1118.74/559.40	c cleaning 65002 clauses out of 130014 with flag 6039530/2471618
1170.98/585.48	c cleaning 66008 clauses out of 132015 with flag 6221094/2538621
1232.85/616.16	c cleaning 67004 clauses out of 134007 with flag 6402013/2606621
1285.20/642.19	c cleaning 67997 clauses out of 136000 with flag 6581879/2675618
1337.12/667.95	c cleaning 68999 clauses out of 138003 with flag 6764382/2745618
1397.77/697.92	c cleaning 69996 clauses out of 140004 with flag 6949715/2816618
1456.71/727.08	c cleaning 70995 clauses out of 142009 with flag 7137066/2888619
1517.91/757.34	c cleaning 72001 clauses out of 144014 with flag 7327793/2961619
1535.30/766.04	c cleaning 0 clauses out of 20536 with flag 0/20536
1580.44/788.41	c cleaning 72995 clauses out of 146013 with flag 7518929/3035619
1645.36/820.57	c cleaning 74005 clauses out of 148017 with flag 7741397/3110618
1717.67/856.47	c cleaning 74993 clauses out of 150012 with flag 7942497/3186618
1782.56/888.67	c cleaning 76005 clauses out of 152022 with flag 8145458/3263621
1800.13/897.30	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.13/897.30	c starts		: 27145
1800.13/897.30	c conflicts		: 3292436
1800.13/897.30	c decisions		: 9588348
1800.13/897.30	c propagations		: 526031518
1800.13/897.30	c inspects		: 14827127376
1800.13/897.30	c shortcuts		: 0
1800.13/897.30	c learnt literals	: 0
1800.13/897.30	c learnt binary clauses	: 0
1800.13/897.30	c learnt ternary clauses	: 0
1800.13/897.30	c learnt constraints	: 3292436
1800.13/897.30	c ignored constraints	: 0
1800.13/897.30	c root simplifications	: 0
1800.13/897.30	c removed literals (reason simplification)	: 7572230
1800.13/897.30	c reason swapping (by a shorter reason)	: 0
1800.13/897.30	c Calls to reduceDB	: 108
1800.13/897.30	c Number of update (reduction) of LBD	: 841410
1800.13/897.30	c Imported unit clauses	: 0
1800.13/897.30	c number of reductions to clauses (during analyze)	: 0
1800.13/897.30	c number of learned constraints concerned by reduction	: 0
1800.13/897.30	c number of learning phase by resolution	: 0
1800.13/897.30	c number of learning phase by cutting planes	: 0
1800.13/897.30	c speed (assignments/second)	: 606040.360330468
1800.13/897.30	c non guided choices	0
1800.13/897.33	c learnt constraints type 
1800.13/897.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 104832
1800.13/897.33	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.13/897.33	c starts		: 63
1800.13/897.33	c conflicts		: 21870
1800.13/897.33	c decisions		: 171971
1800.13/897.33	c propagations		: 705259
1800.13/897.33	c inspects		: 796047973
1800.13/897.33	c shortcuts		: 0
1800.13/897.33	c learnt literals	: 0
1800.13/897.33	c learnt binary clauses	: 0
1800.13/897.33	c learnt ternary clauses	: 0
1800.13/897.33	c learnt constraints	: 21869
1800.13/897.33	c ignored constraints	: 0
1800.13/897.33	c root simplifications	: 0
1800.13/897.33	c removed literals (reason simplification)	: 0
1800.13/897.33	c reason swapping (by a shorter reason)	: 0
1800.13/897.33	c Calls to reduceDB	: 3
1800.13/897.33	c Number of update (reduction) of LBD	: 0
1800.13/897.33	c Imported unit clauses	: 0
1800.13/897.33	c number of reductions to clauses (during analyze)	: 0
1800.13/897.33	c number of learned constraints concerned by reduction	: 0
1800.13/897.33	c number of learning phase by resolution	: 0
1800.13/897.33	c number of learning phase by cutting planes	: 0
1800.13/897.33	c speed (assignments/second)	: 786.645325361947
1800.13/897.33	c non guided choices	22
1800.13/897.34	c learnt constraints type 
1800.13/897.34	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 159
1800.13/897.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 128
1800.13/897.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21582
1800.13/897.34	s SATISFIABLE
1800.13/897.34	c Found 13 solution(s)
1800.13/897.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 x86 x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 
1800.13/897.34	c objective function=64
1800.13/897.34	c Total wall clock time (in seconds): 897.226

Verifier Data 

OK	64

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-4081110-1465225434/watcher-4081110-1465225434 -o /tmp/evaluation-result-4081110-1465225434/solver-4081110-1465225434 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081110-1465225434.opb 

pid=9988
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.46 4.29 4.26 4/199 9991
/proc/meminfo: memFree=28368632/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9991/stat : 9991 (java) D 9988 9991 8273 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 104476149 9515008 176 33554432000 1073741824 1073778376 140733929804672 140733929787400 273905697680 0 0 4096 0 18446744072100764964 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2323 179 136 9 0 71 0

[startup+0.100158 s]
/proc/loadavg: 4.46 4.29 4.26 4/199 9991
/proc/meminfo: memFree=28368632/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 4392 0 1 0 7 1 0 0 20 0 18 0 104476149 9787879424 6033 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2389619 6033 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 4.46 4.29 4.26 4/199 9991
/proc/meminfo: memFree=28368632/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 4977 0 1 0 25 2 0 0 20 0 18 0 104476149 9787879424 7010 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2389619 7010 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300216 s]
/proc/loadavg: 4.46 4.29 4.26 4/199 9991
/proc/meminfo: memFree=28368632/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 6622 0 1 0 49 3 0 0 20 0 22 0 104476149 10060525568 10190 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 10190 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824732

[startup+0.700265 s]
/proc/loadavg: 4.46 4.29 4.26 4/199 9991
/proc/meminfo: memFree=28368632/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 6969 0 1 0 52 5 0 0 20 0 19 0 104476149 10060525568 10399 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 10399 2244 9 0 2446860 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824732

[startup+1.50076 s]
/proc/loadavg: 4.46 4.29 4.26 7/221 10016
/proc/meminfo: memFree=28300796/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 23291 0 1 0 321 9 0 0 20 0 22 0 104476149 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 23210 2271 9 0 2446860 0
[pid=9991/tid=9993] ppid=9988 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/9991/task/9993/stat : 9993 (java) S 9988 9991 8273 0 -1 4202560 2428 0 1 0 24 2 0 0 20 0 22 0 104476150 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485661635448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9994] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9994/stat : 9994 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485634087080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=9995] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9995/stat : 9995 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485633034536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9996] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9996/stat : 9996 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485631981992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9997] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9997/stat : 9997 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485630929448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=9998] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9998/stat : 9998 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485629876904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=9999] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9999/stat : 9999 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485500381992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10000] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10000/stat : 10000 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485499329448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10001] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10001/stat : 10001 (java) S 9988 9991 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485498276904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10002] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10002/stat : 10002 (java) S 9988 9991 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485015328872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10003] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10003/stat : 10003 (java) S 9988 9991 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485014275192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10004] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10004/stat : 10004 (java) S 9988 9991 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485013222536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10005] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10005/stat : 10005 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476155 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485012171280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10006] ppid=9988 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/9991/task/10006/stat : 10006 (java) R 9988 9991 8273 0 -1 4202560 7913 0 0 0 79 2 0 0 20 0 22 0 104476155 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485011096000 140485665482350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10007] ppid=9988 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/9991/task/10007/stat : 10007 (java) R 9988 9991 8273 0 -1 4202560 11570 0 0 0 81 3 0 0 20 0 22 0 104476156 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485010053392 140485664249850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10008] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10008/stat : 10008 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476156 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485009013752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10009] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10009/stat : 10009 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476156 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485007961416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10016] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10016/stat : 10016 (java) S 9988 9991 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104476229 10060525568 23210 33554432000 1073741824 1073778376 140733929804672 140485004801576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 4.46 4.29 4.26 3/218 10019
/proc/meminfo: memFree=28247180/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=5.42 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 23523 0 1 0 528 14 0 0 20 0 22 0 104476149 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 43705 2271 9 0 2446860 0
[pid=9991/tid=9993] ppid=9988 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/9991/task/9993/stat : 9993 (java) S 9988 9991 8273 0 -1 4202560 2429 0 1 0 25 2 0 0 20 0 22 0 104476150 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485661635448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9994] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9994/stat : 9994 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485634087080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=9995] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9995/stat : 9995 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485633034536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9996] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9996/stat : 9996 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485631981992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9997] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9997/stat : 9997 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485630929448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=9998] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9998/stat : 9998 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485629876904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=9999] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9999/stat : 9999 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485500381992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10000] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10000/stat : 10000 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485499329448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10001] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10001/stat : 10001 (java) S 9988 9991 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104476152 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485498276904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10002] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10002/stat : 10002 (java) S 9988 9991 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485015328872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10003] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10003/stat : 10003 (java) S 9988 9991 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485014275192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10004] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10004/stat : 10004 (java) S 9988 9991 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485013222536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10005] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10005/stat : 10005 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476155 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485012171280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10006] ppid=9988 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/9991/task/10006/stat : 10006 (java) S 9988 9991 8273 0 -1 4202560 8086 0 0 0 96 2 0 0 20 0 22 0 104476155 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485011118648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10007] ppid=9988 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/9991/task/10007/stat : 10007 (java) S 9988 9991 8273 0 -1 4202560 11574 0 0 0 95 3 0 0 20 0 22 0 104476156 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485010066104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10008] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10008/stat : 10008 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476156 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485009013752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10009] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10009/stat : 10009 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476156 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485007961416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10016] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10016/stat : 10016 (java) S 9988 9991 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104476229 10060525568 43705 33554432000 1073741824 1073778376 140733929804672 140485004801576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 9824732

[startup+6.30085 s]
/proc/loadavg: 4.42 4.29 4.26 5/221 10028
/proc/meminfo: memFree=28158892/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=10.06 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 24172 0 1 0 981 25 0 0 20 0 19 0 104476149 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 54208 2286 9 0 2446860 0
[pid=9991/tid=9993] ppid=9988 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/9991/task/9993/stat : 9993 (java) S 9988 9991 8273 0 -1 4202560 2430 0 1 0 25 2 0 0 20 0 19 0 104476150 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485661635448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9994] ppid=9988 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9991/task/9994/stat : 9994 (java) S 9988 9991 8273 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485634087080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=9995] ppid=9988 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9991/task/9995/stat : 9995 (java) S 9988 9991 8273 0 -1 4202560 138 0 0 0 2 2 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485633034536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9996] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9996/stat : 9996 (java) S 9988 9991 8273 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485631981992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9997] ppid=9988 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9991/task/9997/stat : 9997 (java) S 9988 9991 8273 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485630929448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9998] ppid=9988 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9991/task/9998/stat : 9998 (java) S 9988 9991 8273 0 -1 4202560 110 0 0 0 1 1 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485629876904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=9999] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/9999/stat : 9999 (java) S 9988 9991 8273 0 -1 4202560 86 0 0 0 0 0 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485500381992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10000] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10000/stat : 10000 (java) S 9988 9991 8273 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485499329448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10001] ppid=9988 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9991/task/10001/stat : 10001 (java) S 9988 9991 8273 0 -1 4202560 144 0 0 0 1 0 0 0 20 0 19 0 104476152 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485498276904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10002] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10002/stat : 10002 (java) S 9988 9991 8273 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 104476153 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485015328872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10003] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10003/stat : 10003 (java) S 9988 9991 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104476153 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485014275192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10004] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10004/stat : 10004 (java) S 9988 9991 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104476153 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485013222536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10005] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10005/stat : 10005 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104476155 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485012171280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10006] ppid=9988 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/9991/task/10006/stat : 10006 (java) S 9988 9991 8273 0 -1 4202560 8088 0 0 0 110 2 0 0 20 0 19 0 104476155 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485011118648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10007] ppid=9988 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/9991/task/10007/stat : 10007 (java) S 9988 9991 8273 0 -1 4202560 11574 0 0 0 95 3 0 0 20 0 19 0 104476156 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485010066104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10008] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10008/stat : 10008 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104476156 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485009013752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10009] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10009/stat : 10009 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104476156 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485007961416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10016] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10016/stat : 10016 (java) S 9988 9991 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104476229 10060525568 54208 33554432000 1073741824 1073778376 140733929804672 140485004801576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.06
Current children cumulated vsize (KiB) 9824732


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


[startup+882.308 s]
/proc/loadavg: 4.36 4.40 4.32 5/221 10217
/proc/meminfo: memFree=23157616/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=1769.8 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 36689 0 1 0 176755 225 0 0 20 0 22 0 104476149 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 967279 2294 9 0 2446860 0
[pid=9991/tid=9993] ppid=9988 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9991/task/9993/stat : 9993 (java) S 9988 9991 8273 0 -1 4202560 2446 0 1 0 29 3 0 0 20 0 22 0 104476150 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485661635448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=9994] ppid=9988 vsize=9824732 CPUtime=4.01 cores=0,2,4,6
/proc/9991/task/9994/stat : 9994 (java) S 9988 9991 8273 0 -1 4202560 690 0 0 0 384 17 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485634087080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9995] ppid=9988 vsize=9824732 CPUtime=4.3 cores=0,2,4,6
/proc/9991/task/9995/stat : 9995 (java) S 9988 9991 8273 0 -1 4202560 798 0 0 0 413 17 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485633034536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9996] ppid=9988 vsize=9824732 CPUtime=4 cores=0,2,4,6
/proc/9991/task/9996/stat : 9996 (java) S 9988 9991 8273 0 -1 4202560 625 0 0 0 385 15 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485631981992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9997] ppid=9988 vsize=9824732 CPUtime=4.25 cores=0,2,4,6
/proc/9991/task/9997/stat : 9997 (java) S 9988 9991 8273 0 -1 4202560 642 0 0 0 407 18 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485630929448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9998] ppid=9988 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/9991/task/9998/stat : 9998 (java) S 9988 9991 8273 0 -1 4202560 659 0 0 0 394 18 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485629876904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9999] ppid=9988 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/9991/task/9999/stat : 9999 (java) S 9988 9991 8273 0 -1 4202560 851 0 0 0 378 21 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485500381992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10000] ppid=9988 vsize=9824732 CPUtime=3.85 cores=0,2,4,6
/proc/9991/task/10000/stat : 10000 (java) S 9988 9991 8273 0 -1 4202560 718 0 0 0 367 18 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485499329448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10001] ppid=9988 vsize=9824732 CPUtime=3.58 cores=0,2,4,6
/proc/9991/task/10001/stat : 10001 (java) S 9988 9991 8273 0 -1 4202560 709 0 0 0 342 16 0 0 20 0 22 0 104476152 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485498276904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10002] ppid=9988 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/9991/task/10002/stat : 10002 (java) S 9988 9991 8273 0 -1 4202560 2375 0 0 0 429 7 0 0 20 0 22 0 104476153 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485015328872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10003] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10003/stat : 10003 (java) S 9988 9991 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485014275192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10004] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10004/stat : 10004 (java) S 9988 9991 8273 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485013222536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10005] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10005/stat : 10005 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476155 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485012171280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10006] ppid=9988 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/9991/task/10006/stat : 10006 (java) S 9988 9991 8273 0 -1 4202560 8091 0 0 0 124 2 0 0 20 0 22 0 104476155 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485011118648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10007] ppid=9988 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/9991/task/10007/stat : 10007 (java) S 9988 9991 8273 0 -1 4202560 14854 0 0 0 162 4 0 0 20 0 22 0 104476156 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485010066104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10008] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10008/stat : 10008 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476156 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485009013752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10009] ppid=9988 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9991/task/10009/stat : 10009 (java) S 9988 9991 8273 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 104476156 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485007961416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10016] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10016/stat : 10016 (java) S 9988 9991 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104476229 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485004801576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10050] ppid=9988 vsize=9824732 CPUtime=840.5 cores=0,2,4,6
/proc/9991/task/10050/stat : 10050 (java) R 9988 9991 8273 0 -1 4202560 41 0 0 0 84038 12 0 0 20 0 22 0 104479082 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485003746560 140485511995040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10051] ppid=9988 vsize=9824732 CPUtime=840.55 cores=0,2,4,6
/proc/9991/task/10051/stat : 10051 (java) R 9988 9991 8273 0 -1 4202560 1047 0 0 0 84021 34 0 0 20 0 22 0 104479082 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485005851168 140485512146761 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10052] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10052/stat : 10052 (java) S 9988 9991 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104479082 10060525568 967279 33554432000 1073741824 1073778376 140733929804672 140485006906408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1769.8
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.301 s]
/proc/loadavg: 4.28 4.38 4.31 5/221 10217
/proc/meminfo: memFree=23157744/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 36699 0 1 0 179787 226 0 0 20 0 22 0 104476149 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 967278 2294 9 0 2446860 0
[pid=9991/tid=9993] ppid=9988 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9991/task/9993/stat : 9993 (java) S 9988 9991 8273 0 -1 4202560 2446 0 1 0 29 3 0 0 20 0 22 0 104476150 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485661635448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9994] ppid=9988 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/9991/task/9994/stat : 9994 (java) S 9988 9991 8273 0 -1 4202560 690 0 0 0 395 17 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485634087080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9995] ppid=9988 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/9991/task/9995/stat : 9995 (java) S 9988 9991 8273 0 -1 4202560 798 0 0 0 418 17 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485633034536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9996] ppid=9988 vsize=9824732 CPUtime=4.08 cores=0,2,4,6
/proc/9991/task/9996/stat : 9996 (java) S 9988 9991 8273 0 -1 4202560 625 0 0 0 393 15 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485631981992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9997] ppid=9988 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/9991/task/9997/stat : 9997 (java) S 9988 9991 8273 0 -1 4202560 642 0 0 0 417 18 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485630929448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9998] ppid=9988 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/9991/task/9998/stat : 9998 (java) S 9988 9991 8273 0 -1 4202560 659 0 0 0 402 18 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485629876904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9999] ppid=9988 vsize=9824732 CPUtime=4.15 cores=0,2,4,6
/proc/9991/task/9999/stat : 9999 (java) S 9988 9991 8273 0 -1 4202560 851 0 0 0 394 21 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485500381992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10000] ppid=9988 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/9991/task/10000/stat : 10000 (java) S 9988 9991 8273 0 -1 4202560 718 0 0 0 374 18 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485499329448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10001] ppid=9988 vsize=9824732 CPUtime=3.65 cores=0,2,4,6
/proc/9991/task/10001/stat : 10001 (java) S 9988 9991 8273 0 -1 4202560 709 0 0 0 349 16 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485498276904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10002] ppid=9988 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/9991/task/10002/stat : 10002 (java) S 9988 9991 8273 0 -1 4202560 2381 0 0 0 429 7 0 0 20 0 22 0 104476153 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485015328872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10003] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10003/stat : 10003 (java) S 9988 9991 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485014275192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10004] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10004/stat : 10004 (java) S 9988 9991 8273 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485013222536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10005] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10005/stat : 10005 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476155 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485012171280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10006] ppid=9988 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/9991/task/10006/stat : 10006 (java) S 9988 9991 8273 0 -1 4202560 8091 0 0 0 124 2 0 0 20 0 22 0 104476155 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485011118648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10007] ppid=9988 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/9991/task/10007/stat : 10007 (java) S 9988 9991 8273 0 -1 4202560 14854 0 0 0 162 4 0 0 20 0 22 0 104476156 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485010066104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10008] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10008/stat : 10008 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476156 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485009013752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10009] ppid=9988 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9991/task/10009/stat : 10009 (java) S 9988 9991 8273 0 -1 4202560 53 0 0 0 14 18 0 0 20 0 22 0 104476156 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485007961416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10016] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10016/stat : 10016 (java) S 9988 9991 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104476229 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485004801576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10050] ppid=9988 vsize=9824732 CPUtime=855.3 cores=0,2,4,6
/proc/9991/task/10050/stat : 10050 (java) R 9988 9991 8273 0 -1 4202560 42 0 0 0 85517 13 0 0 20 0 22 0 104479082 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485003746560 140485511968463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10051] ppid=9988 vsize=9824732 CPUtime=855.36 cores=0,2,4,6
/proc/9991/task/10051/stat : 10051 (java) R 9988 9991 8273 0 -1 4202560 1048 0 0 0 85502 34 0 0 20 0 22 0 104479082 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485005851104 140485512143719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10052] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10052/stat : 10052 (java) S 9988 9991 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104479082 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485006906408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

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 9991 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.301 s]
/proc/loadavg: 4.28 4.38 4.31 5/221 10217
/proc/meminfo: memFree=23157744/32872528 swapFree=15540/1663004
[pid=9991] ppid=9988 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/9991/stat : 9991 (java) S 9988 9991 8273 0 -1 4202496 36699 0 1 0 179787 226 0 0 20 0 22 0 104476149 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140733929795808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9991/statm: 2456183 967278 2294 9 0 2446860 0
[pid=9991/tid=9993] ppid=9988 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9991/task/9993/stat : 9993 (java) S 9988 9991 8273 0 -1 4202560 2446 0 1 0 29 3 0 0 20 0 22 0 104476150 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485661635448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9994] ppid=9988 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/9991/task/9994/stat : 9994 (java) S 9988 9991 8273 0 -1 4202560 690 0 0 0 395 17 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485634087080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9995] ppid=9988 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/9991/task/9995/stat : 9995 (java) S 9988 9991 8273 0 -1 4202560 798 0 0 0 418 17 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485633034536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9996] ppid=9988 vsize=9824732 CPUtime=4.08 cores=0,2,4,6
/proc/9991/task/9996/stat : 9996 (java) S 9988 9991 8273 0 -1 4202560 625 0 0 0 393 15 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485631981992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=9997] ppid=9988 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/9991/task/9997/stat : 9997 (java) S 9988 9991 8273 0 -1 4202560 642 0 0 0 417 18 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485630929448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9998] ppid=9988 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/9991/task/9998/stat : 9998 (java) S 9988 9991 8273 0 -1 4202560 659 0 0 0 402 18 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485629876904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=9999] ppid=9988 vsize=9824732 CPUtime=4.15 cores=0,2,4,6
/proc/9991/task/9999/stat : 9999 (java) S 9988 9991 8273 0 -1 4202560 851 0 0 0 394 21 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485500381992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10000] ppid=9988 vsize=9824732 CPUtime=3.92 cores=0,2,4,6
/proc/9991/task/10000/stat : 10000 (java) S 9988 9991 8273 0 -1 4202560 718 0 0 0 374 18 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485499329448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10001] ppid=9988 vsize=9824732 CPUtime=3.65 cores=0,2,4,6
/proc/9991/task/10001/stat : 10001 (java) S 9988 9991 8273 0 -1 4202560 709 0 0 0 349 16 0 0 20 0 22 0 104476152 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485498276904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10002] ppid=9988 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/9991/task/10002/stat : 10002 (java) S 9988 9991 8273 0 -1 4202560 2381 0 0 0 429 7 0 0 20 0 22 0 104476153 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485015328872 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10003] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10003/stat : 10003 (java) S 9988 9991 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485014275192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10004] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10004/stat : 10004 (java) S 9988 9991 8273 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 104476153 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485013222536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10005] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10005/stat : 10005 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476155 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485012171280 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10006] ppid=9988 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/9991/task/10006/stat : 10006 (java) S 9988 9991 8273 0 -1 4202560 8091 0 0 0 124 2 0 0 20 0 22 0 104476155 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485011118648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10007] ppid=9988 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/9991/task/10007/stat : 10007 (java) S 9988 9991 8273 0 -1 4202560 14854 0 0 0 162 4 0 0 20 0 22 0 104476156 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485010066104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9991/tid=10008] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10008/stat : 10008 (java) S 9988 9991 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104476156 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485009013752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9991/tid=10009] ppid=9988 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9991/task/10009/stat : 10009 (java) S 9988 9991 8273 0 -1 4202560 53 0 0 0 14 18 0 0 20 0 22 0 104476156 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485007961416 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10016] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10016/stat : 10016 (java) S 9988 9991 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104476229 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485004801576 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10050] ppid=9988 vsize=9824732 CPUtime=855.3 cores=0,2,4,6
/proc/9991/task/10050/stat : 10050 (java) R 9988 9991 8273 0 -1 4202560 42 0 0 0 85517 13 0 0 20 0 22 0 104479082 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485003746560 140485511968463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9991/tid=10051] ppid=9988 vsize=9824732 CPUtime=855.36 cores=0,2,4,6
/proc/9991/task/10051/stat : 10051 (java) R 9988 9991 8273 0 -1 4202560 1048 0 0 0 85502 34 0 0 20 0 22 0 104479082 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485005851104 140485512143719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9991/tid=10052] ppid=9988 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9991/task/10052/stat : 10052 (java) S 9988 9991 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104479082 10060525568 967278 33554432000 1073741824 1073778376 140733929804672 140485006906408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 897.373
CPU time (s): 1800.78
CPU user time (s): 1798.02
CPU system time (s): 2.76258
CPU usage (%): 200.672
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.76258
maximum resident set size= 3869244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36742
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23989
involuntary context switches= 28181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37218 second user time and 7.73482 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-06 17:03:54
IDJOB=4081110
IDBENCH=2053
IDSOLVER=2543
FILE ID=node134/4081110-1465225434
RUNJOBID= node134-1465220363-8289
PBS_JOBID= 19843220
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081110-1465225434/watcher-4081110-1465225434 -o /tmp/evaluation-result-4081110-1465225434/solver-4081110-1465225434 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081110-1465225434.opb

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

MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694
RANDOM SEED=1240269028

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.403
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:        28368804 kB
Buffers:           16572 kB
Cached:            82276 kB
SwapCached:         1808 kB
Active:          2096620 kB
Inactive:          40836 kB
Active(anon):    2039816 kB
Inactive(anon):     1036 kB
Active(file):      56804 kB
Inactive(file):    39800 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098288 kB
Dirty:               448 kB
Writeback:             0 kB
AnonPages:       3778812 kB
Mapped:            15452 kB
Shmem:                 0 kB
Slab:             566176 kB
SReclaimable:      10168 kB
SUnreclaim:       556008 kB
KernelStack:        1800 kB
PageTables:        11456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4388240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3715072 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 node134 at 2016-06-06 17:18:51