Trace number 4109389

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.05 1806.52

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-66-100-0.wbo
MD5SUM960bc2a8059baa29bab251cd640f5046
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark4.77827
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 constraints42
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 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
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.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-4109389-1466341928.wbo
0.11/0.11	c reading problem ... 
0.11/0.17	c ... done. Wall clock time 0.064s.
0.11/0.17	c declared #vars     169
0.11/0.17	c internal #vars     211
0.11/0.17	c #constraints  101
0.11/0.17	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.11/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.11/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.11/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.11/0.17	c 101 constraints processed.
0.11/0.17	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3
0.11/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27
0.11/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 41
0.11/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPb => 30
0.11/0.17	c 101 constraints processed.
0.11/0.17	c objective function length is 42 literals
0.66/0.35	c And the winner is solver0
1.25/0.68	c SATISFIABLE
1.25/0.68	c OPTIMIZING...
1.25/0.68	c Got one! Elapsed wall clock time (in seconds):0.568
1.25/0.68	o 358
1.30/0.71	c And the winner is solver0
1.51/1.18	c Got one! Elapsed wall clock time (in seconds):1.069
1.51/1.18	o 350
1.60/1.21	c And the winner is solver0
1.70/1.68	c Got one! Elapsed wall clock time (in seconds):1.57
1.70/1.68	o 345
1.75/1.70	c And the winner is solver0
1.76/2.18	c Got one! Elapsed wall clock time (in seconds):2.072
1.76/2.18	o 342
1.76/2.19	c And the winner is solver0
1.82/2.68	c Got one! Elapsed wall clock time (in seconds):2.573
1.82/2.68	o 338
1.82/2.68	c And the winner is solver0
1.82/3.18	c Got one! Elapsed wall clock time (in seconds):3.074
1.82/3.18	o 337
1.82/3.20	c And the winner is solver0
1.87/3.68	c Got one! Elapsed wall clock time (in seconds):3.575
1.87/3.68	o 334
1.91/3.70	c And the winner is solver0
1.99/4.18	c Got one! Elapsed wall clock time (in seconds):4.076
1.99/4.18	o 330
1.99/4.19	c And the winner is solver0
1.99/4.68	c Got one! Elapsed wall clock time (in seconds):4.577
1.99/4.68	o 325
2.01/4.76	c And the winner is solver0
2.19/5.19	c Got one! Elapsed wall clock time (in seconds):5.078
2.19/5.19	o 306
2.22/5.26	c And the winner is solver0
2.49/5.69	c Got one! Elapsed wall clock time (in seconds):5.579
2.49/5.69	o 305
2.49/5.70	c And the winner is solver0
2.51/6.19	c Got one! Elapsed wall clock time (in seconds):6.08
2.51/6.19	o 304
2.51/6.19	c And the winner is solver0
2.51/6.69	c Got one! Elapsed wall clock time (in seconds):6.581
2.51/6.69	o 268
2.51/6.70	c And the winner is solver0
2.55/7.19	c Got one! Elapsed wall clock time (in seconds):7.082
2.55/7.19	o 263
2.58/7.22	c And the winner is solver0
2.67/7.70	c Got one! Elapsed wall clock time (in seconds):7.591
2.67/7.70	o 262
2.69/7.72	c And the winner is solver0
2.75/8.20	c Got one! Elapsed wall clock time (in seconds):8.092
2.75/8.20	o 259
2.75/8.24	c And the winner is solver0
2.84/8.70	c Got one! Elapsed wall clock time (in seconds):8.593
2.84/8.70	o 254
2.84/8.72	c And the winner is solver0
2.88/9.20	c Got one! Elapsed wall clock time (in seconds):9.094
2.88/9.20	o 248
2.88/9.21	c And the winner is solver0
2.88/9.70	c Got one! Elapsed wall clock time (in seconds):9.595
2.88/9.70	o 241
2.88/9.71	c And the winner is solver0
2.89/10.20	c Got one! Elapsed wall clock time (in seconds):10.096
2.89/10.20	o 236
2.89/10.24	c And the winner is solver0
2.98/10.70	c Got one! Elapsed wall clock time (in seconds):10.597
2.98/10.70	o 231
2.98/10.79	c cleaning 6792 clauses out of 13583 with flag 3092/13583
3.20/10.80	c And the winner is solver0
3.22/11.21	c Got one! Elapsed wall clock time (in seconds):11.098
3.22/11.21	o 229
3.44/11.38	c cleaning 6028 clauses out of 12056 with flag 14653/18848
3.86/11.59	c cleaning 6009 clauses out of 12028 with flag 33424/24848
4.36/11.72	c And the winner is solver0
4.43/12.21	c Got one! Elapsed wall clock time (in seconds):12.099
4.43/12.21	o 214
4.43/12.24	c And the winner is solver0
4.52/12.71	c Got one! Elapsed wall clock time (in seconds):12.6
4.52/12.71	o 211
4.52/12.79	c cleaning 6206 clauses out of 12412 with flag 6363/31241
4.52/12.79	c And the winner is solver0
4.79/13.21	c Got one! Elapsed wall clock time (in seconds):13.101
4.79/13.21	o 209
5.02/13.38	c And the winner is solver0
5.19/13.71	c Got one! Elapsed wall clock time (in seconds):13.602
5.19/13.71	o 203
5.19/13.76	c cleaning 6079 clauses out of 12163 with flag 3492/37198
5.41/13.84	c And the winner is solver0
5.52/14.21	c Got one! Elapsed wall clock time (in seconds):14.103
5.52/14.21	o 202
5.70/14.32	c cleaning 5912 clauses out of 11823 with flag 10510/42937
5.93/14.47	c And the winner is solver0
6.09/14.71	c Got one! Elapsed wall clock time (in seconds):14.604
6.09/14.71	o 188
6.09/14.76	c cleaning 5830 clauses out of 11667 with flag 3140/48693
6.26/14.80	c And the winner is solver0
6.28/15.21	c Got one! Elapsed wall clock time (in seconds):15.105
6.28/15.21	o 186
6.45/15.34	c cleaning 5750 clauses out of 11500 with flag 13049/54356
6.45/15.35	c And the winner is solver0
6.66/15.71	c Got one! Elapsed wall clock time (in seconds):15.606
6.66/15.71	o 184
6.66/15.80	c And the winner is solver0
6.87/16.21	c Got one! Elapsed wall clock time (in seconds):16.107
6.87/16.21	o 170
7.03/16.31	c cleaning 5864 clauses out of 11727 with flag 9344/60333
7.50/16.54	c cleaning 5927 clauses out of 11864 with flag 29363/66335
7.50/16.59	c And the winner is solver0
7.68/16.72	c Got one! Elapsed wall clock time (in seconds):16.608
7.68/16.72	o 168
7.85/16.85	c cleaning 5876 clauses out of 11753 with flag 13014/72151
8.05/16.98	c And the winner is solver0
8.23/17.22	c Got one! Elapsed wall clock time (in seconds):17.109
8.23/17.22	o 158
8.23/17.23	c And the winner is solver0
8.26/17.72	c Got one! Elapsed wall clock time (in seconds):17.61
8.26/17.72	o 155
8.26/17.76	c cleaning 5694 clauses out of 11388 with flag 3508/77662
8.26/17.77	c And the winner is solver0
8.39/18.22	c Got one! Elapsed wall clock time (in seconds):18.111
8.39/18.22	o 131
8.39/18.23	c And the winner is solver0
8.41/18.72	c Got one! Elapsed wall clock time (in seconds):18.612
8.41/18.72	o 130
8.58/18.88	c cleaning 5699 clauses out of 11403 with flag 17509/83371
9.21/19.11	c cleaning 5847 clauses out of 11704 with flag 37237/89371
9.21/19.13	c And the winner is solver0
9.28/19.22	c Got one! Elapsed wall clock time (in seconds):19.113
9.28/19.22	o 120
9.43/19.35	c And the winner is solver0
9.57/19.72	c Got one! Elapsed wall clock time (in seconds):19.614
9.57/19.72	o 116
9.57/19.76	c cleaning 5763 clauses out of 11545 with flag 3639/95059
9.94/19.96	c cleaning 5887 clauses out of 11781 with flag 24089/101058
10.32/20.19	c cleaning 6436 clauses out of 12894 with flag 47125/108058
10.93/20.41	c And the winner is solver0
10.97/20.72	c Got one! Elapsed wall clock time (in seconds):20.615
10.97/20.72	o 113
11.12/20.83	c And the winner is solver0
11.20/21.22	c Got one! Elapsed wall clock time (in seconds):21.116
11.20/21.22	o 105
11.35/21.36	c cleaning 9340 clauses out of 18682 with flag 11086/120282
11.54/21.45	c And the winner is solver0
11.70/21.72	c Got one! Elapsed wall clock time (in seconds):21.617
11.70/21.72	o 104
11.89/21.88	c cleaning 7468 clauses out of 14949 with flag 11062/125889
12.30/22.09	c cleaning 6740 clauses out of 13481 with flag 33119/131889
12.89/22.34	c cleaning 6868 clauses out of 13742 with flag 62286/138890
13.09/22.43	c And the winner is solver0
13.17/22.73	c Got one! Elapsed wall clock time (in seconds):22.619
13.17/22.73	o 103
13.31/22.83	c cleaning 6381 clauses out of 12767 with flag 11019/144783
13.71/23.04	c cleaning 6189 clauses out of 12386 with flag 32618/150783
14.12/23.29	c cleaning 6597 clauses out of 13197 with flag 62678/157783
14.71/23.58	c cleaning 7296 clauses out of 14600 with flag 102742/165783
15.11/23.76	c And the winner is solver0
15.32/24.23	c Got one! Elapsed wall clock time (in seconds):24.12
15.32/24.23	o 77
15.66/24.44	c cleaning 8694 clauses out of 17396 with flag 19024/175875
16.06/24.66	c cleaning 7347 clauses out of 14702 with flag 40192/181875
16.71/24.96	c cleaning 7176 clauses out of 14356 with flag 66261/188876
17.31/25.21	c And the winner is solver0
17.62/25.58	c Got one! Elapsed wall clock time (in seconds):25.472
17.62/25.58	o 64
17.74/25.67	c And the winner is solver0
18.02/26.08	c Got one! Elapsed wall clock time (in seconds):25.975
18.02/26.08	o 63
18.25/26.23	c cleaning 9709 clauses out of 19420 with flag 12914/201117
18.66/26.46	c cleaning 7847 clauses out of 15710 with flag 38232/207116
19.25/26.71	c cleaning 7422 clauses out of 14861 with flag 63253/214115
19.85/27.01	c cleaning 7714 clauses out of 15439 with flag 90948/222115
20.25/27.28	c And the winner is solver0
20.54/27.59	c Got one! Elapsed wall clock time (in seconds):27.478
20.54/27.59	o 58
20.95/27.80	c cleaning 10190 clauses out of 20383 with flag 19199/234773
21.35/28.03	c cleaning 8097 clauses out of 16193 with flag 42063/240773
21.57/28.13	c And the winner is solver0
21.73/28.59	c Got one! Elapsed wall clock time (in seconds):28.481
21.73/28.59	o 57
21.76/28.67	c cleaning 6602 clauses out of 13207 with flag 6775/245886
21.96/28.77	c And the winner is solver0
22.16/29.09	c Got one! Elapsed wall clock time (in seconds):28.985
22.16/29.09	o 54
22.16/29.17	c cleaning 6023 clauses out of 12058 with flag 7181/251339
22.56/29.36	c cleaning 6014 clauses out of 12033 with flag 28509/257338
23.16/29.60	c cleaning 6505 clauses out of 13018 with flag 53068/264338
23.58/29.82	c And the winner is solver0
23.72/30.10	c Got one! Elapsed wall clock time (in seconds):29.989
23.72/30.10	o 52
23.91/30.23	c And the winner is solver0
24.09/30.60	c Got one! Elapsed wall clock time (in seconds):30.493
24.09/30.60	o 51
24.28/30.70	c cleaning 9385 clauses out of 18772 with flag 7388/276597
24.69/30.92	c cleaning 7686 clauses out of 15382 with flag 29202/282594
25.08/31.16	c cleaning 7343 clauses out of 14695 with flag 54938/289594
25.68/31.46	c cleaning 7666 clauses out of 15350 with flag 85977/297594
26.08/31.61	c And the winner is solver0
26.23/32.10	c Got one! Elapsed wall clock time (in seconds):31.997
26.23/32.10	o 48
26.23/32.12	c And the winner is solver0
26.29/32.61	c Got one! Elapsed wall clock time (in seconds):32.502
26.29/32.61	o 37
26.29/32.66	c cleaning 6854 clauses out of 13716 with flag 3668/303627
26.67/32.81	c And the winner is solver0
26.72/33.11	c Got one! Elapsed wall clock time (in seconds):33.006
26.72/33.11	o 33
26.72/33.16	c cleaning 6260 clauses out of 12522 with flag 4039/309289
27.08/33.37	c cleaning 6131 clauses out of 12261 with flag 26522/315292
27.68/33.61	c cleaning 6554 clauses out of 13120 with flag 53616/322289
27.68/33.65	c And the winner is solver0
27.89/34.12	c Got one! Elapsed wall clock time (in seconds):34.011
27.89/34.12	o 30
27.89/34.14	c And the winner is solver0
27.96/34.62	c Got one! Elapsed wall clock time (in seconds):34.517
27.96/34.62	o 21
27.96/34.67	c And the winner is solver0
28.06/35.13	c Got one! Elapsed wall clock time (in seconds):35.022
28.06/35.13	o 20
28.21/35.26	c cleaning 6284 clauses out of 12571 with flag 12985/328295
28.21/35.27	c And the winner is solver0
28.45/35.64	c Got one! Elapsed wall clock time (in seconds):35.529
28.45/35.64	o 15
28.45/35.69	c And the winner is solver0
28.56/36.14	c Got one! Elapsed wall clock time (in seconds):36.036
28.56/36.14	o 14
28.56/36.15	c And the winner is solver0
1800.05/1806.50	c >>>>>>>>>> Solver number 0 (59 answers) <<<<<<<<<<<<<<<<<<
1800.05/1806.50	c starts		: 255
1800.05/1806.50	c conflicts		: 329664
1800.05/1806.50	c decisions		: 531205
1800.05/1806.50	c propagations		: 8171162
1800.05/1806.50	c inspects		: 122899677
1800.05/1806.50	c shortcuts		: 0
1800.05/1806.50	c learnt literals	: 28
1800.05/1806.50	c learnt binary clauses	: 173
1800.05/1806.50	c learnt ternary clauses	: 1219
1800.05/1806.50	c learnt constraints	: 329636
1800.05/1806.50	c ignored constraints	: 0
1800.05/1806.50	c root simplifications	: 0
1800.05/1806.50	c removed literals (reason simplification)	: 2870978
1800.05/1806.50	c reason swapping (by a shorter reason)	: 0
1800.05/1806.50	c Calls to reduceDB	: 47
1800.05/1806.50	c Number of update (reduction) of LBD	: 84069
1800.05/1806.50	c Imported unit clauses	: 0
1800.05/1806.50	c number of reductions to clauses (during analyze)	: 0
1800.05/1806.50	c number of learned constraints concerned by reduction	: 0
1800.05/1806.50	c number of learning phase by resolution	: 0
1800.05/1806.50	c number of learning phase by cutting planes	: 0
1800.05/1806.50	c speed (assignments/second)	: 4523.636375715126
1800.05/1806.50	c non guided choices	1977
1800.05/1806.51	c learnt constraints type 
1800.05/1806.51	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 173
1800.05/1806.51	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 7482
1800.05/1806.51	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/1806.51	c starts		: 66
1800.05/1806.51	c conflicts		: 1848
1800.05/1806.51	c decisions		: 11458
1800.05/1806.51	c propagations		: 68836
1800.05/1806.51	c inspects		: 10896776
1800.05/1806.51	c shortcuts		: 0
1800.05/1806.51	c learnt literals	: 0
1800.05/1806.51	c learnt binary clauses	: 0
1800.05/1806.51	c learnt ternary clauses	: 0
1800.05/1806.51	c learnt constraints	: 1800
1800.05/1806.51	c ignored constraints	: 0
1800.05/1806.51	c root simplifications	: 0
1800.05/1806.51	c removed literals (reason simplification)	: 0
1800.05/1806.51	c reason swapping (by a shorter reason)	: 0
1800.05/1806.51	c Calls to reduceDB	: 0
1800.05/1806.51	c Number of update (reduction) of LBD	: 0
1800.05/1806.51	c Imported unit clauses	: 0
1800.05/1806.51	c number of reductions to clauses (during analyze)	: 0
1800.05/1806.51	c number of learned constraints concerned by reduction	: 0
1800.05/1806.51	c number of learning phase by resolution	: 0
1800.05/1806.51	c number of learning phase by cutting planes	: 0
1800.05/1806.51	c speed (assignments/second)	: 38.882816626137846
1800.05/1806.51	c non guided choices	804
1800.05/1806.51	c learnt constraints type 
1800.05/1806.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1800
1800.05/1806.51	s SATISFIABLE
1800.05/1806.51	c Found 58 solution(s)
1800.05/1806.51	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 
1800.05/1806.51	c objective function=14
1800.05/1806.51	c Total wall clock time (in seconds): 1806.405

