Trace number 4091946

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 PB16OPTIMUM 41.6677 38.0948

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
MD5SUMd310a80e65163d39f069d6307e99d88f
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 benchmark60.4388
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 721
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4091946-1466079267.wbo
0.11/0.11	c reading problem ... 
0.48/0.33	c ... done. Wall clock time 0.22s.
0.48/0.33	c declared #vars     231
0.48/0.33	c internal #vars     2070
0.48/0.33	c #constraints  2707
0.48/0.33	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.48/0.33	c constraints type 
0.48/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2610
0.48/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 9
0.48/0.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74
0.48/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.48/0.33	c 2707 constraints processed.
0.48/0.33	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.48/0.33	c constraints type 
0.48/0.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74
0.48/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2610
0.48/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9
0.48/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
0.48/0.33	c 2707 constraints processed.
0.48/0.33	c objective function length is 1839 literals
0.77/0.44	c And the winner is solver0
1.16/0.83	c SATISFIABLE
1.16/0.83	c OPTIMIZING...
1.16/0.83	c Got one! Elapsed wall clock time (in seconds):0.726
1.16/0.83	o 791
1.39/0.94	c And the winner is solver0
2.22/1.35	c Got one! Elapsed wall clock time (in seconds):1.241
2.22/1.35	o 622
2.22/1.36	c And the winner is solver0
2.29/1.86	c Got one! Elapsed wall clock time (in seconds):1.75
2.29/1.86	o 552
2.29/1.89	c And the winner is solver0
2.49/2.36	c Got one! Elapsed wall clock time (in seconds):2.257
2.49/2.36	o 330
2.49/2.39	c And the winner is solver0
2.58/2.87	c Got one! Elapsed wall clock time (in seconds):2.762
2.58/2.87	o 310
2.58/2.89	c And the winner is solver0
2.73/3.37	c Got one! Elapsed wall clock time (in seconds):3.267
2.73/3.37	o 309
2.73/3.38	c And the winner is solver0
2.74/3.88	c Got one! Elapsed wall clock time (in seconds):3.771
2.74/3.88	o 308
2.81/3.90	c And the winner is solver0
2.83/4.38	c Got one! Elapsed wall clock time (in seconds):4.276
2.83/4.38	o 298
2.89/4.40	c And the winner is solver0
2.92/4.89	c Got one! Elapsed wall clock time (in seconds):4.779
2.92/4.89	o 288
2.94/4.91	c And the winner is solver0
2.98/5.39	c Got one! Elapsed wall clock time (in seconds):5.282
2.98/5.39	o 183
2.99/5.41	c And the winner is solver0
3.03/5.89	c Got one! Elapsed wall clock time (in seconds):5.785
3.03/5.89	o 166
3.03/5.90	c And the winner is solver0
3.03/6.39	c Got one! Elapsed wall clock time (in seconds):6.289
3.03/6.39	o 152
4.09/6.80	c And the winner is solver0
4.12/6.90	c Got one! Elapsed wall clock time (in seconds):6.792
4.12/6.90	o 148
4.12/6.92	c And the winner is solver0
4.18/7.40	c Got one! Elapsed wall clock time (in seconds):7.294
4.18/7.40	o 133
4.18/7.46	c And the winner is solver0
4.30/7.90	c Got one! Elapsed wall clock time (in seconds):7.797
4.30/7.90	o 130
4.30/7.93	c And the winner is solver0
4.37/8.41	c Got one! Elapsed wall clock time (in seconds):8.3
4.37/8.41	o 129
4.37/8.44	c And the winner is solver0
4.48/8.91	c Got one! Elapsed wall clock time (in seconds):8.803
4.48/8.91	o 121
4.48/8.99	c And the winner is solver0
4.65/9.41	c Got one! Elapsed wall clock time (in seconds):9.306
4.65/9.41	o 119
5.24/9.71	c And the winner is solver0
5.27/9.92	c Got one! Elapsed wall clock time (in seconds):9.808
5.27/9.92	o 118
5.27/9.95	c And the winner is solver0
5.36/10.42	c Got one! Elapsed wall clock time (in seconds):10.311
5.36/10.42	o 117
6.19/10.81	c cleaning 4965 clauses out of 9946 with flag 10747/9946
6.42/10.97	c And the winner is solver0
6.58/11.42	c Got one! Elapsed wall clock time (in seconds):11.314
6.58/11.42	o 116
6.58/11.47	c And the winner is solver0
6.71/11.92	c Got one! Elapsed wall clock time (in seconds):11.817
6.71/11.92	o 101
6.90/12.06	c And the winner is solver0
7.05/12.43	c Got one! Elapsed wall clock time (in seconds):12.32
7.05/12.43	o 89
7.18/12.51	c And the winner is solver0
7.22/12.93	c Got one! Elapsed wall clock time (in seconds):12.823
7.22/12.93	o 85
7.35/13.03	c And the winner is solver0
7.44/13.43	c Got one! Elapsed wall clock time (in seconds):13.327
7.44/13.43	o 84
8.64/14.09	c cleaning 6387 clauses out of 12775 with flag 28617/17740
10.10/14.76	c cleaning 6182 clauses out of 12388 with flag 70301/23740
11.53/15.45	c cleaning 6593 clauses out of 13207 with flag 127342/30741
12.32/15.87	c And the winner is solver0
12.50/15.94	c Got one! Elapsed wall clock time (in seconds):15.832
12.50/15.94	o 76
12.50/15.97	c And the winner is solver0
12.61/16.44	c Got one! Elapsed wall clock time (in seconds):16.337
12.61/16.44	o 67
12.61/16.46	c And the winner is solver0
12.66/16.95	c Got one! Elapsed wall clock time (in seconds):16.843
12.66/16.95	o 59
12.76/17.05	c And the winner is solver0
12.88/17.46	c Got one! Elapsed wall clock time (in seconds):17.349
12.88/17.46	o 58
12.95/17.52	c And the winner is solver0
13.02/17.96	c Got one! Elapsed wall clock time (in seconds):17.857
13.02/17.96	o 57
13.08/18.06	c And the winner is solver0
13.31/18.47	c Got one! Elapsed wall clock time (in seconds):18.366
13.31/18.47	o 49
13.34/18.51	c And the winner is solver0
13.40/18.98	c Got one! Elapsed wall clock time (in seconds):18.874
13.40/18.98	o 45
13.70/19.10	c cleaning 7185 clauses out of 14393 with flag 6301/38520
14.30/19.44	c And the winner is solver0
14.30/19.49	c Got one! Elapsed wall clock time (in seconds):19.383
14.30/19.49	o 44
14.80/19.74	c cleaning 6501 clauses out of 13016 with flag 15636/44328
15.67/20.19	c And the winner is solver0
15.87/20.50	c Got one! Elapsed wall clock time (in seconds):20.394
15.87/20.50	o 42
15.87/20.57	c And the winner is solver0
16.02/21.01	c Got one! Elapsed wall clock time (in seconds):20.906
16.02/21.01	o 38
16.18/21.13	c cleaning 6525 clauses out of 13062 with flag 7099/50875
17.18/21.62	c And the winner is solver0
17.25/22.03	c Got one! Elapsed wall clock time (in seconds):21.919
17.25/22.03	o 18
18.24/22.58	c cleaning 8494 clauses out of 16998 with flag 45924/61336
18.44/22.67	c And the winner is solver0
18.64/23.04	c Got one! Elapsed wall clock time (in seconds):22.935
18.64/23.04	o 17
19.15/23.37	c cleaning 6939 clauses out of 13896 with flag 33163/66728
19.55/23.52	c And the winner is solver0
19.55/23.56	c Got one! Elapsed wall clock time (in seconds):23.455
19.55/23.56	o 15
19.67/23.67	c And the winner is solver0
19.83/24.08	c Got one! Elapsed wall clock time (in seconds):23.976
19.83/24.08	o 14
19.85/24.15	c And the winner is solver0
19.97/24.60	c Got one! Elapsed wall clock time (in seconds):24.496
19.97/24.60	o 13
20.34/24.89	c cleaning 6796 clauses out of 13601 with flag 27648/73372
21.62/25.43	c cleaning 6395 clauses out of 12805 with flag 83905/79372
22.80/26.04	c cleaning 6702 clauses out of 13407 with flag 154519/86369
22.80/26.07	c And the winner is solver0
22.97/26.12	c Got one! Elapsed wall clock time (in seconds):26.018
22.97/26.12	o 12
23.09/26.21	c And the winner is solver0
23.16/26.65	c Got one! Elapsed wall clock time (in seconds):26.541
23.16/26.65	o 10
23.83/27.06	c cleaning 6442 clauses out of 12899 with flag 40739/92563
23.83/27.09	c And the winner is solver0
24.03/27.17	c Got one! Elapsed wall clock time (in seconds):27.065
24.03/27.17	o 9
24.27/27.30	c And the winner is solver0
24.31/27.70	c Got one! Elapsed wall clock time (in seconds):27.59
24.31/27.70	o 8
24.89/28.01	c cleaning 6129 clauses out of 12285 with flag 30626/98391
24.89/28.05	c And the winner is solver0
25.03/28.23	c Got one! Elapsed wall clock time (in seconds):28.12
25.03/28.23	o 7
26.02/28.71	c cleaning 5957 clauses out of 11917 with flag 45239/104152
26.20/28.88	c And the winner is solver0
26.39/29.26	c Got one! Elapsed wall clock time (in seconds):29.148
26.39/29.26	o 6
27.05/29.61	c cleaning 5963 clauses out of 11949 with flag 32878/110141
27.85/30.00	c And the winner is solver0
27.89/30.28	c Got one! Elapsed wall clock time (in seconds):30.177
27.89/30.28	o 5
28.08/30.40	c cleaning 5911 clauses out of 11831 with flag 6582/115986
28.90/30.85	c cleaning 5953 clauses out of 11921 with flag 50648/121987
30.15/31.49	c cleaning 6477 clauses out of 12966 with flag 110918/128985
31.37/32.07	c And the winner is solver0
31.52/32.31	c Got one! Elapsed wall clock time (in seconds):32.207
31.52/32.31	o 4
32.45/32.81	c cleaning 9282 clauses out of 18565 with flag 33549/141063
33.26/33.25	c cleaning 7638 clauses out of 15280 with flag 67869/147061
33.88/33.50	c And the winner is solver0
33.92/33.85	c Got one! Elapsed wall clock time (in seconds):33.741
33.92/33.85	o 3
34.18/34.02	c cleaning 6709 clauses out of 13439 with flag 11499/152859
34.60/34.21	c And the winner is solver0
34.66/34.39	c Got one! Elapsed wall clock time (in seconds):34.279
34.66/34.39	o 2
34.85/34.56	c cleaning 5881 clauses out of 11784 with flag 10519/157913
35.44/34.89	c cleaning 5936 clauses out of 11904 with flag 41635/163914
36.26/35.23	c cleaning 6473 clauses out of 12963 with flag 75551/170909
37.30/35.70	c cleaning 7235 clauses out of 14491 with flag 116425/178910
38.30/36.23	c cleaning 8113 clauses out of 16255 with flag 160909/187909
39.50/36.83	c cleaning 9069 clauses out of 18143 with flag 211831/197910
40.92/37.54	c cleaning 10034 clauses out of 20070 with flag 265166/208910
41.30/37.74	c And the winner is solver0
41.48/38.08	c >>>>>>>>>> Solver number 0 (51 answers) <<<<<<<<<<<<<<<<<<
41.48/38.08	c starts		: 141
41.48/38.08	c conflicts		: 213034
41.48/38.08	c decisions		: 426174
41.48/38.08	c propagations		: 20853446
41.48/38.08	c inspects		: 196461602
41.48/38.08	c shortcuts		: 0
41.48/38.08	c learnt literals	: 24
41.48/38.08	c learnt binary clauses	: 194
41.48/38.08	c learnt ternary clauses	: 754
41.48/38.08	c learnt constraints	: 213009
41.48/38.08	c ignored constraints	: 0
41.48/38.08	c root simplifications	: 0
41.48/38.08	c removed literals (reason simplification)	: 965633
41.48/38.08	c reason swapping (by a shorter reason)	: 0
41.48/38.08	c Calls to reduceDB	: 29
41.48/38.08	c Number of update (reduction) of LBD	: 93709
41.48/38.08	c Imported unit clauses	: 0
41.48/38.08	c number of reductions to clauses (during analyze)	: 0
41.48/38.08	c number of learned constraints concerned by reduction	: 0
41.48/38.08	c number of learning phase by resolution	: 0
41.48/38.08	c number of learning phase by cutting planes	: 0
41.48/38.08	c speed (assignments/second)	: 552584.8216651651
41.48/38.08	c non guided choices	6121
41.48/38.08	c learnt constraints type 
41.48/38.08	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
41.48/38.08	c starts		: 67
41.48/38.08	c conflicts		: 2756
41.48/38.08	c decisions		: 76499
41.48/38.08	c propagations		: 232146
41.48/38.08	c inspects		: 23401092
41.48/38.08	c shortcuts		: 0
41.48/38.08	c learnt literals	: 0
41.48/38.08	c learnt binary clauses	: 0
41.48/38.08	c learnt ternary clauses	: 0
41.48/38.08	c learnt constraints	: 2720
41.48/38.08	c ignored constraints	: 0
41.48/38.08	c root simplifications	: 0
41.48/38.08	c removed literals (reason simplification)	: 0
41.48/38.08	c reason swapping (by a shorter reason)	: 0
41.48/38.08	c Calls to reduceDB	: 0
41.48/38.08	c Number of update (reduction) of LBD	: 0
41.48/38.08	c Imported unit clauses	: 0
41.48/38.08	c number of reductions to clauses (during analyze)	: 0
41.48/38.08	c number of learned constraints concerned by reduction	: 0
41.48/38.08	c number of learning phase by resolution	: 0
41.48/38.08	c number of learning phase by cutting planes	: 0
41.48/38.08	c speed (assignments/second)	: 64413.42952275249
41.48/38.08	c non guided choices	5092
41.48/38.08	c learnt constraints type 
41.48/38.08	s OPTIMUM FOUND
41.48/38.08	c Found 50 solution(s)
41.48/38.08	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 
41.48/38.08	c objective function=2
41.48/38.08	c Total wall clock time (in seconds): 37.977

