Trace number 4091952

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 62.5325 62.0121

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
MD5SUM908c51b3c7715396d94712713af78fd9
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark55.5386
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 constraints1868
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 94981
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94980
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4091952-1466079242.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     2099
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 => 2599
0.48/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 5
0.48/0.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85
0.48/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
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 => 85
0.48/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2599
0.48/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5
0.48/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18
0.48/0.33	c 2707 constraints processed.
0.48/0.33	c objective function length is 1868 literals
0.77/0.46	c And the winner is solver0
1.27/0.83	c SATISFIABLE
1.27/0.83	c OPTIMIZING...
1.27/0.83	c Got one! Elapsed wall clock time (in seconds):0.726
1.27/0.83	o 306
1.27/0.86	c And the winner is solver0
1.92/1.35	c Got one! Elapsed wall clock time (in seconds):1.241
1.92/1.35	o 304
1.92/1.37	c And the winner is solver0
2.08/1.86	c Got one! Elapsed wall clock time (in seconds):1.751
2.08/1.86	o 278
2.08/1.88	c And the winner is solver0
2.22/2.36	c Got one! Elapsed wall clock time (in seconds):2.257
2.22/2.36	o 277
2.98/2.63	c And the winner is solver0
3.08/2.87	c Got one! Elapsed wall clock time (in seconds):2.763
3.08/2.87	o 276
3.08/2.89	c And the winner is solver0
3.23/3.37	c Got one! Elapsed wall clock time (in seconds):3.268
3.23/3.37	o 263
3.23/3.40	c And the winner is solver0
3.34/3.88	c Got one! Elapsed wall clock time (in seconds):3.773
3.34/3.88	o 261
3.42/3.91	c And the winner is solver0
3.46/4.38	c Got one! Elapsed wall clock time (in seconds):4.277
3.46/4.38	o 257
3.46/4.40	c And the winner is solver0
3.53/4.89	c Got one! Elapsed wall clock time (in seconds):4.781
3.53/4.89	o 251
3.76/5.00	c And the winner is solver0
3.79/5.39	c Got one! Elapsed wall clock time (in seconds):5.284
3.79/5.39	o 250
4.58/5.70	c And the winner is solver0
4.61/5.89	c Got one! Elapsed wall clock time (in seconds):5.787
4.61/5.89	o 232
4.82/6.08	c And the winner is solver0
5.03/6.40	c Got one! Elapsed wall clock time (in seconds):6.289
5.03/6.40	o 231
5.05/6.48	c And the winner is solver0
5.23/6.90	c Got one! Elapsed wall clock time (in seconds):6.792
5.23/6.90	o 221
5.23/6.92	c And the winner is solver0
5.30/7.40	c Got one! Elapsed wall clock time (in seconds):7.295
5.30/7.40	o 217
5.30/7.42	c And the winner is solver0
5.36/7.90	c Got one! Elapsed wall clock time (in seconds):7.798
5.36/7.90	o 216
5.36/7.91	c And the winner is solver0
5.36/8.41	c Got one! Elapsed wall clock time (in seconds):8.301
5.36/8.41	o 207
5.36/8.43	c And the winner is solver0
5.42/8.91	c Got one! Elapsed wall clock time (in seconds):8.804
5.42/8.91	o 205
5.42/8.92	c And the winner is solver0
5.42/9.41	c Got one! Elapsed wall clock time (in seconds):9.307
5.42/9.41	o 181
5.42/9.42	c And the winner is solver0
5.44/9.92	c Got one! Elapsed wall clock time (in seconds):9.81
5.44/9.92	o 177
5.44/10.00	c And the winner is solver0
5.69/10.42	c Got one! Elapsed wall clock time (in seconds):10.313
5.69/10.42	o 174
6.08/10.60	c cleaning 4652 clauses out of 9314 with flag 4907/9314
6.31/10.74	c And the winner is solver0
6.45/10.92	c Got one! Elapsed wall clock time (in seconds):10.815
6.45/10.92	o 164
6.45/10.95	c And the winner is solver0
6.53/11.43	c Got one! Elapsed wall clock time (in seconds):11.318
6.53/11.43	o 163
6.70/11.53	c And the winner is solver0
6.78/11.93	c Got one! Elapsed wall clock time (in seconds):11.821
6.78/11.93	o 158
7.34/12.23	c And the winner is solver0
7.42/12.43	c Got one! Elapsed wall clock time (in seconds):12.324
7.42/12.43	o 156
7.42/12.46	c And the winner is solver0
7.60/12.93	c Got one! Elapsed wall clock time (in seconds):12.827
7.60/12.93	o 152
7.60/12.95	c And the winner is solver0
7.66/13.44	c Got one! Elapsed wall clock time (in seconds):13.329
7.66/13.44	o 146
8.45/13.85	c And the winner is solver0
8.59/13.94	c Got one! Elapsed wall clock time (in seconds):13.832
8.59/13.94	o 143
8.59/13.96	c And the winner is solver0
8.65/14.44	c Got one! Elapsed wall clock time (in seconds):14.335
8.65/14.44	o 134
8.78/14.50	c And the winner is solver0
8.81/14.94	c Got one! Elapsed wall clock time (in seconds):14.837
8.81/14.94	o 133
9.32/15.29	c cleaning 6670 clauses out of 13347 with flag 13833/17999
9.60/15.31	c And the winner is solver0
9.74/15.45	c Got one! Elapsed wall clock time (in seconds):15.34
9.74/15.45	o 132
10.41/15.73	c And the winner is solver0
10.50/15.95	c Got one! Elapsed wall clock time (in seconds):15.844
10.50/15.95	o 129
10.50/15.98	c And the winner is solver0
10.57/16.45	c Got one! Elapsed wall clock time (in seconds):16.347
10.57/16.45	o 128
10.88/16.65	c And the winner is solver0
11.01/16.95	c Got one! Elapsed wall clock time (in seconds):16.849
11.01/16.95	o 127
11.09/17.01	c And the winner is solver0
11.14/17.46	c Got one! Elapsed wall clock time (in seconds):17.352
11.14/17.46	o 126
11.63/17.80	c cleaning 6537 clauses out of 13097 with flag 11957/24419
12.53/18.04	c And the winner is solver1
12.84/18.46	c Got one! Elapsed wall clock time (in seconds):18.356
12.84/18.46	o 124
12.84/18.50	c And the winner is solver0
12.94/18.97	c Got one! Elapsed wall clock time (in seconds):18.859
12.94/18.97	o 123
13.01/19.00	c And the winner is solver0
13.04/19.47	c Got one! Elapsed wall clock time (in seconds):19.362
13.04/19.47	o 122
13.10/19.55	c And the winner is solver0
13.24/19.97	c Got one! Elapsed wall clock time (in seconds):19.865
13.24/19.97	o 121
13.29/20.03	c And the winner is solver0
13.40/20.48	c Got one! Elapsed wall clock time (in seconds):20.368
13.40/20.48	o 118
13.44/20.50	c And the winner is solver0
13.48/20.98	c Got one! Elapsed wall clock time (in seconds):20.871
13.48/20.98	o 117
13.53/21.03	c And the winner is solver0
13.61/21.48	c Got one! Elapsed wall clock time (in seconds):21.373
13.61/21.48	o 116
13.61/21.49	c And the winner is solver0
13.63/21.98	c Got one! Elapsed wall clock time (in seconds):21.876
13.63/21.98	o 96
14.05/22.20	c And the winner is solver0
14.11/22.48	c Got one! Elapsed wall clock time (in seconds):22.379
14.11/22.49	o 93
14.32/22.60	c And the winner is solver0
14.36/22.99	c Got one! Elapsed wall clock time (in seconds):22.884
14.36/22.99	o 88
14.37/23.08	c And the winner is solver0
14.60/23.49	c Got one! Elapsed wall clock time (in seconds):23.389
14.60/23.49	o 80
14.85/23.68	c And the winner is solver0
15.07/24.00	c Got one! Elapsed wall clock time (in seconds):23.895
15.07/24.00	o 79
15.25/24.11	c And the winner is solver0
15.32/24.51	c Got one! Elapsed wall clock time (in seconds):24.402
15.32/24.51	o 78
15.49/24.63	c And the winner is solver0
15.59/25.02	c Got one! Elapsed wall clock time (in seconds):24.909
15.59/25.02	o 72
15.75/25.11	c And the winner is solver0
15.81/25.52	c Got one! Elapsed wall clock time (in seconds):25.417
15.81/25.52	o 68
15.96/25.64	c And the winner is solver0
16.07/26.03	c Got one! Elapsed wall clock time (in seconds):25.926
16.07/26.03	o 64
16.19/26.15	c And the winner is solver0
16.32/26.54	c Got one! Elapsed wall clock time (in seconds):26.436
16.32/26.54	o 63
16.42/26.62	c And the winner is solver0
16.51/27.05	c Got one! Elapsed wall clock time (in seconds):26.947
16.51/27.05	o 50
16.59/27.10	c And the winner is solver0
16.62/27.56	c Got one! Elapsed wall clock time (in seconds):27.459
16.62/27.56	o 49
16.62/27.60	c And the winner is solver0
16.76/28.08	c Got one! Elapsed wall clock time (in seconds):27.974
16.76/28.08	o 41
16.79/28.13	c And the winner is solver0
16.87/28.59	c Got one! Elapsed wall clock time (in seconds):28.489
16.87/28.59	o 39
16.88/28.69	c And the winner is solver0
17.07/29.11	c Got one! Elapsed wall clock time (in seconds):29.006
17.07/29.11	o 36
17.28/29.23	c And the winner is solver0
17.38/29.63	c Got one! Elapsed wall clock time (in seconds):29.523
17.38/29.63	o 35
17.71/29.86	c And the winner is solver0
17.85/30.14	c Got one! Elapsed wall clock time (in seconds):30.039
17.85/30.14	o 34
17.94/30.27	c And the winner is solver0
18.13/30.66	c Got one! Elapsed wall clock time (in seconds):30.557
18.13/30.66	o 33
18.39/30.82	c cleaning 12399 clauses out of 24797 with flag 6887/42656
18.39/30.86	c And the winner is solver0
18.53/31.18	c Got one! Elapsed wall clock time (in seconds):31.075
18.53/31.18	o 32
18.74/31.35	c And the winner is solver0
18.88/31.70	c Got one! Elapsed wall clock time (in seconds):31.594
18.88/31.70	o 30
18.88/31.76	c And the winner is solver0
19.01/32.22	c Got one! Elapsed wall clock time (in seconds):32.114
19.01/32.22	o 29
19.15/32.35	c And the winner is solver0
19.28/32.74	c Got one! Elapsed wall clock time (in seconds):32.634
19.28/32.74	o 17
19.57/32.98	c And the winner is solver0
19.78/33.26	c Got one! Elapsed wall clock time (in seconds):33.155
19.78/33.26	o 15
19.83/33.37	c And the winner is solver0
20.02/33.79	c Got one! Elapsed wall clock time (in seconds):33.681
20.02/33.79	o 14
20.21/33.93	c cleaning 9983 clauses out of 19966 with flag 8715/50224
20.21/33.95	c And the winner is solver0
20.35/34.31	c Got one! Elapsed wall clock time (in seconds):34.207
20.35/34.31	o 13
20.35/34.34	c And the winner is solver0
29.71/43.54	c Got one! Elapsed wall clock time (in seconds):43.431
29.71/43.54	o 12
29.79/43.67	c And the winner is solver0
29.97/44.06	c Got one! Elapsed wall clock time (in seconds):43.959
29.97/44.06	o 11
30.20/44.20	c And the winner is solver0
30.25/44.59	c Got one! Elapsed wall clock time (in seconds):44.489
30.25/44.59	o 10
30.43/44.73	c And the winner is solver0
30.53/45.12	c Got one! Elapsed wall clock time (in seconds):45.019
30.53/45.12	o 9
30.85/45.35	c cleaning 8024 clauses out of 16054 with flag 17958/56295
31.65/45.72	c And the winner is solver0
31.86/46.15	c Got one! Elapsed wall clock time (in seconds):46.049
31.86/46.15	o 8
31.93/46.28	c cleaning 6548 clauses out of 13100 with flag 7318/61365
33.12/46.82	c cleaning 6271 clauses out of 12550 with flag 60697/67363
34.34/47.47	c cleaning 6638 clauses out of 13280 with flag 118810/74364
35.92/48.27	c cleaning 7319 clauses out of 14642 with flag 188531/82364
37.72/49.10	c And the winner is solver0
37.72/49.19	c Got one! Elapsed wall clock time (in seconds):49.082
37.72/49.19	o 7
39.00/49.87	c cleaning 10050 clauses out of 20103 with flag 41732/95144
39.60/50.11	c And the winner is solver0
39.66/50.22	c Got one! Elapsed wall clock time (in seconds):50.119
39.66/50.22	o 6
40.16/50.60	c cleaning 7789 clauses out of 15578 with flag 26961/100669
41.36/51.14	c cleaning 6897 clauses out of 13796 with flag 81654/106676
42.82/51.86	c cleaning 6946 clauses out of 13894 with flag 141297/113671
44.42/52.65	c cleaning 7471 clauses out of 14946 with flag 205008/121669
46.22/53.54	c cleaning 8237 clauses out of 16476 with flag 274735/130670
48.28/54.52	c cleaning 9113 clauses out of 18237 with flag 347906/140669
50.28/55.57	c cleaning 10061 clauses out of 20124 with flag 431063/151669
52.68/56.70	c And the winner is solver0
52.68/56.77	c Got one! Elapsed wall clock time (in seconds):56.66
52.68/56.77	o 5
54.13/57.53	c cleaning 13376 clauses out of 26754 with flag 37125/168361
55.39/58.19	c cleaning 9683 clauses out of 19377 with flag 80262/174360
56.79/58.81	c cleaning 8341 clauses out of 16691 with flag 128309/181358
58.21/59.51	c cleaning 8169 clauses out of 16348 with flag 179395/189358
59.79/60.30	c cleaning 8584 clauses out of 17175 with flag 237765/198358
61.63/61.27	c cleaning 9288 clauses out of 18579 with flag 302558/208358
62.03/61.49	c And the winner is solver0
62.42/62.00	c >>>>>>>>>> Solver number 0 (74 answers) <<<<<<<<<<<<<<<<<<
62.42/62.00	c starts		: 1776
62.42/62.00	c conflicts		: 211239
62.42/62.00	c decisions		: 492246
62.42/62.00	c propagations		: 26460811
62.42/62.00	c inspects		: 258381124
62.42/62.00	c shortcuts		: 0
62.42/62.00	c learnt literals	: 30
62.42/62.00	c learnt binary clauses	: 311
62.42/62.00	c learnt ternary clauses	: 1236
62.42/62.00	c learnt constraints	: 211208
62.42/62.00	c ignored constraints	: 0
62.42/62.00	c root simplifications	: 0
62.42/62.00	c removed literals (reason simplification)	: 1427941
62.42/62.00	c reason swapping (by a shorter reason)	: 0
62.42/62.00	c Calls to reduceDB	: 24
62.42/62.00	c Number of update (reduction) of LBD	: 108467
62.42/62.00	c Imported unit clauses	: 0
62.42/62.00	c number of reductions to clauses (during analyze)	: 0
62.42/62.00	c number of learned constraints concerned by reduction	: 0
62.42/62.00	c number of learning phase by resolution	: 0
62.42/62.00	c number of learning phase by cutting planes	: 0
62.42/62.00	c speed (assignments/second)	: 607805.4668657403
62.42/62.00	c non guided choices	9055
62.42/62.00	c learnt constraints type 
62.42/62.00	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
62.42/62.00	c starts		: 90
62.42/62.00	c conflicts		: 2901
62.42/62.00	c decisions		: 118876
62.42/62.00	c propagations		: 279496
62.42/62.00	c inspects		: 32072407
62.42/62.00	c shortcuts		: 0
62.42/62.00	c learnt literals	: 0
62.42/62.00	c learnt binary clauses	: 0
62.42/62.00	c learnt ternary clauses	: 0
62.42/62.00	c learnt constraints	: 2868
62.42/62.00	c ignored constraints	: 0
62.42/62.00	c root simplifications	: 0
62.42/62.00	c removed literals (reason simplification)	: 0
62.42/62.00	c reason swapping (by a shorter reason)	: 0
62.42/62.00	c Calls to reduceDB	: 0
62.42/62.00	c Number of update (reduction) of LBD	: 0
62.42/62.00	c Imported unit clauses	: 0
62.42/62.00	c number of reductions to clauses (during analyze)	: 0
62.42/62.00	c number of learned constraints concerned by reduction	: 0
62.42/62.00	c number of learning phase by resolution	: 0
62.42/62.00	c number of learning phase by cutting planes	: 0
62.42/62.00	c speed (assignments/second)	: 54440.20257109466
62.42/62.00	c non guided choices	6912
62.42/62.00	c learnt constraints type 
62.42/62.00	s OPTIMUM FOUND
62.42/62.00	c Found 74 solution(s)
62.42/62.00	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 
62.42/62.00	c objective function=5
62.42/62.00	c Total wall clock time (in seconds): 61.896

