Trace number 4109349

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 32.82 43.8096

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-66-100-0.wbo
MD5SUM4d6b693ddbf7ce459649ee1140704478
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark12.4501
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 constraints29
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 1556
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1555
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1247
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4109349-1467321048.wbo
0.09/0.12	c reading problem ... 
0.09/0.18	c ... done. Wall clock time 0.063s.
0.09/0.18	c declared #vars     169
0.09/0.18	c internal #vars     198
0.09/0.18	c #constraints  101
0.09/0.18	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
0.09/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 49
0.09/0.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
0.09/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22
0.09/0.18	c 101 constraints processed.
0.09/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4
0.09/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 26
0.09/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 49
0.09/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 22
0.09/0.18	c 101 constraints processed.
0.09/0.18	c objective function length is 29 literals
2.22/0.75	c cleaning 2499 clauses out of 5001 with flag 12922/5002
2.22/0.75	c And the winner is solver1
3.01/1.18	c SATISFIABLE
3.01/1.18	c OPTIMIZING...
3.01/1.18	c Got one! Elapsed wall clock time (in seconds):1.068
3.01/1.18	o 1433
3.08/1.21	c And the winner is solver0
3.12/1.68	c Got one! Elapsed wall clock time (in seconds):1.569
3.12/1.68	o 1165
3.41/1.84	c cleaning 4217 clauses out of 8434 with flag 14344/10934
3.41/1.89	c And the winner is solver1
3.67/2.19	c Got one! Elapsed wall clock time (in seconds):2.07
3.67/2.19	o 1136
3.92/2.32	c cleaning 5034 clauses out of 10073 with flag 11706/16790
3.92/2.39	c And the winner is solver0
4.14/2.69	c Got one! Elapsed wall clock time (in seconds):2.571
4.14/2.69	o 1121
4.16/2.73	c And the winner is solver0
4.24/3.19	c Got one! Elapsed wall clock time (in seconds):3.072
4.24/3.19	o 1119
4.26/3.25	c cleaning 5629 clauses out of 11263 with flag 5997/23015
4.51/3.38	c And the winner is solver0
4.65/3.69	c Got one! Elapsed wall clock time (in seconds):3.573
4.65/3.69	o 1110
4.67/3.72	c And the winner is solver0
4.72/4.19	c Got one! Elapsed wall clock time (in seconds):4.074
4.72/4.19	o 1088
4.74/4.27	c cleaning 6207 clauses out of 12415 with flag 6206/29796
4.94/4.32	c And the winner is solver0
5.01/4.69	c Got one! Elapsed wall clock time (in seconds):4.575
5.01/4.69	o 1086
5.24/4.80	c cleaning 5650 clauses out of 11300 with flag 9303/34888
5.24/4.84	c And the winner is solver0
5.35/5.19	c Got one! Elapsed wall clock time (in seconds):5.075
5.35/5.19	o 1074
5.35/5.26	c And the winner is solver0
5.51/5.69	c Got one! Elapsed wall clock time (in seconds):5.576
5.51/5.69	o 1069
5.52/5.72	c And the winner is solver0
5.58/6.19	c Got one! Elapsed wall clock time (in seconds):6.077
5.58/6.19	o 1057
5.59/6.24	c And the winner is solver0
5.68/6.69	c Got one! Elapsed wall clock time (in seconds):6.578
5.68/6.69	o 1044
5.70/6.73	c cleaning 6466 clauses out of 12933 with flag 3134/42171
5.70/6.79	c And the winner is solver0
5.90/7.19	c Got one! Elapsed wall clock time (in seconds):7.079
5.90/7.19	o 1031
5.90/7.29	c cleaning 5867 clauses out of 11737 with flag 9570/47441
6.35/7.44	c And the winner is solver0
6.46/7.70	c Got one! Elapsed wall clock time (in seconds):7.58
6.46/7.70	o 1030
6.47/7.80	c And the winner is solver0
6.68/8.20	c Got one! Elapsed wall clock time (in seconds):8.081
6.68/8.20	o 1029
6.91/8.30	c cleaning 8236 clauses out of 16473 with flag 5908/58044
7.11/8.48	c cleaning 7120 clauses out of 14239 with flag 23585/64046
7.74/8.71	c cleaning 7058 clauses out of 14118 with flag 45075/71045
8.15/8.95	c cleaning 7529 clauses out of 15060 with flag 68368/79045
8.34/9.00	c And the winner is solver0
8.35/9.20	c Got one! Elapsed wall clock time (in seconds):9.082
8.35/9.20	o 1014
8.35/9.22	c And the winner is solver0
8.41/9.70	c Got one! Elapsed wall clock time (in seconds):9.583
8.41/9.70	o 999
8.41/9.79	c cleaning 6611 clauses out of 13224 with flag 9311/84738
8.61/9.86	c And the winner is solver0
8.76/10.20	c Got one! Elapsed wall clock time (in seconds):10.084
8.76/10.20	o 998
8.76/10.21	c And the winner is solver0
8.90/10.70	c Got one! Elapsed wall clock time (in seconds):10.585
8.90/10.70	o 993
8.90/10.76	c And the winner is solver0
9.08/11.20	c Got one! Elapsed wall clock time (in seconds):11.086
9.08/11.20	o 992
9.08/11.21	c And the winner is solver0
9.10/11.70	c Got one! Elapsed wall clock time (in seconds):11.587
9.10/11.70	o 700
9.10/11.78	c cleaning 6895 clauses out of 13793 with flag 6349/91918
9.28/11.81	c And the winner is solver0
9.35/12.20	c Got one! Elapsed wall clock time (in seconds):12.087
9.35/12.20	o 696
9.35/12.21	c And the winner is solver0
9.37/12.70	c Got one! Elapsed wall clock time (in seconds):12.588
9.37/12.70	o 687
9.37/12.72	c And the winner is solver0
9.42/13.20	c Got one! Elapsed wall clock time (in seconds):13.089
9.42/13.20	o 678
9.42/13.28	c And the winner is solver0
9.62/13.71	c Got one! Elapsed wall clock time (in seconds):13.59
9.62/13.71	o 668
9.62/13.72	c And the winner is solver0
9.68/14.21	c Got one! Elapsed wall clock time (in seconds):14.091
9.68/14.21	o 656
9.68/14.28	c cleaning 7087 clauses out of 14180 with flag 6495/99200
9.68/14.29	c And the winner is solver0
9.89/14.71	c Got one! Elapsed wall clock time (in seconds):14.595
9.89/14.71	o 638
9.89/14.72	c And the winner is solver0
9.91/15.21	c Got one! Elapsed wall clock time (in seconds):15.096
9.91/15.21	o 627
10.09/15.36	c cleaning 6502 clauses out of 13011 with flag 15424/105118
10.50/15.57	c cleaning 6251 clauses out of 12510 with flag 33752/111119
10.50/15.58	c And the winner is solver0
10.69/15.71	c Got one! Elapsed wall clock time (in seconds):15.596
10.69/15.71	o 623
10.69/15.72	c And the winner is solver0
10.70/16.21	c Got one! Elapsed wall clock time (in seconds):16.098
10.70/16.21	o 621
10.70/16.22	c And the winner is solver0
10.75/16.71	c Got one! Elapsed wall clock time (in seconds):16.599
10.75/16.71	o 608
10.75/16.72	c And the winner is solver0
10.75/17.22	c Got one! Elapsed wall clock time (in seconds):17.1
10.75/17.22	o 607
10.75/17.27	c And the winner is solver0
11.13/17.72	c Got one! Elapsed wall clock time (in seconds):17.6
11.13/17.72	o 591
11.13/17.72	c And the winner is solver0
11.14/18.22	c Got one! Elapsed wall clock time (in seconds):18.101
11.14/18.22	o 577
11.14/18.23	c And the winner is solver0
11.16/18.72	c Got one! Elapsed wall clock time (in seconds):18.602
11.16/18.72	o 563
11.16/18.72	c And the winner is solver0
11.17/19.22	c Got one! Elapsed wall clock time (in seconds):19.103
11.17/19.22	o 369
11.17/19.23	c And the winner is solver0
11.17/19.72	c Got one! Elapsed wall clock time (in seconds):19.604
11.17/19.72	o 357
11.17/19.72	c And the winner is solver0
11.17/20.22	c Got one! Elapsed wall clock time (in seconds):20.105
11.17/20.22	o 352
11.17/20.23	c And the winner is solver0
11.17/20.72	c Got one! Elapsed wall clock time (in seconds):20.606
11.17/20.72	o 341
11.32/20.82	c cleaning 6534 clauses out of 13089 with flag 8959/117949
11.54/20.91	c And the winner is solver0
11.71/21.22	c Got one! Elapsed wall clock time (in seconds):21.106
11.71/21.22	o 328
11.71/21.23	c And the winner is solver0
11.74/21.72	c Got one! Elapsed wall clock time (in seconds):21.607
11.74/21.72	o 324
11.74/21.79	c cleaning 6088 clauses out of 12186 with flag 6361/123580
11.88/21.85	c And the winner is solver0
12.21/22.22	c Got one! Elapsed wall clock time (in seconds):22.108
12.21/22.22	o 321
12.21/22.24	c And the winner is solver0
12.30/22.72	c Got one! Elapsed wall clock time (in seconds):22.609
12.30/22.72	o 320
12.30/22.73	c And the winner is solver0
12.30/23.23	c Got one! Elapsed wall clock time (in seconds):23.109
12.30/23.23	o 306
12.44/23.31	c cleaning 6030 clauses out of 12066 with flag 8805/129548
12.64/23.48	c cleaning 6016 clauses out of 12036 with flag 25978/135548
12.84/23.56	c And the winner is solver0
13.00/23.73	c Got one! Elapsed wall clock time (in seconds):23.61
13.00/23.73	o 305
13.14/23.82	c cleaning 5912 clauses out of 11835 with flag 9042/141363
13.14/23.84	c And the winner is solver0
13.44/24.23	c Got one! Elapsed wall clock time (in seconds):24.111
13.44/24.23	o 282
13.44/24.23	c And the winner is solver0
13.44/24.73	c Got one! Elapsed wall clock time (in seconds):24.612
13.44/24.73	o 271
13.58/24.88	c cleaning 5905 clauses out of 11819 with flag 14449/147259
13.98/25.05	c cleaning 5952 clauses out of 11914 with flag 31847/153259
14.18/25.13	c And the winner is solver0
14.27/25.23	c Got one! Elapsed wall clock time (in seconds):25.113
14.27/25.23	o 257
14.27/25.24	c And the winner is solver0
14.31/25.73	c Got one! Elapsed wall clock time (in seconds):25.613
14.31/25.73	o 245
14.31/25.79	c And the winner is solver0
14.44/26.23	c Got one! Elapsed wall clock time (in seconds):26.114
14.44/26.23	o 239
14.44/26.24	c And the winner is solver0
14.44/26.73	c Got one! Elapsed wall clock time (in seconds):26.615
14.44/26.73	o 224
14.44/26.76	c And the winner is solver0
14.59/27.23	c Got one! Elapsed wall clock time (in seconds):27.116
14.59/27.23	o 183
14.59/27.27	c cleaning 6646 clauses out of 13295 with flag 3079/160593
14.91/27.45	c cleaning 6323 clauses out of 12650 with flag 22619/166594
15.32/27.68	c cleaning 6658 clauses out of 13325 with flag 45889/173592
15.92/27.92	c cleaning 7334 clauses out of 14671 with flag 70603/181596
15.92/27.96	c And the winner is solver0
16.10/28.23	c Got one! Elapsed wall clock time (in seconds):28.117
16.10/28.23	o 175
16.10/28.24	c And the winner is solver0
16.12/28.73	c Got one! Elapsed wall clock time (in seconds):28.617
16.12/28.73	o 174
16.12/28.74	c And the winner is solver0
16.12/29.23	c Got one! Elapsed wall clock time (in seconds):29.118
16.12/29.23	o 170
16.24/29.37	c cleaning 6589 clauses out of 13191 with flag 13047/187450
16.64/29.51	c And the winner is solver0
16.68/29.73	c Got one! Elapsed wall clock time (in seconds):29.619
16.68/29.73	o 164
16.68/29.76	c And the winner is solver0
16.75/30.24	c Got one! Elapsed wall clock time (in seconds):30.12
16.75/30.24	o 155
16.75/30.24	c And the winner is solver0
16.75/30.74	c Got one! Elapsed wall clock time (in seconds):30.62
16.75/30.74	o 154
16.75/30.78	c cleaning 6691 clauses out of 13389 with flag 3675/194237
17.08/30.97	c cleaning 6342 clauses out of 12698 with flag 24161/200237
17.48/31.13	c And the winner is solver0
17.56/31.24	c Got one! Elapsed wall clock time (in seconds):31.121
17.56/31.24	o 145
17.56/31.24	c And the winner is solver0
17.60/31.74	c Got one! Elapsed wall clock time (in seconds):31.622
17.60/31.74	o 142
17.60/31.74	c And the winner is solver0
17.61/32.24	c Got one! Elapsed wall clock time (in seconds):32.123
17.61/32.24	o 133
17.92/32.42	c cleaning 8596 clauses out of 17202 with flag 15572/211083
18.12/32.53	c And the winner is solver0
18.22/32.74	c Got one! Elapsed wall clock time (in seconds):32.623
18.22/32.74	o 129
18.22/32.76	c And the winner is solver0
18.27/33.24	c Got one! Elapsed wall clock time (in seconds):33.124
18.27/33.24	o 126
18.27/33.27	c And the winner is solver0
18.34/33.74	c Got one! Elapsed wall clock time (in seconds):33.624
18.34/33.74	o 125
18.45/33.82	c cleaning 7660 clauses out of 15328 with flag 7351/217805
18.85/34.00	c cleaning 6826 clauses out of 13665 with flag 28423/223802
19.26/34.21	c cleaning 6911 clauses out of 13839 with flag 50224/230802
19.65/34.47	c cleaning 7453 clauses out of 14928 with flag 75293/238802
20.25/34.78	c cleaning 8234 clauses out of 16475 with flag 105253/247802
21.10/35.17	c cleaning 9116 clauses out of 18242 with flag 138469/257803
21.51/35.33	c And the winner is solver0
21.59/35.74	c Got one! Elapsed wall clock time (in seconds):35.625
21.59/35.74	o 124
21.59/35.76	c And the winner is solver0
21.65/36.24	c Got one! Elapsed wall clock time (in seconds):36.126
21.65/36.24	o 119
21.65/36.29	c cleaning 7769 clauses out of 15546 with flag 3393/264223
21.97/36.47	c cleaning 6883 clauses out of 13775 with flag 24278/270221
22.36/36.68	c cleaning 6939 clauses out of 13894 with flag 47225/277223
22.96/36.95	c cleaning 7470 clauses out of 14953 with flag 74704/285221
23.16/37.08	c And the winner is solver0
23.34/37.24	c Got one! Elapsed wall clock time (in seconds):37.127
23.34/37.24	o 118
23.34/37.26	c And the winner is solver0
23.40/37.74	c Got one! Elapsed wall clock time (in seconds):37.627
23.40/37.74	o 106
23.40/37.78	c cleaning 6527 clauses out of 13072 with flag 3356/290810
23.70/37.96	c cleaning 6270 clauses out of 12545 with flag 23358/296810
23.90/38.05	c And the winner is solver0
24.03/38.24	c Got one! Elapsed wall clock time (in seconds):38.128
24.03/38.24	o 97
24.13/38.31	c cleaning 5688 clauses out of 11387 with flag 6563/301922
24.13/38.37	c And the winner is solver0
24.31/38.74	c Got one! Elapsed wall clock time (in seconds):38.629
24.31/38.74	o 80
24.31/38.76	c And the winner is solver0
24.36/39.25	c Got one! Elapsed wall clock time (in seconds):39.13
24.36/39.25	o 79
24.46/39.35	c cleaning 5719 clauses out of 11455 with flag 10125/307678
24.86/39.55	c cleaning 5866 clauses out of 11736 with flag 32158/313678
25.27/39.76	c cleaning 6433 clauses out of 12871 with flag 55706/320679
25.88/40.06	c cleaning 7210 clauses out of 14435 with flag 82259/328678
26.48/40.38	c cleaning 8108 clauses out of 16225 with flag 110967/337678
26.89/40.53	c And the winner is solver0
26.98/40.75	c Got one! Elapsed wall clock time (in seconds):40.632
26.98/40.75	o 63
26.98/40.79	c cleaning 6754 clauses out of 13518 with flag 3317/343079
27.28/40.99	c cleaning 6373 clauses out of 12760 with flag 22294/349076
27.88/41.20	c cleaning 6691 clauses out of 13385 with flag 45339/356075
28.28/41.48	c cleaning 7347 clauses out of 14693 with flag 71851/364075
29.10/41.81	c cleaning 8168 clauses out of 16346 with flag 104450/373075
29.69/42.17	c cleaning 9082 clauses out of 18178 with flag 139718/383075
30.49/42.56	c cleaning 10048 clauses out of 20097 with flag 179273/394078
31.50/43.04	c cleaning 11020 clauses out of 22041 with flag 226762/406076
32.50/43.57	c cleaning 12004 clauses out of 24007 with flag 275649/419078
32.50/43.58	c And the winner is solver0
32.74/43.80	c >>>>>>>>>> Solver number 0 (71 answers) <<<<<<<<<<<<<<<<<<
32.74/43.80	c starts		: 1837
32.74/43.80	c conflicts		: 419483
32.74/43.80	c decisions		: 672821
32.74/43.80	c propagations		: 9372123
32.74/43.80	c inspects		: 145387618
32.74/43.80	c shortcuts		: 0
32.74/43.80	c learnt literals	: 43
32.74/43.80	c learnt binary clauses	: 319
32.74/43.80	c learnt ternary clauses	: 2177
32.74/43.80	c learnt constraints	: 419439
32.74/43.80	c ignored constraints	: 0
32.74/43.80	c root simplifications	: 0
32.74/43.80	c removed literals (reason simplification)	: 4355401
32.74/43.80	c reason swapping (by a shorter reason)	: 0
32.74/43.80	c Calls to reduceDB	: 59
32.74/43.80	c Number of update (reduction) of LBD	: 97820
32.74/43.80	c Imported unit clauses	: 0
32.74/43.80	c number of reductions to clauses (during analyze)	: 0
32.74/43.80	c number of learned constraints concerned by reduction	: 0
32.74/43.80	c number of learning phase by resolution	: 0
32.74/43.80	c number of learning phase by cutting planes	: 0
32.74/43.80	c speed (assignments/second)	: 225269.75771560427
32.74/43.80	c non guided choices	2337
32.74/43.80	c learnt constraints type 
32.74/43.80	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
32.74/43.80	c starts		: 77
32.74/43.80	c conflicts		: 1150
32.74/43.80	c decisions		: 8822
32.74/43.80	c propagations		: 45867
32.74/43.80	c inspects		: 5522154
32.74/43.80	c shortcuts		: 0
32.74/43.80	c learnt literals	: 0
32.74/43.80	c learnt binary clauses	: 0
32.74/43.80	c learnt ternary clauses	: 0
32.74/43.80	c learnt constraints	: 1107
32.74/43.80	c ignored constraints	: 0
32.74/43.80	c root simplifications	: 0
32.74/43.80	c removed literals (reason simplification)	: 0
32.74/43.80	c reason swapping (by a shorter reason)	: 0
32.74/43.80	c Calls to reduceDB	: 0
32.74/43.80	c Number of update (reduction) of LBD	: 0
32.74/43.80	c Imported unit clauses	: 0
32.74/43.80	c number of reductions to clauses (during analyze)	: 0
32.74/43.80	c number of learned constraints concerned by reduction	: 0
32.74/43.80	c number of learning phase by resolution	: 0
32.74/43.80	c number of learning phase by cutting planes	: 0
32.74/43.80	c speed (assignments/second)	: 15068.002628120894
32.74/43.80	c non guided choices	675
32.74/43.80	c learnt constraints type 
32.74/43.80	s OPTIMUM FOUND
32.74/43.80	c Found 72 solution(s)
32.74/43.80	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 
32.74/43.80	c objective function=63
32.74/43.80	c Total wall clock time (in seconds): 43.685