Verifier Data 

OK	2

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-4091946-1466079267/watcher-4091946-1466079267 -o /tmp/evaluation-result-4091946-1466079267/solver-4091946-1466079267 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466075444-9509 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091946-1466079267.wbo 

pid=13844
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.62 2.51 2.37 3/196 13847
/proc/meminfo: memFree=26773632/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 9973280 98570240 977 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 24065 977 743 9 0 16771 0
[pid=13847/tid=13848] ppid=13844 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) R 13844 13847 6847 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 9973281 98570240 977 33554432000 1073741824 1073778376 140735813511360 140526637178408 270707541376 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.62 2.51 2.37 3/196 13847
/proc/meminfo: memFree=26773632/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 4562 0 1 0 10 1 0 0 20 0 18 0 9973280 9787879424 5677 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2389619 5677 2156 9 0 2380296 0
[pid=13847/tid=13848] ppid=13844 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) R 13844 13847 6847 0 -1 4202560 2440 0 1 0 6 2 0 0 20 0 18 0 9973281 9787879424 5677 33554432000 1073741824 1073778376 140735813511360 140526637181856 270710924557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200284 s]
/proc/loadavg: 2.62 2.51 2.37 3/196 13847
/proc/meminfo: memFree=26773632/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 4830 0 1 0 24 1 0 0 20 0 18 0 9973280 9787879424 6416 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2389619 6416 2212 9 0 2380296 0
[pid=13847/tid=13848] ppid=13844 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) R 13844 13847 6847 0 -1 4202560 2459 0 1 0 16 2 0 0 20 0 18 0 9973281 9787879424 6416 33554432000 1073741824 1073778376 140735813511360 140526637181856 140526644947653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300333 s]
/proc/loadavg: 2.62 2.51 2.37 3/196 13847
/proc/meminfo: memFree=26773632/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 5802 0 1 0 46 2 0 0 20 0 18 0 9973280 9787879424 8518 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2389619 8518 2231 9 0 2380296 0
[pid=13847/tid=13848] ppid=13844 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) R 13844 13847 6847 0 -1 4202560 2462 0 1 0 26 2 0 0 20 0 18 0 9973281 9787879424 8518 33554432000 1073741824 1073778376 140735813511360 140526637182584 270710914104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700293 s]
/proc/loadavg: 2.62 2.51 2.37 3/196 13847
/proc/meminfo: memFree=26773632/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 10257 0 1 0 111 5 0 0 20 0 19 0 9973280 10060525568 12404 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2456183 12404 2256 9 0 2446860 0
[pid=13847/tid=13848] ppid=13844 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) S 13844 13847 6847 0 -1 4202560 2479 0 1 0 30 2 0 0 20 0 19 0 9973281 10060525568 12404 33554432000 1073741824 1073778376 140735813511360 140526637183864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 2.62 2.51 2.37 4/215 13872
/proc/meminfo: memFree=26698116/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 25299 0 1 0 219 10 0 0 20 0 19 0 9973280 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2456183 23238 2265 9 0 2446860 0
[pid=13847/tid=13848] ppid=13844 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) S 13844 13847 6847 0 -1 4202560 2480 0 1 0 32 2 0 0 20 0 19 0 9973281 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526637183864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13850] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526481078440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13851] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526480025896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13852] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526478973352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13853] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526477920808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13854] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526476868264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13855] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526475815720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13856] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526474763176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13857] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526473710632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13858] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526461511784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13859] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526460458104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13860] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526459405448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13861] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526458354192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13862] ppid=13844 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6847 0 -1 4202560 9121 0 0 0 73 2 0 0 20 0 19 0 9973285 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526457301560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13863] ppid=13844 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6847 0 -1 4202560 12344 0 0 0 70 3 0 0 20 0 19 0 9973285 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526456249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13864] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13864/stat : 13864 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526455196664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13865] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13865/stat : 13865 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526454144328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13869] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13869/stat : 13869 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9973315 10060525568 23238 33554432000 1073741824 1073778376 140735813511360 140526449833128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 2.49 2.49 2.36 2/215 13878
/proc/meminfo: memFree=26677572/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 25902 0 1 0 257 16 0 0 20 0 19 0 9973280 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2456183 30105 2266 9 0 2446860 0
[pid=13847/tid=13848] ppid=13844 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) S 13844 13847 6847 0 -1 4202560 2484 0 1 0 33 2 0 0 20 0 19 0 9973281 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526637183864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13850] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526481078440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13851] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526480025896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13852] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526478973352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13853] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526477920808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13854] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526476868264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13855] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526475815720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13856] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526474763176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13857] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526473710632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13858] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526461511784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13859] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526460458104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13860] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526459405448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13861] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526458354192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13862] ppid=13844 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6847 0 -1 4202560 9592 0 0 0 86 2 0 0 20 0 19 0 9973285 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526457301560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13863] ppid=13844 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6847 0 -1 4202560 12443 0 0 0 84 3 0 0 20 0 19 0 9973285 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526456249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13864] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13864/stat : 13864 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526455196664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13865] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13865/stat : 13865 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526454144328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13869] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13869/stat : 13869 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9973315 10060525568 30105 33554432000 1073741824 1073778376 140735813511360 140526449833128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 9824732

