Trace number 4092314

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16OPTIMUM 30.2784 51.3912

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
MD5SUM08393a4a0fbe261470f6b3451acbb15e
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 benchmark4.78427
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 1240
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@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4092314-1467322119.wbo
0.11/0.11	c reading problem ... 
0.11/0.17	c ... done. Wall clock time 0.065s.
0.11/0.17	c declared #vars     169
0.11/0.17	c internal #vars     270
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.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.11/0.18	c 101 constraints processed.
0.11/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.18	c constraints type 
0.11/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30
0.11/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 71
0.11/0.18	c 101 constraints processed.
0.11/0.18	c objective function length is 101 literals
0.27/0.28	c And the winner is solver0
1.01/0.68	c SATISFIABLE
1.01/0.68	c OPTIMIZING...
1.01/0.68	c Got one! Elapsed wall clock time (in seconds):0.57
1.01/0.68	o 676
1.01/0.69	c And the winner is solver0
1.08/1.18	c Got one! Elapsed wall clock time (in seconds):1.071
1.08/1.18	o 675
1.13/1.24	c And the winner is solver0
1.36/1.68	c Got one! Elapsed wall clock time (in seconds):1.573
1.36/1.68	o 672
1.36/1.69	c And the winner is solver0
1.38/2.18	c Got one! Elapsed wall clock time (in seconds):2.075
1.38/2.18	o 602
1.43/2.21	c And the winner is solver0
1.47/2.68	c Got one! Elapsed wall clock time (in seconds):2.576
1.47/2.68	o 600
1.47/2.69	c And the winner is solver0
1.47/3.18	c Got one! Elapsed wall clock time (in seconds):3.078
1.47/3.18	o 544
1.52/3.21	c And the winner is solver0
1.62/3.69	c Got one! Elapsed wall clock time (in seconds):3.579
1.62/3.69	o 543
1.62/3.69	c And the winner is solver0
1.62/4.19	c Got one! Elapsed wall clock time (in seconds):4.08
1.62/4.19	o 531
1.62/4.19	c And the winner is solver0
1.63/4.69	c Got one! Elapsed wall clock time (in seconds):4.582
1.63/4.69	o 525
1.63/4.69	c And the winner is solver0
1.67/5.19	c Got one! Elapsed wall clock time (in seconds):5.083
1.67/5.19	o 418
1.68/5.20	c And the winner is solver0
1.69/5.69	c Got one! Elapsed wall clock time (in seconds):5.584
1.69/5.69	o 393
1.70/5.71	c And the winner is solver0
1.78/6.19	c Got one! Elapsed wall clock time (in seconds):6.086
1.78/6.19	o 387
1.78/6.20	c And the winner is solver0
1.80/6.69	c Got one! Elapsed wall clock time (in seconds):6.587
1.80/6.69	o 386
1.81/6.70	c And the winner is solver0
1.81/7.20	c Got one! Elapsed wall clock time (in seconds):7.088
1.81/7.20	o 328
1.81/7.20	c And the winner is solver0
1.81/7.70	c Got one! Elapsed wall clock time (in seconds):7.589
1.81/7.70	o 305
2.11/7.85	c And the winner is solver0
2.29/8.20	c Got one! Elapsed wall clock time (in seconds):8.09
2.29/8.20	o 302
2.29/8.20	c And the winner is solver0
2.29/8.70	c Got one! Elapsed wall clock time (in seconds):8.592
2.29/8.70	o 299
2.29/8.72	c And the winner is solver0
2.36/9.20	c Got one! Elapsed wall clock time (in seconds):9.093
2.36/9.20	o 298
2.36/9.22	c And the winner is solver0
2.46/9.70	c Got one! Elapsed wall clock time (in seconds):9.594
2.46/9.70	o 297
2.46/9.71	c And the winner is solver0
2.46/10.20	c Got one! Elapsed wall clock time (in seconds):10.095
2.46/10.20	o 296
2.46/10.21	c And the winner is solver0
2.47/10.70	c Got one! Elapsed wall clock time (in seconds):10.597
2.47/10.70	o 286
2.47/10.76	c And the winner is solver0
2.61/11.20	c Got one! Elapsed wall clock time (in seconds):11.098
2.61/11.20	o 278
2.61/11.22	c And the winner is solver0
2.62/11.71	c Got one! Elapsed wall clock time (in seconds):11.598
2.62/11.71	o 276
2.81/11.84	c cleaning 5307 clauses out of 10614 with flag 7085/10614
3.04/11.97	c And the winner is solver0
3.33/12.21	c Got one! Elapsed wall clock time (in seconds):12.1
3.33/12.21	o 275
3.33/12.22	c And the winner is solver0
3.49/12.71	c Got one! Elapsed wall clock time (in seconds):12.601
3.49/12.71	o 270
3.49/12.71	c And the winner is solver0
3.50/13.21	c Got one! Elapsed wall clock time (in seconds):13.102
3.50/13.21	o 267
3.50/13.28	c And the winner is solver0
3.81/13.71	c Got one! Elapsed wall clock time (in seconds):13.603
3.81/13.71	o 266
3.81/13.71	c And the winner is solver0
3.81/14.21	c Got one! Elapsed wall clock time (in seconds):14.104
3.81/14.21	o 262
3.99/14.32	c cleaning 5805 clauses out of 11620 with flag 7633/16927
4.39/14.51	c And the winner is solver0
4.42/14.71	c Got one! Elapsed wall clock time (in seconds):14.605
4.42/14.71	o 258
4.66/14.83	c cleaning 5850 clauses out of 11702 with flag 7231/22814
4.66/14.87	c And the winner is solver0
4.87/15.21	c Got one! Elapsed wall clock time (in seconds):15.107
4.87/15.21	o 253
4.87/15.22	c And the winner is solver0
4.95/15.71	c Got one! Elapsed wall clock time (in seconds):15.608
4.95/15.71	o 251
4.95/15.72	c And the winner is solver0
4.95/16.22	c Got one! Elapsed wall clock time (in seconds):16.109
4.95/16.22	o 250
4.95/16.22	c And the winner is solver0
4.95/16.72	c Got one! Elapsed wall clock time (in seconds):16.61
4.95/16.72	o 243
5.11/16.82	c And the winner is solver0
5.24/17.22	c Got one! Elapsed wall clock time (in seconds):17.111
5.24/17.22	o 242
5.24/17.24	c And the winner is solver0
5.35/17.72	c Got one! Elapsed wall clock time (in seconds):17.612
5.35/17.72	o 233
5.35/17.73	c And the winner is solver0
5.43/18.22	c Got one! Elapsed wall clock time (in seconds):18.113
5.43/18.22	o 229
5.43/18.27	c And the winner is solver0
5.58/18.72	c Got one! Elapsed wall clock time (in seconds):18.614
5.58/18.72	o 227
5.74/18.81	c And the winner is solver0
5.90/19.22	c Got one! Elapsed wall clock time (in seconds):19.115
5.90/19.22	o 225
6.07/19.35	c cleaning 7236 clauses out of 14471 with flag 9091/31433
6.27/19.43	c And the winner is solver0
6.44/19.72	c Got one! Elapsed wall clock time (in seconds):19.616
6.44/19.72	o 223
6.79/19.91	c And the winner is solver0
6.93/20.22	c Got one! Elapsed wall clock time (in seconds):20.117
6.93/20.22	o 222
6.93/20.25	c And the winner is solver0
7.05/20.73	c Got one! Elapsed wall clock time (in seconds):20.618
7.05/20.73	o 209
7.05/20.79	c cleaning 7048 clauses out of 14097 with flag 4045/38295
7.19/20.83	c And the winner is solver0
7.33/21.23	c Got one! Elapsed wall clock time (in seconds):21.119
7.33/21.23	o 203
7.33/21.24	c And the winner is solver0
7.44/21.73	c Got one! Elapsed wall clock time (in seconds):21.62
7.44/21.73	o 193
7.44/21.74	c And the winner is solver0
7.53/22.23	c Got one! Elapsed wall clock time (in seconds):22.121
7.53/22.23	o 188
7.53/22.29	c And the winner is solver0
7.67/22.73	c Got one! Elapsed wall clock time (in seconds):22.622
7.67/22.73	o 187
8.00/22.94	c cleaning 6817 clauses out of 13646 with flag 17860/44892
8.41/23.18	c And the winner is solver0
8.89/23.58	c Got one! Elapsed wall clock time (in seconds):23.474
8.89/23.58	o 164
8.99/23.60	c And the winner is solver0
9.04/24.08	c Got one! Elapsed wall clock time (in seconds):23.975
9.04/24.08	o 134
9.06/24.19	c cleaning 6436 clauses out of 12886 with flag 3974/50949
9.36/24.21	c And the winner is solver0
9.97/24.58	c Got one! Elapsed wall clock time (in seconds):24.476
9.97/24.58	o 133
10.05/24.63	c And the winner is solver0
10.14/25.08	c Got one! Elapsed wall clock time (in seconds):24.977
10.14/25.08	o 121
10.18/25.10	c And the winner is solver0
10.24/25.58	c Got one! Elapsed wall clock time (in seconds):25.478
10.24/25.58	o 90
10.24/25.60	c And the winner is solver0
10.32/26.09	c Got one! Elapsed wall clock time (in seconds):25.979
10.32/26.09	o 89
10.34/26.13	c And the winner is solver0
10.43/26.59	c Got one! Elapsed wall clock time (in seconds):26.48
10.43/26.59	o 87
10.45/26.65	c And the winner is solver0
10.91/27.09	c Got one! Elapsed wall clock time (in seconds):26.981
10.91/27.09	o 85
11.35/27.30	c cleaning 7297 clauses out of 14593 with flag 15794/59092
11.35/27.34	c And the winner is solver0
11.60/27.59	c Got one! Elapsed wall clock time (in seconds):27.482
11.60/27.59	o 84
11.64/27.61	c And the winner is solver0
11.70/28.09	c Got one! Elapsed wall clock time (in seconds):27.983
11.70/28.09	o 81
11.91/28.20	c And the winner is solver0
12.23/28.59	c Got one! Elapsed wall clock time (in seconds):28.484
12.23/28.59	o 80
12.27/28.66	c And the winner is solver0
12.74/29.09	c Got one! Elapsed wall clock time (in seconds):28.986
12.74/29.09	o 79
12.77/29.14	c And the winner is solver0
12.88/29.59	c Got one! Elapsed wall clock time (in seconds):29.487
12.88/29.59	o 76
13.09/29.72	c cleaning 7446 clauses out of 14897 with flag 6996/66693
13.68/30.02	c cleaning 6717 clauses out of 13451 with flag 29113/72693
14.29/30.38	c And the winner is solver0
14.49/30.60	c Got one! Elapsed wall clock time (in seconds):30.488
14.49/30.60	o 75
14.91/30.89	c cleaning 9298 clauses out of 18598 with flag 19954/84557
15.12/30.95	c And the winner is solver0
15.28/31.10	c Got one! Elapsed wall clock time (in seconds):30.99
15.28/31.10	o 73
15.28/31.17	c And the winner is solver0
15.46/31.60	c Got one! Elapsed wall clock time (in seconds):31.492
15.46/31.60	o 60
15.46/31.65	c And the winner is solver0
15.58/32.10	c Got one! Elapsed wall clock time (in seconds):31.994
15.58/32.10	o 58
15.58/32.14	c And the winner is solver0
15.66/32.60	c Got one! Elapsed wall clock time (in seconds):32.496
15.66/32.60	o 57
15.84/32.71	c cleaning 7784 clauses out of 15574 with flag 6363/90831
15.84/32.75	c And the winner is solver0
16.25/33.11	c Got one! Elapsed wall clock time (in seconds):32.998
16.25/33.11	o 48
16.43/33.20	c And the winner is solver0
16.44/33.61	c Got one! Elapsed wall clock time (in seconds):33.501
16.44/33.61	o 46
16.62/33.71	c cleaning 6555 clauses out of 13112 with flag 6863/96153
16.62/33.72	c And the winner is solver0
16.67/34.11	c Got one! Elapsed wall clock time (in seconds):34.003
16.67/34.11	o 45
16.85/34.22	c And the winner is solver0
16.89/34.61	c Got one! Elapsed wall clock time (in seconds):34.506
16.89/34.61	o 42
17.05/34.74	c cleaning 6226 clauses out of 12480 with flag 9679/102076
17.25/34.84	c And the winner is solver0
17.46/35.12	c Got one! Elapsed wall clock time (in seconds):35.009
17.46/35.12	o 40
17.46/35.17	c And the winner is solver0
17.58/35.62	c Got one! Elapsed wall clock time (in seconds):35.512
17.58/35.62	o 38
17.58/35.63	c And the winner is solver0
17.62/36.12	c Got one! Elapsed wall clock time (in seconds):36.015
17.62/36.12	o 37
17.62/36.15	c And the winner is solver0
17.68/36.63	c Got one! Elapsed wall clock time (in seconds):36.519
17.68/36.63	o 36
17.68/36.63	c And the winner is solver0
17.68/37.13	c Got one! Elapsed wall clock time (in seconds):37.022
17.68/37.13	o 30
17.68/37.14	c And the winner is solver0
17.69/37.63	c Got one! Elapsed wall clock time (in seconds):37.526
17.69/37.63	o 29
17.81/37.75	c And the winner is solver0
17.95/38.14	c Got one! Elapsed wall clock time (in seconds):38.029
17.95/38.14	o 26
17.95/38.15	c And the winner is solver0
17.95/38.64	c Got one! Elapsed wall clock time (in seconds):38.533
17.95/38.64	o 25
17.95/38.65	c And the winner is solver0
17.96/39.14	c Got one! Elapsed wall clock time (in seconds):39.037
17.96/39.14	o 23
17.96/39.19	c And the winner is solver0
18.10/39.65	c Got one! Elapsed wall clock time (in seconds):39.54
18.10/39.65	o 21
18.10/39.66	c And the winner is solver0
18.15/40.15	c Got one! Elapsed wall clock time (in seconds):40.044
18.15/40.15	o 19
18.24/40.21	c cleaning 7655 clauses out of 15313 with flag 3479/111135
18.64/40.45	c cleaning 6830 clauses out of 13660 with flag 24356/117137
19.04/40.70	c And the winner is solver0
19.34/41.16	c Got one! Elapsed wall clock time (in seconds):41.048
19.34/41.16	o 18
19.34/41.18	c And the winner is solver0
19.40/41.66	c Got one! Elapsed wall clock time (in seconds):41.552
19.40/41.66	o 17
19.47/41.77	c And the winner is solver0
19.62/42.16	c Got one! Elapsed wall clock time (in seconds):42.056
19.62/42.16	o 16
19.89/42.38	c cleaning 9740 clauses out of 19480 with flag 16312/129787
20.09/42.47	c And the winner is solver0
20.57/42.82	c Got one! Elapsed wall clock time (in seconds):42.711
20.57/42.82	o 14
20.57/42.83	c And the winner is solver0
20.63/43.32	c Got one! Elapsed wall clock time (in seconds):43.215
20.63/43.32	o 13
20.77/43.42	c And the winner is solver0
20.84/43.83	c Got one! Elapsed wall clock time (in seconds):43.72
20.84/43.83	o 12
20.84/43.88	c cleaning 7692 clauses out of 15404 with flag 4176/135451
21.21/44.01	c And the winner is solver0
21.25/44.33	c Got one! Elapsed wall clock time (in seconds):44.224
21.25/44.33	o 11
21.25/44.34	c And the winner is solver0
21.25/44.84	c Got one! Elapsed wall clock time (in seconds):44.729
21.25/44.84	o 10
21.37/44.98	c cleaning 6925 clauses out of 13850 with flag 11911/141589
21.98/45.25	c cleaning 6457 clauses out of 12923 with flag 38286/147587
22.37/45.46	c And the winner is solver0
22.52/45.84	c Got one! Elapsed wall clock time (in seconds):45.733
22.52/45.84	o 9
22.64/45.90	c cleaning 6146 clauses out of 12298 with flag 4769/153419
23.04/46.16	c cleaning 6071 clauses out of 12153 with flag 30285/159421
23.64/46.47	c cleaning 6538 clauses out of 13079 with flag 60291/166419
24.44/46.84	c cleaning 7268 clauses out of 14541 with flag 95770/174420
24.44/46.85	c And the winner is solver0
24.65/47.34	c Got one! Elapsed wall clock time (in seconds):47.238
24.65/47.34	o 7
24.95/47.55	c cleaning 6209 clauses out of 12421 with flag 21364/179568
25.56/47.81	c cleaning 6101 clauses out of 12209 with flag 46691/185566
25.96/48.00	c And the winner is solver0
26.10/48.35	c Got one! Elapsed wall clock time (in seconds):48.243
26.10/48.35	o 6
26.10/48.40	c cleaning 5787 clauses out of 11576 with flag 4196/191034
26.59/48.66	c cleaning 5889 clauses out of 11786 with flag 31022/197035
27.19/48.95	c cleaning 6432 clauses out of 12895 with flag 61380/204035
27.19/48.99	c And the winner is solver0
27.52/49.35	c Got one! Elapsed wall clock time (in seconds):49.247
27.52/49.35	o 5
27.82/49.53	c cleaning 5811 clauses out of 11640 with flag 18959/209212
28.20/49.77	c cleaning 5912 clauses out of 11827 with flag 45989/215210
28.60/49.90	c And the winner is solver0
28.65/50.36	c Got one! Elapsed wall clock time (in seconds):50.252
28.65/50.36	o 3
28.72/50.46	c cleaning 5727 clauses out of 11466 with flag 9802/220762
29.34/50.71	c cleaning 5868 clauses out of 11739 with flag 37721/226763
29.34/50.78	c And the winner is solver0
29.52/50.86	c Got one! Elapsed wall clock time (in seconds):50.757
29.52/50.86	o 2
29.81/51.00	c cleaning 5493 clauses out of 10985 with flag 14437/231879
30.01/51.15	c And the winner is solver0
30.18/51.38	c >>>>>>>>>> Solver number 0 (93 answers) <<<<<<<<<<<<<<<<<<
30.18/51.38	c starts		: 231
30.18/51.38	c conflicts		: 235672
30.18/51.38	c decisions		: 403789
30.18/51.38	c propagations		: 6872707
30.18/51.38	c inspects		: 106047354
30.18/51.38	c shortcuts		: 0
30.18/51.38	c learnt literals	: 31
30.18/51.38	c learnt binary clauses	: 55
30.18/51.38	c learnt ternary clauses	: 425
30.18/51.38	c learnt constraints	: 235640
30.18/51.38	c ignored constraints	: 0
30.18/51.38	c root simplifications	: 0
30.18/51.38	c removed literals (reason simplification)	: 150482
30.18/51.38	c reason swapping (by a shorter reason)	: 0
30.18/51.38	c Calls to reduceDB	: 34
30.18/51.38	c Number of update (reduction) of LBD	: 72138
30.18/51.38	c Imported unit clauses	: 0
30.18/51.38	c number of reductions to clauses (during analyze)	: 0
30.18/51.38	c number of learned constraints concerned by reduction	: 0
30.18/51.38	c number of learning phase by resolution	: 0
30.18/51.38	c number of learning phase by cutting planes	: 0
30.18/51.38	c speed (assignments/second)	: 134227.31533924455
30.18/51.38	c non guided choices	4113
30.18/51.38	c learnt constraints type 
30.18/51.38	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
30.18/51.38	c starts		: 93
30.18/51.38	c conflicts		: 252
30.18/51.38	c decisions		: 9218
30.18/51.38	c propagations		: 25545
30.18/51.38	c inspects		: 651474
30.18/51.38	c shortcuts		: 0
30.18/51.38	c learnt literals	: 0
30.18/51.38	c learnt binary clauses	: 0
30.18/51.38	c learnt ternary clauses	: 0
30.18/51.38	c learnt constraints	: 176
30.18/51.38	c ignored constraints	: 0
30.18/51.38	c root simplifications	: 0
30.18/51.38	c removed literals (reason simplification)	: 0
30.18/51.38	c reason swapping (by a shorter reason)	: 0
30.18/51.38	c Calls to reduceDB	: 0
30.18/51.38	c Number of update (reduction) of LBD	: 0
30.18/51.38	c Imported unit clauses	: 0
30.18/51.38	c number of reductions to clauses (during analyze)	: 0
30.18/51.38	c number of learned constraints concerned by reduction	: 0
30.18/51.38	c number of learning phase by resolution	: 0
30.18/51.38	c number of learning phase by cutting planes	: 0
30.18/51.38	c speed (assignments/second)	: 50484.18972332016
30.18/51.38	c non guided choices	1725
30.18/51.38	c learnt constraints type 
30.18/51.38	s OPTIMUM FOUND
30.18/51.38	c Found 92 solution(s)
30.18/51.38	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 
30.18/51.38	c objective function=2
30.18/51.38	c Total wall clock time (in seconds): 51.276

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-4092314-1467322119/watcher-4092314-1467322119 -o /tmp/evaluation-result-4092314-1467322119/solver-4092314-1467322119 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467318739-25000 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092314-1467322119.wbo 

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

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


