Trace number 4109673

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.05 1771.65

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
MD5SUMb6831e02f19f517e205ea45f0a3f162b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark33.007
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1839
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
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.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-4109673-1466342878.wbo
0.09/0.12	c reading problem ... 
0.46/0.34	c ... done. Wall clock time 0.219s.
0.46/0.34	c declared #vars     231
0.46/0.34	c internal #vars     2070
0.46/0.34	c #constraints  2707
0.46/0.34	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.46/0.34	c constraints type 
0.46/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2610
0.46/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 9
0.46/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74
0.46/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.46/0.34	c 2707 constraints processed.
0.46/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.46/0.34	c constraints type 
0.46/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74
0.46/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2610
0.46/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9
0.46/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
0.46/0.34	c 2707 constraints processed.
0.46/0.34	c objective function length is 1839 literals
0.70/0.48	c And the winner is solver0
1.29/0.85	c SATISFIABLE
1.29/0.85	c OPTIMIZING...
1.29/0.85	c Got one! Elapsed wall clock time (in seconds):0.725
1.29/0.85	o 993
1.29/0.88	c And the winner is solver0
2.03/1.36	c Got one! Elapsed wall clock time (in seconds):1.24
2.03/1.36	o 610
2.17/1.42	c And the winner is solver0
2.23/1.87	c Got one! Elapsed wall clock time (in seconds):1.749
2.23/1.87	o 327
2.23/1.89	c And the winner is solver0
2.33/2.38	c Got one! Elapsed wall clock time (in seconds):2.256
2.33/2.38	o 317
2.33/2.39	c And the winner is solver0
2.36/2.88	c Got one! Elapsed wall clock time (in seconds):2.762
2.36/2.88	o 312
2.39/2.93	c And the winner is solver0
2.63/3.39	c Got one! Elapsed wall clock time (in seconds):3.267
2.63/3.39	o 304
2.63/3.40	c And the winner is solver0
2.64/3.89	c Got one! Elapsed wall clock time (in seconds):3.771
2.64/3.89	o 293
2.65/3.90	c And the winner is solver0
2.74/4.40	c Got one! Elapsed wall clock time (in seconds):4.275
2.74/4.40	o 287
2.76/4.40	c And the winner is solver0
3.42/4.96	c Got one! Elapsed wall clock time (in seconds):4.834
3.42/4.96	o 257
3.42/4.98	c And the winner is solver0
3.51/5.46	c Got one! Elapsed wall clock time (in seconds):5.337
3.51/5.46	o 237
3.51/5.48	c And the winner is solver0
3.66/5.96	c Got one! Elapsed wall clock time (in seconds):5.84
3.66/5.96	o 231
3.72/6.08	c And the winner is solver0
3.93/6.46	c Got one! Elapsed wall clock time (in seconds):6.343
3.93/6.46	o 229
3.93/6.48	c And the winner is solver0
3.97/6.97	c Got one! Elapsed wall clock time (in seconds):6.845
3.97/6.97	o 213
3.97/6.98	c And the winner is solver0
3.98/7.47	c Got one! Elapsed wall clock time (in seconds):7.348
3.98/7.47	o 201
5.30/8.15	c cleaning 3943 clauses out of 7887 with flag 22766/7887
7.00/8.96	c And the winner is solver0
7.15/9.02	c Got one! Elapsed wall clock time (in seconds):8.901
7.15/9.02	o 200
7.30/9.11	c And the winner is solver0
7.43/9.53	c Got one! Elapsed wall clock time (in seconds):9.404
7.43/9.53	o 199
7.57/9.66	c And the winner is solver0
7.73/10.03	c Got one! Elapsed wall clock time (in seconds):9.907
7.73/10.03	o 184
9.10/10.75	c cleaning 7573 clauses out of 15158 with flag 23412/19101
10.82/11.57	c cleaning 6786 clauses out of 13585 with flag 63432/25101
11.89/12.08	c And the winner is solver0
12.07/12.53	c Got one! Elapsed wall clock time (in seconds):12.41
12.07/12.53	o 183
12.07/12.58	c And the winner is solver0
12.19/13.03	c Got one! Elapsed wall clock time (in seconds):12.913
12.19/13.03	o 181
12.19/13.06	c And the winner is solver0
12.24/13.54	c Got one! Elapsed wall clock time (in seconds):13.416
12.24/13.54	o 175
12.24/13.55	c And the winner is solver0
12.26/14.04	c Got one! Elapsed wall clock time (in seconds):13.919
12.26/14.04	o 159
12.26/14.07	c And the winner is solver0
12.34/14.54	c Got one! Elapsed wall clock time (in seconds):14.422
12.34/14.54	o 141
12.34/14.55	c And the winner is solver0
12.34/15.05	c Got one! Elapsed wall clock time (in seconds):14.925
12.34/15.05	o 139
12.34/15.06	c And the winner is solver0
12.39/15.55	c Got one! Elapsed wall clock time (in seconds):15.428
12.39/15.55	o 129
12.75/15.77	c cleaning 6352 clauses out of 12719 with flag 10390/31021
13.00/15.83	c And the winner is solver0
13.29/16.05	c Got one! Elapsed wall clock time (in seconds):15.931
13.29/16.05	o 121
13.47/16.17	c And the winner is solver0
13.68/16.56	c Got one! Elapsed wall clock time (in seconds):16.435
13.68/16.56	o 116
13.68/16.59	c And the winner is solver0
13.78/17.06	c Got one! Elapsed wall clock time (in seconds):16.938
13.78/17.06	o 87
13.78/17.08	c And the winner is solver0
13.84/17.56	c Got one! Elapsed wall clock time (in seconds):17.441
13.84/17.56	o 81
14.14/17.71	c And the winner is solver0
14.17/18.07	c Got one! Elapsed wall clock time (in seconds):17.946
14.17/18.07	o 79
14.23/18.11	c And the winner is solver0
14.27/18.57	c Got one! Elapsed wall clock time (in seconds):18.452
14.27/18.57	o 78
14.99/18.96	c And the winner is solver0
15.14/19.08	c Got one! Elapsed wall clock time (in seconds):18.958
15.14/19.08	o 77
15.37/19.20	c And the winner is solver0
15.40/19.59	c Got one! Elapsed wall clock time (in seconds):19.464
15.40/19.59	o 72
15.41/19.61	c And the winner is solver0
15.45/20.09	c Got one! Elapsed wall clock time (in seconds):19.97
15.45/20.09	o 70
15.46/20.12	c And the winner is solver0
15.53/20.60	c Got one! Elapsed wall clock time (in seconds):20.477
15.53/20.60	o 63
15.99/20.89	c cleaning 7739 clauses out of 15501 with flag 12946/40155
16.41/21.10	c And the winner is solver0
16.60/21.15	c Got one! Elapsed wall clock time (in seconds):21.033
16.60/21.15	o 51
16.60/21.18	c And the winner is solver0
16.68/21.66	c Got one! Elapsed wall clock time (in seconds):21.541
16.68/21.66	o 50
16.68/21.68	c And the winner is solver0
20.09/24.99	c Got one! Elapsed wall clock time (in seconds):24.874
20.09/24.99	o 35
20.15/25.04	c And the winner is solver0
20.33/25.51	c Got one! Elapsed wall clock time (in seconds):25.384
20.33/25.51	o 34
20.33/25.56	c And the winner is solver0
20.45/26.02	c Got one! Elapsed wall clock time (in seconds):25.898
20.45/26.02	o 30
20.59/26.12	c And the winner is solver0
20.67/26.53	c Got one! Elapsed wall clock time (in seconds):26.411
20.67/26.53	o 29
20.67/26.56	c And the winner is solver0
20.72/27.05	c Got one! Elapsed wall clock time (in seconds):26.925
20.72/27.05	o 27
20.82/27.18	c And the winner is solver0
21.01/27.56	c Got one! Elapsed wall clock time (in seconds):27.438
21.01/27.56	o 22
21.08/27.65	c cleaning 7492 clauses out of 14995 with flag 7766/47388
21.66/27.97	c And the winner is solver0
21.84/28.08	c Got one! Elapsed wall clock time (in seconds):27.953
21.84/28.08	o 18
22.52/28.44	c And the winner is solver0
22.62/28.59	c Got one! Elapsed wall clock time (in seconds):28.47
22.62/28.59	o 17
22.64/28.65	c And the winner is solver0
22.77/29.11	c Got one! Elapsed wall clock time (in seconds):28.989
22.77/29.11	o 16
22.93/29.23	c cleaning 9418 clauses out of 18842 with flag 7177/58727
23.73/29.65	c cleaning 7702 clauses out of 15421 with flag 50775/64724
24.73/30.15	c cleaning 7351 clauses out of 14720 with flag 108696/71725
25.93/30.75	c cleaning 7672 clauses out of 15369 with flag 178044/79725
27.33/31.43	c cleaning 8340 clauses out of 16698 with flag 259052/88726
29.19/32.34	c cleaning 9169 clauses out of 18356 with flag 352683/98724
29.79/32.63	c And the winner is solver0
29.88/33.13	c Got one! Elapsed wall clock time (in seconds):33.01
29.88/33.13	o 15
30.18/33.32	c cleaning 7538 clauses out of 15100 with flag 16777/104637
30.99/33.74	c cleaning 6776 clauses out of 13562 with flag 68999/110637
32.00/34.24	c cleaning 6884 clauses out of 13787 with flag 131002/117638
32.99/34.77	c And the winner is solver0
33.15/35.15	c Got one! Elapsed wall clock time (in seconds):35.031
33.15/35.15	o 14
33.85/35.57	c And the winner is solver0
34.02/35.68	c Got one! Elapsed wall clock time (in seconds):35.556
34.02/35.68	o 12
34.23/35.81	c cleaning 9913 clauses out of 19844 with flag 8455/130579
35.03/36.28	c cleaning 7955 clauses out of 15932 with flag 60669/136580
35.44/36.44	c And the winner is solver0
35.54/36.70	c Got one! Elapsed wall clock time (in seconds):36.582
35.54/36.70	o 11
35.54/36.76	c And the winner is solver0
161.61/160.24	c cleaning 0 clauses out of 7188 with flag 0/7212
534.85/526.98	c cleaning 0 clauses out of 13191 with flag 0/13215
1346.18/1325.11	c cleaning 0 clauses out of 20193 with flag 0/20217
1800.05/1771.60	c >>>>>>>>>> Solver number 0 (50 answers) <<<<<<<<<<<<<<<<<<
1800.05/1771.60	c starts		: 118
1800.05/1771.60	c conflicts		: 139598
1800.05/1771.60	c decisions		: 308259
1800.05/1771.60	c propagations		: 22875543
1800.05/1771.60	c inspects		: 118981011
1800.05/1771.60	c shortcuts		: 0
1800.05/1771.60	c learnt literals	: 0
1800.05/1771.60	c learnt binary clauses	: 10
1800.05/1771.60	c learnt ternary clauses	: 64
1800.05/1771.60	c learnt constraints	: 139598
1800.05/1771.60	c ignored constraints	: 0
1800.05/1771.60	c root simplifications	: 0
1800.05/1771.60	c removed literals (reason simplification)	: 537975
1800.05/1771.60	c reason swapping (by a shorter reason)	: 0
1800.05/1771.60	c Calls to reduceDB	: 17
1800.05/1771.60	c Number of update (reduction) of LBD	: 61874
1800.05/1771.60	c Imported unit clauses	: 0
1800.05/1771.60	c number of reductions to clauses (during analyze)	: 0
1800.05/1771.60	c number of learned constraints concerned by reduction	: 0
1800.05/1771.60	c number of learning phase by resolution	: 0
1800.05/1771.60	c number of learning phase by cutting planes	: 0
1800.05/1771.60	c speed (assignments/second)	: 12914.936764889368
1800.05/1771.60	c non guided choices	5699
1800.05/1771.61	c learnt constraints type 
1800.05/1771.61	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1800.05/1771.61	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10985
1800.05/1771.61	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/1771.61	c starts		: 104
1800.05/1771.61	c conflicts		: 22855
1800.05/1771.61	c decisions		: 126933
1800.05/1771.61	c propagations		: 1083076
1800.05/1771.61	c inspects		: 1896191868
1800.05/1771.61	c shortcuts		: 0
1800.05/1771.61	c learnt literals	: 0
1800.05/1771.61	c learnt binary clauses	: 0
1800.05/1771.61	c learnt ternary clauses	: 0
1800.05/1771.61	c learnt constraints	: 22831
1800.05/1771.61	c ignored constraints	: 0
1800.05/1771.61	c root simplifications	: 0
1800.05/1771.61	c removed literals (reason simplification)	: 0
1800.05/1771.61	c reason swapping (by a shorter reason)	: 0
1800.05/1771.61	c Calls to reduceDB	: 3
1800.05/1771.61	c Number of update (reduction) of LBD	: 0
1800.05/1771.61	c Imported unit clauses	: 0
1800.05/1771.61	c number of reductions to clauses (during analyze)	: 0
1800.05/1771.61	c number of learned constraints concerned by reduction	: 0
1800.05/1771.61	c number of learning phase by resolution	: 0
1800.05/1771.61	c number of learning phase by cutting planes	: 0
1800.05/1771.61	c speed (assignments/second)	: 624.3063509346933
1800.05/1771.61	c non guided choices	4308
1800.05/1771.62	c learnt constraints type 
1800.05/1771.62	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 831
1800.05/1771.62	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 31
1800.05/1771.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 21969
1800.05/1771.62	s SATISFIABLE
1800.05/1771.62	c Found 49 solution(s)
1800.05/1771.62	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 
1800.05/1771.62	c objective function=11
1800.05/1771.62	c Total wall clock time (in seconds): 1771.503