Verifier Data 

OK	63

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-4109349-1467321048/watcher-4109349-1467321048 -o /tmp/evaluation-result-4109349-1467321048/solver-4109349-1467321048 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467318467-16220 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109349-1467321048.wbo 

pid=23422
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.98 1.94 2.00 3/195 23425
/proc/meminfo: memFree=29735896/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/23425/stat : 23425 (java) R 23422 23425 16156 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 11130833 9379840 122 33554432000 1073741824 1073778376 140735592237488 140735592234616 227515863520 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2290 126 98 9 0 38 0

[startup+0.100059 s]
/proc/loadavg: 1.98 1.94 2.00 3/195 23425
/proc/meminfo: memFree=29735896/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 11130833 9787879424 6030 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2389619 6030 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200212 s]
/proc/loadavg: 1.98 1.94 2.00 3/195 23425
/proc/meminfo: memFree=29735896/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 4757 0 1 0 22 1 0 0 20 0 22 0 11130833 10060525568 7875 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 7875 2208 9 0 2446860 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732

[startup+0.300207 s]
/proc/loadavg: 1.98 1.94 2.00 3/195 23425
/proc/meminfo: memFree=29735896/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 7448 0 1 0 61 2 0 0 20 0 22 0 11130833 10060525568 9923 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 9923 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9824732