Verifier Data 

OK	14

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-4109389-1466341928/watcher-4109389-1466341928 -o /tmp/evaluation-result-4109389-1466341928/solver-4109389-1466341928 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466341815-30931 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109389-1466341928.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.39 0.54 0.20 2/196 32380
/proc/meminfo: memFree=31116612/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 36239425 98570240 977 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 24065 977 743 9 0 16771 0
[pid=32380/tid=32381] ppid=32377 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32377 32380 30914 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 36239426 98570240 977 33554432000 1073741824 1073778376 140737002872512 139795673595432 262962759040 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 1.39 0.54 0.20 2/196 32380
/proc/meminfo: memFree=31116612/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 4504 0 1 0 10 1 0 0 20 0 18 0 36239425 9787879424 6127 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2389619 6127 2156 9 0 2380296 0
[pid=32380/tid=32381] ppid=32377 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) R 32377 32380 30914 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 36239426 9787879424 6127 33554432000 1073741824 1073778376 140737002872512 139795673582336 139795676398216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200382 s]
/proc/loadavg: 1.39 0.54 0.20 2/196 32380
/proc/meminfo: memFree=31116612/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 4814 0 1 0 25 1 0 0 20 0 22 0 36239425 10060525568 7919 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 7919 2219 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2413 0 1 0 15 0 0 0 20 0 22 0 36239426 10060525568 7919 33554432000 1073741824 1073778376 140737002872512 139795673600888 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+0.300278 s]
/proc/loadavg: 1.39 0.54 0.20 2/196 32380
/proc/meminfo: memFree=31116612/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 7587 0 1 0 64 2 0 0 20 0 22 0 36239425 10060525568 10177 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 10177 2250 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2413 0 1 0 15 0 0 0 20 0 22 0 36239426 10060525568 10177 33554432000 1073741824 1073778376 140737002872512 139795673600888 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9824732

