Trace number 4092279

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 145.692 92.0653

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
MD5SUM14bc8800f159591dc4e79c8dbc089eb4
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark69.9584
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 constraints2707
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 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
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-4092279-1466087031.wbo
0.11/0.11	c reading problem ... 
0.48/0.33	c ... done. Wall clock time 0.223s.
0.48/0.33	c declared #vars     231
0.48/0.33	c internal #vars     2938
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 => 2684
0.48/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
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.OriginalHTClausePB => 2684
0.48/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 23
0.48/0.33	c 2707 constraints processed.
0.48/0.33	c objective function length is 2707 literals
0.82/0.49	c And the winner is solver0
1.40/0.84	c SATISFIABLE
1.40/0.84	c OPTIMIZING...
1.40/0.84	c Got one! Elapsed wall clock time (in seconds):0.729
1.40/0.84	o 695
2.01/1.02	c And the winner is solver0
2.33/1.36	c Got one! Elapsed wall clock time (in seconds):1.254
2.33/1.36	o 301
2.45/1.41	c And the winner is solver0
2.55/1.87	c Got one! Elapsed wall clock time (in seconds):1.763
2.55/1.87	o 299
2.55/1.89	c And the winner is solver0
2.59/2.38	c Got one! Elapsed wall clock time (in seconds):2.273
2.59/2.38	o 273
3.14/2.65	c And the winner is solver0
3.29/2.89	c Got one! Elapsed wall clock time (in seconds):2.78
3.29/2.89	o 269
3.32/2.90	c And the winner is solver0
3.50/3.39	c Got one! Elapsed wall clock time (in seconds):3.286
3.50/3.39	o 255
3.50/3.40	c And the winner is solver0
3.53/3.90	c Got one! Elapsed wall clock time (in seconds):3.791
3.53/3.90	o 235
3.53/3.91	c And the winner is solver0
3.58/4.40	c Got one! Elapsed wall clock time (in seconds):4.295
3.58/4.40	o 234
3.58/4.45	c And the winner is solver0
3.71/4.92	c Got one! Elapsed wall clock time (in seconds):4.81
3.71/4.92	o 229
3.71/4.96	c And the winner is solver0
3.82/5.42	c Got one! Elapsed wall clock time (in seconds):5.314
3.82/5.42	o 225
3.82/5.43	c And the winner is solver0
3.82/5.92	c Got one! Elapsed wall clock time (in seconds):5.818
3.82/5.92	o 209
4.18/6.11	c And the winner is solver0
4.32/6.43	c Got one! Elapsed wall clock time (in seconds):6.321
4.32/6.43	o 201
4.97/6.73	c And the winner is solver0
5.08/6.93	c Got one! Elapsed wall clock time (in seconds):6.825
5.08/6.93	o 200
5.40/7.11	c And the winner is solver0
5.43/7.44	c Got one! Elapsed wall clock time (in seconds):7.329
5.43/7.44	o 183
5.79/7.63	c And the winner is solver0
5.88/7.94	c Got one! Elapsed wall clock time (in seconds):7.833
5.88/7.94	o 179
5.88/7.96	c And the winner is solver0
5.90/8.44	c Got one! Elapsed wall clock time (in seconds):8.337
5.90/8.44	o 174
7.47/9.29	c cleaning 4934 clauses out of 9868 with flag 16601/9868
8.98/10.00	c And the winner is solver0
9.21/10.45	c Got one! Elapsed wall clock time (in seconds):10.341
9.21/10.45	o 173
9.30/10.50	c And the winner is solver0
9.32/10.95	c Got one! Elapsed wall clock time (in seconds):10.845
9.32/10.95	o 172
9.32/11.00	c And the winner is solver0
9.45/11.45	c Got one! Elapsed wall clock time (in seconds):11.349
9.45/11.45	o 164
9.52/11.52	c And the winner is solver0
9.60/11.96	c Got one! Elapsed wall clock time (in seconds):11.853
9.60/11.96	o 161
9.60/11.97	c And the winner is solver0
9.60/12.47	c Got one! Elapsed wall clock time (in seconds):12.357
9.60/12.47	o 152
9.60/12.48	c And the winner is solver0
9.63/12.97	c Got one! Elapsed wall clock time (in seconds):12.86
9.63/12.97	o 134
9.88/13.19	c And the winner is solver0
10.13/13.47	c Got one! Elapsed wall clock time (in seconds):13.365
10.13/13.47	o 132
10.16/13.59	c And the winner is solver0
10.43/13.98	c Got one! Elapsed wall clock time (in seconds):13.869
10.43/13.98	o 128
10.47/14.03	c And the winner is solver0
10.58/14.48	c Got one! Elapsed wall clock time (in seconds):14.373
10.58/14.48	o 124
10.61/14.52	c And the winner is solver0
10.68/14.98	c Got one! Elapsed wall clock time (in seconds):14.877
10.68/14.98	o 121
10.90/15.12	c cleaning 5825 clauses out of 11658 with flag 4528/16592
10.90/15.19	c And the winner is solver0
11.43/15.49	c Got one! Elapsed wall clock time (in seconds):15.381
11.43/15.49	o 120
12.15/15.87	c And the winner is solver0
12.40/15.99	c Got one! Elapsed wall clock time (in seconds):15.885
12.40/15.99	o 118
12.40/16.05	c And the winner is solver0
12.54/16.50	c Got one! Elapsed wall clock time (in seconds):16.389
12.54/16.50	o 117
12.55/16.53	c And the winner is solver0
12.64/17.00	c Got one! Elapsed wall clock time (in seconds):16.893
12.64/17.00	o 114
13.43/17.45	c And the winner is solver0
13.55/17.50	c Got one! Elapsed wall clock time (in seconds):17.397
13.55/17.50	o 113
13.75/17.62	c And the winner is solver0
13.81/18.01	c Got one! Elapsed wall clock time (in seconds):17.901
13.81/18.01	o 112
13.81/18.02	c And the winner is solver0
13.86/18.51	c Got one! Elapsed wall clock time (in seconds):18.405
13.86/18.51	o 110
13.86/18.56	c And the winner is solver0
13.98/19.02	c Got one! Elapsed wall clock time (in seconds):18.909
13.98/19.02	o 108
13.98/19.06	c And the winner is solver0
14.10/19.52	c Got one! Elapsed wall clock time (in seconds):19.414
14.10/19.52	o 93
14.10/19.58	c And the winner is solver0
14.25/20.02	c Got one! Elapsed wall clock time (in seconds):19.919
14.25/20.02	o 86
14.58/20.23	c cleaning 7287 clauses out of 14573 with flag 5784/25332
14.58/20.29	c And the winner is solver0
14.82/20.53	c Got one! Elapsed wall clock time (in seconds):20.426
14.82/20.53	o 84
15.83/21.09	c And the winner is solver0
16.05/21.54	c Got one! Elapsed wall clock time (in seconds):21.434
16.05/21.54	o 80
16.16/21.61	c And the winner is solver0
16.23/22.05	c Got one! Elapsed wall clock time (in seconds):21.943
16.23/22.05	o 79
16.72/22.39	c And the winner is solver0
16.95/22.56	c Got one! Elapsed wall clock time (in seconds):22.452
16.95/22.56	o 70
17.42/22.89	c And the winner is solver0
17.82/23.07	c Got one! Elapsed wall clock time (in seconds):22.962
17.82/23.07	o 64
18.07/23.29	c cleaning 7645 clauses out of 15305 with flag 6288/33351
19.05/23.70	c And the winner is solver0
19.08/24.08	c Got one! Elapsed wall clock time (in seconds):23.975
19.08/24.08	o 63
19.31/24.23	c And the winner is solver0
19.41/24.60	c Got one! Elapsed wall clock time (in seconds):24.491
19.41/24.60	o 57
20.50/25.10	c cleaning 6803 clauses out of 13614 with flag 21740/39305
21.91/25.85	c And the winner is solver0
22.10/26.11	c Got one! Elapsed wall clock time (in seconds):26.008
22.10/26.11	o 54
22.26/26.27	c cleaning 6343 clauses out of 12701 with flag 5890/45195
23.26/26.72	c And the winner is solver0
23.36/27.14	c Got one! Elapsed wall clock time (in seconds):27.03
23.36/27.14	o 53
23.65/27.36	c cleaning 5712 clauses out of 11457 with flag 13668/50294
23.65/27.37	c And the winner is solver0
23.84/27.66	c Got one! Elapsed wall clock time (in seconds):27.554
23.84/27.66	o 45
25.36/28.46	c cleaning 5374 clauses out of 10775 with flag 39968/55324
26.96/29.28	c cleaning 5684 clauses out of 11400 with flag 96532/61323
29.16/30.33	c cleaning 6350 clauses out of 12718 with flag 170648/68325
31.56/31.55	c cleaning 7181 clauses out of 14366 with flag 265808/76323
32.58/32.00	c And the winner is solver0
32.62/32.19	c Got one! Elapsed wall clock time (in seconds):32.079
32.62/32.19	o 44
33.21/32.55	c cleaning 6530 clauses out of 13068 with flag 20781/82206
34.24/33.01	c And the winner is solver0
34.29/33.21	c Got one! Elapsed wall clock time (in seconds):33.107
34.29/33.21	o 38
34.43/33.33	c And the winner is solver0
34.54/33.74	c Got one! Elapsed wall clock time (in seconds):33.636
34.54/33.74	o 35
35.02/34.03	c cleaning 6629 clauses out of 13266 with flag 15133/88934
35.24/34.12	c And the winner is solver0
35.50/34.27	c Got one! Elapsed wall clock time (in seconds):34.167
35.50/34.27	o 34
35.94/34.59	c And the winner is solver0
36.17/34.81	c Got one! Elapsed wall clock time (in seconds):34.701
36.17/34.81	o 33
36.93/35.24	c cleaning 6371 clauses out of 12762 with flag 22645/95059
38.31/35.94	c cleaning 6186 clauses out of 12391 with flag 71472/101059
40.11/36.82	c cleaning 6596 clauses out of 13208 with flag 131459/108062
41.91/37.71	c And the winner is solver0
41.99/37.84	c Got one! Elapsed wall clock time (in seconds):37.736
41.99/37.84	o 32
43.28/38.54	c cleaning 9496 clauses out of 19021 with flag 42429/120471
44.06/38.90	c And the winner is solver0
44.10/39.38	c Got one! Elapsed wall clock time (in seconds):39.275
44.10/39.38	o 30
44.50/39.70	c cleaning 7297 clauses out of 14604 with flag 18553/125550
46.09/40.47	c cleaning 6645 clauses out of 13304 with flag 78751/131547
46.70/40.75	c And the winner is solver0
46.90/40.93	c Got one! Elapsed wall clock time (in seconds):40.819
46.90/40.93	o 24
47.70/41.40	c cleaning 5970 clauses out of 11956 with flag 26610/136844
49.31/42.11	c cleaning 5972 clauses out of 11984 with flag 87931/142842
50.93/42.94	c cleaning 6496 clauses out of 13012 with flag 163195/149842
52.91/43.94	c cleaning 7255 clauses out of 14516 with flag 253354/157842
53.71/44.30	c And the winner is solver0
53.79/44.47	c Got one! Elapsed wall clock time (in seconds):44.368
53.79/44.47	o 23
54.18/44.75	c cleaning 6446 clauses out of 12913 with flag 16553/163494
54.38/44.83	c And the winner is solver0
54.50/45.02	c Got one! Elapsed wall clock time (in seconds):44.918
54.50/45.02	o 15
55.40/45.56	c cleaning 6084 clauses out of 12177 with flag 48781/169204
56.60/46.13	c cleaning 6039 clauses out of 12091 with flag 107360/175202
57.80/46.79	c cleaning 6520 clauses out of 13054 with flag 177739/182204
59.59/47.61	c cleaning 7247 clauses out of 14532 with flag 259161/190202
61.41/48.56	c And the winner is solver0
61.55/48.63	c Got one! Elapsed wall clock time (in seconds):48.521
61.55/48.63	o 14
63.14/49.47	c cleaning 10635 clauses out of 21272 with flag 54169/204190
64.54/50.14	c cleaning 8305 clauses out of 16632 with flag 118524/210185
65.94/50.87	c cleaning 7649 clauses out of 15329 with flag 190044/217187
67.76/51.76	c cleaning 7833 clauses out of 15681 with flag 278595/225188
68.14/51.91	c And the winner is solver0
68.21/52.19	c Got one! Elapsed wall clock time (in seconds):52.083
68.21/52.19	o 13
68.96/52.66	c cleaning 6707 clauses out of 13446 with flag 38229/230786
70.16/53.25	c cleaning 6359 clauses out of 12736 with flag 94175/236783
70.96/53.65	c And the winner is solver0
71.10/53.75	c Got one! Elapsed wall clock time (in seconds):53.648
71.10/53.75	o 8
71.33/53.92	c cleaning 5943 clauses out of 11901 with flag 8006/242307
72.31/54.43	c cleaning 5966 clauses out of 11958 with flag 56228/248307
73.59/55.03	c cleaning 6488 clauses out of 12995 with flag 111046/255310
74.79/55.68	c cleaning 7233 clauses out of 14506 with flag 176096/263309
76.39/56.45	c cleaning 8133 clauses out of 16273 with flag 257718/272309
78.01/57.30	c cleaning 9048 clauses out of 18139 with flag 348192/282308
80.21/58.39	c cleaning 10039 clauses out of 20090 with flag 457148/293307
82.99/59.76	c cleaning 11020 clauses out of 22052 with flag 582265/305308
86.08/61.25	c cleaning 12009 clauses out of 24032 with flag 700795/318308
89.30/62.86	c cleaning 13000 clauses out of 26022 with flag 823998/332307
93.50/64.95	c cleaning 14003 clauses out of 28022 with flag 960966/347307
98.16/67.24	c cleaning 15004 clauses out of 30018 with flag 1102004/363307
102.94/69.67	c cleaning 16007 clauses out of 32015 with flag 1238561/380309
104.61/70.49	c And the winner is solver0
104.81/70.83	c Got one! Elapsed wall clock time (in seconds):70.72
104.81/70.83	o 7
106.27/71.62	c cleaning 13535 clauses out of 27078 with flag 39323/391379
107.47/72.28	c cleaning 9760 clauses out of 19540 with flag 87930/397376
109.07/73.10	c cleaning 8385 clauses out of 16782 with flag 144015/404378
110.87/73.99	c cleaning 8177 clauses out of 16394 with flag 203471/412376
112.89/74.95	c cleaning 8606 clauses out of 17219 with flag 265155/421378
115.33/76.15	c cleaning 9305 clauses out of 18611 with flag 337601/431376
117.93/77.46	c cleaning 10147 clauses out of 20306 with flag 417638/442376
121.13/79.00	c cleaning 11074 clauses out of 22157 with flag 503393/454376
124.13/80.56	c cleaning 12034 clauses out of 24082 with flag 599712/467376
127.79/82.38	c cleaning 13005 clauses out of 26047 with flag 697682/481376
132.19/84.57	c cleaning 14018 clauses out of 28043 with flag 809944/496377
137.26/87.02	c cleaning 15007 clauses out of 30022 with flag 932486/512377
138.25/87.59	c And the winner is solver0
138.52/87.92	c Got one! Elapsed wall clock time (in seconds):87.816
138.52/87.92	o 6
138.77/88.17	c cleaning 10082 clauses out of 20180 with flag 5672/517542
140.15/88.88	c cleaning 8045 clauses out of 16100 with flag 40262/523544
141.15/89.33	c And the winner is solver0
141.29/89.53	c Got one! Elapsed wall clock time (in seconds):89.428
141.29/89.53	o 5
141.70/89.88	c cleaning 6986 clauses out of 13986 with flag 7707/529475
143.10/90.52	c cleaning 6496 clauses out of 12995 with flag 30865/535475
144.56/91.27	c cleaning 6745 clauses out of 13495 with flag 58421/542477
144.97/91.43	c And the winner is solver0
145.51/92.05	c >>>>>>>>>> Solver number 0 (63 answers) <<<<<<<<<<<<<<<<<<
145.51/92.05	c starts		: 610
145.51/92.05	c conflicts		: 544109
145.51/92.05	c decisions		: 973107
145.51/92.05	c propagations		: 68445827
145.51/92.05	c inspects		: 766070092
145.51/92.05	c shortcuts		: 0
145.51/92.05	c learnt literals	: 28
145.51/92.05	c learnt binary clauses	: 266
145.51/92.05	c learnt ternary clauses	: 900
145.51/92.05	c learnt constraints	: 544080
145.51/92.05	c ignored constraints	: 0
145.51/92.05	c root simplifications	: 0
145.51/92.05	c removed literals (reason simplification)	: 2600965
145.51/92.05	c reason swapping (by a shorter reason)	: 0
145.51/92.05	c Calls to reduceDB	: 64
145.51/92.05	c Number of update (reduction) of LBD	: 238617
145.51/92.05	c Imported unit clauses	: 0
145.51/92.05	c number of reductions to clauses (during analyze)	: 0
145.51/92.05	c number of learned constraints concerned by reduction	: 0
145.51/92.05	c number of learning phase by resolution	: 0
145.51/92.05	c number of learning phase by cutting planes	: 0
145.51/92.05	c speed (assignments/second)	: 746451.0278641147
145.51/92.05	c non guided choices	8253
145.51/92.05	c learnt constraints type 
145.51/92.05	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
145.51/92.05	c starts		: 87
145.51/92.05	c conflicts		: 4449
145.51/92.05	c decisions		: 146309
145.51/92.05	c propagations		: 397141
145.51/92.05	c inspects		: 74203624
145.51/92.05	c shortcuts		: 0
145.51/92.05	c learnt literals	: 0
145.51/92.05	c learnt binary clauses	: 0
145.51/92.05	c learnt ternary clauses	: 0
145.51/92.05	c learnt constraints	: 4416
145.51/92.05	c ignored constraints	: 0
145.51/92.05	c root simplifications	: 0
145.51/92.05	c removed literals (reason simplification)	: 0
145.51/92.05	c reason swapping (by a shorter reason)	: 0
145.51/92.05	c Calls to reduceDB	: 0
145.51/92.05	c Number of update (reduction) of LBD	: 0
145.51/92.05	c Imported unit clauses	: 0
145.51/92.05	c number of reductions to clauses (during analyze)	: 0
145.51/92.05	c number of learned constraints concerned by reduction	: 0
145.51/92.05	c number of learning phase by resolution	: 0
145.51/92.05	c number of learning phase by cutting planes	: 0
145.51/92.05	c speed (assignments/second)	: 176428.6983562861
145.51/92.05	c non guided choices	5589
145.51/92.05	c learnt constraints type 
145.51/92.05	s OPTIMUM FOUND
145.51/92.05	c Found 62 solution(s)
145.51/92.05	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 
145.51/92.05	c objective function=5
145.51/92.05	c Total wall clock time (in seconds): 91.945

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-4092279-1466087031/watcher-4092279-1466087031 -o /tmp/evaluation-result-4092279-1466087031/solver-4092279-1466087031 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466075282-14447 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092279-1466087031.wbo 