[startup+6.30082 s]
/proc/loadavg: 2.49 2.49 2.36 2/215 13899
/proc/meminfo: memFree=26625552/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 25995 0 1 0 278 25 0 0 20 0 19 0 9973280 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2456183 40906 2270 9 0 2446860 0
[pid=13847/tid=13848] ppid=13844 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) S 13844 13847 6847 0 -1 4202560 2489 0 1 0 35 2 0 0 20 0 19 0 9973281 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526637183864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13850] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526481078440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13851] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526480025896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13852] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526478973352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13853] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526477920808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13854] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526476868264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13855] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526475815720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13856] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526474763176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13857] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9973282 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526473710632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13858] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526461511784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13859] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526460458104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13860] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526459405448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13861] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526458354192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13862] ppid=13844 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6847 0 -1 4202560 9600 0 0 0 93 2 0 0 20 0 19 0 9973285 10060525568 40906 33554432000 1073741824 1073778376 140735813511360 140526457301560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13863] ppid=13844 vsize=9824732 CPUtime=0.91 cores=1,3,5,7

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

[pid=13847/tid=13861] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526458354192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13862] ppid=13844 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6847 0 -1 4202560 9634 0 0 0 124 2 0 0 20 0 22 0 9973285 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526457301560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13863] ppid=13844 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6847 0 -1 4202560 12501 0 0 0 126 3 0 0 20 0 22 0 9973285 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526456249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13864] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13864/stat : 13864 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526455196664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13865] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13865/stat : 13865 (java) S 13844 13847 6847 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526454144328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13869] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13869/stat : 13869 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9973315 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526449833128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=14018] ppid=13844 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/13847/task/14018/stat : 14018 (java) R 13844 13847 6847 0 -1 4202560 5 0 0 0 76 0 0 0 20 0 22 0 9976723 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526451929616 140526510038727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=14019] ppid=13844 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/13847/task/14019/stat : 14019 (java) R 13844 13847 6847 0 -1 4202560 129 0 0 0 72 4 0 0 20 0 22 0 9976723 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526450885512 140526510109827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=14020] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/14020/stat : 14020 (java) S 13844 13847 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 9976729 10060525568 330964 33554432000 1073741824 1073778376 140735813511360 140526452990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 36.26
Current children cumulated vsize (KiB) 9824732