[startup+0.700227 s]
/proc/loadavg: 1.39 0.54 0.20 2/196 32380
/proc/meminfo: memFree=31116612/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 15924 0 1 0 125 5 0 0 20 0 22 0 36239425 10060525568 15302 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 15302 2253 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2413 0 1 0 15 0 0 0 20 0 22 0 36239426 10060525568 15302 33554432000 1073741824 1073778376 140737002872512 139795673600888 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 1.39 0.54 0.20 2/215 32405
/proc/meminfo: memFree=31060264/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 17003 0 1 0 160 10 0 0 20 0 19 0 36239425 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 18060 2260 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2414 0 1 0 15 0 0 0 20 0 19 0 36239426 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795673600888 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32383] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239426 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795635092008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32384] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795634039208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32385] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795632986408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32386] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795631933608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32387] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795630881832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32388] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795629829032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32389] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795628776232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32390] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32377 32380 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795627723432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32391] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32377 32380 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795496950248 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32392] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32377 32380 30914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795495896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32393] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795494843400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32394] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239430 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795493791888 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32395] ppid=32377 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32377 32380 30914 0 -1 4202560 5074 0 0 0 43 2 0 0 20 0 19 0 36239430 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795492740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32396] ppid=32377 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32377 32380 30914 0 -1 4202560 8166 0 0 0 53 2 0 0 20 0 19 0 36239430 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795491687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32397] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239430 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795490634616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32398] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239430 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795489582024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32401] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32401/stat : 32401 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36239444 10060525568 18060 33554432000 1073741824 1073778376 140737002872512 139795486421928 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 1.39 0.54 0.20 4/215 32414
/proc/meminfo: memFree=31039784/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 17032 0 1 0 169 13 0 0 20 0 19 0 36239425 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 22157 2260 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2415 0 1 0 16 0 0 0 20 0 19 0 36239426 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795673600888 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32383] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239426 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795635092008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32384] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795634039208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32385] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795632986408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32386] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795631933608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32387] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795630881832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32388] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795629829032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32389] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795628776232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32390] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32377 32380 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795627723432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32391] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32377 32380 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795496950248 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32392] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32377 32380 30914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795495896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32393] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795494843400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32394] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239430 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795493791888 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32395] ppid=32377 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32377 32380 30914 0 -1 4202560 5074 0 0 0 46 2 0 0 20 0 19 0 36239430 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795492740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32396] ppid=32377 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32377 32380 30914 0 -1 4202560 8166 0 0 0 58 2 0 0 20 0 19 0 36239430 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795491687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32397] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239430 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795490634616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32398] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239430 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795489582024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32401] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32401/stat : 32401 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36239444 10060525568 22157 33554432000 1073741824 1073778376 140737002872512 139795486421928 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30085 s]
/proc/loadavg: 1.36 0.55 0.20 2/215 32432
/proc/meminfo: memFree=30978624/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 17421 0 1 0 229 22 0 0 20 0 19 0 36239425 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 38834 2268 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2416 0 1 0 16 0 0 0 20 0 19 0 36239426 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795673600888 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32383] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239426 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795635092008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32384] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795634039208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32385] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795632986408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32386] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795631933608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32387] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795630881832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32388] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795629829032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32389] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795628776232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32390] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32377 32380 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36239427 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795627723432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32391] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32377 32380 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795496950248 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32392] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32377 32380 30914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795495896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32393] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36239428 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795494843400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32394] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36239430 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795493791888 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32395] ppid=32377 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32377 32380 30914 0 -1 4202560 5351 0 0 0 56 2 0 0 20 0 19 0 36239430 10060525568 38834 33554432000 1073741824 1073778376 140737002872512 139795492740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2428 0 1 0 41 12 0 0 20 0 21 0 36239426 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795673601000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32383] ppid=32377 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32377 32380 30914 0 -1 4202560 202 0 0 0 24 7 0 0 20 0 21 0 36239426 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795635092008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32384] ppid=32377 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32377 32380 30914 0 -1 4202560 134 0 0 0 17 4 0 0 20 0 21 0 36239427 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795634039208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32385] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32377 32380 30914 0 -1 4202560 90 0 0 0 18 5 0 0 20 0 21 0 36239427 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795632986408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32386] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32377 32380 30914 0 -1 4202560 139 0 0 0 17 6 0 0 20 0 21 0 36239427 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795631933608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32387] ppid=32377 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32377 32380 30914 0 -1 4202560 173 0 0 0 21 7 0 0 20 0 21 0 36239427 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795630881832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32388] ppid=32377 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32377 32380 30914 0 -1 4202560 91 0 0 0 22 4 0 0 20 0 21 0 36239427 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795629829032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32389] ppid=32377 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32377 32380 30914 0 -1 4202560 87 0 0 0 17 4 0 0 20 0 21 0 36239427 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795628776232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32390] ppid=32377 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32377 32380 30914 0 -1 4202560 111 0 0 0 23 5 0 0 20 0 21 0 36239427 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795627723432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32391] ppid=32377 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32377 32380 30914 0 -1 4202560 482 0 0 0 2 6 0 0 20 0 21 0 36239428 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795496950248 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32392] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32377 32380 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36239428 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795495896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32393] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32377 32380 30914 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 36239428 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795494843400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32394] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36239430 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795493791888 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32395] ppid=32377 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32377 32380 30914 0 -1 4202560 5359 0 0 0 81 2 0 0 20 0 21 0 36239430 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795492740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32396] ppid=32377 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32377 32380 30914 0 -1 4202560 8190 0 0 0 109 2 0 0 20 0 21 0 36239430 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795491687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32397] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36239430 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795490634616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32398] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32377 32380 30914 0 -1 4202560 104 0 0 0 9 14 0 0 20 0 21 0 36239430 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795489582024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32401] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32401/stat : 32401 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36239444 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795486421928 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32575] ppid=32377 vsize=9824732 CPUtime=1741.13 cores=1,3,5,7
/proc/32380/task/32575/stat : 32575 (java) R 32377 32380 30914 0 -1 4202560 234 0 0 0 174076 37 0 0 20 0 21 0 36243041 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795487472960 139795498749840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32576] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32576/stat : 32576 (java) S 32377 32380 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36243042 10060525568 250036 33554432000 1073741824 1073778376 140737002872512 139795488527400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1775.83
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.5 s]
/proc/loadavg: 1.85 1.97 1.73 4/218 573
/proc/meminfo: memFree=29842812/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 20229 0 1 0 179816 189 0 0 20 0 21 0 36239425 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 249087 2287 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2428 0 1 0 41 13 0 0 20 0 21 0 36239426 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795673601000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32383] ppid=32377 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32377 32380 30914 0 -1 4202560 204 0 0 0 25 7 0 0 20 0 21 0 36239426 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795635092008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32384] ppid=32377 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32377 32380 30914 0 -1 4202560 134 0 0 0 17 4 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795634039208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32385] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32377 32380 30914 0 -1 4202560 90 0 0 0 18 5 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795632986408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32386] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32377 32380 30914 0 -1 4202560 139 0 0 0 17 6 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795631933608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32387] ppid=32377 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32377 32380 30914 0 -1 4202560 176 0 0 0 21 7 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795630881832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32388] ppid=32377 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32377 32380 30914 0 -1 4202560 91 0 0 0 22 4 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795629829032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32389] ppid=32377 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32377 32380 30914 0 -1 4202560 87 0 0 0 17 4 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795628776232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32390] ppid=32377 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32377 32380 30914 0 -1 4202560 114 0 0 0 24 5 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795627723432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32391] ppid=32377 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32377 32380 30914 0 -1 4202560 484 0 0 0 2 6 0 0 20 0 21 0 36239428 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795496950248 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32392] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32377 32380 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36239428 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795495896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32393] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32377 32380 30914 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 36239428 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795494843400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32394] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795493791888 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32395] ppid=32377 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32377 32380 30914 0 -1 4202560 5359 0 0 0 81 2 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795492740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32396] ppid=32377 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32377 32380 30914 0 -1 4202560 8190 0 0 0 109 2 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795491687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32397] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795490634616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32398] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32377 32380 30914 0 -1 4202560 106 0 0 0 9 14 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795489582024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32401] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32401/stat : 32401 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36239444 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795486421928 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32575] ppid=32377 vsize=9824732 CPUtime=1765.25 cores=1,3,5,7
/proc/32380/task/32575/stat : 32575 (java) R 32377 32380 30914 0 -1 4202560 235 0 0 0 176488 37 0 0 20 0 21 0 36243041 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795487472608 139795498626094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32576] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32576/stat : 32576 (java) S 32377 32380 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36243042 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795488527400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32380 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1806.5 s]
/proc/loadavg: 1.85 1.97 1.73 4/218 573
/proc/meminfo: memFree=29842812/32872528 swapFree=303544/319896
[pid=32380] ppid=32377 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/32380/stat : 32380 (java) S 32377 32380 30914 0 -1 4202496 20229 0 1 0 179816 189 0 0 20 0 21 0 36239425 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 140737002863648 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32380/statm: 2456183 249087 2287 9 0 2446860 0
[pid=32380/tid=32381] ppid=32377 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/32380/task/32381/stat : 32381 (java) S 32377 32380 30914 0 -1 4202560 2428 0 1 0 41 13 0 0 20 0 21 0 36239426 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795673601000 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32383] ppid=32377 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/32380/task/32383/stat : 32383 (java) S 32377 32380 30914 0 -1 4202560 204 0 0 0 25 7 0 0 20 0 21 0 36239426 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795635092008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32384] ppid=32377 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/32380/task/32384/stat : 32384 (java) S 32377 32380 30914 0 -1 4202560 134 0 0 0 17 4 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795634039208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32385] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32385/stat : 32385 (java) S 32377 32380 30914 0 -1 4202560 90 0 0 0 18 5 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795632986408 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32386] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32386/stat : 32386 (java) S 32377 32380 30914 0 -1 4202560 139 0 0 0 17 6 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795631933608 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32387] ppid=32377 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/32380/task/32387/stat : 32387 (java) S 32377 32380 30914 0 -1 4202560 176 0 0 0 21 7 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795630881832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32388] ppid=32377 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/32380/task/32388/stat : 32388 (java) S 32377 32380 30914 0 -1 4202560 91 0 0 0 22 4 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795629829032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32389] ppid=32377 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/32380/task/32389/stat : 32389 (java) S 32377 32380 30914 0 -1 4202560 87 0 0 0 17 4 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795628776232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32390] ppid=32377 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/32380/task/32390/stat : 32390 (java) S 32377 32380 30914 0 -1 4202560 114 0 0 0 24 5 0 0 20 0 21 0 36239427 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795627723432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32391] ppid=32377 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/32380/task/32391/stat : 32391 (java) S 32377 32380 30914 0 -1 4202560 484 0 0 0 2 6 0 0 20 0 21 0 36239428 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795496950248 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32380/tid=32392] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32392/stat : 32392 (java) S 32377 32380 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36239428 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795495896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32393] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32393/stat : 32393 (java) S 32377 32380 30914 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 36239428 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795494843400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32394] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32394/stat : 32394 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795493791888 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32395] ppid=32377 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/32380/task/32395/stat : 32395 (java) S 32377 32380 30914 0 -1 4202560 5359 0 0 0 81 2 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795492740024 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32396] ppid=32377 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/32380/task/32396/stat : 32396 (java) S 32377 32380 30914 0 -1 4202560 8190 0 0 0 109 2 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795491687224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32380/tid=32397] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32397/stat : 32397 (java) S 32377 32380 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795490634616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32398] ppid=32377 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/32380/task/32398/stat : 32398 (java) S 32377 32380 30914 0 -1 4202560 106 0 0 0 9 14 0 0 20 0 21 0 36239430 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795489582024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32401] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32401/stat : 32401 (java) S 32377 32380 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36239444 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795486421928 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32380/tid=32575] ppid=32377 vsize=9824732 CPUtime=1765.25 cores=1,3,5,7
/proc/32380/task/32575/stat : 32575 (java) R 32377 32380 30914 0 -1 4202560 235 0 0 0 176488 37 0 0 20 0 21 0 36243041 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795487472608 139795498626094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32380/tid=32576] ppid=32377 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/32380/task/32576/stat : 32576 (java) S 32377 32380 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36243042 10060525568 249087 33554432000 1073741824 1073778376 140737002872512 139795488527400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32380 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=678319
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=343643
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1806.52
CPU time (s): 1800.05
CPU user time (s): 1798.16
CPU system time (s): 1.89
CPU usage (%): 99.6417
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 2.34364
maximum resident set size= 1154312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20253
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76483
involuntary context switches= 16438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43057 second user time and 13.9559 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-19 15:12:08
IDJOB=4109389
IDBENCH=78796
IDSOLVER=2552
FILE ID=node128/4109389-1466341928
RUNJOBID= node128-1466341815-30931
PBS_JOBID= 19922025
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 960bc2a8059baa29bab251cd640f5046
RANDOM SEED=1667155791

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31116876 kB
Buffers:          185044 kB
Cached:           272480 kB
SwapCached:         2716 kB
Active:           321348 kB
Inactive:         342964 kB
Active(anon):     206328 kB
Inactive(anon):     2792 kB
Active(file):     115020 kB
Inactive(file):   340172 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099292 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:        500580 kB
Mapped:            17148 kB
Shmem:                 0 kB
Slab:             626860 kB
SReclaimable:      70224 kB
SUnreclaim:       556636 kB
KernelStack:        1800 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     966796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71708 MiB
End job on node128 at 2016-06-19 15:42:15