Verifier Data 

OK	5

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-4091952-1466079242/watcher-4091952-1466079242 -o /tmp/evaluation-result-4091952-1466079242/solver-4091952-1466079242 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466074776-15476 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091952-1466079242.wbo 

pid=21081
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: 1.71 1.90 2.17 3/196 21084
/proc/meminfo: memFree=29476108/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 9969002 98570240 977 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 24065 977 743 9 0 16771 0
[pid=21084/tid=21085] ppid=21081 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) R 21081 21084 9094 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 9969003 98570240 977 33554432000 1073741824 1073778376 140733195081024 139729299111464 243765429632 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100142 s]
/proc/loadavg: 1.71 1.90 2.17 3/196 21084
/proc/meminfo: memFree=29476108/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 4490 0 1 0 10 1 0 0 20 0 18 0 9969002 9787879424 6114 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2389619 6114 2156 9 0 2380296 0
[pid=21084/tid=21085] ppid=21081 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) R 21081 21084 9094 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 9969003 9787879424 6114 33554432000 1073741824 1073778376 140733195081024 139729299116776 243768812813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200366 s]
/proc/loadavg: 1.71 1.90 2.17 3/196 21084
/proc/meminfo: memFree=29476108/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 4757 0 1 0 24 1 0 0 20 0 18 0 9969002 9787879424 6833 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2389619 6836 2201 9 0 2380296 0
[pid=21084/tid=21085] ppid=21081 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) R 21081 21084 9094 0 -1 4202560 2402 0 1 0 16 1 0 0 20 0 18 0 9969003 9787879424 6837 33554432000 1073741824 1073778376 140733195081024 139729299116776 139729127456028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.30036 s]
/proc/loadavg: 1.71 1.90 2.17 3/196 21084
/proc/meminfo: memFree=29476108/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 5601 0 1 0 47 1 0 0 20 0 18 0 9969002 9787879424 8937 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2389619 8937 2231 9 0 2380296 0
[pid=21084/tid=21085] ppid=21081 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) R 21081 21084 9094 0 -1 4202560 2405 0 1 0 26 1 0 0 20 0 18 0 9969003 9787879424 8937 33554432000 1073741824 1073778376 140733195081024 139729299116776 139729303521128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700287 s]
/proc/loadavg: 1.71 1.90 2.17 3/196 21084
/proc/meminfo: memFree=29476108/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 10952 0 1 0 123 4 0 0 20 0 19 0 9969002 10060525568 12963 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2456183 12963 2260 9 0 2446860 0
[pid=21084/tid=21085] ppid=21081 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) S 21081 21084 9094 0 -1 4202560 2422 0 1 0 29 2 0 0 20 0 19 0 9969003 10060525568 12963 33554432000 1073741824 1073778376 140733195081024 139729299116920 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 1.71 1.90 2.17 3/215 21109
/proc/meminfo: memFree=29402324/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 22579 0 1 0 198 10 0 0 20 0 19 0 9969002 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2456183 21674 2266 9 0 2446860 0
[pid=21084/tid=21085] ppid=21081 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) S 21081 21084 9094 0 -1 4202560 2423 0 1 0 32 2 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729299116920 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21087] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21087/stat : 21087 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729260608040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21088] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21088/stat : 21088 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729259555240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21089] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21089/stat : 21089 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729258502440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21090] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21090/stat : 21090 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729257449640 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21091] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21091/stat : 21091 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729256397864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21092] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21092/stat : 21092 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729255345064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21093] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21093/stat : 21093 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729254292264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21094] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21094/stat : 21094 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729253239464 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21095] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21095/stat : 21095 (java) S 21081 21084 9094 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 9969004 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729123125736 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21096] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21096/stat : 21096 (java) S 21081 21084 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729122071800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21097] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21097/stat : 21097 (java) S 21081 21084 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729121018888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21098] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21098/stat : 21098 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729119967376 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21099] ppid=21081 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/21084/task/21099/stat : 21099 (java) S 21081 21084 9094 0 -1 4202560 12639 0 0 0 76 2 0 0 20 0 19 0 9969007 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729118915512 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21100] ppid=21081 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/21084/task/21100/stat : 21100 (java) S 21081 21084 9094 0 -1 4202560 6167 0 0 0 57 0 0 0 20 0 19 0 9969007 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729117862712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21101] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21101/stat : 21101 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729116810104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21102] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21102/stat : 21102 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139729115757512 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21106] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21106/stat : 21106 (java) S 21081 21084 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9969037 10060525568 21674 33554432000 1073741824 1073778376 140733195081024 139727835489064 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 1.71 1.90 2.17 2/215 21115
/proc/meminfo: memFree=29389236/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 25251 0 1 0 307 16 0 0 20 0 19 0 9969002 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2456183 34100 2270 9 0 2446860 0
[pid=21084/tid=21085] ppid=21081 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) S 21081 21084 9094 0 -1 4202560 2426 0 1 0 33 2 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729299116920 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21087] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21087/stat : 21087 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729260608040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21088] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21088/stat : 21088 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729259555240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21089] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21089/stat : 21089 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729258502440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21090] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21090/stat : 21090 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729257449640 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21091] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21091/stat : 21091 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729256397864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21092] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21092/stat : 21092 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729255345064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21093] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21093/stat : 21093 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729254292264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21094] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21094/stat : 21094 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9969003 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729253239464 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21095] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21095/stat : 21095 (java) S 21081 21084 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9969004 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729123125736 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21096] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21096/stat : 21096 (java) S 21081 21084 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729122071800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21097] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21097/stat : 21097 (java) S 21081 21084 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729121018888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21098] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21098/stat : 21098 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729119967376 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21099] ppid=21081 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/21084/task/21099/stat : 21099 (java) S 21081 21084 9094 0 -1 4202560 12698 0 0 0 105 2 0 0 20 0 19 0 9969007 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729118915512 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21100] ppid=21081 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/21084/task/21100/stat : 21100 (java) S 21081 21084 9094 0 -1 4202560 8734 0 0 0 79 2 0 0 20 0 19 0 9969007 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729117862712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21101] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21101/stat : 21101 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729116810104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21102] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21102/stat : 21102 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139729115757512 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21106] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21106/stat : 21106 (java) S 21081 21084 9094 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9969037 10060525568 34100 33554432000 1073741824 1073778376 140733195081024 139727835489064 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 9824732