Verifier Data 

OK	11

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-4109673-1466342878/watcher-4109673-1466342878 -o /tmp/evaluation-result-4109673-1466342878/solver-4109673-1466342878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466341820-24231 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109673-1466342878.wbo 

pid=28263
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.40 2.15 1.47 4/196 28266
/proc/meminfo: memFree=29218956/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28266/stat : 28266 (java) D 28263 28266 24214 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 36336084 9515008 175 33554432000 1073741824 1073778376 140736307503888 140736307486616 226084340624 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/28266/statm: 2323 175 133 9 0 71 0

[startup+0.100061 s]
/proc/loadavg: 2.40 2.15 1.47 4/196 28266
/proc/meminfo: memFree=29218956/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 4424 0 1 0 8 1 0 0 20 0 18 0 36336084 9787879424 6057 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2389619 6057 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200186 s]
/proc/loadavg: 2.40 2.15 1.47 4/196 28266
/proc/meminfo: memFree=29218956/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 4723 0 1 0 22 1 0 0 20 0 18 0 36336084 9787879424 6809 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2389619 6809 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300236 s]
/proc/loadavg: 2.40 2.15 1.47 4/196 28266
/proc/meminfo: memFree=29218956/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 5757 0 1 0 44 2 0 0 20 0 18 0 36336084 9787879424 8440 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2389619 8440 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700231 s]
/proc/loadavg: 2.40 2.15 1.47 4/196 28266
/proc/meminfo: memFree=29218956/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 11373 0 1 0 124 5 0 0 20 0 19 0 36336084 10060525568 13149 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2456183 13149 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 2.40 2.15 1.47 5/215 28291
/proc/meminfo: memFree=29143592/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 22081 0 1 0 212 11 0 0 20 0 19 0 36336084 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2456183 22632 2265 9 0 2446860 0
[pid=28266/tid=28268] ppid=28263 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/28266/task/28268/stat : 28268 (java) S 28263 28266 24214 0 -1 4202560 2427 0 1 0 33 0 0 0 20 0 19 0 36336085 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974472868728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28269] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28269/stat : 28269 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974461930280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28270] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28270/stat : 28270 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974315555496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28271] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28271/stat : 28271 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974314503208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28272] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28272/stat : 28272 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974313450408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28273] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28273/stat : 28273 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974312397096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28274] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28274/stat : 28274 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974311344296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28275] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28275/stat : 28275 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974310292008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28276] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28276/stat : 28276 (java) S 28263 28266 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974309239208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28277] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28277/stat : 28277 (java) S 28263 28266 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974297041640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28278] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28278/stat : 28278 (java) S 28263 28266 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974295987704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28279] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28279/stat : 28279 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974294935304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28280] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28280/stat : 28280 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336090 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974293883792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28281] ppid=28263 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/28266/task/28281/stat : 28281 (java) S 28263 28266 24214 0 -1 4202560 6615 0 0 0 65 2 0 0 20 0 19 0 36336090 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974292830392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28282] ppid=28263 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/28266/task/28282/stat : 28282 (java) S 28263 28266 24214 0 -1 4202560 11692 0 0 0 71 2 0 0 20 0 19 0 36336090 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974291777592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28283] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28283/stat : 28283 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336090 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974290725496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28284] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28284/stat : 28284 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336091 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974289672904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28288] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28288/stat : 28288 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36336120 10060525568 22632 33554432000 1073741824 1073778376 140735192063424 139974285461032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9824732

