Trace number 4092307

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.04 1808.53

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
MD5SUMdbf89d35013c2bab398211fa15264c93
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark6.29304
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 1200
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.12/0.10	c Pseudo Boolean Optimization by upper bound
0.12/0.10	c ManyCore solver with 2 solvers running in parallel
0.12/0.10	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.12/0.10	c --- Begin Solver configuration ---
0.12/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.12/0.10	c Learn all clauses as in MiniSAT
0.12/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.10	c Expensive reason simplification
0.12/0.10	c Glucose 2.1 dynamic restart strategy
0.12/0.10	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.12/0.10	c timeout=2147483s
0.12/0.10	c DB Simplification allowed=false
0.12/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.12/0.10	c --- End Solver configuration ---
0.12/0.10	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.12/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.10	c --- Begin Solver configuration ---
0.12/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.12/0.10	c Learn all clauses as in MiniSAT
0.12/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.10	c No reason simplification
0.12/0.10	c Armin Biere (Picosat) restarts strategy
0.12/0.10	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.12/0.10	c timeout=2147483s
0.12/0.10	c DB Simplification allowed=false
0.12/0.10	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.12/0.10	c --- End Solver configuration ---
0.12/0.11	c solving HOME/instance-4092307-1466082367.wbo
0.12/0.11	c reading problem ... 
0.12/0.17	c ... done. Wall clock time 0.065s.
0.12/0.17	c declared #vars     169
0.12/0.17	c internal #vars     270
0.12/0.17	c #constraints  101
0.12/0.17	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.12/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.12/0.17	c 101 constraints processed.
0.12/0.17	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30
0.12/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPb => 71
0.12/0.17	c 101 constraints processed.
0.12/0.17	c objective function length is 101 literals
1.09/0.48	c And the winner is solver0
1.68/0.68	c SATISFIABLE
1.68/0.68	c OPTIMIZING...
1.68/0.68	c Got one! Elapsed wall clock time (in seconds):0.57
1.68/0.68	o 1003
1.68/0.68	c And the winner is solver0
1.83/1.18	c Got one! Elapsed wall clock time (in seconds):1.071
1.83/1.18	o 765
1.83/1.18	c And the winner is solver0
1.84/1.68	c Got one! Elapsed wall clock time (in seconds):1.572
1.84/1.68	o 758
1.84/1.68	c And the winner is solver0
1.84/2.18	c Got one! Elapsed wall clock time (in seconds):2.074
1.84/2.18	o 475
1.84/2.18	c And the winner is solver0
1.85/2.68	c Got one! Elapsed wall clock time (in seconds):2.575
1.85/2.68	o 435
1.85/2.69	c And the winner is solver0
1.86/3.18	c Got one! Elapsed wall clock time (in seconds):3.076
1.86/3.18	o 429
1.86/3.20	c And the winner is solver0
1.90/3.68	c Got one! Elapsed wall clock time (in seconds):3.577
1.90/3.68	o 428
1.90/3.69	c And the winner is solver0
1.90/4.18	c Got one! Elapsed wall clock time (in seconds):4.078
1.90/4.18	o 424
1.90/4.20	c And the winner is solver0
2.03/4.68	c Got one! Elapsed wall clock time (in seconds):4.58
2.03/4.68	o 422
2.06/4.71	c And the winner is solver0
2.10/5.19	c Got one! Elapsed wall clock time (in seconds):5.081
2.10/5.19	o 421
2.10/5.19	c And the winner is solver0
2.10/5.69	c Got one! Elapsed wall clock time (in seconds):5.582
2.10/5.69	o 397
2.10/5.69	c And the winner is solver0
2.11/6.19	c Got one! Elapsed wall clock time (in seconds):6.083
2.11/6.19	o 396
2.12/6.20	c And the winner is solver0
2.14/6.69	c Got one! Elapsed wall clock time (in seconds):6.584
2.14/6.69	o 379
2.14/6.69	c And the winner is solver0
2.14/7.19	c Got one! Elapsed wall clock time (in seconds):7.085
2.14/7.19	o 370
2.15/7.21	c And the winner is solver0
2.17/7.69	c Got one! Elapsed wall clock time (in seconds):7.587
2.17/7.69	o 368
2.19/7.70	c And the winner is solver0
2.22/8.19	c Got one! Elapsed wall clock time (in seconds):8.088
2.22/8.19	o 367
2.22/8.20	c And the winner is solver0
2.22/8.69	c Got one! Elapsed wall clock time (in seconds):8.589
2.22/8.69	o 355
2.22/8.70	c And the winner is solver0
2.22/9.19	c Got one! Elapsed wall clock time (in seconds):9.09
2.22/9.19	o 309
2.23/9.22	c And the winner is solver0
2.39/9.70	c Got one! Elapsed wall clock time (in seconds):9.591
2.39/9.70	o 307
2.39/9.73	c And the winner is solver0
2.59/10.20	c Got one! Elapsed wall clock time (in seconds):10.098
2.59/10.20	o 302
2.59/10.21	c And the winner is solver0
2.60/10.70	c Got one! Elapsed wall clock time (in seconds):10.599
2.60/10.70	o 300
2.60/10.73	c And the winner is solver0
2.68/11.21	c Got one! Elapsed wall clock time (in seconds):11.1
2.68/11.21	o 290
2.68/11.22	c And the winner is solver0
2.76/11.71	c Got one! Elapsed wall clock time (in seconds):11.601
2.76/11.71	o 287
2.76/11.76	c And the winner is solver0
2.89/12.21	c Got one! Elapsed wall clock time (in seconds):12.102
2.89/12.21	o 282
2.89/12.21	c And the winner is solver0
2.89/12.71	c Got one! Elapsed wall clock time (in seconds):12.604
2.89/12.71	o 273
3.08/12.85	c And the winner is solver0
3.24/13.21	c Got one! Elapsed wall clock time (in seconds):13.105
3.24/13.21	o 272
3.24/13.29	c cleaning 5390 clauses out of 10808 with flag 3164/10808
4.12/13.60	c cleaning 5707 clauses out of 11418 with flag 27428/16808
4.73/13.97	c cleaning 6345 clauses out of 12711 with flag 61743/23808
5.34/14.20	c And the winner is solver0
5.45/14.36	c Got one! Elapsed wall clock time (in seconds):14.256
5.45/14.36	o 271
5.45/14.37	c And the winner is solver0
5.50/14.86	c Got one! Elapsed wall clock time (in seconds):14.757
5.50/14.86	o 268
5.58/14.90	c And the winner is solver0
5.60/15.36	c Got one! Elapsed wall clock time (in seconds):15.258
5.60/15.36	o 266
5.60/15.37	c And the winner is solver0
5.76/15.86	c Got one! Elapsed wall clock time (in seconds):15.759
5.76/15.86	o 233
5.76/15.89	c And the winner is solver0
5.91/16.37	c Got one! Elapsed wall clock time (in seconds):16.261
5.91/16.37	o 221
5.91/16.37	c And the winner is solver0
5.91/16.87	c Got one! Elapsed wall clock time (in seconds):16.762
5.91/16.87	o 220
5.91/16.88	c And the winner is solver0
5.91/17.37	c Got one! Elapsed wall clock time (in seconds):17.263
5.91/17.37	o 219
5.91/17.39	c And the winner is solver0
5.98/17.87	c Got one! Elapsed wall clock time (in seconds):17.765
5.98/17.87	o 217
6.03/17.93	c cleaning 6746 clauses out of 13492 with flag 4327/30934
6.03/17.95	c And the winner is solver0
6.18/18.37	c Got one! Elapsed wall clock time (in seconds):18.266
6.18/18.37	o 209
6.18/18.39	c And the winner is solver0
6.24/18.87	c Got one! Elapsed wall clock time (in seconds):18.767
6.24/18.87	o 206
6.50/19.05	c And the winner is solver0
7.04/19.52	c Got one! Elapsed wall clock time (in seconds):19.418
7.04/19.52	o 205
7.04/19.55	c And the winner is solver0
7.59/20.02	c Got one! Elapsed wall clock time (in seconds):19.919
7.59/20.02	o 184
7.73/20.10	c And the winner is solver0
8.12/20.52	c Got one! Elapsed wall clock time (in seconds):20.42
8.12/20.52	o 181
8.12/20.58	c And the winner is solver0
8.63/21.03	c Got one! Elapsed wall clock time (in seconds):20.921
8.63/21.03	o 180
8.63/21.06	c And the winner is solver0
9.11/21.53	c Got one! Elapsed wall clock time (in seconds):21.422
9.11/21.53	o 162
9.11/21.55	c And the winner is solver0
9.60/22.03	c Got one! Elapsed wall clock time (in seconds):21.923
9.60/22.03	o 147
9.60/22.05	c And the winner is solver0
10.12/22.53	c Got one! Elapsed wall clock time (in seconds):22.424
10.12/22.53	o 142
10.29/22.64	c cleaning 7974 clauses out of 15948 with flag 3824/40136
10.29/22.65	c And the winner is solver0
11.14/23.03	c Got one! Elapsed wall clock time (in seconds):22.925
11.14/23.03	o 135
11.14/23.06	c And the winner is solver0
11.62/23.53	c Got one! Elapsed wall clock time (in seconds):23.426
11.62/23.53	o 134
11.62/23.56	c And the winner is solver0
12.10/24.03	c Got one! Elapsed wall clock time (in seconds):23.927
12.10/24.03	o 132
12.10/24.06	c And the winner is solver0
12.59/24.53	c Got one! Elapsed wall clock time (in seconds):24.427
12.59/24.53	o 130
12.59/24.58	c And the winner is solver0
13.11/25.03	c Got one! Elapsed wall clock time (in seconds):24.928
13.11/25.03	o 129
13.24/25.12	c And the winner is solver0
13.65/25.53	c Got one! Elapsed wall clock time (in seconds):25.429
13.65/25.53	o 118
13.65/25.56	c And the winner is solver0
14.15/26.04	c Got one! Elapsed wall clock time (in seconds):25.93
14.15/26.04	o 110
14.15/26.05	c And the winner is solver0
14.62/26.54	c Got one! Elapsed wall clock time (in seconds):26.431
14.62/26.54	o 106
14.62/26.56	c And the winner is solver0
15.10/27.04	c Got one! Elapsed wall clock time (in seconds):26.932
15.10/27.04	o 105
15.21/27.15	c And the winner is solver0
15.66/27.54	c Got one! Elapsed wall clock time (in seconds):27.433
15.66/27.54	o 102
15.99/27.74	c cleaning 9223 clauses out of 18445 with flag 11363/50607
16.39/27.93	c And the winner is solver0
16.53/28.04	c Got one! Elapsed wall clock time (in seconds):27.934
16.53/28.04	o 98
16.53/28.07	c And the winner is solver0
17.02/28.54	c Got one! Elapsed wall clock time (in seconds):28.435
17.02/28.54	o 97
17.14/28.62	c And the winner is solver0
17.56/29.04	c Got one! Elapsed wall clock time (in seconds):28.936
17.56/29.04	o 96
17.56/29.06	c And the winner is solver0
18.04/29.54	c Got one! Elapsed wall clock time (in seconds):29.436
18.04/29.54	o 95
18.04/29.56	c And the winner is solver0
18.52/30.04	c Got one! Elapsed wall clock time (in seconds):29.937
18.52/30.04	o 91
18.52/30.08	c And the winner is solver0
19.03/30.54	c Got one! Elapsed wall clock time (in seconds):30.438
19.03/30.54	o 80
19.03/30.55	c And the winner is solver0
19.05/31.04	c Got one! Elapsed wall clock time (in seconds):30.94
19.05/31.04	o 49
19.05/31.06	c And the winner is solver0
19.53/31.55	c Got one! Elapsed wall clock time (in seconds):31.441
19.53/31.55	o 47
19.63/31.61	c cleaning 8752 clauses out of 17511 with flag 3094/58896
19.63/31.64	c And the winner is solver0
20.07/32.05	c Got one! Elapsed wall clock time (in seconds):31.944
20.07/32.05	o 45
20.17/32.15	c And the winner is solver0
20.62/32.55	c Got one! Elapsed wall clock time (in seconds):32.447
20.62/32.55	o 44
20.71/32.68	c And the winner is solver0
21.21/33.05	c Got one! Elapsed wall clock time (in seconds):32.949
21.21/33.05	o 42
21.21/33.09	c And the winner is solver0
21.69/33.56	c Got one! Elapsed wall clock time (in seconds):33.452
21.69/33.56	o 40
21.78/33.62	c cleaning 7947 clauses out of 15912 with flag 3720/66049
22.18/33.88	c cleaning 6976 clauses out of 13964 with flag 27298/72048
22.99/34.24	c cleaning 6985 clauses out of 13990 with flag 61658/79050
23.18/34.32	c And the winner is solver0
23.38/34.56	c Got one! Elapsed wall clock time (in seconds):34.454
23.38/34.56	o 39
23.65/34.75	c cleaning 6424 clauses out of 12859 with flag 16225/84904
24.25/35.03	c cleaning 6214 clauses out of 12435 with flag 39425/90904
24.45/35.19	c And the winner is solver0
24.81/35.56	c Got one! Elapsed wall clock time (in seconds):35.457
24.81/35.56	o 38
24.81/35.60	c And the winner is solver0
24.91/36.07	c Got one! Elapsed wall clock time (in seconds):35.961
24.91/36.07	o 37
24.91/36.08	c And the winner is solver0
24.95/36.57	c Got one! Elapsed wall clock time (in seconds):36.464
24.95/36.57	o 35
25.00/36.60	c And the winner is solver0
25.04/37.08	c Got one! Elapsed wall clock time (in seconds):36.967
25.04/37.08	o 30
25.08/37.11	c And the winner is solver0
25.13/37.58	c Got one! Elapsed wall clock time (in seconds):37.471
25.13/37.58	o 29
25.13/37.60	c And the winner is solver0
25.20/38.08	c Got one! Elapsed wall clock time (in seconds):37.974
25.20/38.08	o 28
25.23/38.16	c And the winner is solver0
25.44/38.58	c Got one! Elapsed wall clock time (in seconds):38.478
25.44/38.58	o 18
25.44/38.60	c And the winner is solver0
25.48/39.09	c Got one! Elapsed wall clock time (in seconds):38.982
25.48/39.09	o 16
25.50/39.12	c And the winner is solver0
25.58/39.59	c Got one! Elapsed wall clock time (in seconds):39.486
25.58/39.59	o 14
25.60/39.65	c cleaning 7756 clauses out of 15511 with flag 3953/100194
25.60/39.66	c And the winner is solver0
25.79/40.09	c Got one! Elapsed wall clock time (in seconds):39.989
25.79/40.09	o 13
25.79/40.11	c And the winner is solver0
25.79/40.60	c Got one! Elapsed wall clock time (in seconds):40.494
25.79/40.60	o 12
25.79/40.61	c And the winner is solver0
25.84/41.10	c Got one! Elapsed wall clock time (in seconds):40.998
25.84/41.10	o 11
25.84/41.13	c And the winner is solver0
25.92/41.61	c Got one! Elapsed wall clock time (in seconds):41.502
25.92/41.61	o 10
25.92/41.63	c And the winner is solver0
26.00/42.11	c Got one! Elapsed wall clock time (in seconds):42.006
26.00/42.11	o 8
26.36/42.38	c cleaning 7109 clauses out of 14235 with flag 22266/106674
26.36/42.39	c And the winner is solver0
26.76/42.62	c Got one! Elapsed wall clock time (in seconds):42.511
26.76/42.62	o 7
27.12/42.85	c cleaning 6226 clauses out of 12459 with flag 22398/112008
27.72/43.15	c cleaning 6112 clauses out of 12233 with flag 50746/118008
28.32/43.49	c cleaning 6560 clauses out of 13121 with flag 85028/125009
29.13/43.89	c cleaning 7275 clauses out of 14558 with flag 123503/133008
30.14/44.38	c cleaning 8139 clauses out of 16285 with flag 166909/142010
31.36/44.93	c cleaning 9073 clauses out of 18145 with flag 217281/152012
32.56/45.54	c cleaning 10035 clauses out of 20072 with flag 272296/163016
32.75/45.65	c And the winner is solver0
32.88/46.12	c Got one! Elapsed wall clock time (in seconds):46.016
32.88/46.12	o 6
33.04/46.30	c cleaning 7706 clauses out of 15430 with flag 15069/168410
33.83/46.61	c cleaning 6857 clauses out of 13722 with flag 45110/174410
34.43/46.96	c cleaning 6923 clauses out of 13864 with flag 81871/181410
35.24/47.36	c cleaning 7469 clauses out of 14941 with flag 124867/189410
36.22/47.84	c cleaning 8231 clauses out of 16473 with flag 175383/198411
37.24/48.39	c And the winner is solver0
37.94/48.98	c Got one! Elapsed wall clock time (in seconds):48.873
37.94/48.98	o 5
38.61/49.34	c cleaning 11546 clauses out of 23100 with flag 28724/213270
38.61/49.38	c And the winner is solver0
38.79/49.49	c Got one! Elapsed wall clock time (in seconds):49.381
38.79/49.49	o 4
38.84/49.56	c And the winner is solver0
39.15/50.00	c Got one! Elapsed wall clock time (in seconds):49.89
39.15/50.00	o 3
39.15/50.05	c And the winner is solver0
39.48/50.51	c Got one! Elapsed wall clock time (in seconds):50.405
39.48/50.51	o 2
39.48/50.52	c And the winner is solver0
1800.04/1808.51	c >>>>>>>>>> Solver number 0 (87 answers) <<<<<<<<<<<<<<<<<<
1800.04/1808.51	c starts		: 208
1800.04/1808.51	c conflicts		: 215992
1800.04/1808.51	c decisions		: 347901
1800.04/1808.51	c propagations		: 6160901
1800.04/1808.51	c inspects		: 127576961
1800.04/1808.51	c shortcuts		: 0
1800.04/1808.51	c learnt literals	: 18
1800.04/1808.51	c learnt binary clauses	: 42
1800.04/1808.51	c learnt ternary clauses	: 483
1800.04/1808.51	c learnt constraints	: 215974
1800.04/1808.51	c ignored constraints	: 0
1800.04/1808.51	c root simplifications	: 0
1800.04/1808.51	c removed literals (reason simplification)	: 196645
1800.04/1808.51	c reason swapping (by a shorter reason)	: 0
1800.04/1808.51	c Calls to reduceDB	: 27
1800.04/1808.51	c Number of update (reduction) of LBD	: 64525
1800.04/1808.51	c Imported unit clauses	: 0
1800.04/1808.51	c number of reductions to clauses (during analyze)	: 0
1800.04/1808.51	c number of learned constraints concerned by reduction	: 0
1800.04/1808.51	c number of learning phase by resolution	: 0
1800.04/1808.51	c number of learning phase by cutting planes	: 0
1800.04/1808.51	c speed (assignments/second)	: 3406.950489760459
1800.04/1808.51	c non guided choices	3977
1800.04/1808.52	c learnt constraints type 
1800.04/1808.52	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 42
1800.04/1808.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14232
1800.04/1808.52	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/1808.52	c starts		: 92
1800.04/1808.52	c conflicts		: 1149
1800.04/1808.52	c decisions		: 13082
1800.04/1808.52	c propagations		: 52894
1800.04/1808.52	c inspects		: 5098186
1800.04/1808.52	c shortcuts		: 0
1800.04/1808.52	c learnt literals	: 0
1800.04/1808.52	c learnt binary clauses	: 0
1800.04/1808.52	c learnt ternary clauses	: 0
1800.04/1808.52	c learnt constraints	: 1072
1800.04/1808.52	c ignored constraints	: 0
1800.04/1808.52	c root simplifications	: 0
1800.04/1808.52	c removed literals (reason simplification)	: 0
1800.04/1808.52	c reason swapping (by a shorter reason)	: 0
1800.04/1808.52	c Calls to reduceDB	: 0
1800.04/1808.52	c Number of update (reduction) of LBD	: 0
1800.04/1808.52	c Imported unit clauses	: 0
1800.04/1808.52	c number of reductions to clauses (during analyze)	: 0
1800.04/1808.52	c number of learned constraints concerned by reduction	: 0
1800.04/1808.52	c number of learning phase by resolution	: 0
1800.04/1808.52	c number of learning phase by cutting planes	: 0
1800.04/1808.52	c speed (assignments/second)	: 30.087924727286588
1800.04/1808.52	c non guided choices	2346
1800.04/1808.52	c learnt constraints type 
1800.04/1808.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1072
1800.04/1808.52	s SATISFIABLE
1800.04/1808.52	c Found 86 solution(s)
1800.04/1808.52	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.04/1808.52	c objective function=2
1800.04/1808.52	c Total wall clock time (in seconds): 1808.415

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4092307-1466082367/watcher-4092307-1466082367 -o /tmp/evaluation-result-4092307-1466082367/solver-4092307-1466082367 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466075444-9509 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092307-1466082367.wbo 

