Trace number 4092309

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 38.7891 48.9485

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
MD5SUMf742a865179589dbb1861a007b830f45
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark14.1548
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1228
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4092309-1467321885.wbo
0.09/0.12	c reading problem ... 
0.09/0.18	c ... done. Wall clock time 0.065s.
0.09/0.18	c declared #vars     169
0.09/0.18	c internal #vars     270
0.09/0.18	c #constraints  101
0.09/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.09/0.19	c 101 constraints processed.
0.09/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 71
0.09/0.19	c 101 constraints processed.
0.09/0.19	c objective function length is 101 literals
1.43/0.51	c And the winner is solver0
1.66/0.69	c SATISFIABLE
1.66/0.69	c OPTIMIZING...
1.66/0.69	c Got one! Elapsed wall clock time (in seconds):0.57
1.66/0.69	o 870
1.66/0.69	c And the winner is solver0
1.86/1.19	c Got one! Elapsed wall clock time (in seconds):1.071
1.86/1.19	o 552
1.88/1.21	c And the winner is solver0
1.91/1.69	c Got one! Elapsed wall clock time (in seconds):1.572
1.91/1.69	o 550
1.92/1.70	c And the winner is solver0
1.92/2.19	c Got one! Elapsed wall clock time (in seconds):2.074
1.92/2.19	o 539
1.94/2.20	c And the winner is solver0
1.95/2.70	c Got one! Elapsed wall clock time (in seconds):2.575
1.95/2.70	o 535
1.95/2.71	c And the winner is solver0
2.06/3.20	c Got one! Elapsed wall clock time (in seconds):3.077
2.06/3.20	o 488
2.07/3.22	c And the winner is solver0
2.13/3.70	c Got one! Elapsed wall clock time (in seconds):3.578
2.13/3.70	o 485
2.13/3.71	c And the winner is solver0
2.22/4.20	c Got one! Elapsed wall clock time (in seconds):4.079
2.22/4.20	o 479
2.22/4.21	c And the winner is solver0
2.24/4.70	c Got one! Elapsed wall clock time (in seconds):4.581
2.24/4.70	o 478
2.24/4.76	c And the winner is solver0
2.63/5.20	c Got one! Elapsed wall clock time (in seconds):5.082
2.63/5.20	o 475
2.63/5.24	c And the winner is solver0
2.72/5.70	c Got one! Elapsed wall clock time (in seconds):5.583
2.72/5.70	o 464
2.72/5.71	c And the winner is solver0
2.72/6.20	c Got one! Elapsed wall clock time (in seconds):6.085
2.72/6.20	o 432
2.72/6.26	c And the winner is solver0
2.96/6.71	c Got one! Elapsed wall clock time (in seconds):6.586
2.96/6.71	o 427
2.96/6.71	c And the winner is solver0
2.96/7.21	c Got one! Elapsed wall clock time (in seconds):7.087
2.96/7.21	o 419
2.96/7.22	c And the winner is solver0
3.00/7.71	c Got one! Elapsed wall clock time (in seconds):7.589
3.00/7.71	o 418
3.00/7.71	c And the winner is solver0
3.00/8.21	c Got one! Elapsed wall clock time (in seconds):8.09
3.00/8.21	o 413
3.00/8.22	c And the winner is solver0
3.04/8.71	c Got one! Elapsed wall clock time (in seconds):8.591
3.04/8.71	o 408
3.04/8.72	c And the winner is solver0
3.04/9.21	c Got one! Elapsed wall clock time (in seconds):9.092
3.04/9.21	o 390
3.04/9.23	c And the winner is solver0
3.07/9.71	c Got one! Elapsed wall clock time (in seconds):9.594
3.07/9.71	o 378
3.07/9.72	c And the winner is solver0
3.07/10.21	c Got one! Elapsed wall clock time (in seconds):10.095
3.07/10.21	o 376
3.07/10.23	c And the winner is solver0
3.12/10.72	c Got one! Elapsed wall clock time (in seconds):10.596
3.12/10.72	o 370
3.12/10.73	c And the winner is solver0
3.17/11.22	c Got one! Elapsed wall clock time (in seconds):11.097
3.17/11.22	o 364
3.17/11.23	c And the winner is solver0
3.21/11.72	c Got one! Elapsed wall clock time (in seconds):11.598
3.21/11.72	o 348
3.21/11.73	c And the winner is solver0
3.25/12.22	c Got one! Elapsed wall clock time (in seconds):12.099
3.25/12.22	o 347
3.45/12.31	c cleaning 4985 clauses out of 9970 with flag 4009/9970
3.89/12.59	c And the winner is solver0
4.19/12.77	c Got one! Elapsed wall clock time (in seconds):12.65
4.19/12.77	o 344
4.19/12.80	c And the winner is solver0
4.31/13.27	c Got one! Elapsed wall clock time (in seconds):13.152
4.31/13.27	o 326
4.31/13.29	c And the winner is solver0
4.37/13.77	c Got one! Elapsed wall clock time (in seconds):13.653
4.37/13.77	o 307
4.37/13.78	c And the winner is solver0
4.37/14.27	c Got one! Elapsed wall clock time (in seconds):14.154
4.37/14.27	o 290
4.37/14.28	c And the winner is solver0
4.37/14.77	c Got one! Elapsed wall clock time (in seconds):14.655
4.37/14.77	o 283
4.37/14.78	c And the winner is solver0
4.48/15.28	c Got one! Elapsed wall clock time (in seconds):15.156
4.48/15.28	o 272
4.51/15.30	c And the winner is solver0
4.55/15.78	c Got one! Elapsed wall clock time (in seconds):15.657
4.55/15.78	o 268
4.58/15.81	c And the winner is solver0
4.66/16.28	c Got one! Elapsed wall clock time (in seconds):16.158
4.66/16.28	o 231
4.66/16.29	c And the winner is solver0
4.68/16.78	c Got one! Elapsed wall clock time (in seconds):16.66
4.68/16.78	o 229
4.70/16.80	c And the winner is solver0
4.73/17.28	c Got one! Elapsed wall clock time (in seconds):17.161
4.73/17.28	o 227
4.76/17.30	c And the winner is solver0
4.80/17.78	c Got one! Elapsed wall clock time (in seconds):17.662
4.80/17.78	o 225
4.81/17.83	c And the winner is solver0
5.01/18.28	c Got one! Elapsed wall clock time (in seconds):18.163
5.01/18.28	o 223
5.05/18.31	c And the winner is solver0
5.22/18.79	c Got one! Elapsed wall clock time (in seconds):18.668
5.22/18.79	o 216
5.24/18.81	c And the winner is solver0
5.44/19.29	c Got one! Elapsed wall clock time (in seconds):19.169
5.44/19.29	o 207
5.48/19.32	c And the winner is solver0
5.66/19.79	c Got one! Elapsed wall clock time (in seconds):19.67
5.66/19.79	o 201
5.68/19.86	c And the winner is solver0
5.88/20.29	c Got one! Elapsed wall clock time (in seconds):20.171
5.88/20.29	o 200
5.89/20.35	c And the winner is solver0
6.09/20.79	c Got one! Elapsed wall clock time (in seconds):20.672
6.09/20.79	o 185
6.09/20.80	c And the winner is solver0
6.09/21.29	c Got one! Elapsed wall clock time (in seconds):21.173
6.09/21.29	o 181
6.10/21.31	c And the winner is solver0
6.25/21.79	c Got one! Elapsed wall clock time (in seconds):21.674
6.25/21.79	o 175
6.26/21.90	c And the winner is solver0
6.51/22.29	c Got one! Elapsed wall clock time (in seconds):22.175
6.51/22.29	o 174
6.72/22.41	c And the winner is solver0
6.76/22.80	c Got one! Elapsed wall clock time (in seconds):22.676
6.76/22.80	o 167
6.76/22.82	c And the winner is solver0
6.94/23.30	c Got one! Elapsed wall clock time (in seconds):23.177
6.94/23.30	o 166
6.94/23.30	c And the winner is solver0
6.95/23.80	c Got one! Elapsed wall clock time (in seconds):23.678
6.95/23.80	o 161
6.95/23.81	c And the winner is solver0
7.12/24.30	c Got one! Elapsed wall clock time (in seconds):24.179
7.12/24.30	o 149
7.13/24.31	c And the winner is solver0
7.31/24.80	c Got one! Elapsed wall clock time (in seconds):24.68
7.31/24.80	o 131
7.55/24.93	c And the winner is solver0
7.64/25.30	c Got one! Elapsed wall clock time (in seconds):25.181
7.64/25.30	o 130
7.65/25.31	c And the winner is solver0
7.80/25.80	c Got one! Elapsed wall clock time (in seconds):25.682
7.80/25.80	o 87
8.04/25.93	c cleaning 11628 clauses out of 23255 with flag 3835/28240
8.04/25.94	c And the winner is solver0
8.46/26.30	c Got one! Elapsed wall clock time (in seconds):26.183
8.46/26.30	o 85
8.46/26.32	c And the winner is solver0
8.63/26.80	c Got one! Elapsed wall clock time (in seconds):26.684
8.63/26.80	o 78
8.63/26.81	c And the winner is solver0
8.64/27.30	c Got one! Elapsed wall clock time (in seconds):27.185
8.64/27.30	o 76
9.03/27.56	c And the winner is solver0
9.19/27.81	c Got one! Elapsed wall clock time (in seconds):27.686
9.19/27.81	o 73
9.19/27.83	c And the winner is solver0
9.35/28.31	c Got one! Elapsed wall clock time (in seconds):28.188
9.35/28.31	o 70
9.35/28.32	c And the winner is solver0
9.51/28.81	c Got one! Elapsed wall clock time (in seconds):28.689
9.51/28.81	o 64
9.72/28.90	c cleaning 9368 clauses out of 18739 with flag 3279/35352
9.72/28.98	c And the winner is solver0
10.39/29.31	c Got one! Elapsed wall clock time (in seconds):29.191
10.39/29.31	o 63
10.39/29.32	c And the winner is solver0
10.39/29.81	c Got one! Elapsed wall clock time (in seconds):29.693
10.39/29.81	o 49
10.77/30.03	c cleaning 7694 clauses out of 15394 with flag 14960/41375
10.97/30.18	c And the winner is solver0
11.37/30.46	c Got one! Elapsed wall clock time (in seconds):30.345
11.37/30.46	o 48
11.47/30.57	c cleaning 6616 clauses out of 13232 with flag 7494/46907
11.87/30.72	c And the winner is solver0
11.96/30.97	c Got one! Elapsed wall clock time (in seconds):30.846
11.96/30.97	o 44
12.03/31.07	c cleaning 6181 clauses out of 12375 with flag 7602/52666
12.63/31.35	c cleaning 6099 clauses out of 12197 with flag 29860/58669
13.23/31.67	c cleaning 6546 clauses out of 13094 with flag 55634/65665
13.43/31.78	c And the winner is solver0
13.81/32.02	c Got one! Elapsed wall clock time (in seconds):31.898
13.81/32.02	o 41
13.96/32.17	c cleaning 6069 clauses out of 12143 with flag 13017/71260
14.56/32.43	c cleaning 6025 clauses out of 12074 with flag 38128/77260
15.16/32.75	c cleaning 6525 clauses out of 13050 with flag 67739/84261
15.56/32.96	c And the winner is solver0
15.74/33.07	c Got one! Elapsed wall clock time (in seconds):32.95
15.74/33.07	o 39
15.74/33.08	c And the winner is solver0
15.93/33.57	c Got one! Elapsed wall clock time (in seconds):33.452
15.93/33.57	o 37
15.93/33.60	c And the winner is solver0
16.10/34.07	c Got one! Elapsed wall clock time (in seconds):33.954
16.10/34.07	o 23
16.36/34.26	c And the winner is solver0
16.57/34.58	c Got one! Elapsed wall clock time (in seconds):34.456
16.57/34.58	o 22
16.61/34.61	c And the winner is solver0
16.76/35.08	c Got one! Elapsed wall clock time (in seconds):34.959
16.76/35.08	o 21
16.79/35.19	c cleaning 9270 clauses out of 18543 with flag 7185/96279
17.39/35.46	c cleaning 7628 clauses out of 15272 with flag 28391/102278
17.60/35.54	c And the winner is solver0
17.83/35.73	c Got one! Elapsed wall clock time (in seconds):35.611
17.83/35.73	o 20
17.96/35.82	c And the winner is solver0
18.06/36.23	c Got one! Elapsed wall clock time (in seconds):36.113
18.06/36.23	o 17
18.20/36.34	c cleaning 6765 clauses out of 13529 with flag 8009/108163
18.20/36.36	c And the winner is solver0
18.33/36.74	c Got one! Elapsed wall clock time (in seconds):36.616
18.33/36.74	o 16
18.44/36.84	c And the winner is solver0
18.57/37.24	c Got one! Elapsed wall clock time (in seconds):37.118
18.57/37.24	o 15
18.68/37.38	c cleaning 6283 clauses out of 12575 with flag 12842/113974
19.28/37.64	c cleaning 6141 clauses out of 12293 with flag 38997/119975
19.48/37.77	c And the winner is solver0
19.72/38.24	c Got one! Elapsed wall clock time (in seconds):38.121
19.72/38.24	o 13
19.83/38.37	c cleaning 5938 clauses out of 11884 with flag 14125/125707
20.44/38.61	c cleaning 5966 clauses out of 11945 with flag 39798/131706
21.03/38.91	c cleaning 6488 clauses out of 12979 with flag 72156/138706
21.63/39.27	c cleaning 7243 clauses out of 14491 with flag 107987/146706
22.44/39.70	c cleaning 8124 clauses out of 16249 with flag 149108/155707
23.63/40.21	c cleaning 9051 clauses out of 18124 with flag 196551/165706
24.64/40.80	c cleaning 10035 clauses out of 20073 with flag 251829/176706
26.04/41.48	c cleaning 11020 clauses out of 22039 with flag 313576/188707
27.64/42.24	c cleaning 12004 clauses out of 24018 with flag 379484/201706
29.44/43.12	c cleaning 13008 clauses out of 26020 with flag 450597/215712
31.47/44.11	c cleaning 13999 clauses out of 28006 with flag 528548/230706
33.06/44.91	c And the winner is solver0
33.76/45.70	c Got one! Elapsed wall clock time (in seconds):45.575
33.76/45.70	o 12
34.61/46.14	c cleaning 16044 clauses out of 32094 with flag 29828/248793
35.41/46.50	c cleaning 11014 clauses out of 22046 with flag 63527/254789
36.01/46.87	c cleaning 9012 clauses out of 18032 with flag 100310/261789
36.81/47.27	c cleaning 8507 clauses out of 17024 with flag 143890/269793
37.41/47.56	c And the winner is solver0
38.27/48.40	c Got one! Elapsed wall clock time (in seconds):48.281
38.27/48.40	o 10
38.54/48.53	c And the winner is solver0
38.65/48.93	c >>>>>>>>>> Solver number 0 (75 answers) <<<<<<<<<<<<<<<<<<
38.65/48.93	c starts		: 173
38.65/48.93	c conflicts		: 277725
38.65/48.93	c decisions		: 435839
38.65/48.93	c propagations		: 6376567
38.65/48.93	c inspects		: 171405091
38.65/48.93	c shortcuts		: 0
38.65/48.93	c learnt literals	: 16
38.65/48.93	c learnt binary clauses	: 33
38.65/48.93	c learnt ternary clauses	: 444
38.65/48.93	c learnt constraints	: 277708
38.65/48.93	c ignored constraints	: 0
38.65/48.93	c root simplifications	: 0
38.65/48.93	c removed literals (reason simplification)	: 331794
38.65/48.93	c reason swapping (by a shorter reason)	: 0
38.65/48.93	c Calls to reduceDB	: 31
38.65/48.93	c Number of update (reduction) of LBD	: 68598
38.65/48.93	c Imported unit clauses	: 0
38.65/48.93	c number of reductions to clauses (during analyze)	: 0
38.65/48.93	c number of learned constraints concerned by reduction	: 0
38.65/48.93	c number of learning phase by resolution	: 0
38.65/48.93	c number of learning phase by cutting planes	: 0
38.65/48.93	c speed (assignments/second)	: 130838.9486211425
38.65/48.93	c non guided choices	3366
38.65/48.93	c learnt constraints type 
38.65/48.93	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
38.65/48.93	c starts		: 75
38.65/48.93	c conflicts		: 258
38.65/48.93	c decisions		: 8779
38.65/48.93	c propagations		: 22749
38.65/48.93	c inspects		: 716295
38.65/48.93	c shortcuts		: 0
38.65/48.93	c learnt literals	: 0
38.65/48.93	c learnt binary clauses	: 0
38.65/48.93	c learnt ternary clauses	: 0
38.65/48.93	c learnt constraints	: 196
38.65/48.93	c ignored constraints	: 0
38.65/48.93	c root simplifications	: 0
38.65/48.93	c removed literals (reason simplification)	: 0
38.65/48.93	c reason swapping (by a shorter reason)	: 0
38.65/48.93	c Calls to reduceDB	: 0
38.65/48.93	c Number of update (reduction) of LBD	: 0
38.65/48.93	c Imported unit clauses	: 0
38.65/48.93	c number of reductions to clauses (during analyze)	: 0
38.65/48.93	c number of learned constraints concerned by reduction	: 0
38.65/48.93	c number of learning phase by resolution	: 0
38.65/48.93	c number of learning phase by cutting planes	: 0
38.65/48.93	c speed (assignments/second)	: 45226.640159045724
38.65/48.93	c non guided choices	1953
38.65/48.93	c learnt constraints type 
38.65/48.93	s OPTIMUM FOUND
38.65/48.93	c Found 74 solution(s)
38.65/48.93	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 
38.65/48.93	c objective function=10
38.65/48.93	c Total wall clock time (in seconds): 48.81