[startup+3.10088 s]
/proc/loadavg: 2.28 2.13 1.46 2/215 28297
/proc/meminfo: memFree=29131684/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 23555 0 1 0 248 15 0 0 20 0 19 0 36336084 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2456183 29333 2265 9 0 2446860 0
[pid=28266/tid=28268] ppid=28263 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/28266/task/28268/stat : 28268 (java) S 28263 28266 24214 0 -1 4202560 2431 0 1 0 35 0 0 0 20 0 19 0 36336085 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974472868728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28269] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28269/stat : 28269 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974461930280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28270] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28270/stat : 28270 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974315555496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28271] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28271/stat : 28271 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974314503208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28272] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28272/stat : 28272 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974313450408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28273] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28273/stat : 28273 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974312397096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28274] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28274/stat : 28274 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974311344296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28275] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28275/stat : 28275 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974310292008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28276] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28276/stat : 28276 (java) S 28263 28266 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974309239208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28277] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28277/stat : 28277 (java) S 28263 28266 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974297041640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28278] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28278/stat : 28278 (java) S 28263 28266 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974295987704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28279] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28279/stat : 28279 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974294935304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28280] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28280/stat : 28280 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336090 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974293883792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28281] ppid=28263 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/28266/task/28281/stat : 28281 (java) S 28263 28266 24214 0 -1 4202560 8041 0 0 0 77 2 0 0 20 0 19 0 36336090 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974292830392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28282] ppid=28263 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/28266/task/28282/stat : 28282 (java) S 28263 28266 24214 0 -1 4202560 11707 0 0 0 83 2 0 0 20 0 19 0 36336090 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974291777592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28283] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28283/stat : 28283 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336090 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974290725496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28284] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28284/stat : 28284 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336091 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974289672904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28288] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28288/stat : 28288 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36336120 10060525568 29333 33554432000 1073741824 1073778376 140735192063424 139974285461032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 2.28 2.13 1.46 3/215 28317
/proc/meminfo: memFree=29035044/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9824732 CPUtime=3.93 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 25509 0 1 0 370 23 0 0 20 0 19 0 36336084 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2456183 48650 2283 9 0 2446860 0
[pid=28266/tid=28268] ppid=28263 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/28266/task/28268/stat : 28268 (java) S 28263 28266 24214 0 -1 4202560 2435 0 1 0 37 0 0 0 20 0 19 0 36336085 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974472868728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28269] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28269/stat : 28269 (java) S 28263 28266 24214 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974461930280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28270] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28270/stat : 28270 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974315555496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28271] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28271/stat : 28271 (java) S 28263 28266 24214 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974314503208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28272] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28272/stat : 28272 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974313450408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28273] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28273/stat : 28273 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974312397096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28274] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28274/stat : 28274 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974311344296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28275] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28275/stat : 28275 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974310292008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28276] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28276/stat : 28276 (java) S 28263 28266 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36336087 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974309239208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28277] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28277/stat : 28277 (java) S 28263 28266 24214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974297041640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28278] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28278/stat : 28278 (java) S 28263 28266 24214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974295987704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28279] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28279/stat : 28279 (java) S 28263 28266 24214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36336088 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974294935304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28280] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28280/stat : 28280 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336090 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974293883792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28281] ppid=28263 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/28266/task/28281/stat : 28281 (java) S 28263 28266 24214 0 -1 4202560 9878 0 0 0 108 3 0 0 20 0 19 0 36336090 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974292830392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28282] ppid=28263 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/28266/task/28282/stat : 28282 (java) S 28263 28266 24214 0 -1 4202560 11710 0 0 0 94 2 0 0 20 0 19 0 36336090 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974291777592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28283] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28283/stat : 28283 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36336090 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974290725496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28284] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28284/stat : 28284 (java) S 28263 28266 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36336091 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974289672904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28288] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28288/stat : 28288 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36336120 10060525568 48650 33554432000 1073741824 1073778376 140735192063424 139974285461032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9824732
heavy processes:

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