[startup+36.8009 s]
/proc/loadavg: 2.12 2.39 2.33 5/218 14020
/proc/meminfo: memFree=25281668/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9824732 CPUtime=39.5 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 29012 0 1 0 3807 143 0 0 20 0 22 0 9973280 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2456183 363610 2288 9 0 2446860 0
[pid=13847/tid=13848] ppid=13844 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) S 13844 13847 6847 0 -1 4202560 2510 0 1 0 86 2 0 0 20 0 22 0 9973281 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526637183864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13850] ppid=13844 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6847 0 -1 4202560 161 0 0 0 14 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526481078440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13851] ppid=13844 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6847 0 -1 4202560 79 0 0 0 14 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526480025896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13852] ppid=13844 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6847 0 -1 4202560 53 0 0 0 11 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526478973352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13853] ppid=13844 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6847 0 -1 4202560 159 0 0 0 12 4 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526477920808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13854] ppid=13844 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6847 0 -1 4202560 58 0 0 0 11 2 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526476868264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13855] ppid=13844 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6847 0 -1 4202560 161 0 0 0 16 4 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526475815720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13856] ppid=13844 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6847 0 -1 4202560 62 0 0 0 13 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526474763176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13857] ppid=13844 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6847 0 -1 4202560 179 0 0 0 15 5 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526473710632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13858] ppid=13844 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6847 0 -1 4202560 978 0 0 0 0 5 0 0 20 0 22 0 9973283 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526461511784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13859] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 9973283 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526460458104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13860] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6847 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 22 0 9973283 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526459405448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13861] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526458354192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13862] ppid=13844 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6847 0 -1 4202560 9634 0 0 0 124 2 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526457301560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13863] ppid=13844 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6847 0 -1 4202560 12501 0 0 0 126 3 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526456249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13864] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13864/stat : 13864 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526455196664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13865] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13865/stat : 13865 (java) S 13844 13847 6847 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526454144328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13869] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13869/stat : 13869 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9973315 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526449833128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=14018] ppid=13844 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/13847/task/14018/stat : 14018 (java) R 13844 13847 6847 0 -1 4202560 5 0 0 0 232 0 0 0 20 0 22 0 9976723 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526451929616 140526509999791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=14019] ppid=13844 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/13847/task/14019/stat : 14019 (java) R 13844 13847 6847 0 -1 4202560 183 0 0 0 226 6 0 0 20 0 22 0 9976723 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526450882976 140526510312396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=14020] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/14020/stat : 14020 (java) S 13844 13847 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 9976729 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526452990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 39.5
Current children cumulated vsize (KiB) 9824732