Verifier Data 

OK	10

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-4092309-1467321885/watcher-4092309-1467321885 -o /tmp/evaluation-result-4092309-1467321885/solver-4092309-1467321885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467319426-13601 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092309-1467321885.wbo 

pid=18412
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: 0.96 0.62 0.65 2/169 18415
/proc/meminfo: memFree=30445352/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18415/stat : 18415 (java) R 18412 18415 11495 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 11217738 278528 33 33554432000 1073741824 1073778376 140737161949040 140735687413096 271778409767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 68 33 25 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 0.96 0.62 0.65 2/169 18415
/proc/meminfo: memFree=30445352/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 4464 0 1 0 8 1 0 0 20 0 18 0 11217738 9787879424 5580 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2389619 5580 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200259 s]
/proc/loadavg: 0.96 0.62 0.65 2/169 18415
/proc/meminfo: memFree=30445352/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 4898 0 1 0 23 1 0 0 20 0 22 0 11217738 10060525568 7467 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 7468 2221 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732

[startup+0.300216 s]
/proc/loadavg: 0.96 0.62 0.65 2/169 18415
/proc/meminfo: memFree=30445352/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 7416 0 1 0 62 1 0 0 20 0 22 0 11217738 10060525568 9238 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 9238 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9824732

[startup+0.700192 s]
/proc/loadavg: 0.96 0.62 0.65 2/169 18415
/proc/meminfo: memFree=30445352/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 18051 0 1 0 181 5 0 0 20 0 20 0 11217738 10060525568 17768 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 17768 2260 9 0 2446860 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 0.97 0.62 0.66 1/188 18440
/proc/meminfo: memFree=30382168/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 18063 0 1 0 184 7 0 0 20 0 19 0 11217738 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 19303 2260 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 11495 0 -1 4202560 2472 0 1 0 16 0 0 0 20 0 19 0 11217739 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319400162168 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319338891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319337838888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319336786344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319335733800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319334681256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319238339368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319237286824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319236234280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11217741 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319224035432 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319222981752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319221929096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319220877840 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 11495 0 -1 4202560 7929 0 0 0 50 2 0 0 20 0 19 0 11217744 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319219825208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 11495 0 -1 4202560 6307 0 0 0 51 0 0 0 20 0 19 0 11217744 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319218772664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319217720312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319216667976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217758 10060525568 19303 33554432000 1073741824 1073778376 140737161949040 140319213507624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 0.97 0.62 0.66 3/191 18449
/proc/meminfo: memFree=30369880/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 19348 0 1 0 197 9 0 0 20 0 19 0 11217738 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 22390 2265 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 11495 0 -1 4202560 2472 0 1 0 16 0 0 0 20 0 19 0 11217739 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319400162168 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319338891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319337838888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319336786344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319335733800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319334681256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319238339368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319237286824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319236234280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11217741 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319224035432 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 11495 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319222981752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319221929096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319220877840 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 11495 0 -1 4202560 7931 0 0 0 51 2 0 0 20 0 19 0 11217744 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319219825208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 11495 0 -1 4202560 7564 0 0 0 59 1 0 0 20 0 19 0 11217744 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319218772664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319217720312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319216667976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217758 10060525568 22390 33554432000 1073741824 1073778376 140737161949040 140319213507624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=19 pid=1812 uid=0 cmd=