############
# WARNING:
# current cumulated CPU time (3.33 s) is less than in the last sample (3.34 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999999 s) to the 'lost time'.

[startup+3.40774 s]
/proc/loadavg: 1.71 1.90 2.17 2/215 21121
/proc/meminfo: memFree=29349392/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 25261 0 1 0 316 18 0 0 20 0 20 0 9969002 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2456183 36150 2270 9 0 2446860 0
[pid=21084/tid=21085] ppid=21081 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) S 21081 21084 9094 0 -1 4202560 2426 0 1 0 34 2 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729299116920 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21087] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21087/stat : 21087 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729260608040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21088] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21088/stat : 21088 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729259555240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21089] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21089/stat : 21089 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729258502440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21090] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21090/stat : 21090 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729257449640 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21091] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21091/stat : 21091 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729256397864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21092] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21092/stat : 21092 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729255345064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21093] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21093/stat : 21093 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729254292264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21094] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21094/stat : 21094 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 9969003 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729253239464 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21095] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21095/stat : 21095 (java) S 21081 21084 9094 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 9969004 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729123125736 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21096] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21096/stat : 21096 (java) S 21081 21084 9094 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 9969005 10060525568 36150 33554432000 1073741824 1073778376 140733195081024 139729122071800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

/proc/21084/task/21099/stat : 21099 (java) S 21081 21084 9094 0 -1 4202560 12818 0 0 0 186 2 0 0 20 0 22 0 9969007 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139729118915512 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21100] ppid=21081 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/21084/task/21100/stat : 21100 (java) S 21081 21084 9094 0 -1 4202560 12422 0 0 0 146 3 0 0 20 0 22 0 9969007 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139729117862712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21101] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21101/stat : 21101 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9969007 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139729116810104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21102] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21102/stat : 21102 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9969007 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139729115757512 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21211] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21211/stat : 21211 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9970849 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139727835489960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21325] ppid=21081 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/21084/task/21325/stat : 21325 (java) R 21081 21084 9094 0 -1 4202560 2 0 0 0 233 0 0 0 20 0 22 0 9974683 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139729113648280 139729128406397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21326] ppid=21081 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/21084/task/21326/stat : 21326 (java) R 21081 21084 9094 0 -1 4202560 5 0 0 0 232 0 0 0 20 0 22 0 9974683 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139729112595360 139729128346064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21327] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21327/stat : 21327 (java) S 21081 21084 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 9974689 10060525568 239895 33554432000 1073741824 1073778376 140733195081024 139729114703016 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 9824732