pid=17233
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: 4.14 3.96 3.33 4/197 17236
/proc/meminfo: memFree=29512952/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 10283328 98570240 977 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 24065 978 744 9 0 16771 0
[pid=17236/tid=17237] ppid=17233 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17233 17236 6847 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 10283329 98570240 978 33554432000 1073741824 1073778376 140737210378432 139958481899048 270707541376 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100118 s]
/proc/loadavg: 4.14 3.96 3.33 4/197 17236
/proc/meminfo: memFree=29512952/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 4539 0 1 0 11 1 0 0 20 0 18 0 10283328 9787879424 5667 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2389619 5667 2158 9 0 2380296 0
[pid=17236/tid=17237] ppid=17233 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17233 17236 6847 0 -1 4202560 2442 0 1 0 8 0 0 0 20 0 18 0 10283329 9787879424 5669 33554432000 1073741824 1073778376 140737210378432 139958481902496 139958485188496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476

[startup+0.200291 s]
/proc/loadavg: 4.14 3.96 3.33 4/197 17236
/proc/meminfo: memFree=29512952/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 4928 0 1 0 28 1 0 0 20 0 22 0 10283328 10060525568 7512 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 7512 2222 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2471 0 1 0 15 0 0 0 20 0 22 0 10283329 10060525568 7512 33554432000 1073741824 1073778376 140737210378432 139958481904504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9824732