[startup+0.700184 s]
/proc/loadavg: 1.98 1.94 2.00 3/195 23425
/proc/meminfo: memFree=29735896/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 17811 0 1 0 218 4 0 0 20 0 22 0 11130833 10060525568 19888 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 19888 2258 9 0 2446860 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9824732

[startup+1.50073 s]
/proc/loadavg: 1.98 1.94 2.00 3/214 23447
/proc/meminfo: memFree=29645256/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 24976 0 1 0 304 8 0 0 20 0 19 0 11130833 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 26400 2271 9 0 2446860 0
[pid=23425/tid=23427] ppid=23422 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) S 23422 23425 16156 0 -1 4202560 2423 0 1 0 14 1 0 0 20 0 19 0 11130834 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458820555640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23428] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458793008040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23429] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458791955496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23430] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458790902440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23431] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458789849896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23432] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458788796840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23433] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458787744296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23434] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458786691240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23435] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458656835880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23436] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11130836 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458173889384 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23437] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 16156 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458172835704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23438] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458171782536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23439] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458170731280 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23440] ppid=23422 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 16156 0 -1 4202560 10942 0 0 0 76 2 0 0 20 0 19 0 11130839 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458169678136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23441] ppid=23422 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/23425/task/23441/stat : 23441 (java) S 23422 23425 16156 0 -1 4202560 10251 0 0 0 94 0 0 0 20 0 19 0 11130839 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458168625592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23442] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23442/stat : 23442 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458167572728 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23443] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23443/stat : 23443 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 26400 33554432000 1073741824 1073778376 140735592237488 140458166520392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9824732