[startup+37.6009 s]
/proc/loadavg: 2.83 2.53 2.38 5/218 14020
/proc/meminfo: memFree=25234440/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9824732 CPUtime=41.1 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 29013 0 1 0 3967 143 0 0 20 0 22 0 9973280 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2456183 363610 2288 9 0 2446860 0
[pid=13847/tid=13848] ppid=13844 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) S 13844 13847 6847 0 -1 4202560 2510 0 1 0 86 2 0 0 20 0 22 0 9973281 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526637183864 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13850] ppid=13844 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6847 0 -1 4202560 161 0 0 0 14 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526481078440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13851] ppid=13844 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6847 0 -1 4202560 79 0 0 0 14 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526480025896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13852] ppid=13844 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6847 0 -1 4202560 53 0 0 0 11 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526478973352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13853] ppid=13844 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6847 0 -1 4202560 159 0 0 0 12 4 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526477920808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13854] ppid=13844 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6847 0 -1 4202560 58 0 0 0 11 2 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526476868264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13855] ppid=13844 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6847 0 -1 4202560 161 0 0 0 16 4 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526475815720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13856] ppid=13844 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6847 0 -1 4202560 62 0 0 0 13 3 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526474763176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13857] ppid=13844 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6847 0 -1 4202560 179 0 0 0 15 5 0 0 20 0 22 0 9973282 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526473710632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13858] ppid=13844 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6847 0 -1 4202560 978 0 0 0 0 5 0 0 20 0 22 0 9973283 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526461511784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13859] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 9973283 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526460458104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13860] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6847 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 22 0 9973283 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526459405448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13861] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526458354192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13862] ppid=13844 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6847 0 -1 4202560 9634 0 0 0 124 2 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526457301560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13863] ppid=13844 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6847 0 -1 4202560 12501 0 0 0 126 3 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526456249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13864] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13864/stat : 13864 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526455196664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13865] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13865/stat : 13865 (java) S 13844 13847 6847 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 9973285 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526454144328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13869] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13869/stat : 13869 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 9973315 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526449833128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=14018] ppid=13844 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/13847/task/14018/stat : 14018 (java) R 13844 13847 6847 0 -1 4202560 6 0 0 0 312 0 0 0 20 0 22 0 9976723 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526451938824 140526510004660 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=14019] ppid=13844 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/13847/task/14019/stat : 14019 (java) R 13844 13847 6847 0 -1 4202560 183 0 0 0 306 6 0 0 20 0 22 0 9976723 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526450883000 140526510313978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=14020] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/14020/stat : 14020 (java) S 13844 13847 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 9976729 10060525568 363610 33554432000 1073741824 1073778376 140735813511360 140526452990888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 41.1
Current children cumulated vsize (KiB) 9824732