[startup+0.300278 s]
/proc/loadavg: 4.14 3.96 3.33 4/197 17236
/proc/meminfo: memFree=29512952/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 7790 0 1 0 67 2 0 0 20 0 22 0 10283328 10060525568 9352 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 9352 2246 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2471 0 1 0 15 0 0 0 20 0 22 0 10283329 10060525568 9352 33554432000 1073741824 1073778376 140737210378432 139958481904504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9824732

[startup+0.700291 s]
/proc/loadavg: 4.14 3.96 3.33 4/197 17236
/proc/meminfo: memFree=29512952/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 16305 0 1 0 178 5 0 0 20 0 19 0 10283328 10060525568 17223 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 17223 2261 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2471 0 1 0 16 0 0 0 20 0 19 0 10283329 10060525568 17223 33554432000 1073741824 1073778376 140737210378432 139958481904504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.14 3.96 3.33 4/216 17261
/proc/meminfo: memFree=29452464/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 16316 0 1 0 179 5 0 0 20 0 19 0 10283328 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 18249 2261 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2472 0 1 0 16 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958481904504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17239] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958325914152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17240] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958324861352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17241] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958323808552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17242] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958322755752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17243] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958321703976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17244] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958320651176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17245] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958319598376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17246] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17233 17236 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958318545576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17247] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17233 17236 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10283330 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958306134504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17248] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17233 17236 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10283331 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958305080568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17249] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10283331 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958304027656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17250] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283333 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958302976144 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17251] ppid=17233 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17233 17236 6847 0 -1 4202560 5837 0 0 0 50 0 0 0 20 0 19 0 10283333 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958301924280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17252] ppid=17233 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17233 17236 6847 0 -1 4202560 6655 0 0 0 50 1 0 0 20 0 19 0 10283333 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958300871480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17253] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283333 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958299818872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17254] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283333 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958298766280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17257] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17257/stat : 17257 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10283346 10060525568 18249 33554432000 1073741824 1073778376 140737210378432 139958295557032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 4.14 3.96 3.33 4/216 17270
/proc/meminfo: memFree=29437548/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 16347 0 1 0 181 5 0 0 20 0 19 0 10283328 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 22348 2261 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2473 0 1 0 16 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958481904504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17239] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958325914152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17240] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958324861352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17241] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958323808552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17242] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958322755752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17243] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958321703976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17244] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958320651176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17245] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958319598376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17246] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17233 17236 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958318545576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17247] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17233 17236 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10283330 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958306134504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17248] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17233 17236 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10283331 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958305080568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17249] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10283331 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958304027656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17250] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283333 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958302976144 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17251] ppid=17233 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17233 17236 6847 0 -1 4202560 5839 0 0 0 50 0 0 0 20 0 19 0 10283333 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958301924280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17252] ppid=17233 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17233 17236 6847 0 -1 4202560 6656 0 0 0 51 2 0 0 20 0 19 0 10283333 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958300871480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17253] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283333 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958299818872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17254] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283333 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958298766280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17257] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17257/stat : 17257 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10283346 10060525568 22348 33554432000 1073741824 1073778376 140737210378432 139958295557032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=28 pid=1814 uid=0 cmd=