[startup+0 s]
/proc/loadavg: 0.67 0.80 1.03 2/169 1674
/proc/meminfo: memFree=28995516/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=89800 CPUtime=0 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 1260 0 0 0 0 0 0 0 20 0 2 0 13163089 91955200 901 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 22970 906 688 9 0 16769 0
[pid=1674/tid=1676] ppid=1671 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) R 1671 1674 22681 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13163089 98570240 977 33554432000 1073741824 1073778376 140736339556560 140230973394472 239873115520 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100153 s]
/proc/loadavg: 0.67 0.80 1.03 2/169 1674
/proc/meminfo: memFree=28995516/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 4492 0 1 0 10 1 0 0 20 0 18 0 13163089 9787879424 6113 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2389619 6113 2156 9 0 2380296 0
[pid=1674/tid=1676] ppid=1671 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) R 1671 1674 22681 0 -1 4202560 2387 0 1 0 6 1 0 0 20 0 18 0 13163089 9787879424 6118 33554432000 1073741824 1073778376 140736339556560 140230973397920 140230976202983 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.200291 s]
/proc/loadavg: 0.67 0.80 1.03 2/169 1674
/proc/meminfo: memFree=28995516/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 4855 0 1 0 26 1 0 0 20 0 22 0 13163089 10060525568 7928 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 7928 2222 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2417 0 1 0 14 2 0 0 20 0 22 0 13163089 10060525568 7928 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824732