[startup+6.3008 s]
/proc/loadavg: 0.89 0.61 0.65 1/188 18467
/proc/meminfo: memFree=30314364/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 24240 0 1 0 273 20 0 0 20 0 19 0 11217738 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 43144 2281 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 11495 0 -1 4202560 2474 0 1 0 17 0 0 0 20 0 19 0 11217739 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319400162168 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319338891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319337838888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319336786344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319335733800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 11495 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319334681256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319238339368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319237286824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 11495 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11217740 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319236234280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 11495 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 11217741 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319224035432 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319222981752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319221929096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319220877840 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/18415/task/18430/stat : 18430 (java) R 18412 18415 11495 0 -1 4202560 8470 0 0 0 70 2 0 0 20 0 19 0 11217744 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319219812040 140319404279142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 11495 0 -1 4202560 11772 0 0 0 83 2 0 0 20 0 19 0 11217744 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319218772664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319217720312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319216667976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217758 10060525568 43144 33554432000 1073741824 1073778376 140737161949040 140319213507624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.93

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

/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 11495 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 20 0 11217740 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319236234280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 11495 0 -1 4202560 15 0 0 0 2 8 0 0 20 0 20 0 11217741 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319224035432 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 11217742 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319222981752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 11495 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 20 0 11217742 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319221929096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11217744 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319220877840 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 11495 0 -1 4202560 12606 0 0 0 133 2 0 0 20 0 20 0 11217744 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319219825208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 11495 0 -1 4202560 16352 0 0 0 145 3 0 0 20 0 20 0 11217744 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319218772664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11217744 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319217720312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 11217744 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319216667976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 11217758 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319213507624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18655] ppid=18412 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/18415/task/18655/stat : 18655 (java) R 18412 18415 11495 0 -1 4202560 2 0 0 0 226 0 0 0 20 0 20 0 11222308 10060525568 51897 33554432000 1073741824 1073778376 140737161949040 140319215612168 140319340406257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 37.96
Current children cumulated vsize (KiB) 9824732

