Trace number 4101610

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)1212 1800.92 1090.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
MD5SUMd0857e859d7ae9b7cd0d343674d5c1ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1212
Best CPU time to get the best result obtained on this benchmark1800.92
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1138
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 262140
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524739
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524739
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4101610-1466215139.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
1.13/0.53	c ... done. Wall clock time 0.407s.
1.13/0.53	c declared #vars     780
1.13/0.53	c #constraints  441
1.13/0.53	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.13/0.53	c constraints type 
1.13/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36
1.13/0.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 36
1.13/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 369
1.13/0.53	c 441 constraints processed.
1.13/0.53	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.13/0.53	c constraints type 
1.13/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 36
1.13/0.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36
1.13/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 369
1.13/0.53	c 441 constraints processed.
1.13/0.53	c objective function length is 478 literals
2.67/0.97	c And the winner is solver1
2.87/1.03	c SATISFIABLE
2.87/1.03	c OPTIMIZING...
2.87/1.03	c Got one! Elapsed wall clock time (in seconds):0.913
2.87/1.03	o 524454
3.29/1.24	c And the winner is solver1
3.49/1.53	c Got one! Elapsed wall clock time (in seconds):1.415
3.49/1.53	o 524445
4.37/1.93	c And the winner is solver1
4.45/2.04	c Got one! Elapsed wall clock time (in seconds):1.92
4.45/2.04	o 524389
4.45/2.09	c And the winner is solver0
4.60/2.54	c Got one! Elapsed wall clock time (in seconds):2.422
4.60/2.54	o 262616
4.60/2.59	c And the winner is solver0
4.72/3.04	c Got one! Elapsed wall clock time (in seconds):2.924
4.72/3.04	o 262493
4.72/3.06	c And the winner is solver0
4.76/3.54	c Got one! Elapsed wall clock time (in seconds):3.426
4.76/3.54	o 262456
5.12/3.79	c cleaning 3800 clauses out of 7600 with flag 2168/7600
5.65/3.99	c And the winner is solver1
5.85/4.05	c Got one! Elapsed wall clock time (in seconds):3.928
5.85/4.05	o 16505
5.85/4.07	c And the winner is solver0
5.91/4.55	c Got one! Elapsed wall clock time (in seconds):4.43
5.91/4.55	o 16504
6.72/4.98	c And the winner is solver1
6.90/5.05	c Got one! Elapsed wall clock time (in seconds):4.932
6.90/5.05	o 8399
7.39/5.39	c cleaning 4685 clauses out of 9371 with flag 4384/13171
9.02/6.06	c And the winner is solver1
9.25/6.55	c Got one! Elapsed wall clock time (in seconds):6.434
9.25/6.55	o 3127
10.18/7.01	c cleaning 4909 clauses out of 9817 with flag 4308/18302
11.86/7.87	c And the winner is solver1
12.02/8.05	c Got one! Elapsed wall clock time (in seconds):7.936
12.02/8.05	o 2388
12.91/8.56	c cleaning 5405 clauses out of 10809 with flag 4357/24203
15.83/9.95	c cleaning 5700 clauses out of 11401 with flag 17415/30200
18.23/11.14	c And the winner is solver1
18.32/11.56	c Got one! Elapsed wall clock time (in seconds):11.439
18.32/11.56	o 2386
21.08/12.93	c cleaning 8093 clauses out of 16185 with flag 10989/40684
23.90/14.40	c cleaning 7043 clauses out of 14092 with flag 23967/46684
27.49/16.09	c cleaning 7022 clauses out of 14050 with flag 39306/53685
28.88/16.74	c And the winner is solver1
28.97/17.06	c Got one! Elapsed wall clock time (in seconds):16.942
28.97/17.06	o 2385
30.59/17.89	c cleaning 6415 clauses out of 12829 with flag 6571/59486
33.19/19.19	c cleaning 6209 clauses out of 12417 with flag 19641/65489
36.39/20.76	c cleaning 6603 clauses out of 13206 with flag 35690/72487
40.31/22.64	c cleaning 7302 clauses out of 14604 with flag 54223/80488
44.50/24.77	c cleaning 8150 clauses out of 16300 with flag 75962/89486
47.73/26.33	c And the winner is solver1
47.80/26.56	c Got one! Elapsed wall clock time (in seconds):26.447
47.80/26.56	o 2363
50.45/27.93	c cleaning 9999 clauses out of 20012 with flag 11083/101348
53.35/29.35	c cleaning 8001 clauses out of 16012 with flag 24906/107347
56.37/30.83	c cleaning 7505 clauses out of 15012 with flag 41508/114348
59.76/32.55	c cleaning 7756 clauses out of 15511 with flag 59939/122352
63.76/34.58	c cleaning 8374 clauses out of 16753 with flag 81154/131350
68.62/36.93	c cleaning 9186 clauses out of 18378 with flag 105528/141349
70.82/38.01	c And the winner is solver1
70.82/38.07	c Got one! Elapsed wall clock time (in seconds):37.951
70.82/38.07	o 2229
73.30/39.33	c cleaning 9703 clauses out of 19416 with flag 11506/151573
75.90/40.60	c cleaning 7854 clauses out of 15711 with flag 25998/157571
78.79/42.07	c cleaning 7422 clauses out of 14857 with flag 43524/164571
82.20/43.78	c cleaning 7718 clauses out of 15436 with flag 63923/172572
86.00/45.65	c cleaning 8352 clauses out of 16717 with flag 86700/181571
90.20/47.79	c cleaning 9183 clauses out of 18367 with flag 113462/191573
95.27/50.28	c cleaning 10092 clauses out of 20184 with flag 142855/202573
100.87/53.02	c cleaning 11045 clauses out of 22090 with flag 169332/214571
106.91/56.06	c cleaning 0 clauses out of 8545 with flag 0/8548
107.55/56.26	c cleaning 12022 clauses out of 24047 with flag 199160/227573
114.70/59.78	c cleaning 13011 clauses out of 26024 with flag 230648/241572
122.92/63.72	c cleaning 14004 clauses out of 28013 with flag 265639/256572
131.59/68.08	c cleaning 15002 clauses out of 30008 with flag 303454/272571
135.79/70.17	c And the winner is solver1
135.95/70.61	c Got one! Elapsed wall clock time (in seconds):70.489
135.95/70.61	o 2204
143.41/74.34	c cleaning 14380 clauses out of 28773 with flag 14939/286338
145.80/75.57	c cleaning 10186 clauses out of 20390 with flag 28008/292335
148.60/76.93	c cleaning 8594 clauses out of 17202 with flag 43578/299333
151.79/78.55	c cleaning 8301 clauses out of 16610 with flag 61170/307335
155.67/80.45	c cleaning 8651 clauses out of 17307 with flag 80806/316333
160.06/82.63	c cleaning 9321 clauses out of 18659 with flag 102931/326336
163.50/84.36	c And the winner is solver1
163.64/84.62	c Got one! Elapsed wall clock time (in seconds):84.504
163.64/84.62	o 2091
165.78/85.72	c cleaning 11082 clauses out of 22164 with flag 10872/339162
168.39/87.04	c cleaning 8535 clauses out of 17079 with flag 24047/345159
171.38/88.55	c cleaning 7764 clauses out of 15543 with flag 39171/352158
175.05/90.35	c cleaning 7887 clauses out of 15779 with flag 56318/360158
179.04/92.39	c cleaning 8442 clauses out of 16893 with flag 76923/369159
183.90/94.76	c cleaning 9227 clauses out of 18453 with flag 99001/379161
189.28/97.44	c cleaning 10113 clauses out of 20225 with flag 124215/390160
195.55/100.52	c cleaning 11055 clauses out of 22110 with flag 152963/402158
202.15/103.84	c cleaning 12026 clauses out of 24057 with flag 182633/415160
206.65/106.06	c And the winner is solver1
206.79/106.14	c Got one! Elapsed wall clock time (in seconds):106.015
206.79/106.14	o 1282
206.79/106.18	c And the winner is solver0
238.84/137.51	c cleaning 0 clauses out of 14887 with flag 0/14890
351.22/248.19	c cleaning 0 clauses out of 20886 with flag 0/20889
541.42/435.39	c cleaning 0 clauses out of 27887 with flag 0/27890
599.65/492.70	c Got one! Elapsed wall clock time (in seconds):492.586
599.65/492.70	o 1212
609.02/497.48	c cleaning 13175 clauses out of 26356 with flag 15604/429485
618.53/502.19	c cleaning 9586 clauses out of 19179 with flag 36337/435483
632.88/509.23	c cleaning 8291 clauses out of 16592 with flag 60397/442482
640.08/512.88	c cleaning 8143 clauses out of 16301 with flag 85192/450482
659.59/522.54	c cleaning 8574 clauses out of 17158 with flag 117480/459482
680.80/533.04	c cleaning 9288 clauses out of 18594 with flag 150800/469492
691.60/538.49	c cleaning 10147 clauses out of 20298 with flag 182630/480484
703.53/544.37	c cleaning 11071 clauses out of 22149 with flag 220802/492482
724.85/554.92	c cleaning 12040 clauses out of 24080 with flag 262223/505484
736.97/560.99	c cleaning 13015 clauses out of 26038 with flag 305518/519482
753.06/568.97	c cleaning 14005 clauses out of 28023 with flag 350647/534482
774.77/579.71	c cleaning 15007 clauses out of 30018 with flag 401861/550482
801.80/593.28	c cleaning 16003 clauses out of 32013 with flag 458963/567484
825.76/605.16	c cleaning 17004 clauses out of 34010 with flag 520164/585484
854.43/619.49	c cleaning 17990 clauses out of 36004 with flag 590939/604482
890.55/637.47	c cleaning 19007 clauses out of 38014 with flag 676849/624482
903.65/644.00	c cleaning 0 clauses out of 33501 with flag 0/33504
918.38/651.29	c cleaning 20004 clauses out of 40014 with flag 761969/645489
944.30/664.12	c cleaning 21001 clauses out of 42003 with flag 844521/667482
987.52/685.64	c cleaning 21996 clauses out of 44002 with flag 937666/690482
1056.78/720.09	c cleaning 22998 clauses out of 46007 with flag 1033680/714483
1119.05/751.88	c cleaning 24001 clauses out of 48008 with flag 1129021/739482
1182.94/783.61	c cleaning 24996 clauses out of 50007 with flag 1217538/765482
1229.78/806.96	c cleaning 25997 clauses out of 52011 with flag 1323907/792482
1268.72/826.35	c cleaning 27002 clauses out of 54014 with flag 1421385/820482
1310.84/847.29	c cleaning 27999 clauses out of 56012 with flag 1533841/849482
1330.12/856.84	c cleaning 0 clauses out of 39500 with flag 0/39503
1353.64/868.55	c cleaning 28999 clauses out of 58013 with flag 1648863/879482
1390.40/886.89	c cleaning 30007 clauses out of 60015 with flag 1759520/910483
1434.57/908.81	c cleaning 31002 clauses out of 62007 with flag 1869457/942482
1467.54/925.25	c cleaning 32004 clauses out of 64007 with flag 1990022/975484
1512.05/947.41	c cleaning 32993 clauses out of 66003 with flag 2113725/1009484
1548.59/965.68	c cleaning 33995 clauses out of 68010 with flag 2235951/1044484
1592.87/987.66	c cleaning 34996 clauses out of 70013 with flag 2366650/1080482
1633.47/1007.84	c cleaning 36008 clauses out of 72018 with flag 2497927/1117483
1664.87/1023.45	c cleaning 37006 clauses out of 74011 with flag 2608660/1155484
1701.44/1041.66	c cleaning 37997 clauses out of 76008 with flag 2740660/1194487
1740.60/1061.13	c cleaning 38998 clauses out of 78006 with flag 2875818/1234482
1775.47/1078.50	c cleaning 40003 clauses out of 80008 with flag 3017705/1275482
1800.16/1090.80	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.16/1090.80	c starts		: 21873
1800.16/1090.80	c conflicts		: 1299892
1800.16/1090.80	c decisions		: 3003340
1800.16/1090.80	c propagations		: 85747469
1800.16/1090.80	c inspects		: 4725622688
1800.16/1090.80	c shortcuts		: 0
1800.16/1090.80	c learnt literals	: 0
1800.16/1090.80	c learnt binary clauses	: 7
1800.16/1090.80	c learnt ternary clauses	: 9
1800.16/1090.80	c learnt constraints	: 1299891
1800.16/1090.80	c ignored constraints	: 0
1800.16/1090.80	c root simplifications	: 0
1800.16/1090.80	c removed literals (reason simplification)	: 3336944
1800.16/1090.80	c reason swapping (by a shorter reason)	: 0
1800.16/1090.80	c Calls to reduceDB	: 83
1800.16/1090.80	c Number of update (reduction) of LBD	: 259877
1800.16/1090.80	c Imported unit clauses	: 0
1800.16/1090.80	c number of reductions to clauses (during analyze)	: 0
1800.16/1090.80	c number of learned constraints concerned by reduction	: 0
1800.16/1090.80	c number of learning phase by resolution	: 0
1800.16/1090.80	c number of learning phase by cutting planes	: 0
1800.16/1090.80	c speed (assignments/second)	: 87083.15036022513
1800.16/1090.80	c non guided choices	207
1800.16/1090.83	c learnt constraints type 
1800.16/1090.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.16/1090.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64408
1800.16/1090.83	c >>>>>>>>>> Solver number 1 (14 answers) <<<<<<<<<<<<<<<<<<
1800.16/1090.83	c starts		: 114
1800.16/1090.83	c conflicts		: 45768
1800.16/1090.83	c decisions		: 111875
1800.16/1090.83	c propagations		: 680169
1800.16/1090.83	c inspects		: 1148337735
1800.16/1090.83	c shortcuts		: 0
1800.16/1090.83	c learnt literals	: 0
1800.16/1090.83	c learnt binary clauses	: 0
1800.16/1090.83	c learnt ternary clauses	: 0
1800.16/1090.83	c learnt constraints	: 45764
1800.16/1090.83	c ignored constraints	: 0
1800.16/1090.83	c root simplifications	: 0
1800.16/1090.83	c removed literals (reason simplification)	: 0
1800.16/1090.83	c reason swapping (by a shorter reason)	: 0
1800.16/1090.83	c Calls to reduceDB	: 6
1800.16/1090.83	c Number of update (reduction) of LBD	: 0
1800.16/1090.83	c Imported unit clauses	: 0
1800.16/1090.83	c number of reductions to clauses (during analyze)	: 0
1800.16/1090.83	c number of learned constraints concerned by reduction	: 0
1800.16/1090.83	c number of learning phase by resolution	: 0
1800.16/1090.83	c number of learning phase by cutting planes	: 0
1800.16/1090.83	c speed (assignments/second)	: 690.8397101631805
1800.16/1090.83	c non guided choices	453
1800.16/1090.85	c learnt constraints type 
1800.16/1090.85	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 167
1800.16/1090.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 45597
1800.16/1090.85	s SATISFIABLE
1800.16/1090.85	c Found 19 solution(s)
1800.16/1090.85	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 -x47 x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 x78 -x79 x80 x81 x82 -x83 -x84 x85 x86 x87 x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 -x289 x290 x291 -x292 -x293 x294 x295 x296 x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 x337 -x338 x339 x340 x341 -x342 x343 -x344 x345 x346 x347 -x348 -x349 x350 x351 x352 -x353 x354 x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 -x487 -x488 x489 -x490 x491 -x492 -x493 x494 x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 x738 -x739 -x740 -x741 -x742 x743 -x744 x745 x746 x747 -x748 x749 x750 -x751 -x752 -x753 x754 -x755 x756 x757 -x758 x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 
1800.16/1090.85	c objective function=1212
1800.16/1090.85	c Total wall clock time (in seconds): 1090.732