pid=26027
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.38 2.24 2.24 4/196 26030
/proc/meminfo: memFree=28956948/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 1356 0 0 0 0 0 0 0 20 0 2 0 10749601 98578432 980 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 4096 2048 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 24067 982 748 9 0 16773 0
[pid=26030/tid=26031] ppid=26027 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) R 26027 26030 10365 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 10749602 98582528 985 33554432000 1073741824 1073778376 140736887076512 140146451885608 229355898269 0 0 0 16784584 0 0 0 -1 3 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.38 2.24 2.24 4/196 26030
/proc/meminfo: memFree=28956948/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 4504 0 1 0 10 1 0 0 20 0 18 0 10749601 9787879424 6132 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2389619 6132 2156 9 0 2380296 0
[pid=26030/tid=26031] ppid=26027 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) R 26027 26030 10365 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 10749602 9787879424 6132 33554432000 1073741824 1073778376 140736887076512 140146451889056 229359281421 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.200291 s]
/proc/loadavg: 2.38 2.24 2.24 4/196 26030
/proc/meminfo: memFree=28956948/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 4746 0 1 0 24 1 0 0 20 0 18 0 10749601 9787879424 6843 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2389619 6843 2213 9 0 2380296 0
[pid=26030/tid=26031] ppid=26027 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) R 26027 26030 10365 0 -1 4202560 2402 0 1 0 17 0 0 0 20 0 18 0 10749602 9787879424 6843 33554432000 1073741824 1073778376 140736887076512 140146451889056 140146276164304 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.300252 s]
/proc/loadavg: 2.38 2.24 2.24 4/196 26030
/proc/meminfo: memFree=28956948/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 5674 0 1 0 47 1 0 0 20 0 18 0 10749601 9787879424 8947 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2389619 8947 2234 9 0 2380296 0
[pid=26030/tid=26031] ppid=26027 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) R 26027 26030 10365 0 -1 4202560 2405 0 1 0 26 1 0 0 20 0 18 0 10749602 9787879424 8947 33554432000 1073741824 1073778376 140736887076512 140146451889056 140146276164625 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.700304 s]
/proc/loadavg: 2.38 2.24 2.24 4/196 26030
/proc/meminfo: memFree=28956948/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 10144 0 1 0 136 4 0 0 20 0 19 0 10749601 10060525568 13306 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2456183 13306 2269 9 0 2446860 0
[pid=26030/tid=26031] ppid=26027 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) S 26027 26030 10365 0 -1 4202560 2459 0 1 0 30 1 0 0 20 0 19 0 10749602 10060525568 13306 33554432000 1073741824 1073778376 140736887076512 140146451891064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 2.43 2.25 2.24 4/215 26055
/proc/meminfo: memFree=28892052/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 16583 0 1 0 245 10 0 0 20 0 19 0 10749601 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2456183 20996 2275 9 0 2446860 0
[pid=26030/tid=26031] ppid=26027 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) S 26027 26030 10365 0 -1 4202560 2461 0 1 0 33 2 0 0 20 0 19 0 10749602 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146451891064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26033] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26033/stat : 26033 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146413381928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26034] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26034/stat : 26034 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146412329128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26035] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26035/stat : 26035 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146411276840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26036] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26036/stat : 26036 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146410224040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26037] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26037/stat : 26037 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146409171752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26038] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26038/stat : 26038 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146408118952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26039] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26039/stat : 26039 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146407066664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26040] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26040/stat : 26040 (java) S 26027 26030 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146406013864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26041] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26041/stat : 26041 (java) S 26027 26030 10365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146276034792 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26042] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26042/stat : 26042 (java) S 26027 26030 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146274980856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26043] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26043/stat : 26043 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146273928456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26044] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26044/stat : 26044 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146272876944 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26045] ppid=26027 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/26030/task/26045/stat : 26045 (java) S 26027 26030 10365 0 -1 4202560 8411 0 0 0 70 1 0 0 20 0 19 0 10749606 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146271824568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26046] ppid=26027 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/26030/task/26046/stat : 26046 (java) S 26027 26030 10365 0 -1 4202560 4357 0 0 0 67 1 0 0 20 0 19 0 10749606 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146270771768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26047] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26047/stat : 26047 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146269719672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26048] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26048/stat : 26048 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146268667080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26052] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26052/stat : 26052 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10749637 10060525568 20996 33554432000 1073741824 1073778376 140736887076512 140146264454184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 2.43 2.25 2.24 2/215 26061
/proc/meminfo: memFree=28870036/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9824732 CPUtime=3.5 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 16654 0 1 0 336 14 0 0 20 0 19 0 10749601 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2456183 37395 2278 9 0 2446860 0
[pid=26030/tid=26031] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) S 26027 26030 10365 0 -1 4202560 2465 0 1 0 36 2 0 0 20 0 19 0 10749602 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146451891064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26033] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26033/stat : 26033 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146413381928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26034] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26034/stat : 26034 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146412329128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26035] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26035/stat : 26035 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146411276840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26036] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26036/stat : 26036 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146410224040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26037] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26037/stat : 26037 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146409171752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26038] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26038/stat : 26038 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146408118952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26039] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26039/stat : 26039 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146407066664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26040] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26040/stat : 26040 (java) S 26027 26030 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10749603 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146406013864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26041] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26041/stat : 26041 (java) S 26027 26030 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146276034792 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26042] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26042/stat : 26042 (java) S 26027 26030 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146274980856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26043] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26043/stat : 26043 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146273928456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26044] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26044/stat : 26044 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146272876944 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26045] ppid=26027 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/26030/task/26045/stat : 26045 (java) S 26027 26030 10365 0 -1 4202560 8425 0 0 0 85 2 0 0 20 0 19 0 10749606 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146271824568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26046] ppid=26027 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/26030/task/26046/stat : 26046 (java) S 26027 26030 10365 0 -1 4202560 4357 0 0 0 88 1 0 0 20 0 19 0 10749606 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146270771768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26047] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26047/stat : 26047 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146269719672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26048] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26048/stat : 26048 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146268667080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26052] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26052/stat : 26052 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10749637 10060525568 37395 33554432000 1073741824 1073778376 140736887076512 140146264454184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9824732