[startup+48.4008 s]
/proc/loadavg: 0.94 0.65 0.66 1/188 18656
/proc/meminfo: memFree=30244264/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=38.32 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 33630 0 1 0 3707 125 0 0 20 0 19 0 11217738 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 51895 2287 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18415/task/18417/stat : 18417 (java) R 18412 18415 11495 0 -1 4202560 2477 0 1 0 22 2 0 0 20 0 19 0 11217739 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319400162168 140319340530392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 11495 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319338891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 11495 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319337838888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 11495 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319336786344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 11495 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319335733800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 11495 0 -1 4202560 36 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319334681256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 11495 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319238339368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 11495 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319237286824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 11495 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319236234280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 11495 0 -1 4202560 15 0 0 0 2 8 0 0 20 0 19 0 11217741 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319224035432 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319222981752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 11495 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319221929096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319220877840 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 11495 0 -1 4202560 12606 0 0 0 133 2 0 0 20 0 19 0 11217744 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319219825208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 11495 0 -1 4202560 16352 0 0 0 145 3 0 0 20 0 19 0 11217744 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319218772664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319217720312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319216667976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217758 10060525568 51895 33554432000 1073741824 1073778376 140737161949040 140319213507624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 38.32
Current children cumulated vsize (KiB) 9824732