Verifier Data 

OK	1212

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-4101610-1466215139/watcher-4101610-1466215139 -o /tmp/evaluation-result-4101610-1466215139/solver-4101610-1466215139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13554 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101610-1466215139.opb 

pid=17004
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.13 4.10 4.04 4/197 17007
/proc/meminfo: memFree=27085488/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/17007/stat : 17007 (java) R 17004 17007 13538 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 23563860 3653632 49 33554432000 1073741824 1073778376 140733690146576 140733690143704 224913354023 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 1408 52 41 9 0 30 0

[startup+0.100165 s]
/proc/loadavg: 4.13 4.10 4.04 4/197 17007
/proc/meminfo: memFree=27085488/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 23563860 9787879424 6038 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2389619 6038 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200298 s]
/proc/loadavg: 4.13 4.10 4.04 4/197 17007
/proc/meminfo: memFree=27085488/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 4692 0 1 0 23 1 0 0 20 0 18 0 23563860 9787879424 7280 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2389619 7280 2205 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 4.13 4.10 4.04 4/197 17007
/proc/meminfo: memFree=27085488/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 11937 0 1 0 51 2 0 0 20 0 18 0 23563860 9787879424 12729 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2389619 12729 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700182 s]
/proc/loadavg: 4.13 4.10 4.04 4/197 17007
/proc/meminfo: memFree=27085488/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 14063 0 1 0 185 3 0 0 20 0 22 0 23563860 10060525568 23193 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2456183 23193 2272 9 0 2446860 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 4.13 4.10 4.04 5/219 17032
/proc/meminfo: memFree=26920740/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 14641 0 1 0 341 8 0 0 20 0 19 0 23563860 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2456183 45842 2289 9 0 2446860 0
[pid=17007/tid=17009] ppid=17004 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/17007/task/17009/stat : 17009 (java) S 17004 17007 13538 0 -1 4202560 2439 0 1 0 48 2 0 0 20 0 19 0 23563861 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718131876728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17010] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17010/stat : 17010 (java) S 17004 17007 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718104328360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17011] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17011/stat : 17011 (java) S 17004 17007 13538 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718103275816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17012] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17012/stat : 17012 (java) S 17004 17007 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718102223272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17013] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17013/stat : 17013 (java) S 17004 17007 13538 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718101170728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17014] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17014/stat : 17014 (java) S 17004 17007 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718100118184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17015] ppid=17004 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/17007/task/17015/stat : 17015 (java) S 17004 17007 13538 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718099065640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17016] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17016/stat : 17016 (java) S 17004 17007 13538 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718098013096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17017] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17017/stat : 17017 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140718096960552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17018] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17018/stat : 17018 (java) S 17004 17007 13538 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23563863 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717485697128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17019] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17019/stat : 17019 (java) S 17004 17007 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23563864 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717484643448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17020] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17020/stat : 17020 (java) S 17004 17007 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23563864 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717483590792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17021] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17021/stat : 17021 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717482539536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17022] ppid=17004 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/17007/task/17022/stat : 17022 (java) S 17004 17007 13538 0 -1 4202560 4206 0 0 0 78 0 0 0 20 0 19 0 23563866 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717481486904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17023] ppid=17004 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/17007/task/17023/stat : 17023 (java) S 17004 17007 13538 0 -1 4202560 6515 0 0 0 83 2 0 0 20 0 19 0 23563866 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717480434360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17024] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17024/stat : 17024 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717479382008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17025] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17025/stat : 17025 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717478329672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17028] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17028/stat : 17028 (java) S 17004 17007 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23563914 10060525568 45842 33554432000 1073741824 1073778376 140733690146576 140717475169320 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 4.13 4.10 4.04 3/216 17038
/proc/meminfo: memFree=26882512/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9824732 CPUtime=4.76 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 15552 0 1 0 457 19 0 0 20 0 19 0 23563860 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2456183 62764 2289 9 0 2446860 0
[pid=17007/tid=17009] ppid=17004 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/17007/task/17009/stat : 17009 (java) S 17004 17007 13538 0 -1 4202560 2440 0 1 0 49 2 0 0 20 0 19 0 23563861 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718131876728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17010] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17010/stat : 17010 (java) S 17004 17007 13538 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718104328360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17011] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17011/stat : 17011 (java) S 17004 17007 13538 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718103275816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17012] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17012/stat : 17012 (java) S 17004 17007 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718102223272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17013] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17013/stat : 17013 (java) S 17004 17007 13538 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718101170728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17014] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17014/stat : 17014 (java) S 17004 17007 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718100118184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17015] ppid=17004 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/17007/task/17015/stat : 17015 (java) S 17004 17007 13538 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718099065640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17016] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17016/stat : 17016 (java) S 17004 17007 13538 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718098013096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17017] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17017/stat : 17017 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23563862 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140718096960552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17018] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17018/stat : 17018 (java) S 17004 17007 13538 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23563863 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717485697128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17019] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17019/stat : 17019 (java) S 17004 17007 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23563864 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717484643448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17020] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17020/stat : 17020 (java) S 17004 17007 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23563864 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717483590792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17021] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17021/stat : 17021 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717482539536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17022] ppid=17004 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/17007/task/17022/stat : 17022 (java) S 17004 17007 13538 0 -1 4202560 5039 0 0 0 90 0 0 0 20 0 19 0 23563866 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717481486904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17023] ppid=17004 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/17007/task/17023/stat : 17023 (java) S 17004 17007 13538 0 -1 4202560 6515 0 0 0 88 2 0 0 20 0 19 0 23563866 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717480434360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17024] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17024/stat : 17024 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717479382008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17025] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17025/stat : 17025 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717478329672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17038] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17038/stat : 17038 (java) S 17004 17007 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23564064 10060525568 62764 33554432000 1073741824 1073778376 140733690146576 140717476222248 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 9824732