[startup+60.8009 s]
/proc/loadavg: 1.87 1.89 2.15 4/218 21328
/proc/meminfo: memFree=28499792/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9824732 CPUtime=60.82 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 31067 0 1 0 5896 186 0 0 20 0 22 0 9969002 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2456183 244522 2288 9 0 2446860 0
[pid=21084/tid=21085] ppid=21081 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) S 21081 21084 9094 0 -1 4202560 2453 0 1 0 105 2 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729299116920 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21087] ppid=21081 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/21084/task/21087/stat : 21087 (java) S 21081 21084 9094 0 -1 4202560 59 0 0 0 16 2 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729260608040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21088] ppid=21081 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/21084/task/21088/stat : 21088 (java) S 21081 21084 9094 0 -1 4202560 90 0 0 0 22 4 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729259555240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21089] ppid=21081 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/21084/task/21089/stat : 21089 (java) S 21081 21084 9094 0 -1 4202560 75 0 0 0 22 4 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729258502440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21090] ppid=21081 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/21084/task/21090/stat : 21090 (java) S 21081 21084 9094 0 -1 4202560 64 0 0 0 14 3 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729257449640 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21091] ppid=21081 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/21084/task/21091/stat : 21091 (java) S 21081 21084 9094 0 -1 4202560 97 0 0 0 21 4 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729256397864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21092] ppid=21081 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/21084/task/21092/stat : 21092 (java) S 21081 21084 9094 0 -1 4202560 71 0 0 0 17 3 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729255345064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21093] ppid=21081 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/21084/task/21093/stat : 21093 (java) S 21081 21084 9094 0 -1 4202560 69 0 0 0 19 3 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729254292264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21094] ppid=21081 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/21084/task/21094/stat : 21094 (java) S 21081 21084 9094 0 -1 4202560 74 0 0 0 14 4 0 0 20 0 22 0 9969003 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729253239464 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21095] ppid=21081 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21084/task/21095/stat : 21095 (java) S 21081 21084 9094 0 -1 4202560 500 0 0 0 0 6 0 0 20 0 22 0 9969004 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729123125736 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21096] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21096/stat : 21096 (java) S 21081 21084 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 9969005 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729122071800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21097] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21097/stat : 21097 (java) S 21081 21084 9094 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 9969005 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729121018888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21098] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21098/stat : 21098 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9969007 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729119967376 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21099] ppid=21081 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/21084/task/21099/stat : 21099 (java) S 21081 21084 9094 0 -1 4202560 12818 0 0 0 186 2 0 0 20 0 22 0 9969007 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729118915512 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21100] ppid=21081 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/21084/task/21100/stat : 21100 (java) S 21081 21084 9094 0 -1 4202560 12422 0 0 0 147 3 0 0 20 0 22 0 9969007 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729117862712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21101] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21101/stat : 21101 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 9969007 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729116810104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21102] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21102/stat : 21102 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9969007 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729115757512 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21211] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21211/stat : 21211 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 9970849 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139727835489960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21325] ppid=21081 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/21084/task/21325/stat : 21325 (java) R 21081 21084 9094 0 -1 4202560 3 0 0 0 390 0 0 0 20 0 22 0 9974683 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729113650248 139729127954400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21326] ppid=21081 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/21084/task/21326/stat : 21326 (java) R 21081 21084 9094 0 -1 4202560 7 0 0 0 389 0 0 0 20 0 22 0 9974683 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729112596144 139729127998575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21327] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21327/stat : 21327 (java) S 21081 21084 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 9974689 10060525568 244522 33554432000 1073741824 1073778376 140733195081024 139729114703016 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 60.82
Current children cumulated vsize (KiB) 9824732