/proc/28266/task/28268/stat : 28268 (java) S 28263 28266 24214 0 -1 4202560 2537 0 1 0 109 41 0 0 20 0 21 0 36336085 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974472868792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28269] ppid=28263 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/28266/task/28269/stat : 28269 (java) S 28263 28266 24214 0 -1 4202560 668 0 0 0 466 16 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974461930280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28270] ppid=28263 vsize=9824732 CPUtime=4.85 cores=1,3,5,7
/proc/28266/task/28270/stat : 28270 (java) S 28263 28266 24214 0 -1 4202560 757 0 0 0 469 16 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974315555496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28271] ppid=28263 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/28266/task/28271/stat : 28271 (java) S 28263 28266 24214 0 -1 4202560 777 0 0 0 465 15 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974314503208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28272] ppid=28263 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/28266/task/28272/stat : 28272 (java) S 28263 28266 24214 0 -1 4202560 665 0 0 0 468 14 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974313450408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28273] ppid=28263 vsize=9824732 CPUtime=4.67 cores=1,3,5,7
/proc/28266/task/28273/stat : 28273 (java) S 28263 28266 24214 0 -1 4202560 698 0 0 0 450 17 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974312397096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28274] ppid=28263 vsize=9824732 CPUtime=4.85 cores=1,3,5,7
/proc/28266/task/28274/stat : 28274 (java) S 28263 28266 24214 0 -1 4202560 894 0 0 0 467 18 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974311344296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28275] ppid=28263 vsize=9824732 CPUtime=4.71 cores=1,3,5,7
/proc/28266/task/28275/stat : 28275 (java) S 28263 28266 24214 0 -1 4202560 772 0 0 0 455 16 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974310292008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28276] ppid=28263 vsize=9824732 CPUtime=4.64 cores=1,3,5,7
/proc/28266/task/28276/stat : 28276 (java) S 28263 28266 24214 0 -1 4202560 597 0 0 0 447 17 0 0 20 0 21 0 36336087 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974309239208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28277] ppid=28263 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/28266/task/28277/stat : 28277 (java) S 28263 28266 24214 0 -1 4202560 2357 0 0 0 395 13 0 0 20 0 21 0 36336088 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974297041640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28278] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28278/stat : 28278 (java) S 28263 28266 24214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36336088 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974295987704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28279] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28279/stat : 28279 (java) S 28263 28266 24214 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36336088 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974294935304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28280] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28280/stat : 28280 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36336090 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974293883792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28281] ppid=28263 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/28266/task/28281/stat : 28281 (java) S 28263 28266 24214 0 -1 4202560 16628 0 0 0 209 4 0 0 20 0 21 0 36336090 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974292830392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28282] ppid=28263 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/28266/task/28282/stat : 28282 (java) S 28263 28266 24214 0 -1 4202560 11714 0 0 0 129 2 0 0 20 0 21 0 36336090 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974291777592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28283] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28283/stat : 28283 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36336090 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974290725496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28284] ppid=28263 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/28266/task/28284/stat : 28284 (java) S 28263 28266 24214 0 -1 4202560 96 0 0 0 29 41 0 0 20 0 21 0 36336091 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974289672904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28288] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28288/stat : 28288 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36336120 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974285461032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28432] ppid=28263 vsize=9824732 CPUtime=1606.71 cores=1,3,5,7
/proc/28266/task/28432/stat : 28432 (java) R 28263 28266 24214 0 -1 4202560 2208 0 0 0 160626 45 0 0 20 0 21 0 36339758 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974288617360 139974344009389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28433] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28433/stat : 28433 (java) S 28263 28266 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36339761 10060525568 642097 33554432000 1073741824 1073778376 140735192063424 139974286513064 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1688.91
Current children cumulated vsize (KiB) 9824732