[startup+6.30082 s]
/proc/loadavg: 3.96 4.07 4.03 5/219 17056
/proc/meminfo: memFree=26699168/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9824732 CPUtime=9.25 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 19772 0 1 0 889 36 0 0 20 0 19 0 23563860 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2456183 152981 2295 9 0 2446860 0
[pid=17007/tid=17009] ppid=17004 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/17007/task/17009/stat : 17009 (java) S 17004 17007 13538 0 -1 4202560 2440 0 1 0 50 2 0 0 20 0 19 0 23563861 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718131876728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17010] ppid=17004 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/17007/task/17010/stat : 17010 (java) S 17004 17007 13538 0 -1 4202560 30 0 0 0 2 1 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718104328360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17011] ppid=17004 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/17007/task/17011/stat : 17011 (java) S 17004 17007 13538 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718103275816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17012] ppid=17004 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/17007/task/17012/stat : 17012 (java) S 17004 17007 13538 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718102223272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17013] ppid=17004 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/17007/task/17013/stat : 17013 (java) S 17004 17007 13538 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718101170728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17014] ppid=17004 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/17007/task/17014/stat : 17014 (java) S 17004 17007 13538 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718100118184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17015] ppid=17004 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/17007/task/17015/stat : 17015 (java) S 17004 17007 13538 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718099065640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17016] ppid=17004 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/17007/task/17016/stat : 17016 (java) S 17004 17007 13538 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718098013096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17017] ppid=17004 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/17007/task/17017/stat : 17017 (java) S 17004 17007 13538 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 23563862 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140718096960552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17018] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17018/stat : 17018 (java) S 17004 17007 13538 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 19 0 23563863 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717485697128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17019] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17019/stat : 17019 (java) S 17004 17007 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23563864 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717484643448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17020] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17020/stat : 17020 (java) S 17004 17007 13538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23563864 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717483590792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17021] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17021/stat : 17021 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717482539536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17022] ppid=17004 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/17007/task/17022/stat : 17022 (java) S 17004 17007 13538 0 -1 4202560 6250 0 0 0 112 1 0 0 20 0 19 0 23563866 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717481486904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17023] ppid=17004 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/17007/task/17023/stat : 17023 (java) S 17004 17007 13538 0 -1 4202560 8844 0 0 0 118 2 0 0 20 0 19 0 23563866 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717480434360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17024] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17024/stat : 17024 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717479382008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17025] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17025/stat : 17025 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23563866 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717478329672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17053] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17053/stat : 17053 (java) S 17004 17007 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23564316 10060525568 152981 33554432000 1073741824 1073778376 140733690146576 140717475169448 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (KiB) 9824732


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