[startup+3.1008 s]
/proc/loadavg: 1.98 1.94 2.00 4/217 23456
/proc/meminfo: memFree=29559612/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=4.24 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 25365 0 1 0 407 17 0 0 20 0 19 0 11130833 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 46394 2284 9 0 2446860 0
[pid=23425/tid=23427] ppid=23422 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) S 23422 23425 16156 0 -1 4202560 2424 0 1 0 14 1 0 0 20 0 19 0 11130834 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458820555640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23428] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 16156 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458793008040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23429] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458791955496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23430] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458790902440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23431] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 16156 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458789849896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23432] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458788796840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23433] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 16156 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458787744296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23434] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458786691240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23435] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458656835880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23436] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 16156 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 11130836 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458173889384 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23437] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458172835704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23438] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 16156 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458171782536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23439] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458170731280 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23440] ppid=23422 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 16156 0 -1 4202560 11233 0 0 0 85 2 0 0 20 0 19 0 11130839 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458169678136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23441] ppid=23422 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/23425/task/23441/stat : 23441 (java) S 23422 23425 16156 0 -1 4202560 10254 0 0 0 104 0 0 0 20 0 19 0 11130839 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458168625592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23442] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23442/stat : 23442 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458167572728 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23443] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23443/stat : 23443 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458166520392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23456] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23456/stat : 23456 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11131053 10060525568 46394 33554432000 1073741824 1073778376 140735592237488 140458163360808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 9824732