[startup+48.8007 s]
/proc/loadavg: 0.94 0.65 0.66 1/188 18656
/proc/meminfo: memFree=30244264/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=38.64 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 33665 0 1 0 3736 128 0 0 20 0 19 0 11217738 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 54464 2287 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 11495 0 -1 4202560 2477 0 1 0 22 2 0 0 20 0 19 0 11217739 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319400162168 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 11495 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319338891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 11495 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319337838888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 11495 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319336786344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 11495 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319335733800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 11495 0 -1 4202560 36 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319334681256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 11495 0 -1 4202560 43 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319238339368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 11495 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319237286824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 11495 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319236234280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 11495 0 -1 4202560 15 0 0 0 2 8 0 0 20 0 19 0 11217741 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319224035432 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319222981752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 11495 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319221929096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319220877840 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 11495 0 -1 4202560 12606 0 0 0 134 2 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319219825208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 11495 0 -1 4202560 16352 0 0 0 145 3 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319218772664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319217720312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319216667976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217758 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319213507624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 38.64
Current children cumulated vsize (KiB) 9824732

[startup+48.9008 s]
/proc/loadavg: 0.94 0.65 0.66 1/188 18656
/proc/meminfo: memFree=30244264/32872528 swapFree=1102192/1183952
[pid=18415] ppid=18412 vsize=9824732 CPUtime=38.64 cores=1,3,5,7
/proc/18415/stat : 18415 (java) S 18412 18415 11495 0 -1 4202496 33665 0 1 0 3736 128 0 0 20 0 19 0 11217738 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140737161940176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18415/statm: 2456183 54464 2287 9 0 2446860 0
[pid=18415/tid=18417] ppid=18412 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18415/task/18417/stat : 18417 (java) S 18412 18415 11495 0 -1 4202560 2477 0 1 0 22 2 0 0 20 0 19 0 11217739 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319400162168 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18418] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18418/stat : 18418 (java) S 18412 18415 11495 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319338891432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18419] ppid=18412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18415/task/18419/stat : 18419 (java) S 18412 18415 11495 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319337838888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18420] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18420/stat : 18420 (java) S 18412 18415 11495 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319336786344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18421] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18421/stat : 18421 (java) S 18412 18415 11495 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319335733800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18422] ppid=18412 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18415/task/18422/stat : 18422 (java) S 18412 18415 11495 0 -1 4202560 36 0 0 0 1 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319334681256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18423] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18423/stat : 18423 (java) S 18412 18415 11495 0 -1 4202560 43 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319238339368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18424] ppid=18412 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18415/task/18424/stat : 18424 (java) S 18412 18415 11495 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319237286824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18415/tid=18425] ppid=18412 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18415/task/18425/stat : 18425 (java) S 18412 18415 11495 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 11217740 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319236234280 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18426] ppid=18412 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18415/task/18426/stat : 18426 (java) S 18412 18415 11495 0 -1 4202560 15 0 0 0 2 8 0 0 20 0 19 0 11217741 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319224035432 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18427] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18427/stat : 18427 (java) S 18412 18415 11495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319222981752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18428] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18428/stat : 18428 (java) S 18412 18415 11495 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 11217742 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319221929096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18429] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18429/stat : 18429 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319220877840 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18430] ppid=18412 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/18415/task/18430/stat : 18430 (java) S 18412 18415 11495 0 -1 4202560 12606 0 0 0 134 2 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319219825208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18415/tid=18431] ppid=18412 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/18415/task/18431/stat : 18431 (java) S 18412 18415 11495 0 -1 4202560 16352 0 0 0 145 3 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319218772664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18432] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18432/stat : 18432 (java) S 18412 18415 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319217720312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18415/tid=18433] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18433/stat : 18433 (java) S 18412 18415 11495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 11217744 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319216667976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18415/tid=18436] ppid=18412 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18415/task/18436/stat : 18436 (java) S 18412 18415 11495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11217758 10060525568 54464 33554432000 1073741824 1073778376 140737161949040 140319213507624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 38.64
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.00999975
#  lost CPU user time (s): 0.00999975
#  lost CPU system time (s): 0