[startup+1002.3 s]
/proc/loadavg: 4.07 3.89 3.81 5/219 17286
/proc/meminfo: memFree=27645036/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9824732 CPUtime=1622.47 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 34426 0 1 0 162009 238 0 0 20 0 22 0 23563860 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2456183 935450 2303 9 0 2446860 0
[pid=17007/tid=17009] ppid=17004 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/17007/task/17009/stat : 17009 (java) S 17004 17007 13538 0 -1 4202560 2482 0 1 0 70 9 0 0 20 0 22 0 23563861 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718131876728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17010] ppid=17004 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/17007/task/17010/stat : 17010 (java) S 17004 17007 13538 0 -1 4202560 583 0 0 0 278 17 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718104328360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17011] ppid=17004 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/17007/task/17011/stat : 17011 (java) S 17004 17007 13538 0 -1 4202560 523 0 0 0 256 13 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718103275816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17012] ppid=17004 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/17007/task/17012/stat : 17012 (java) S 17004 17007 13538 0 -1 4202560 604 0 0 0 255 14 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718102223272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17013] ppid=17004 vsize=9824732 CPUtime=3.34 cores=0,2,4,6
/proc/17007/task/17013/stat : 17013 (java) S 17004 17007 13538 0 -1 4202560 684 0 0 0 317 17 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718101170728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17014] ppid=17004 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/17007/task/17014/stat : 17014 (java) S 17004 17007 13538 0 -1 4202560 578 0 0 0 271 15 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718100118184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17015] ppid=17004 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/17007/task/17015/stat : 17015 (java) S 17004 17007 13538 0 -1 4202560 562 0 0 0 258 14 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718099065640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17016] ppid=17004 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/17007/task/17016/stat : 17016 (java) S 17004 17007 13538 0 -1 4202560 674 0 0 0 273 14 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718098013096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17017] ppid=17004 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/17007/task/17017/stat : 17017 (java) S 17004 17007 13538 0 -1 4202560 498 0 0 0 262 13 0 0 20 0 22 0 23563862 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140718096960552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17018] ppid=17004 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/17007/task/17018/stat : 17018 (java) S 17004 17007 13538 0 -1 4202560 2723 0 0 0 389 10 0 0 20 0 22 0 23563863 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717485697128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17019] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17019/stat : 17019 (java) S 17004 17007 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23563864 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717484643448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17020] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17020/stat : 17020 (java) S 17004 17007 13538 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 23563864 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717483590792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17021] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17021/stat : 17021 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23563866 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717482539536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17022] ppid=17004 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/17007/task/17022/stat : 17022 (java) S 17004 17007 13538 0 -1 4202560 11805 0 0 0 199 3 0 0 20 0 22 0 23563866 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717481486904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17023] ppid=17004 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/17007/task/17023/stat : 17023 (java) S 17004 17007 13538 0 -1 4202560 8864 0 0 0 148 2 0 0 20 0 22 0 23563866 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717480434360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17024] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17024/stat : 17024 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23563866 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717479382008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17025] ppid=17004 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/17007/task/17025/stat : 17025 (java) S 17004 17007 13538 0 -1 4202560 56 0 0 0 16 22 0 0 20 0 22 0 23563866 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717478329672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17169] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17169/stat : 17169 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23574475 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717476221864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17170] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17170/stat : 17170 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23574488 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717474116648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17200] ppid=17004 vsize=9824732 CPUtime=504.84 cores=0,2,4,6
/proc/17007/task/17200/stat : 17200 (java) R 17004 17007 13538 0 -1 4202560 28 0 0 0 50477 7 0 0 20 0 22 0 23613132 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717477273232 140717977200629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17201] ppid=17004 vsize=9824732 CPUtime=504.85 cores=0,2,4,6
/proc/17007/task/17201/stat : 17201 (java) R 17004 17007 13538 0 -1 4202560 33 0 0 0 50478 7 0 0 20 0 22 0 23613132 10060525568 935450 33554432000 1073741824 1073778376 140733690146576 140717475167024 140717977217481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1622.47
Current children cumulated vsize (KiB) 9824732