[startup+6.30078 s]
/proc/loadavg: 1.98 1.94 2.00 2/214 23474
/proc/meminfo: memFree=29549156/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=5.68 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 25472 0 1 0 534 34 0 0 20 0 19 0 11130833 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 48460 2286 9 0 2446860 0
[pid=23425/tid=23427] ppid=23422 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) S 23422 23425 16156 0 -1 4202560 2425 0 1 0 14 2 0 0 20 0 19 0 11130834 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458820555640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23428] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 16156 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458793008040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23429] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458791955496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23430] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458790902440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23431] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 16156 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458789849896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23432] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 16156 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458788796840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23433] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 16156 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458787744296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23434] ppid=23422 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 16156 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458786691240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23435] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 16156 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11130835 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458656835880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23436] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 16156 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11130836 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458173889384 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23437] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458172835704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23438] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 16156 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458171782536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23439] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458170731280 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23440] ppid=23422 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 16156 0 -1 4202560 11240 0 0 0 90 2 0 0 20 0 19 0 11130839 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458169678136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23441] ppid=23422 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/23425/task/23441/stat : 23441 (java) S 23422 23425 16156 0 -1 4202560 10254 0 0 0 104 1 0 0 20 0 19 0 11130839 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458168625592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23442] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23442/stat : 23442 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458167572728 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23443] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23443/stat : 23443 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458166520392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23456] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23456/stat : 23456 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11131053 10060525568 48460 33554432000 1073741824 1073778376 140735592237488 140458163360808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 9824732