[startup+61.6009 s]
/proc/loadavg: 1.87 1.89 2.15 2/215 21328
/proc/meminfo: memFree=28481112/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9824732 CPUtime=62.22 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 31067 0 1 0 6034 188 0 0 20 0 19 0 9969002 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2456183 244516 2288 9 0 2446860 0
[pid=21084/tid=21085] ppid=21081 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) S 21081 21084 9094 0 -1 4202560 2453 0 1 0 105 2 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729299116920 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21087] ppid=21081 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/21084/task/21087/stat : 21087 (java) S 21081 21084 9094 0 -1 4202560 59 0 0 0 16 2 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729260608040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21088] ppid=21081 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/21084/task/21088/stat : 21088 (java) S 21081 21084 9094 0 -1 4202560 90 0 0 0 22 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729259555240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21089] ppid=21081 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/21084/task/21089/stat : 21089 (java) S 21081 21084 9094 0 -1 4202560 75 0 0 0 22 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729258502440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21090] ppid=21081 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/21084/task/21090/stat : 21090 (java) S 21081 21084 9094 0 -1 4202560 64 0 0 0 14 3 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729257449640 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21091] ppid=21081 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/21084/task/21091/stat : 21091 (java) S 21081 21084 9094 0 -1 4202560 97 0 0 0 21 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729256397864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21092] ppid=21081 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/21084/task/21092/stat : 21092 (java) S 21081 21084 9094 0 -1 4202560 71 0 0 0 17 3 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729255345064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21093] ppid=21081 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/21084/task/21093/stat : 21093 (java) S 21081 21084 9094 0 -1 4202560 69 0 0 0 19 3 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729254292264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21094] ppid=21081 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/21084/task/21094/stat : 21094 (java) S 21081 21084 9094 0 -1 4202560 74 0 0 0 14 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729253239464 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21095] ppid=21081 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21084/task/21095/stat : 21095 (java) S 21081 21084 9094 0 -1 4202560 500 0 0 0 0 6 0 0 20 0 19 0 9969004 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729123125736 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21096] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21096/stat : 21096 (java) S 21081 21084 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729122071800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21097] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21097/stat : 21097 (java) S 21081 21084 9094 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729121018888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21098] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21098/stat : 21098 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729119967376 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21099] ppid=21081 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/21084/task/21099/stat : 21099 (java) S 21081 21084 9094 0 -1 4202560 12818 0 0 0 186 2 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729118915512 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21100] ppid=21081 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/21084/task/21100/stat : 21100 (java) S 21081 21084 9094 0 -1 4202560 12422 0 0 0 147 3 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729117862712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21101] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21101/stat : 21101 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729116810104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21102] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21102/stat : 21102 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729115757512 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21211] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21211/stat : 21211 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9970849 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139727835489960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 62.22
Current children cumulated vsize (KiB) 9824732