############
# WARNING:
# current cumulated CPU time (3.52 s) is less than in the last sample (3.53 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.40758 s]
/proc/loadavg: 2.43 2.25 2.24 2/215 26067
/proc/meminfo: memFree=28814724/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 16662 0 1 0 339 14 0 0 20 0 20 0 10749601 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2456183 38421 2278 9 0 2446860 0
[pid=26030/tid=26031] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) S 26027 26030 10365 0 -1 4202560 2465 0 1 0 36 2 0 0 20 0 20 0 10749602 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146451891064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26033] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26033/stat : 26033 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146413381928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26034] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26034/stat : 26034 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146412329128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26035] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26035/stat : 26035 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146411276840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26036] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26036/stat : 26036 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146410224040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26037] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26037/stat : 26037 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146409171752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26038] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26038/stat : 26038 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146408118952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26039] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26039/stat : 26039 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146407066664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26040] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26040/stat : 26040 (java) S 26027 26030 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 10749603 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146406013864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26041] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26041/stat : 26041 (java) S 26027 26030 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 10749604 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146276034792 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26042] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26042/stat : 26042 (java) S 26027 26030 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 10749604 10060525568 38421 33554432000 1073741824 1073778376 140736887076512 140146274980856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

/proc/26030/task/26042/stat : 26042 (java) S 26027 26030 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146274980856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26043] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26043/stat : 26043 (java) S 26027 26030 10365 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146273928456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26044] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26044/stat : 26044 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146272876944 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26045] ppid=26027 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/26030/task/26045/stat : 26045 (java) S 26027 26030 10365 0 -1 4202560 15282 0 0 0 154 3 0 0 20 0 19 0 10749606 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146271824568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26046] ppid=26027 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/26030/task/26046/stat : 26046 (java) S 26027 26030 10365 0 -1 4202560 4616 0 0 0 119 1 0 0 20 0 19 0 10749606 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146270771768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26047] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26047/stat : 26047 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146269719672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26048] ppid=26027 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/26030/task/26048/stat : 26048 (java) S 26027 26030 10365 0 -1 4202560 5 0 0 0 1 1 0 0 20 0 19 0 10749606 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146268667080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26052] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26052/stat : 26052 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10749637 10060525568 491911 33554432000 1073741824 1073778376 140736887076512 140146264454184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 141.34
Current children cumulated vsize (KiB) 9824732