[startup+38.0008 s]
/proc/loadavg: 2.83 2.53 2.38 5/218 14020
/proc/meminfo: memFree=25234440/32872528 swapFree=1541688/1694988
[pid=13847] ppid=13844 vsize=9824732 CPUtime=41.48 cores=1,3,5,7
/proc/13847/stat : 13847 (java) S 13844 13847 6847 0 -1 4202496 29013 0 1 0 4003 145 0 0 20 0 19 0 9973280 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140735813502496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13847/statm: 2456183 363602 2288 9 0 2446860 0
[pid=13847/tid=13848] ppid=13844 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/13847/task/13848/stat : 13848 (java) R 13844 13847 6847 0 -1 4202560 2510 0 1 0 93 2 0 0 20 0 19 0 9973281 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526637183544 140526510635413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13850] ppid=13844 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13847/task/13850/stat : 13850 (java) S 13844 13847 6847 0 -1 4202560 161 0 0 0 14 3 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526481078440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13851] ppid=13844 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/13847/task/13851/stat : 13851 (java) S 13844 13847 6847 0 -1 4202560 79 0 0 0 14 3 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526480025896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13852] ppid=13844 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/13847/task/13852/stat : 13852 (java) S 13844 13847 6847 0 -1 4202560 53 0 0 0 11 3 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526478973352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13853] ppid=13844 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13847/task/13853/stat : 13853 (java) S 13844 13847 6847 0 -1 4202560 159 0 0 0 12 4 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526477920808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13854] ppid=13844 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/13847/task/13854/stat : 13854 (java) S 13844 13847 6847 0 -1 4202560 58 0 0 0 11 2 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526476868264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13855] ppid=13844 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13847/task/13855/stat : 13855 (java) S 13844 13847 6847 0 -1 4202560 161 0 0 0 16 4 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526475815720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13856] ppid=13844 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/13847/task/13856/stat : 13856 (java) S 13844 13847 6847 0 -1 4202560 62 0 0 0 13 3 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526474763176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13857] ppid=13844 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/13847/task/13857/stat : 13857 (java) S 13844 13847 6847 0 -1 4202560 179 0 0 0 15 5 0 0 20 0 19 0 9973282 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526473710632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13858] ppid=13844 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/13847/task/13858/stat : 13858 (java) S 13844 13847 6847 0 -1 4202560 978 0 0 0 0 5 0 0 20 0 19 0 9973283 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526461511784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13859] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13859/stat : 13859 (java) S 13844 13847 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526460458104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13860] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13860/stat : 13860 (java) S 13844 13847 6847 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 9973283 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526459405448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13861] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13861/stat : 13861 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526458354192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13862] ppid=13844 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/13847/task/13862/stat : 13862 (java) S 13844 13847 6847 0 -1 4202560 9634 0 0 0 124 2 0 0 20 0 19 0 9973285 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526457301560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13847/tid=13863] ppid=13844 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/13847/task/13863/stat : 13863 (java) S 13844 13847 6847 0 -1 4202560 12501 0 0 0 127 3 0 0 20 0 19 0 9973285 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526456249016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13847/tid=13864] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13864/stat : 13864 (java) S 13844 13847 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526455196664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13847/tid=13865] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13865/stat : 13865 (java) S 13844 13847 6847 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 9973285 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526454144328 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13847/tid=13869] ppid=13844 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13847/task/13869/stat : 13869 (java) S 13844 13847 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9973315 10060525568 363602 33554432000 1073741824 1073778376 140735813511360 140526449833128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 38.0948
CPU time (s): 41.6677
CPU user time (s): 40.0649
CPU system time (s): 1.60276
CPU usage (%): 109.379
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.0649
system time used= 1.60276
maximum resident set size= 1454440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29020
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2897
involuntary context switches= 1974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.277957 second user time and 0.352946 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 14:14:27
IDJOB=4091946
IDBENCH=78986
IDSOLVER=2552
FILE ID=node125/4091946-1466079267
RUNJOBID= node125-1466075444-9509
PBS_JOBID= 19904014
Free space on /tmp= 71744 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.1900547389--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091946-1466079267/watcher-4091946-1466079267 -o /tmp/evaluation-result-4091946-1466079267/solver-4091946-1466079267 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466075444-9509 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4091946-1466079267.wbo

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

MD5SUM BENCH= d310a80e65163d39f069d6307e99d88f
RANDOM SEED=1508320462

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26774012 kB
Buffers:           23128 kB
Cached:            57616 kB
SwapCached:         2664 kB
Active:          3640596 kB
Inactive:          56460 kB
Active(anon):    3614840 kB
Inactive(anon):     3820 kB
Active(file):      25756 kB
Inactive(file):    52640 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096840 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:       5309924 kB
Mapped:            15312 kB
Shmem:                 0 kB
Slab:             565916 kB
SReclaimable:       9460 kB
SUnreclaim:       556456 kB
KernelStack:        1608 kB
PageTables:        14604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5603136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3717120 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 node125 at 2016-06-16 14:15:05