[startup+6.30083 s]
/proc/loadavg: 4.04 3.94 3.33 4/216 17288
/proc/meminfo: memFree=29403280/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 16473 0 1 0 203 11 0 0 20 0 19 0 10283328 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 32336 2269 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2475 0 1 0 17 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958481904504 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17239] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958325914152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17240] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958324861352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17241] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958323808552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17242] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958322755752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17243] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958321703976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17244] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958320651176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17245] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958319598376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17246] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17233 17236 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10283329 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958318545576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17247] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17233 17236 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10283330 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958306134504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17248] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17233 17236 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10283331 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958305080568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17249] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10283331 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958304027656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17250] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10283333 10060525568 32336 33554432000 1073741824 1073778376 140737210378432 139958302976144 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17251] ppid=17233 vsize=9824732 CPUtime=0.63 cores=1,3,5,7

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

[pid=17236/tid=17243] ppid=17233 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17233 17236 6847 0 -1 4202560 173 0 0 0 41 6 0 0 20 0 21 0 10283329 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958321703976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17244] ppid=17233 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17233 17236 6847 0 -1 4202560 421 0 0 0 39 6 0 0 20 0 21 0 10283329 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958320651176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17245] ppid=17233 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17233 17236 6847 0 -1 4202560 375 0 0 0 47 6 0 0 20 0 21 0 10283329 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958319598376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17246] ppid=17233 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17233 17236 6847 0 -1 4202560 525 0 0 0 41 8 0 0 20 0 21 0 10283329 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958318545576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17247] ppid=17233 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17233 17236 6847 0 -1 4202560 1091 0 0 0 29 9 0 0 20 0 21 0 10283330 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958306134504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17248] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17233 17236 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10283331 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958305080568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17249] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17233 17236 6847 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 21 0 10283331 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958304027656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17250] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10283333 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958302976144 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17251] ppid=17233 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17233 17236 6847 0 -1 4202560 5943 0 0 0 124 1 0 0 20 0 21 0 10283333 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958301924280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17252] ppid=17233 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17233 17236 6847 0 -1 4202560 13727 0 0 0 132 2 0 0 20 0 21 0 10283333 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958300871480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17253] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10283333 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958299818872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17254] ppid=17233 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17233 17236 6847 0 -1 4202560 103 0 0 0 13 14 0 0 20 0 21 0 10283333 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958298766280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17257] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17257/stat : 17257 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10283346 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958295557032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17515] ppid=17233 vsize=9824732 CPUtime=1725.6 cores=1,3,5,7
/proc/17236/task/17515/stat : 17515 (java) R 17233 17236 6847 0 -1 4202560 2524 0 0 0 172525 35 0 0 20 0 21 0 10288381 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958297661232 139958422198878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17516] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17516/stat : 17516 (java) S 17233 17236 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10288382 10060525568 196039 33554432000 1073741824 1073778376 140737210378432 139958294505000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1773.83
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.51 s]
/proc/loadavg: 2.17 2.18 2.37 4/217 20426
/proc/meminfo: memFree=28531664/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 31147 0 1 0 179778 226 0 0 20 0 21 0 10283328 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 195877 2295 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2498 0 1 0 49 15 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958481904632 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17239] ppid=17233 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17233 17236 6847 0 -1 4202560 518 0 0 0 41 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958325914152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17240] ppid=17233 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17233 17236 6847 0 -1 4202560 590 0 0 0 40 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958324861352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17241] ppid=17233 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17233 17236 6847 0 -1 4202560 312 0 0 0 39 4 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958323808552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17242] ppid=17233 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17233 17236 6847 0 -1 4202560 251 0 0 0 42 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958322755752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17243] ppid=17233 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17233 17236 6847 0 -1 4202560 175 0 0 0 42 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958321703976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17244] ppid=17233 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17233 17236 6847 0 -1 4202560 423 0 0 0 39 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958320651176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17245] ppid=17233 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17233 17236 6847 0 -1 4202560 375 0 0 0 47 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958319598376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17246] ppid=17233 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17233 17236 6847 0 -1 4202560 525 0 0 0 42 8 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958318545576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17247] ppid=17233 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17233 17236 6847 0 -1 4202560 1093 0 0 0 29 9 0 0 20 0 21 0 10283330 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958306134504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17248] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17233 17236 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10283331 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958305080568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17249] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17233 17236 6847 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 21 0 10283331 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958304027656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17250] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958302976144 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17251] ppid=17233 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17233 17236 6847 0 -1 4202560 5943 0 0 0 124 1 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958301924280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17252] ppid=17233 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17233 17236 6847 0 -1 4202560 13727 0 0 0 132 2 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958300871480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17253] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958299818872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17254] ppid=17233 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17233 17236 6847 0 -1 4202560 103 0 0 0 13 14 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958298766280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17257] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17257/stat : 17257 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10283346 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958295557032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17515] ppid=17233 vsize=9824732 CPUtime=1751.73 cores=1,3,5,7
/proc/17236/task/17515/stat : 17515 (java) R 17233 17236 6847 0 -1 4202560 2525 0 0 0 175138 35 0 0 20 0 21 0 10288381 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958297661072 139958422563344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17516] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17516/stat : 17516 (java) S 17233 17236 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10288382 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958294505000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 17236 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1808.51 s]
/proc/loadavg: 2.17 2.18 2.37 4/217 20426
/proc/meminfo: memFree=28531664/32872528 swapFree=1541688/1694988
[pid=17236] ppid=17233 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17233 17236 6847 0 -1 4202496 31147 0 1 0 179778 226 0 0 20 0 21 0 10283328 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 140737210369568 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17236/statm: 2456183 195877 2295 9 0 2446860 0
[pid=17236/tid=17237] ppid=17233 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) S 17233 17236 6847 0 -1 4202560 2498 0 1 0 49 15 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958481904632 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17239] ppid=17233 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17233 17236 6847 0 -1 4202560 518 0 0 0 41 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958325914152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17240] ppid=17233 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17233 17236 6847 0 -1 4202560 590 0 0 0 40 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958324861352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17241] ppid=17233 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17233 17236 6847 0 -1 4202560 312 0 0 0 39 4 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958323808552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17242] ppid=17233 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17233 17236 6847 0 -1 4202560 251 0 0 0 42 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958322755752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17243] ppid=17233 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17233 17236 6847 0 -1 4202560 175 0 0 0 42 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958321703976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17244] ppid=17233 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17233 17236 6847 0 -1 4202560 423 0 0 0 39 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958320651176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17245] ppid=17233 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17233 17236 6847 0 -1 4202560 375 0 0 0 47 6 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958319598376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17246] ppid=17233 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17233 17236 6847 0 -1 4202560 525 0 0 0 42 8 0 0 20 0 21 0 10283329 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958318545576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17247] ppid=17233 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17233 17236 6847 0 -1 4202560 1093 0 0 0 29 9 0 0 20 0 21 0 10283330 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958306134504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17248] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17233 17236 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10283331 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958305080568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17249] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17233 17236 6847 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 21 0 10283331 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958304027656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17236/tid=17250] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958302976144 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17251] ppid=17233 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17233 17236 6847 0 -1 4202560 5943 0 0 0 124 1 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958301924280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17252] ppid=17233 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17233 17236 6847 0 -1 4202560 13727 0 0 0 132 2 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958300871480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17253] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17233 17236 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958299818872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17254] ppid=17233 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17233 17236 6847 0 -1 4202560 103 0 0 0 13 14 0 0 20 0 21 0 10283333 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958298766280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17236/tid=17257] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17257/stat : 17257 (java) S 17233 17236 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10283346 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958295557032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17236/tid=17515] ppid=17233 vsize=9824732 CPUtime=1751.73 cores=1,3,5,7
/proc/17236/task/17515/stat : 17515 (java) R 17233 17236 6847 0 -1 4202560 2525 0 0 0 175138 35 0 0 20 0 21 0 10288381 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958297661072 139958422563344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17236/tid=17516] ppid=17233 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17516/stat : 17516 (java) S 17233 17236 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10288382 10060525568 195877 33554432000 1073741824 1073778376 140737210378432 139958294505000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732