[startup+12.7008 s]
/proc/loadavg: 2.07 1.96 2.01 2/214 23510

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

[pid=23425/tid=23434] ppid=23422 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 16156 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 22 0 11130835 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458786691240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23435] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 16156 0 -1 4202560 153 0 0 0 5 3 0 0 20 0 22 0 11130835 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458656835880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23436] ppid=23422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) R 23422 23425 16156 0 -1 4202560 347 0 0 0 1 5 0 0 20 0 22 0 11130836 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458173889384 227512454279 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23437] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11130837 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458172835704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23438] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 16156 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 11130837 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458171782536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23439] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11130839 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458170731280 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23440] ppid=23422 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 16156 0 -1 4202560 11260 0 0 0 102 2 0 0 20 0 22 0 11130839 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458169678136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23441] ppid=23422 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/23425/task/23441/stat : 23441 (java) S 23422 23425 16156 0 -1 4202560 10268 0 0 0 114 2 0 0 20 0 22 0 11130839 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458168625592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23442] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23442/stat : 23442 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11130839 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458167572728 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23443] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23443/stat : 23443 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11130839 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458166520392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23456] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23456/stat : 23456 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11131053 10060525568 157750 33554432000 1073741824 1073778376 140735592237488 140458163360808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (KiB) 9824732