[startup+0.300283 s]
/proc/loadavg: 0.67 0.80 1.03 2/169 1674
/proc/meminfo: memFree=28995516/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 10058 0 1 0 61 5 0 0 20 0 19 0 13163089 10060525568 11751 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 11773 2247 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2417 0 1 0 14 2 0 0 20 0 19 0 13163089 10060525568 11788 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 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.700208 s]
/proc/loadavg: 0.67 0.80 1.03 2/169 1674
/proc/meminfo: memFree=28995516/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 15122 0 1 0 99 8 0 0 20 0 19 0 13163089 10060525568 14944 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 14944 2253 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2417 0 1 0 14 2 0 0 20 0 19 0 13163089 10060525568 14944 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 0.78 0.82 1.03 1/188 1701
/proc/meminfo: memFree=28943796/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 15882 0 1 0 126 10 0 0 20 0 19 0 13163089 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 17049 2256 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2418 0 1 0 14 2 0 0 20 0 19 0 13163089 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1678] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1678/stat : 1678 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230816594728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1679] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1679/stat : 1679 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230815541928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1680] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1680/stat : 1680 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230814489640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1681] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1681/stat : 1681 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230813436840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1682] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1682/stat : 1682 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230812383528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1683] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1683/stat : 1683 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230811330728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1684] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1684/stat : 1684 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230810278440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1685] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1685/stat : 1685 (java) S 1671 1674 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230809225640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1686] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1686/stat : 1686 (java) S 1671 1674 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230797028072 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1687] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1687/stat : 1687 (java) S 1671 1674 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230795974136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1688] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1688/stat : 1688 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230794921736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1689] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1689/stat : 1689 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230793870224 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1690] ppid=1671 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/1674/task/1690/stat : 1690 (java) S 1671 1674 22681 0 -1 4202560 6615 0 0 0 40 2 0 0 20 0 19 0 13163093 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230792816824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1692] ppid=1671 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/1674/task/1692/stat : 1692 (java) S 1671 1674 22681 0 -1 4202560 5503 0 0 0 36 2 0 0 20 0 19 0 13163093 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230791764024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1693] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1693/stat : 1693 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230790711928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1694] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1694/stat : 1694 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230789659336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1698] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1698/stat : 1698 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13163107 10060525568 17049 33554432000 1073741824 1073778376 140736339556560 140230785447464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9824732