[startup+91.2009 s]
/proc/loadavg: 2.86 2.42 2.30 4/218 26239
/proc/meminfo: memFree=26584876/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9824732 CPUtime=144.55 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 28000 0 1 0 14252 203 0 0 20 0 22 0 10749601 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2456183 492700 2296 9 0 2446860 0
[pid=26030/tid=26031] ppid=26027 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) S 26027 26030 10365 0 -1 4202560 2733 0 1 0 151 3 0 0 20 0 22 0 10749602 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146451891064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26033] ppid=26027 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/26030/task/26033/stat : 26033 (java) S 26027 26030 10365 0 -1 4202560 179 0 0 0 33 8 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146413381928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26034] ppid=26027 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/26030/task/26034/stat : 26034 (java) S 26027 26030 10365 0 -1 4202560 142 0 0 0 27 7 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146412329128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26035] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26035/stat : 26035 (java) S 26027 26030 10365 0 -1 4202560 158 0 0 0 29 9 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146411276840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26036] ppid=26027 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/26030/task/26036/stat : 26036 (java) S 26027 26030 10365 0 -1 4202560 180 0 0 0 31 8 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146410224040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26037] ppid=26027 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/26030/task/26037/stat : 26037 (java) S 26027 26030 10365 0 -1 4202560 176 0 0 0 26 7 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146409171752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26038] ppid=26027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/26030/task/26038/stat : 26038 (java) S 26027 26030 10365 0 -1 4202560 154 0 0 0 23 6 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146408118952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26039] ppid=26027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/26030/task/26039/stat : 26039 (java) S 26027 26030 10365 0 -1 4202560 159 0 0 0 24 5 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146407066664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26040] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26040/stat : 26040 (java) S 26027 26030 10365 0 -1 4202560 204 0 0 0 30 8 0 0 20 0 22 0 10749603 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146406013864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26041] ppid=26027 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/26030/task/26041/stat : 26041 (java) S 26027 26030 10365 0 -1 4202560 1244 0 0 0 1 8 0 0 20 0 22 0 10749604 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146276034792 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26042] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26042/stat : 26042 (java) S 26027 26030 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10749604 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146274980856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26043] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26043/stat : 26043 (java) S 26027 26030 10365 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 10749604 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146273928456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26044] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26044/stat : 26044 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10749606 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146272876944 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26045] ppid=26027 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/26030/task/26045/stat : 26045 (java) S 26027 26030 10365 0 -1 4202560 15282 0 0 0 154 3 0 0 20 0 22 0 10749606 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146271824568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26046] ppid=26027 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/26030/task/26046/stat : 26046 (java) S 26027 26030 10365 0 -1 4202560 4616 0 0 0 119 1 0 0 20 0 22 0 10749606 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146270771768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26047] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26047/stat : 26047 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10749606 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146269719672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26048] ppid=26027 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/26030/task/26048/stat : 26048 (java) S 26027 26030 10365 0 -1 4202560 5 0 0 0 1 1 0 0 20 0 22 0 10749606 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146268667080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26052] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26052/stat : 26052 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10749637 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146264454184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26237] ppid=26027 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/26030/task/26237/stat : 26237 (java) R 26027 26030 10365 0 -1 4202560 4 0 0 0 150 0 0 0 20 0 22 0 10758567 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146266557088 140146276687878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26238] ppid=26027 vsize=9824732 CPUtime=1.5 cores=1,3,5,7
/proc/26030/task/26238/stat : 26238 (java) R 26027 26030 10365 0 -1 4202560 3 0 0 0 150 0 0 0 20 0 22 0 10758567 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146265504920 140146276630861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26239] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26239/stat : 26239 (java) S 26027 26030 10365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10758582 10060525568 492700 33554432000 1073741824 1073778376 140736887076512 140146267612456 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 144.55
Current children cumulated vsize (KiB) 9824732