[startup+62.0009 s]
/proc/loadavg: 1.87 1.89 2.15 2/215 21328
/proc/meminfo: memFree=28481112/32872528 swapFree=7268/7268
[pid=21084] ppid=21081 vsize=9824732 CPUtime=62.41 cores=1,3,5,7
/proc/21084/stat : 21084 (java) S 21081 21084 9094 0 -1 4202496 31068 0 1 0 6053 188 0 0 20 0 19 0 9969002 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 140733195072160 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21084/statm: 2456183 244516 2288 9 0 2446860 0
[pid=21084/tid=21085] ppid=21081 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/21084/task/21085/stat : 21085 (java) R 21081 21084 9094 0 -1 4202560 2453 0 1 0 123 2 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729299116680 139729127610195 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21087] ppid=21081 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/21084/task/21087/stat : 21087 (java) S 21081 21084 9094 0 -1 4202560 59 0 0 0 16 2 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729260608040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21088] ppid=21081 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/21084/task/21088/stat : 21088 (java) S 21081 21084 9094 0 -1 4202560 90 0 0 0 22 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729259555240 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21089] ppid=21081 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/21084/task/21089/stat : 21089 (java) S 21081 21084 9094 0 -1 4202560 75 0 0 0 22 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729258502440 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21090] ppid=21081 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/21084/task/21090/stat : 21090 (java) S 21081 21084 9094 0 -1 4202560 64 0 0 0 14 3 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729257449640 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21091] ppid=21081 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/21084/task/21091/stat : 21091 (java) S 21081 21084 9094 0 -1 4202560 97 0 0 0 21 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729256397864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21092] ppid=21081 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/21084/task/21092/stat : 21092 (java) S 21081 21084 9094 0 -1 4202560 71 0 0 0 17 3 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729255345064 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21093] ppid=21081 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/21084/task/21093/stat : 21093 (java) S 21081 21084 9094 0 -1 4202560 69 0 0 0 19 3 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729254292264 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21094] ppid=21081 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/21084/task/21094/stat : 21094 (java) S 21081 21084 9094 0 -1 4202560 74 0 0 0 14 4 0 0 20 0 19 0 9969003 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729253239464 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21095] ppid=21081 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21084/task/21095/stat : 21095 (java) S 21081 21084 9094 0 -1 4202560 500 0 0 0 0 6 0 0 20 0 19 0 9969004 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729123125736 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21096] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21096/stat : 21096 (java) S 21081 21084 9094 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729122071800 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21084/tid=21097] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21097/stat : 21097 (java) S 21081 21084 9094 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 19 0 9969005 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729121018888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21098] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21098/stat : 21098 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729119967376 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21099] ppid=21081 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/21084/task/21099/stat : 21099 (java) S 21081 21084 9094 0 -1 4202560 12818 0 0 0 187 2 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729118915512 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21084/tid=21100] ppid=21081 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/21084/task/21100/stat : 21100 (java) S 21081 21084 9094 0 -1 4202560 12423 0 0 0 148 3 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729117862712 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21101] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21101/stat : 21101 (java) S 21081 21084 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729116810104 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21084/tid=21102] ppid=21081 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/21084/task/21102/stat : 21102 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 9969007 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139729115757512 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21084/tid=21211] ppid=21081 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21084/task/21211/stat : 21211 (java) S 21081 21084 9094 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9970849 10060525568 244516 33554432000 1073741824 1073778376 140733195081024 139727835489960 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 62.41
Current children cumulated vsize (KiB) 9824732

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.00999999
#  lost CPU user time (s): 0.00999999
#  lost CPU system time (s): 0