[startup+3.1008 s]
/proc/loadavg: 0.78 0.82 1.03 6/191 1710
/proc/meminfo: memFree=28926660/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 15910 0 1 0 135 12 0 0 20 0 19 0 13163089 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 20635 2257 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2419 0 1 0 15 2 0 0 20 0 19 0 13163089 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1678] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1678/stat : 1678 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230816594728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1679] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1679/stat : 1679 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230815541928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1680] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1680/stat : 1680 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230814489640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1681] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1681/stat : 1681 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230813436840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1682] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1682/stat : 1682 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230812383528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1683] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1683/stat : 1683 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230811330728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1684] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1684/stat : 1684 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230810278440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1685] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1685/stat : 1685 (java) S 1671 1674 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13163090 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230809225640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1686] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1686/stat : 1686 (java) S 1671 1674 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230797028072 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1687] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1687/stat : 1687 (java) S 1671 1674 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230795974136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1688] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1688/stat : 1688 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230794921736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1689] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1689/stat : 1689 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230793870224 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1690] ppid=1671 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/1674/task/1690/stat : 1690 (java) S 1671 1674 22681 0 -1 4202560 6615 0 0 0 44 2 0 0 20 0 19 0 13163093 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230792816824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1692] ppid=1671 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/1674/task/1692/stat : 1692 (java) S 1671 1674 22681 0 -1 4202560 5504 0 0 0 38 2 0 0 20 0 19 0 13163093 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230791764024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1693] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1693/stat : 1693 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230790711928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1694] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1694/stat : 1694 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230789659336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1698] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1698/stat : 1698 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13163107 10060525568 20635 33554432000 1073741824 1073778376 140736339556560 140230785447464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=33 pid=1810 uid=0 cmd=

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