Child status: 143

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


# 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): 2.38419e-06
#  lost CPU user time (s): 0.0200005
#  lost CPU system time (s): -0.02

Real time (s): 1808.53
CPU time (s): 1800.04
CPU user time (s): 1797.8
CPU system time (s): 2.24
CPU usage (%): 99.5307
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.33
system time used= 2.69259
maximum resident set size= 816508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31182
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80565
involuntary context switches= 25494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0923 second user time and 12.6531 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 15:06:07
IDJOB=4092307
IDBENCH=79189
IDSOLVER=2552
FILE ID=node125/4092307-1466082367
RUNJOBID= node125-1466075444-9509
PBS_JOBID= 19904014
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= dbf89d35013c2bab398211fa15264c93
RANDOM SEED=1660770993

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29513688 kB
Buffers:           27988 kB
Cached:            64960 kB
SwapCached:         2664 kB
Active:           890872 kB
Inactive:          65756 kB
Active(anon):     861832 kB
Inactive(anon):     3812 kB
Active(file):      29040 kB
Inactive(file):    61944 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096840 kB
Dirty:               724 kB
Writeback:             0 kB
AnonPages:       2595004 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             567084 kB
SReclaimable:      10284 kB
SUnreclaim:       556800 kB
KernelStack:        1784 kB
PageTables:         9112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2906824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    995328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node125 at 2016-06-16 15:36:16