[startup+91.6008 s]
/proc/loadavg: 2.87 2.43 2.30 4/218 26239
/proc/meminfo: memFree=26581204/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9824732 CPUtime=145.15 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 28000 0 1 0 14310 205 0 0 20 0 19 0 10749601 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2456183 492692 2296 9 0 2446860 0
[pid=26030/tid=26031] ppid=26027 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) S 26027 26030 10365 0 -1 4202560 2733 0 1 0 151 3 0 0 20 0 19 0 10749602 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146451891064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26033] ppid=26027 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/26030/task/26033/stat : 26033 (java) S 26027 26030 10365 0 -1 4202560 179 0 0 0 33 8 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146413381928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26034] ppid=26027 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/26030/task/26034/stat : 26034 (java) S 26027 26030 10365 0 -1 4202560 142 0 0 0 27 7 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146412329128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26035] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26035/stat : 26035 (java) S 26027 26030 10365 0 -1 4202560 158 0 0 0 29 9 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146411276840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26036] ppid=26027 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/26030/task/26036/stat : 26036 (java) S 26027 26030 10365 0 -1 4202560 180 0 0 0 31 8 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146410224040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26037] ppid=26027 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/26030/task/26037/stat : 26037 (java) S 26027 26030 10365 0 -1 4202560 176 0 0 0 26 7 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146409171752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26038] ppid=26027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/26030/task/26038/stat : 26038 (java) S 26027 26030 10365 0 -1 4202560 154 0 0 0 23 6 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146408118952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26039] ppid=26027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/26030/task/26039/stat : 26039 (java) S 26027 26030 10365 0 -1 4202560 159 0 0 0 24 5 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146407066664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26040] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26040/stat : 26040 (java) S 26027 26030 10365 0 -1 4202560 204 0 0 0 30 8 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146406013864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26041] ppid=26027 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/26030/task/26041/stat : 26041 (java) S 26027 26030 10365 0 -1 4202560 1244 0 0 0 1 8 0 0 20 0 19 0 10749604 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146276034792 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26042] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26042/stat : 26042 (java) S 26027 26030 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146274980856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26043] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26043/stat : 26043 (java) S 26027 26030 10365 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146273928456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26044] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26044/stat : 26044 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146272876944 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26045] ppid=26027 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/26030/task/26045/stat : 26045 (java) S 26027 26030 10365 0 -1 4202560 15282 0 0 0 154 3 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146271824568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26046] ppid=26027 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/26030/task/26046/stat : 26046 (java) S 26027 26030 10365 0 -1 4202560 4616 0 0 0 119 1 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146270771768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26047] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26047/stat : 26047 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146269719672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26048] ppid=26027 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/26030/task/26048/stat : 26048 (java) S 26027 26030 10365 0 -1 4202560 5 0 0 0 1 1 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146268667080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26052] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26052/stat : 26052 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10749637 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146264454184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 145.15
Current children cumulated vsize (KiB) 9824732