[startup+5.20074 s]
/proc/loadavg: 0.78 0.82 1.03 1/188 1722
/proc/meminfo: memFree=28904060/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 15973 0 1 0 154 14 0 0 20 0 22 0 13163089 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 26547 2265 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2421 0 1 0 15 2 0 0 20 0 22 0 13163089 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1678] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1678/stat : 1678 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230816594728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1679] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1679/stat : 1679 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230815541928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1680] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1680/stat : 1680 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230814489640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1681] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1681/stat : 1681 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230813436840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1682] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1682/stat : 1682 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230812383528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1683] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1683/stat : 1683 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230811330728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1684] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1684/stat : 1684 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230810278440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1685] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1685/stat : 1685 (java) S 1671 1674 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13163090 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230809225640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1686] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1686/stat : 1686 (java) S 1671 1674 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13163091 10060525568 26547 33554432000 1073741824 1073778376 140736339556560 140230797028072 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=1674/tid=1692] ppid=1671 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/1674/task/1692/stat : 1692 (java) S 1671 1674 22681 0 -1 4202560 5848 0 0 0 83 2 0 0 20 0 19 0 13163093 10060525568 48795 33554432000 1073741824 1073778376 140736339556560 140230791764024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1693] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1693/stat : 1693 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 48795 33554432000 1073741824 1073778376 140736339556560 140230790711928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1694] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1694/stat : 1694 (java) S 1671 1674 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 48795 33554432000 1073741824 1073778376 140736339556560 140230789659336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1698] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1698/stat : 1698 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13163107 10060525568 48795 33554432000 1073741824 1073778376 140736339556560 140230785447464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=33 pid=1810 uid=0 cmd=/usr/local/sbin/pbs_mom 