[startup+1062.3 s]
/proc/loadavg: 4.08 3.92 3.83 5/219 17287
/proc/meminfo: memFree=27541536/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9824732 CPUtime=1743 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 34578 0 1 0 174054 246 0 0 20 0 22 0 23563860 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2456183 953911 2303 9 0 2446860 0
[pid=17007/tid=17009] ppid=17004 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/17007/task/17009/stat : 17009 (java) S 17004 17007 13538 0 -1 4202560 2482 0 1 0 70 9 0 0 20 0 22 0 23563861 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718131876728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17010] ppid=17004 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/17007/task/17010/stat : 17010 (java) S 17004 17007 13538 0 -1 4202560 596 0 0 0 294 18 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718104328360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17011] ppid=17004 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/17007/task/17011/stat : 17011 (java) S 17004 17007 13538 0 -1 4202560 544 0 0 0 269 14 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718103275816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17012] ppid=17004 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/17007/task/17012/stat : 17012 (java) S 17004 17007 13538 0 -1 4202560 614 0 0 0 267 15 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718102223272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17013] ppid=17004 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/17007/task/17013/stat : 17013 (java) S 17004 17007 13538 0 -1 4202560 699 0 0 0 332 17 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718101170728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17014] ppid=17004 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/17007/task/17014/stat : 17014 (java) S 17004 17007 13538 0 -1 4202560 585 0 0 0 280 15 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718100118184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17015] ppid=17004 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/17007/task/17015/stat : 17015 (java) S 17004 17007 13538 0 -1 4202560 575 0 0 0 272 15 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718099065640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17016] ppid=17004 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/17007/task/17016/stat : 17016 (java) S 17004 17007 13538 0 -1 4202560 684 0 0 0 288 15 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718098013096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17017] ppid=17004 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/17007/task/17017/stat : 17017 (java) S 17004 17007 13538 0 -1 4202560 544 0 0 0 278 14 0 0 20 0 22 0 23563862 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140718096960552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17018] ppid=17004 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/17007/task/17018/stat : 17018 (java) S 17004 17007 13538 0 -1 4202560 2729 0 0 0 389 10 0 0 20 0 22 0 23563863 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717485697128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17019] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17019/stat : 17019 (java) S 17004 17007 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23563864 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717484643448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17020] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17020/stat : 17020 (java) S 17004 17007 13538 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 23563864 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717483590792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17021] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17021/stat : 17021 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23563866 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717482539536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17022] ppid=17004 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/17007/task/17022/stat : 17022 (java) S 17004 17007 13538 0 -1 4202560 11805 0 0 0 199 3 0 0 20 0 22 0 23563866 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717481486904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17023] ppid=17004 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/17007/task/17023/stat : 17023 (java) S 17004 17007 13538 0 -1 4202560 8865 0 0 0 148 2 0 0 20 0 22 0 23563866 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717480434360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17024] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17024/stat : 17024 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23563866 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717479382008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17025] ppid=17004 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/17007/task/17025/stat : 17025 (java) S 17004 17007 13538 0 -1 4202560 60 0 0 0 17 24 0 0 20 0 22 0 23563866 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717478329672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17169] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17169/stat : 17169 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23574475 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717476221864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17170] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17170/stat : 17170 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23574488 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717474116648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17200] ppid=17004 vsize=9824732 CPUtime=564.53 cores=0,2,4,6
/proc/17007/task/17200/stat : 17200 (java) R 17004 17007 13538 0 -1 4202560 28 0 0 0 56443 10 0 0 20 0 22 0 23613132 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717477265536 140717977105807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17201] ppid=17004 vsize=9824732 CPUtime=564.55 cores=0,2,4,6
/proc/17007/task/17201/stat : 17201 (java) R 17004 17007 13538 0 -1 4202560 39 0 0 0 56447 8 0 0 20 0 22 0 23613132 10060525568 953911 33554432000 1073741824 1073778376 140733690146576 140717475167840 140717977216324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1743
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1090.8 s]
/proc/loadavg: 4.11 3.94 3.83 6/219 17290
/proc/meminfo: memFree=27272396/32872528 swapFree=163656/177964
[pid=17007] ppid=17004 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/17007/stat : 17007 (java) S 17004 17007 13538 0 -1 4202496 34691 0 1 0 179766 250 0 0 20 0 22 0 23563860 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140733690137712 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17007/statm: 2456183 954257 2303 9 0 2446860 0
[pid=17007/tid=17009] ppid=17004 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/17007/task/17009/stat : 17009 (java) S 17004 17007 13538 0 -1 4202560 2483 0 1 0 70 9 0 0 20 0 22 0 23563861 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718131876728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17010] ppid=17004 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/17007/task/17010/stat : 17010 (java) S 17004 17007 13538 0 -1 4202560 598 0 0 0 297 18 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718104328360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17011] ppid=17004 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/17007/task/17011/stat : 17011 (java) S 17004 17007 13538 0 -1 4202560 569 0 0 0 275 14 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718103275816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17012] ppid=17004 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/17007/task/17012/stat : 17012 (java) S 17004 17007 13538 0 -1 4202560 628 0 0 0 273 15 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718102223272 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17013] ppid=17004 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/17007/task/17013/stat : 17013 (java) S 17004 17007 13538 0 -1 4202560 735 0 0 0 336 18 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718101170728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17014] ppid=17004 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/17007/task/17014/stat : 17014 (java) S 17004 17007 13538 0 -1 4202560 587 0 0 0 283 15 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718100118184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17015] ppid=17004 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/17007/task/17015/stat : 17015 (java) S 17004 17007 13538 0 -1 4202560 583 0 0 0 278 15 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718099065640 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17007/tid=17016] ppid=17004 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/17007/task/17016/stat : 17016 (java) S 17004 17007 13538 0 -1 4202560 689 0 0 0 291 16 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718098013096 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17017] ppid=17004 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/17007/task/17017/stat : 17017 (java) S 17004 17007 13538 0 -1 4202560 559 0 0 0 281 14 0 0 20 0 22 0 23563862 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140718096960552 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17018] ppid=17004 vsize=9824732 CPUtime=4 cores=0,2,4,6
/proc/17007/task/17018/stat : 17018 (java) S 17004 17007 13538 0 -1 4202560 2731 0 0 0 389 11 0 0 20 0 22 0 23563863 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717485697128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17019] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17019/stat : 17019 (java) S 17004 17007 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23563864 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717484643448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17020] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17020/stat : 17020 (java) S 17004 17007 13538 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 23563864 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717483590792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17021] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17021/stat : 17021 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23563866 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717482539536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17022] ppid=17004 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/17007/task/17022/stat : 17022 (java) S 17004 17007 13538 0 -1 4202560 11805 0 0 0 199 3 0 0 20 0 22 0 23563866 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717481486904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17023] ppid=17004 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/17007/task/17023/stat : 17023 (java) S 17004 17007 13538 0 -1 4202560 8865 0 0 0 148 2 0 0 20 0 22 0 23563866 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717480434360 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17024] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17024/stat : 17024 (java) S 17004 17007 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23563866 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717479382008 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17025] ppid=17004 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/17007/task/17025/stat : 17025 (java) S 17004 17007 13538 0 -1 4202560 62 0 0 0 18 24 0 0 20 0 22 0 23563866 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717478329672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17007/tid=17169] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17169/stat : 17169 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23574475 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717476221864 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17170] ppid=17004 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17007/task/17170/stat : 17170 (java) S 17004 17007 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23574488 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717474116648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17007/tid=17200] ppid=17004 vsize=9824732 CPUtime=592.94 cores=0,2,4,6
/proc/17007/task/17200/stat : 17200 (java) R 17004 17007 13538 0 -1 4202560 28 0 0 0 59283 11 0 0 20 0 22 0 23613132 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717477272432 140717977308034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17007/tid=17201] ppid=17004 vsize=9824732 CPUtime=592.95 cores=0,2,4,6
/proc/17007/task/17201/stat : 17201 (java) R 17004 17007 13538 0 -1 4202560 40 0 0 0 59286 9 0 0 20 0 22 0 23613132 10060525568 954257 33554432000 1073741824 1073778376 140733690146576 140717475167920 140717977250605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 17007 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1090.88
CPU time (s): 1800.92
CPU user time (s): 1798
CPU system time (s): 2.91956
CPU usage (%): 165.088
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798
system time used= 2.91956
maximum resident set size= 3824116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34728
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36919
involuntary context switches= 34819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37488 second user time and 8.21275 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 03:58:59
IDJOB=4101610
IDBENCH=1772
IDSOLVER=2543
FILE ID=node105/4101610-1466215139
RUNJOBID= node105-1466206102-13554
PBS_JOBID= 19918167
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101610-1466215139/watcher-4101610-1466215139 -o /tmp/evaluation-result-4101610-1466215139/solver-4101610-1466215139 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13554 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101610-1466215139.opb

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

MD5SUM BENCH= d0857e859d7ae9b7cd0d343674d5c1ad
RANDOM SEED=1756277848

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27085488 kB
Buffers:           83776 kB
Cached:            93752 kB
SwapCached:         1764 kB
Active:          4747080 kB
Inactive:         122880 kB
Active(anon):    4692344 kB
Inactive(anon):     2460 kB
Active(file):      54736 kB
Inactive(file):   120420 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:              1216 kB
Writeback:             0 kB
AnonPages:       4915196 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             600304 kB
SReclaimable:      44056 kB
SUnreclaim:       556248 kB
KernelStack:        1808 kB
PageTables:        14100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5710740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4691968 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= 71744 MiB
End job on node105 at 2016-06-18 04:17:10