Real time (s): 62.0121
CPU time (s): 62.5325
CPU user time (s): 60.5118
CPU system time (s): 2.02069
CPU usage (%): 100.839
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.5018
system time used= 2.02069
maximum resident set size= 978088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31079
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3988
involuntary context switches= 3286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.344947 second user time and 0.39194 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-16 14:14:02
IDJOB=4091952
IDBENCH=78982
IDSOLVER=2552
FILE ID=node151/4091952-1466079242
RUNJOBID= node151-1466074776-15476
PBS_JOBID= 19903998
Free space on /tmp= 71748 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.1900557362--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091952-1466079242/watcher-4091952-1466079242 -o /tmp/evaluation-result-4091952-1466079242/solver-4091952-1466079242 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466074776-15476 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4091952-1466079242.wbo

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

MD5SUM BENCH= 908c51b3c7715396d94712713af78fd9
RANDOM SEED=1717790570

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        29477280 kB
Buffers:           24512 kB
Cached:            66504 kB
SwapCached:        61596 kB
Active:          2555600 kB
Inactive:         119468 kB
Active(anon):    2523708 kB
Inactive(anon):    62308 kB
Active(file):      31892 kB
Inactive(file):    57160 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038984 kB
Dirty:               568 kB
Writeback:             0 kB
AnonPages:       2538416 kB
Mapped:            15312 kB
Shmem:                 0 kB
Slab:             567360 kB
SReclaimable:      10920 kB
SUnreclaim:       556440 kB
KernelStack:        1720 kB
PageTables:         9496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2885024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2471936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node151 at 2016-06-16 14:15:04