[startup+51.1008 s]
/proc/loadavg: 0.88 0.82 1.02 3/191 1986
/proc/meminfo: memFree=28803344/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=30 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 21760 0 1 0 2844 156 0 0 20 0 22 0 13163089 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 49601 2286 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2423 0 1 0 29 2 0 0 20 0 22 0 13163089 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1678] ppid=1671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/1674/task/1678/stat : 1678 (java) S 1671 1674 22681 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230816594728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1679] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1679/stat : 1679 (java) S 1671 1674 22681 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230815541928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1680] ppid=1671 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1674/task/1680/stat : 1680 (java) S 1671 1674 22681 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230814489640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1681] ppid=1671 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1674/task/1681/stat : 1681 (java) S 1671 1674 22681 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230813436840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1682] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1682/stat : 1682 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230812383528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1683] ppid=1671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/1674/task/1683/stat : 1683 (java) S 1671 1674 22681 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230811330728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1684] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1684/stat : 1684 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230810278440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1685] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1685/stat : 1685 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 13163090 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230809225640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1686] ppid=1671 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/1674/task/1686/stat : 1686 (java) S 1671 1674 22681 0 -1 4202560 24 0 0 0 2 9 0 0 20 0 22 0 13163091 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230797028072 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1687] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1687/stat : 1687 (java) S 1671 1674 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13163091 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230795974136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1688] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1688/stat : 1688 (java) S 1671 1674 22681 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 22 0 13163091 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230794921736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1689] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1689/stat : 1689 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163093 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230793870224 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1690] ppid=1671 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/1674/task/1690/stat : 1690 (java) S 1671 1674 22681 0 -1 4202560 11185 0 0 0 130 3 0 0 20 0 22 0 13163093 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230792816824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1692] ppid=1671 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/1674/task/1692/stat : 1692 (java) S 1671 1674 22681 0 -1 4202560 5848 0 0 0 88 2 0 0 20 0 22 0 13163093 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230791764024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1693] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1693/stat : 1693 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13163093 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230790711928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1694] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1694/stat : 1694 (java) S 1671 1674 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13163093 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230789659336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1698] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1698/stat : 1698 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13163107 10060525568 49601 33554432000 1073741824 1073778376 140736339556560 140230785447464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=33 pid=1810 uid=0 cmd=/usr/local/sbin/pbs_mom 

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