Real time (s): 48.9485
CPU time (s): 38.7891
CPU user time (s): 37.4263
CPU system time (s): 1.36279
CPU usage (%): 79.2448
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.4163
system time used= 1.36279
maximum resident set size= 217896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33679
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3391
involuntary context switches= 913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.334949 second user time and 0.445932 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 23:24:45
IDJOB=4092309
IDBENCH=79224
IDSOLVER=2552
FILE ID=node115/4092309-1467321885
RUNJOBID= node115-1467319426-13601
PBS_JOBID= 20005276
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092309-1467321885/watcher-4092309-1467321885 -o /tmp/evaluation-result-4092309-1467321885/solver-4092309-1467321885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467319426-13601 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4092309-1467321885.wbo

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

MD5SUM BENCH= f742a865179589dbb1861a007b830f45
RANDOM SEED=2087947277

node115.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.087
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.17
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.087
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.56
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.087
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.54
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.087
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.087
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		: 2667.087
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.087
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		: 2667.087
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:        30446144 kB
Buffers:          166332 kB
Cached:           322044 kB
SwapCached:            0 kB
Active:           271248 kB
Inactive:         232128 kB
Active(anon):      10876 kB
Inactive(anon):     6556 kB
Active(file):     260372 kB
Inactive(file):   225572 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:       1138848 kB
Mapped:            14360 kB
Shmem:               204 kB
Slab:             608128 kB
SReclaimable:      52376 kB
SUnreclaim:       555752 kB
KernelStack:        1568 kB
PageTables:         6128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1284032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 71664 MiB
End job on node115 at 2016-06-30 23:25:34