[startup+43.2009 s]
/proc/loadavg: 2.04 1.96 2.00 4/216 23663
/proc/meminfo: memFree=29119584/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=31.89 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 27306 0 1 0 3049 140 0 0 20 0 22 0 11130833 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 157971 2287 9 0 2446860 0
[pid=23425/tid=23427] ppid=23422 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) S 23422 23425 16156 0 -1 4202560 2427 0 1 0 17 2 0 0 20 0 22 0 11130834 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458820555640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23428] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 16156 0 -1 4202560 63 0 0 0 5 3 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458793008040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23429] ppid=23422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 16156 0 -1 4202560 157 0 0 0 5 1 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458791955496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23430] ppid=23422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 16156 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458790902440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23431] ppid=23422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 16156 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458789849896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23432] ppid=23422 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 16156 0 -1 4202560 160 0 0 0 5 2 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458788796840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23433] ppid=23422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 16156 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458787744296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23434] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 16156 0 -1 4202560 149 0 0 0 6 2 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458786691240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23435] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 16156 0 -1 4202560 153 0 0 0 5 3 0 0 20 0 22 0 11130835 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458656835880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23436] ppid=23422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 16156 0 -1 4202560 347 0 0 0 1 5 0 0 20 0 22 0 11130836 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458173889384 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23437] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 11130837 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458172835704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23438] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 16156 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 11130837 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458171782536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23439] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11130839 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458170731280 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23440] ppid=23422 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 16156 0 -1 4202560 11260 0 0 0 102 2 0 0 20 0 22 0 11130839 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458169678136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23441] ppid=23422 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/23425/task/23441/stat : 23441 (java) S 23422 23425 16156 0 -1 4202560 10268 0 0 0 114 2 0 0 20 0 22 0 11130839 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458168625592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23442] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23442/stat : 23442 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 11130839 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458167572728 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23443] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23443/stat : 23443 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 11130839 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458166520392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23456] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23456/stat : 23456 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11131053 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458163360808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23661] ppid=23422 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/23425/task/23661/stat : 23661 (java) R 23422 23425 16156 0 -1 4202560 4 0 0 0 240 0 0 0 20 0 22 0 11134909 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458165457424 140458668442709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23662] ppid=23422 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/23425/task/23662/stat : 23662 (java) R 23422 23425 16156 0 -1 4202560 2 0 0 0 240 0 0 0 20 0 22 0 11134909 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458162306160 140458668782936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23663] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23663/stat : 23663 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 11134909 10060525568 157971 33554432000 1073741824 1073778376 140735592237488 140458164413864 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 9824732

[startup+43.6009 s]
/proc/loadavg: 2.04 1.96 2.00 4/216 23663
/proc/meminfo: memFree=29119584/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=32.68 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 27306 0 1 0 3127 141 0 0 20 0 20 0 11130833 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 157967 2287 9 0 2446860 0
[pid=23425/tid=23427] ppid=23422 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) S 23422 23425 16156 0 -1 4202560 2427 0 1 0 17 2 0 0 20 0 20 0 11130834 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458820555640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23428] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 16156 0 -1 4202560 63 0 0 0 5 3 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458793008040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23429] ppid=23422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 16156 0 -1 4202560 157 0 0 0 5 1 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458791955496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23430] ppid=23422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 16156 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458790902440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23431] ppid=23422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 16156 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458789849896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23432] ppid=23422 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 16156 0 -1 4202560 160 0 0 0 5 2 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458788796840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23433] ppid=23422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 16156 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458787744296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23434] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 16156 0 -1 4202560 149 0 0 0 6 2 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458786691240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23435] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 16156 0 -1 4202560 153 0 0 0 5 3 0 0 20 0 20 0 11130835 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458656835880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23436] ppid=23422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 16156 0 -1 4202560 347 0 0 0 1 5 0 0 20 0 20 0 11130836 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458173889384 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23437] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 11130837 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458172835704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23438] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 16156 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 20 0 11130837 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458171782536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23439] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11130839 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458170731280 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23440] ppid=23422 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 16156 0 -1 4202560 11260 0 0 0 102 2 0 0 20 0 20 0 11130839 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458169678136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23441] ppid=23422 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/23425/task/23441/stat : 23441 (java) S 23422 23425 16156 0 -1 4202560 10268 0 0 0 114 2 0 0 20 0 20 0 11130839 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458168625592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23442] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23442/stat : 23442 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 11130839 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458167572728 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23443] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23443/stat : 23443 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 11130839 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458166520392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23456] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23456/stat : 23456 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 11131053 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458163360808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23662] ppid=23422 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/23425/task/23662/stat : 23662 (java) R 23422 23425 16156 0 -1 4202560 2 0 0 0 280 0 0 0 20 0 20 0 11134909 10060525568 157967 33554432000 1073741824 1073778376 140735592237488 140458162306160 140458668666722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 32.68
Current children cumulated vsize (KiB) 9824732