[startup+51.2085 s]
/proc/loadavg: 0.88 0.82 1.02 3/191 1989
/proc/meminfo: memFree=28803352/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=30.16 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 21760 0 1 0 2859 157 0 0 20 0 20 0 13163089 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 49596 2286 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2423 0 1 0 29 2 0 0 20 0 20 0 13163089 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1678] ppid=1671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/1674/task/1678/stat : 1678 (java) S 1671 1674 22681 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230816594728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1679] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1679/stat : 1679 (java) S 1671 1674 22681 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230815541928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1680] ppid=1671 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1674/task/1680/stat : 1680 (java) S 1671 1674 22681 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230814489640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1681] ppid=1671 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1674/task/1681/stat : 1681 (java) S 1671 1674 22681 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230813436840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1682] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1682/stat : 1682 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230812383528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1683] ppid=1671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/1674/task/1683/stat : 1683 (java) S 1671 1674 22681 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230811330728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1684] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1684/stat : 1684 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230810278440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1685] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1685/stat : 1685 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 13163090 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230809225640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1686] ppid=1671 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/1674/task/1686/stat : 1686 (java) S 1671 1674 22681 0 -1 4202560 24 0 0 0 2 9 0 0 20 0 20 0 13163091 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230797028072 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1687] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1687/stat : 1687 (java) S 1671 1674 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 13163091 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230795974136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1688] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1688/stat : 1688 (java) S 1671 1674 22681 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 20 0 13163091 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230794921736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1689] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1689/stat : 1689 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13163093 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230793870224 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1690] ppid=1671 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/1674/task/1690/stat : 1690 (java) S 1671 1674 22681 0 -1 4202560 11185 0 0 0 130 3 0 0 20 0 20 0 13163093 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230792816824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1692] ppid=1671 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/1674/task/1692/stat : 1692 (java) S 1671 1674 22681 0 -1 4202560 5848 0 0 0 88 2 0 0 20 0 20 0 13163093 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230791764024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1693] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1693/stat : 1693 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 13163093 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230790711928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1694] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1694/stat : 1694 (java) S 1671 1674 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 13163093 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230789659336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1698] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1698/stat : 1698 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 13163107 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230785447464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1988] ppid=1671 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/1674/task/1988/stat : 1988 (java) R 1671 1674 22681 0 -1 4202560 2 0 0 0 32 0 0 0 20 0 20 0 13168176 10060525568 49596 33554432000 1073741824 1073778376 140736339556560 140230787552344 140230833795889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 30.16
Current children cumulated vsize (KiB) 9824732