[startup+1722.3 s]
/proc/loadavg: 2.28 2.21 2.06 3/217 28662
/proc/meminfo: memFree=24993600/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9824732 CPUtime=1750.01 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 43588 0 1 0 174665 336 0 0 20 0 21 0 36336084 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2456183 646005 2296 9 0 2446860 0
[pid=28266/tid=28268] ppid=28263 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/28266/task/28268/stat : 28268 (java) S 28263 28266 24214 0 -1 4202560 2541 0 1 0 111 41 0 0 20 0 21 0 36336085 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974472868792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28269] ppid=28263 vsize=9824732 CPUtime=5.02 cores=1,3,5,7
/proc/28266/task/28269/stat : 28269 (java) S 28263 28266 24214 0 -1 4202560 671 0 0 0 486 16 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974461930280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28270] ppid=28263 vsize=9824732 CPUtime=5.03 cores=1,3,5,7
/proc/28266/task/28270/stat : 28270 (java) S 28263 28266 24214 0 -1 4202560 766 0 0 0 486 17 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974315555496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28271] ppid=28263 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/28266/task/28271/stat : 28271 (java) S 28263 28266 24214 0 -1 4202560 784 0 0 0 478 16 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974314503208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28272] ppid=28263 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/28266/task/28272/stat : 28272 (java) S 28263 28266 24214 0 -1 4202560 672 0 0 0 486 14 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974313450408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28273] ppid=28263 vsize=9824732 CPUtime=4.86 cores=1,3,5,7
/proc/28266/task/28273/stat : 28273 (java) S 28263 28266 24214 0 -1 4202560 702 0 0 0 469 17 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974312397096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28274] ppid=28263 vsize=9824732 CPUtime=4.99 cores=1,3,5,7
/proc/28266/task/28274/stat : 28274 (java) S 28263 28266 24214 0 -1 4202560 898 0 0 0 481 18 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974311344296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28275] ppid=28263 vsize=9824732 CPUtime=4.89 cores=1,3,5,7
/proc/28266/task/28275/stat : 28275 (java) S 28263 28266 24214 0 -1 4202560 778 0 0 0 473 16 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974310292008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28276] ppid=28263 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/28266/task/28276/stat : 28276 (java) S 28263 28266 24214 0 -1 4202560 603 0 0 0 475 17 0 0 20 0 21 0 36336087 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974309239208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28277] ppid=28263 vsize=9824732 CPUtime=4.09 cores=1,3,5,7
/proc/28266/task/28277/stat : 28277 (java) S 28263 28266 24214 0 -1 4202560 2361 0 0 0 396 13 0 0 20 0 21 0 36336088 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974297041640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28278] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28278/stat : 28278 (java) S 28263 28266 24214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36336088 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974295987704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28279] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28279/stat : 28279 (java) S 28263 28266 24214 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36336088 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974294935304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28280] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28280/stat : 28280 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36336090 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974293883792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28281] ppid=28263 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/28266/task/28281/stat : 28281 (java) S 28263 28266 24214 0 -1 4202560 16628 0 0 0 209 4 0 0 20 0 21 0 36336090 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974292830392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28282] ppid=28263 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/28266/task/28282/stat : 28282 (java) S 28263 28266 24214 0 -1 4202560 11714 0 0 0 129 2 0 0 20 0 21 0 36336090 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974291777592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28283] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28283/stat : 28283 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36336090 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974290725496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28284] ppid=28263 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/28266/task/28284/stat : 28284 (java) S 28263 28266 24214 0 -1 4202560 100 0 0 0 30 42 0 0 20 0 21 0 36336091 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974289672904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28288] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28288/stat : 28288 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36336120 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974285461032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28432] ppid=28263 vsize=9824732 CPUtime=1666.13 cores=1,3,5,7
/proc/28266/task/28432/stat : 28432 (java) R 28263 28266 24214 0 -1 4202560 2215 0 0 0 166567 46 0 0 20 0 21 0 36339758 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974288617360 139974344009414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28433] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28433/stat : 28433 (java) S 28263 28266 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36339761 10060525568 646005 33554432000 1073741824 1073778376 140735192063424 139974286513064 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1750.01
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.6 s]
/proc/loadavg: 2.24 2.21 2.07 3/217 28664
/proc/meminfo: memFree=24933520/32872528 swapFree=1590544/1721360
[pid=28266] ppid=28263 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/28266/stat : 28266 (java) S 28263 28266 24214 0 -1 4202496 44093 0 1 0 179663 342 0 0 20 0 21 0 36336084 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 140735192054560 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 2456183 666927 2296 9 0 2446860 0
[pid=28266/tid=28268] ppid=28263 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/28266/task/28268/stat : 28268 (java) S 28263 28266 24214 0 -1 4202560 2545 0 1 0 113 42 0 0 20 0 21 0 36336085 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974472868792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28269] ppid=28263 vsize=9824732 CPUtime=5.11 cores=1,3,5,7
/proc/28266/task/28269/stat : 28269 (java) S 28263 28266 24214 0 -1 4202560 673 0 0 0 495 16 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974461930280 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28270] ppid=28263 vsize=9824732 CPUtime=5.16 cores=1,3,5,7
/proc/28266/task/28270/stat : 28270 (java) S 28263 28266 24214 0 -1 4202560 810 0 0 0 499 17 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974315555496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28271] ppid=28263 vsize=9824732 CPUtime=5.05 cores=1,3,5,7
/proc/28266/task/28271/stat : 28271 (java) S 28263 28266 24214 0 -1 4202560 850 0 0 0 489 16 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974314503208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28272] ppid=28263 vsize=9824732 CPUtime=5.17 cores=1,3,5,7
/proc/28266/task/28272/stat : 28272 (java) S 28263 28266 24214 0 -1 4202560 713 0 0 0 502 15 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974313450408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28273] ppid=28263 vsize=9824732 CPUtime=4.96 cores=1,3,5,7
/proc/28266/task/28273/stat : 28273 (java) S 28263 28266 24214 0 -1 4202560 724 0 0 0 479 17 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974312397096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28274] ppid=28263 vsize=9824732 CPUtime=5.15 cores=1,3,5,7
/proc/28266/task/28274/stat : 28274 (java) S 28263 28266 24214 0 -1 4202560 982 0 0 0 496 19 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974311344296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28266/tid=28275] ppid=28263 vsize=9824732 CPUtime=5.04 cores=1,3,5,7
/proc/28266/task/28275/stat : 28275 (java) S 28263 28266 24214 0 -1 4202560 823 0 0 0 487 17 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974310292008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28276] ppid=28263 vsize=9824732 CPUtime=5.06 cores=1,3,5,7
/proc/28266/task/28276/stat : 28276 (java) S 28263 28266 24214 0 -1 4202560 653 0 0 0 488 18 0 0 20 0 21 0 36336087 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974309239208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28277] ppid=28263 vsize=9824732 CPUtime=4.09 cores=1,3,5,7
/proc/28266/task/28277/stat : 28277 (java) S 28263 28266 24214 0 -1 4202560 2483 0 0 0 396 13 0 0 20 0 21 0 36336088 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974297041640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28278] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28278/stat : 28278 (java) S 28263 28266 24214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36336088 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974295987704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28279] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28279/stat : 28279 (java) S 28263 28266 24214 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36336088 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974294935304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28280] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28280/stat : 28280 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36336090 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974293883792 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28281] ppid=28263 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/28266/task/28281/stat : 28281 (java) S 28263 28266 24214 0 -1 4202560 16628 0 0 0 209 4 0 0 20 0 21 0 36336090 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974292830392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28266/tid=28282] ppid=28263 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/28266/task/28282/stat : 28282 (java) S 28263 28266 24214 0 -1 4202560 11714 0 0 0 129 2 0 0 20 0 21 0 36336090 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974291777592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28283] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28283/stat : 28283 (java) S 28263 28266 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36336090 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974290725496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28284] ppid=28263 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/28266/task/28284/stat : 28284 (java) S 28263 28266 24214 0 -1 4202560 102 0 0 0 30 44 0 0 20 0 21 0 36336091 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974289672904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28288] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28288/stat : 28288 (java) S 28263 28266 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36336120 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974285461032 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28266/tid=28432] ppid=28263 vsize=9824732 CPUtime=1714.97 cores=1,3,5,7
/proc/28266/task/28432/stat : 28432 (java) R 28263 28266 24214 0 -1 4202560 2238 0 0 0 171449 48 0 0 20 0 21 0 36339758 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974288617088 139974344010500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28266/tid=28433] ppid=28263 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/28266/task/28433/stat : 28433 (java) S 28263 28266 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36339761 10060525568 666927 33554432000 1073741824 1073778376 140735192063424 139974286513064 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 28266 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28266 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=329524
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=961397
# CPU time returned by wait4() is 1796.29
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1771.65
CPU time (s): 1800.05
CPU user time (s): 1796.63
CPU system time (s): 3.42
CPU usage (%): 101.603
Max. virtual memory (cumulated for all children) (KiB): 9825000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.33
system time used= 3.9614
maximum resident set size= 2667800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44123
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84466
involuntary context switches= 84453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1415 second user time and 14.9637 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-19 15:27:58
IDJOB=4109673
IDBENCH=78887
IDSOLVER=2552
FILE ID=node120/4109673-1466342878
RUNJOBID= node120-1466341820-24231
PBS_JOBID= 19922033
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109673-1466342878/watcher-4109673-1466342878 -o /tmp/evaluation-result-4109673-1466342878/solver-4109673-1466342878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466341820-24231 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4109673-1466342878.wbo

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

MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b
RANDOM SEED=100575542

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29219236 kB
Buffers:          173892 kB
Cached:           343876 kB
SwapCached:         2280 kB
Active:           786484 kB
Inactive:         381524 kB
Active(anon):     649780 kB
Inactive(anon):     3076 kB
Active(file):     136704 kB
Inactive(file):   378448 kB
Unevictable:     1721360 kB
Mlocked:         1590544 kB
SwapTotal:      67108856 kB
SwapFree:       67099720 kB
Dirty:               968 kB
Writeback:             0 kB
AnonPages:       2378964 kB
Mapped:            16552 kB
Shmem:                 0 kB
Slab:             620244 kB
SReclaimable:      64112 kB
SUnreclaim:       556132 kB
KernelStack:        1616 kB
PageTables:         9052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2597760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    724992 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= 71720 MiB
End job on node120 at 2016-06-19 15:57:29