[startup+92.0008 s]
/proc/loadavg: 2.87 2.43 2.30 4/218 26239
/proc/meminfo: memFree=26581204/32872528 swapFree=1370072/1517240
[pid=26030] ppid=26027 vsize=9824732 CPUtime=145.5 cores=1,3,5,7
/proc/26030/stat : 26030 (java) S 26027 26030 10365 0 -1 4202496 28000 0 1 0 14345 205 0 0 20 0 19 0 10749601 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140736887067648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26030/statm: 2456183 492692 2296 9 0 2446860 0
[pid=26030/tid=26031] ppid=26027 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/26030/task/26031/stat : 26031 (java) R 26027 26030 10365 0 -1 4202560 2733 0 1 0 186 3 0 0 20 0 19 0 10749602 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146451890744 140146277296974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26033] ppid=26027 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/26030/task/26033/stat : 26033 (java) S 26027 26030 10365 0 -1 4202560 179 0 0 0 33 8 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146413381928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26034] ppid=26027 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/26030/task/26034/stat : 26034 (java) S 26027 26030 10365 0 -1 4202560 142 0 0 0 27 7 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146412329128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26035] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26035/stat : 26035 (java) S 26027 26030 10365 0 -1 4202560 158 0 0 0 29 9 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146411276840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26036] ppid=26027 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/26030/task/26036/stat : 26036 (java) S 26027 26030 10365 0 -1 4202560 180 0 0 0 31 8 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146410224040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26037] ppid=26027 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/26030/task/26037/stat : 26037 (java) S 26027 26030 10365 0 -1 4202560 176 0 0 0 26 7 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146409171752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26038] ppid=26027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/26030/task/26038/stat : 26038 (java) S 26027 26030 10365 0 -1 4202560 154 0 0 0 23 6 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146408118952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26030/tid=26039] ppid=26027 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/26030/task/26039/stat : 26039 (java) S 26027 26030 10365 0 -1 4202560 159 0 0 0 24 5 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146407066664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26040] ppid=26027 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/26030/task/26040/stat : 26040 (java) S 26027 26030 10365 0 -1 4202560 204 0 0 0 30 8 0 0 20 0 19 0 10749603 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146406013864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26041] ppid=26027 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/26030/task/26041/stat : 26041 (java) S 26027 26030 10365 0 -1 4202560 1244 0 0 0 1 8 0 0 20 0 19 0 10749604 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146276034792 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26042] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26042/stat : 26042 (java) S 26027 26030 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146274980856 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26043] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26043/stat : 26043 (java) S 26027 26030 10365 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 10749604 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146273928456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26044] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26044/stat : 26044 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146272876944 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26045] ppid=26027 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/26030/task/26045/stat : 26045 (java) S 26027 26030 10365 0 -1 4202560 15282 0 0 0 154 3 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146271824568 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26030/tid=26046] ppid=26027 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/26030/task/26046/stat : 26046 (java) S 26027 26030 10365 0 -1 4202560 4616 0 0 0 119 1 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146270771768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26047] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26047/stat : 26047 (java) S 26027 26030 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146269719672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26030/tid=26048] ppid=26027 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/26030/task/26048/stat : 26048 (java) S 26027 26030 10365 0 -1 4202560 5 0 0 0 1 1 0 0 20 0 19 0 10749606 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146268667080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26030/tid=26052] ppid=26027 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26030/task/26052/stat : 26052 (java) S 26027 26030 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10749637 10060525568 492692 33554432000 1073741824 1073778376 140736887076512 140146264454184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 145.5
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): 92.0653
CPU time (s): 145.692
CPU user time (s): 143.469
CPU system time (s): 2.22266
CPU usage (%): 158.248
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.459
system time used= 2.22266
maximum resident set size= 1982060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28007
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= 4415
involuntary context switches= 3496

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.543917 second user time and 0.78688 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-16 16:23:51
IDJOB=4092279
IDBENCH=79309
IDSOLVER=2552
FILE ID=node129/4092279-1466087031
RUNJOBID= node129-1466075282-14447
PBS_JOBID= 19904010
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 14bc8800f159591dc4e79c8dbc089eb4
RANDOM SEED=446263697

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28957104 kB
Buffers:           32948 kB
Cached:            61084 kB
SwapCached:          672 kB
Active:          1628724 kB
Inactive:          60624 kB
Active(anon):    1596628 kB
Inactive(anon):      912 kB
Active(file):      32096 kB
Inactive(file):    59712 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100228 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:       3118144 kB
Mapped:            15352 kB
Shmem:                 0 kB
Slab:             566756 kB
SReclaimable:      10744 kB
SUnreclaim:       556012 kB
KernelStack:        1640 kB
PageTables:        11088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3474676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1708032 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= 71736 MiB
End job on node129 at 2016-06-16 16:25:23