[startup+51.3009 s]
/proc/loadavg: 0.88 0.82 1.02 3/191 1989
/proc/meminfo: memFree=28803352/32872528 swapFree=1459604/1655828
[pid=1674] ppid=1671 vsize=9824732 CPUtime=30.17 cores=1,3,5,7
/proc/1674/stat : 1674 (java) S 1671 1674 22681 0 -1 4202496 21760 0 1 0 2859 158 0 0 20 0 19 0 13163089 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140736339547696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1674/statm: 2456183 49594 2286 9 0 2446860 0
[pid=1674/tid=1676] ppid=1671 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/1674/task/1676/stat : 1676 (java) S 1671 1674 22681 0 -1 4202560 2423 0 1 0 29 2 0 0 20 0 19 0 13163089 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230973399928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1678] ppid=1671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/1674/task/1678/stat : 1678 (java) S 1671 1674 22681 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230816594728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1679] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1679/stat : 1679 (java) S 1671 1674 22681 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230815541928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1680] ppid=1671 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1674/task/1680/stat : 1680 (java) S 1671 1674 22681 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230814489640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1674/tid=1681] ppid=1671 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1674/task/1681/stat : 1681 (java) S 1671 1674 22681 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230813436840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1682] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1682/stat : 1682 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230812383528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1683] ppid=1671 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/1674/task/1683/stat : 1683 (java) S 1671 1674 22681 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230811330728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1684] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1684/stat : 1684 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230810278440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1685] ppid=1671 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1674/task/1685/stat : 1685 (java) S 1671 1674 22681 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 13163090 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230809225640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1686] ppid=1671 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/1674/task/1686/stat : 1686 (java) S 1671 1674 22681 0 -1 4202560 24 0 0 0 2 9 0 0 20 0 19 0 13163091 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230797028072 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1687] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1687/stat : 1687 (java) S 1671 1674 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230795974136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1688] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1688/stat : 1688 (java) S 1671 1674 22681 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 19 0 13163091 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230794921736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1689] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1689/stat : 1689 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230793870224 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1690] ppid=1671 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/1674/task/1690/stat : 1690 (java) S 1671 1674 22681 0 -1 4202560 11185 0 0 0 130 3 0 0 20 0 19 0 13163093 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230792816824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1674/tid=1692] ppid=1671 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/1674/task/1692/stat : 1692 (java) S 1671 1674 22681 0 -1 4202560 5848 0 0 0 88 2 0 0 20 0 19 0 13163093 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230791764024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1693] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1693/stat : 1693 (java) S 1671 1674 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230790711928 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1674/tid=1694] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1694/stat : 1694 (java) S 1671 1674 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13163093 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230789659336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1674/tid=1698] ppid=1671 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1674/task/1698/stat : 1698 (java) S 1671 1674 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13163107 10060525568 49594 33554432000 1073741824 1073778376 140736339556560 140230785447464 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 30.17
Current children cumulated vsize (KiB) 9824732

Child status: 30

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

Real time (s): 51.3912
CPU time (s): 30.2784
CPU user time (s): 28.5967
CPU system time (s): 1.68174
CPU usage (%): 58.9175
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.5867
system time used= 1.68174
maximum resident set size= 204468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21772
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3609
involuntary context switches= 1245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.281957 second user time and 0.25896 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-30 23:28:39
IDJOB=4092314
IDBENCH=79252
IDSOLVER=2552
FILE ID=node136/4092314-1467322119
RUNJOBID= node136-1467318739-25000
PBS_JOBID= 20005289
Free space on /tmp= 71648 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.1111225605--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092314-1467322119/watcher-4092314-1467322119 -o /tmp/evaluation-result-4092314-1467322119/solver-4092314-1467322119 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467318739-25000 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4092314-1467322119.wbo

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

MD5SUM BENCH= 08393a4a0fbe261470f6b3451acbb15e
RANDOM SEED=324908328

node136.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.182
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.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.182
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.182
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.182
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.182
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.182
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.182
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.182
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:        28996044 kB
Buffers:          106644 kB
Cached:          1342556 kB
SwapCached:            0 kB
Active:           235156 kB
Inactive:        1240216 kB
Active(anon):       5936 kB
Inactive(anon):    22644 kB
Active(file):     229220 kB
Inactive(file):  1217572 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               528 kB
Writeback:             0 kB
AnonPages:       1681568 kB
Mapped:            13856 kB
Shmem:               204 kB
Slab:             613488 kB
SReclaimable:      57492 kB
SUnreclaim:       555996 kB
KernelStack:        1408 kB
PageTables:         7236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1766988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71644 MiB
End job on node136 at 2016-06-30 23:29:31