[startup+43.8007 s]
/proc/loadavg: 2.04 1.96 2.00 4/216 23663
/proc/meminfo: memFree=29119584/32872528 swapFree=1299868/1463388
[pid=23425] ppid=23422 vsize=9824732 CPUtime=32.74 cores=0,2,4,6
/proc/23425/stat : 23425 (java) S 23422 23425 16156 0 -1 4202496 27306 0 1 0 3132 142 0 0 20 0 19 0 11130833 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140735592228624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23425/statm: 2456183 157965 2287 9 0 2446860 0
[pid=23425/tid=23427] ppid=23422 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/23425/task/23427/stat : 23427 (java) R 23422 23425 16156 0 -1 4202560 2427 0 1 0 22 2 0 0 20 0 19 0 11130834 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458820555304 140458668070862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23428] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23428/stat : 23428 (java) S 23422 23425 16156 0 -1 4202560 63 0 0 0 5 3 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458793008040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23429] ppid=23422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23429/stat : 23429 (java) S 23422 23425 16156 0 -1 4202560 157 0 0 0 5 1 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458791955496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23430] ppid=23422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23425/task/23430/stat : 23430 (java) S 23422 23425 16156 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458790902440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23431] ppid=23422 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23425/task/23431/stat : 23431 (java) S 23422 23425 16156 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458789849896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23432] ppid=23422 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/23425/task/23432/stat : 23432 (java) S 23422 23425 16156 0 -1 4202560 160 0 0 0 5 2 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458788796840 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23433] ppid=23422 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23425/task/23433/stat : 23433 (java) S 23422 23425 16156 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458787744296 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23434] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23434/stat : 23434 (java) S 23422 23425 16156 0 -1 4202560 149 0 0 0 6 2 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458786691240 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23435] ppid=23422 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23425/task/23435/stat : 23435 (java) S 23422 23425 16156 0 -1 4202560 153 0 0 0 5 3 0 0 20 0 19 0 11130835 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458656835880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23436] ppid=23422 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23425/task/23436/stat : 23436 (java) S 23422 23425 16156 0 -1 4202560 347 0 0 0 1 5 0 0 20 0 19 0 11130836 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458173889384 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23437] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23437/stat : 23437 (java) S 23422 23425 16156 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458172835704 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23425/tid=23438] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23438/stat : 23438 (java) S 23422 23425 16156 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 19 0 11130837 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458171782536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23439] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23439/stat : 23439 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458170731280 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23440] ppid=23422 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/23425/task/23440/stat : 23440 (java) S 23422 23425 16156 0 -1 4202560 11260 0 0 0 103 2 0 0 20 0 19 0 11130839 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458169678136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23425/tid=23441] ppid=23422 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/23425/task/23441/stat : 23441 (java) S 23422 23425 16156 0 -1 4202560 10268 0 0 0 115 2 0 0 20 0 19 0 11130839 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458168625592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23442] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23442/stat : 23442 (java) S 23422 23425 16156 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458167572728 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23425/tid=23443] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23443/stat : 23443 (java) S 23422 23425 16156 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11130839 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458166520392 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23425/tid=23456] ppid=23422 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23425/task/23456/stat : 23456 (java) S 23422 23425 16156 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11131053 10060525568 157965 33554432000 1073741824 1073778376 140735592237488 140458163360808 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 32.74
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 43.8096
CPU time (s): 32.82
CPU user time (s): 31.2762
CPU system time (s): 1.54377
CPU usage (%): 74.9151
Max. virtual memory (cumulated for all children) (KiB): 9825980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.2762
system time used= 1.54377
maximum resident set size= 643300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27319
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= 3223
involuntary context switches= 1198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.267959 second user time and 0.413937 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 23:10:48
IDJOB=4109349
IDBENCH=78786
IDSOLVER=2552
FILE ID=node121/4109349-1467321048
RUNJOBID= node121-1467318467-16220
PBS_JOBID= 20005290
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 4d6b693ddbf7ce459649ee1140704478
RANDOM SEED=1624528841

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.172
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:        29736688 kB
Buffers:          129752 kB
Cached:           346080 kB
SwapCached:            0 kB
Active:           682364 kB
Inactive:         243860 kB
Active(anon):     438248 kB
Inactive(anon):    14568 kB
Active(file):     244116 kB
Inactive(file):   229292 kB
Unevictable:     1463388 kB
Mlocked:         1299868 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:       1874716 kB
Mapped:            22136 kB
Shmem:               204 kB
Slab:             611364 kB
SReclaimable:      55304 kB
SUnreclaim:       556060 kB
KernelStack:        1792 kB
PageTables:         7848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2039972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 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= 71700 MiB
End job on node121 at 2016-06-30 23:11:32