Trace number 4105554

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)97 1800.02 926.654

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark67
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@53ef9f1d
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@75786e64
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@3597a37c
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@75786e64
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4105554-1466254794.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.19	c ... done. Wall clock time 0.064s.
0.09/0.19	c declared #vars     198
0.09/0.19	c #constraints  16
0.09/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.09/0.19	c 16 constraints processed.
0.09/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16
0.09/0.19	c 16 constraints processed.
0.09/0.19	c objective function length is 128 literals
1.42/0.56	c And the winner is solver0
1.75/0.69	c SATISFIABLE
1.75/0.69	c OPTIMIZING...
1.75/0.69	c Got one! Elapsed wall clock time (in seconds):0.569
1.75/0.69	o 473
1.95/0.74	c And the winner is solver0
2.25/1.19	c Got one! Elapsed wall clock time (in seconds):1.072
2.25/1.19	o 464
2.27/1.21	c And the winner is solver0
2.29/1.69	c Got one! Elapsed wall clock time (in seconds):1.573
2.29/1.69	o 462
3.45/2.17	c cleaning 3206 clauses out of 6429 with flag 8560/6429
3.87/2.27	c And the winner is solver1
4.21/2.70	c Got one! Elapsed wall clock time (in seconds):2.575
4.21/2.70	o 445
4.21/2.71	c And the winner is solver0
4.22/3.20	c Got one! Elapsed wall clock time (in seconds):3.079
4.22/3.20	o 413
4.22/3.20	c And the winner is solver0
4.22/3.70	c Got one! Elapsed wall clock time (in seconds):3.58
4.22/3.70	o 409
4.22/3.74	c And the winner is solver0
4.32/4.20	c Got one! Elapsed wall clock time (in seconds):4.081
4.32/4.20	o 408
4.74/4.43	c And the winner is solver0
4.82/4.70	c Got one! Elapsed wall clock time (in seconds):4.582
4.82/4.70	o 406
4.82/4.71	c And the winner is solver0
4.82/5.20	c Got one! Elapsed wall clock time (in seconds):5.084
4.82/5.20	o 382
4.82/5.27	c cleaning 4900 clauses out of 9805 with flag 2699/13011
5.09/5.30	c And the winner is solver0
5.16/5.71	c Got one! Elapsed wall clock time (in seconds):5.585
5.16/5.71	o 381
5.16/5.77	c And the winner is solver0
5.35/6.21	c Got one! Elapsed wall clock time (in seconds):6.088
5.35/6.21	o 379
5.35/6.22	c And the winner is solver0
5.39/6.71	c Got one! Elapsed wall clock time (in seconds):6.589
5.39/6.71	o 378
5.39/6.78	c And the winner is solver0
5.61/7.21	c Got one! Elapsed wall clock time (in seconds):7.09
5.61/7.21	o 376
5.61/7.22	c And the winner is solver0
5.61/7.71	c Got one! Elapsed wall clock time (in seconds):7.592
5.61/7.71	o 356
5.61/7.76	c And the winner is solver0
5.73/8.21	c Got one! Elapsed wall clock time (in seconds):8.093
5.73/8.21	o 355
5.73/8.22	c And the winner is solver0
5.74/8.72	c Got one! Elapsed wall clock time (in seconds):8.594
5.74/8.72	o 354
5.74/8.72	c And the winner is solver0
5.76/9.22	c Got one! Elapsed wall clock time (in seconds):9.096
5.76/9.22	o 290
6.32/9.51	c cleaning 6323 clauses out of 12646 with flag 10285/20752
6.32/9.55	c And the winner is solver0
6.58/9.72	c Got one! Elapsed wall clock time (in seconds):9.597
6.58/9.72	o 288
6.58/9.72	c And the winner is solver0
6.58/10.22	c Got one! Elapsed wall clock time (in seconds):10.098
6.58/10.22	o 282
6.58/10.27	c And the winner is solver0
6.69/10.72	c Got one! Elapsed wall clock time (in seconds):10.6
6.69/10.72	o 281
6.69/10.75	c And the winner is solver0
6.76/11.22	c Got one! Elapsed wall clock time (in seconds):11.101
6.76/11.22	o 279
6.92/11.33	c And the winner is solver0
7.01/11.72	c Got one! Elapsed wall clock time (in seconds):11.602
7.01/11.72	o 277
7.16/11.80	c And the winner is solver0
7.21/12.22	c Got one! Elapsed wall clock time (in seconds):12.103
7.21/12.22	o 275
7.56/12.44	c cleaning 7038 clauses out of 14079 with flag 7528/28508
7.77/12.51	c And the winner is solver0
7.85/12.73	c Got one! Elapsed wall clock time (in seconds):12.605
7.85/12.73	o 273
8.19/12.99	c cleaning 6063 clauses out of 12134 with flag 9337/33601
8.39/13.04	c And the winner is solver0
8.50/13.23	c Got one! Elapsed wall clock time (in seconds):13.106
8.50/13.23	o 271
8.66/13.35	c And the winner is solver0
8.84/13.73	c Got one! Elapsed wall clock time (in seconds):13.607
8.84/13.73	o 270
8.84/13.76	c And the winner is solver0
8.96/14.23	c Got one! Elapsed wall clock time (in seconds):14.109
8.96/14.23	o 267
9.48/14.54	c cleaning 6652 clauses out of 13304 with flag 9615/40834
9.68/14.67	c And the winner is solver0
9.87/14.73	c Got one! Elapsed wall clock time (in seconds):14.61
9.87/14.73	o 265
10.23/14.96	c cleaning 5854 clauses out of 11715 with flag 6915/45897
11.04/15.40	c cleaning 5930 clauses out of 11861 with flag 21293/51897
11.63/15.66	c And the winner is solver0
11.78/15.73	c Got one! Elapsed wall clock time (in seconds):15.611
11.78/15.73	o 263
11.92/15.89	c cleaning 5914 clauses out of 11830 with flag 4636/57796
12.72/16.29	c cleaning 5955 clauses out of 11914 with flag 19040/63794
13.91/16.83	c cleaning 6480 clauses out of 12959 with flag 35380/70794
15.12/17.47	c cleaning 7234 clauses out of 14482 with flag 53757/78797
16.73/18.26	c cleaning 8127 clauses out of 16260 with flag 74802/87809
18.52/19.13	c cleaning 9053 clauses out of 18120 with flag 98358/97796
19.33/19.55	c And the winner is solver1
19.44/19.73	c Got one! Elapsed wall clock time (in seconds):19.613
19.44/19.73	o 241
19.44/19.78	c And the winner is solver0
19.55/20.23	c Got one! Elapsed wall clock time (in seconds):20.114
19.55/20.23	o 240
19.67/20.39	c And the winner is solver0
19.89/20.74	c Got one! Elapsed wall clock time (in seconds):20.615
19.89/20.74	o 238
19.89/20.78	c And the winner is solver0
20.02/21.24	c Got one! Elapsed wall clock time (in seconds):21.116
20.02/21.24	o 237
20.34/21.47	c And the winner is solver0
20.52/21.74	c Got one! Elapsed wall clock time (in seconds):21.617
20.52/21.74	o 235
20.64/21.87	c And the winner is solver0
20.83/22.24	c Got one! Elapsed wall clock time (in seconds):22.118
20.83/22.24	o 234
20.94/22.36	c cleaning 11280 clauses out of 22566 with flag 2718/111295
21.14/22.45	c And the winner is solver0
21.28/22.74	c Got one! Elapsed wall clock time (in seconds):22.619
21.28/22.74	o 232
21.28/22.79	c And the winner is solver0
21.42/23.24	c Got one! Elapsed wall clock time (in seconds):23.12
21.42/23.24	o 230
21.42/23.25	c And the winner is solver0
21.46/23.74	c Got one! Elapsed wall clock time (in seconds):23.621
21.46/23.74	o 207
21.57/23.82	c And the winner is solver0
21.64/24.24	c Got one! Elapsed wall clock time (in seconds):24.122
21.64/24.24	o 205
21.97/24.47	c cleaning 8822 clauses out of 17658 with flag 7877/117667
22.17/24.55	c And the winner is solver0
22.31/24.74	c Got one! Elapsed wall clock time (in seconds):24.623
22.31/24.74	o 203
22.31/24.75	c And the winner is solver0
22.31/25.24	c Got one! Elapsed wall clock time (in seconds):25.124
22.31/25.24	o 202
22.31/25.25	c And the winner is solver0
22.31/25.75	c Got one! Elapsed wall clock time (in seconds):25.625
22.31/25.75	o 189
22.31/25.80	c And the winner is solver0
22.43/26.25	c Got one! Elapsed wall clock time (in seconds):26.126
22.43/26.25	o 188
22.53/26.31	c And the winner is solver0
22.59/26.75	c Got one! Elapsed wall clock time (in seconds):26.627
22.59/26.75	o 187
22.59/26.77	c And the winner is solver0
22.65/27.25	c Got one! Elapsed wall clock time (in seconds):27.128
22.65/27.25	o 186
22.65/27.26	c And the winner is solver0
22.65/27.75	c Got one! Elapsed wall clock time (in seconds):27.629
22.65/27.75	o 182
22.94/27.96	c cleaning 7786 clauses out of 15573 with flag 7903/124404
23.34/28.16	c And the winner is solver0
23.51/28.25	c Got one! Elapsed wall clock time (in seconds):28.13
23.51/28.25	o 181
23.81/28.40	c cleaning 6528 clauses out of 13062 with flag 4508/129679
24.01/28.52	c And the winner is solver0
24.10/28.75	c Got one! Elapsed wall clock time (in seconds):28.631
24.10/28.75	o 180
24.10/28.76	c And the winner is solver0
24.10/29.25	c Got one! Elapsed wall clock time (in seconds):29.132
24.10/29.25	o 174
24.19/29.32	c And the winner is solver0
24.31/29.75	c Got one! Elapsed wall clock time (in seconds):29.633
24.31/29.75	o 172
24.31/29.76	c And the winner is solver0
24.34/30.25	c Got one! Elapsed wall clock time (in seconds):30.134
24.34/30.25	o 168
24.44/30.33	c And the winner is solver0
24.61/30.76	c Got one! Elapsed wall clock time (in seconds):30.635
24.61/30.76	o 166
24.70/30.89	c cleaning 6416 clauses out of 12848 with flag 5092/135993
24.90/30.95	c And the winner is solver0
25.06/31.26	c Got one! Elapsed wall clock time (in seconds):31.136
25.06/31.26	o 164
25.54/31.52	c cleaning 5763 clauses out of 11531 with flag 10268/141092
25.94/31.77	c And the winner is solver0
26.15/32.26	c Got one! Elapsed wall clock time (in seconds):32.137
26.15/32.26	o 162
26.42/32.42	c cleaning 5852 clauses out of 11719 with flag 5048/147043
27.22/32.83	c cleaning 5927 clauses out of 11867 with flag 20776/153043
27.84/33.14	c And the winner is solver0
27.97/33.26	c Got one! Elapsed wall clock time (in seconds):33.138
27.97/33.26	o 161
28.07/33.35	c cleaning 5878 clauses out of 11770 with flag 2512/158873
28.27/33.49	c And the winner is solver0
28.59/33.76	c Got one! Elapsed wall clock time (in seconds):33.639
28.59/33.76	o 160
28.86/33.98	c cleaning 5542 clauses out of 11094 with flag 7498/164075
29.06/34.01	c And the winner is solver0
29.21/34.26	c Got one! Elapsed wall clock time (in seconds):34.14
29.21/34.26	o 158
29.48/34.41	c And the winner is solver0
29.60/34.76	c Got one! Elapsed wall clock time (in seconds):34.641
29.60/34.76	o 157
29.87/34.96	c cleaning 5808 clauses out of 11625 with flag 7666/170148
30.68/35.36	c cleaning 5905 clauses out of 11814 with flag 22587/176145
31.67/35.86	c cleaning 6453 clauses out of 12909 with flag 39511/183145
32.68/36.39	c And the winner is solver0
32.94/36.76	c Got one! Elapsed wall clock time (in seconds):36.642
32.94/36.76	o 155
33.61/37.11	c And the winner is solver0
33.69/37.26	c Got one! Elapsed wall clock time (in seconds):37.143
33.69/37.26	o 153
33.75/37.37	c cleaning 9414 clauses out of 18836 with flag 2473/195525
34.75/37.85	c cleaning 7710 clauses out of 15426 with flag 16607/201529
34.75/37.88	c And the winner is solver0
35.05/38.26	c Got one! Elapsed wall clock time (in seconds):38.144
35.05/38.26	o 152
35.33/38.44	c And the winner is solver0
35.46/38.77	c Got one! Elapsed wall clock time (in seconds):38.645
35.46/38.77	o 151
35.52/38.87	c And the winner is solver0
35.80/39.27	c Got one! Elapsed wall clock time (in seconds):39.146
35.80/39.27	o 149
36.06/39.44	c cleaning 7175 clauses out of 14355 with flag 5075/208168
36.86/39.87	c cleaning 6581 clauses out of 13176 with flag 19675/214164
37.86/40.39	c cleaning 6795 clauses out of 13596 with flag 37679/221165
39.26/41.03	c cleaning 7397 clauses out of 14799 with flag 58046/229163
40.67/41.75	c cleaning 8194 clauses out of 16403 with flag 80372/238164
41.27/42.07	c And the winner is solver0
41.43/42.27	c Got one! Elapsed wall clock time (in seconds):42.147
41.43/42.27	o 148
41.49/42.36	c cleaning 6750 clauses out of 13521 with flag 2107/243476
42.29/42.76	c cleaning 6380 clauses out of 12765 with flag 18067/249470
43.29/43.26	c cleaning 6691 clauses out of 13384 with flag 35622/256469
44.69/43.91	c cleaning 7342 clauses out of 14693 with flag 54655/264469
44.90/44.08	c And the winner is solver0
45.11/44.27	c Got one! Elapsed wall clock time (in seconds):44.148
45.11/44.27	o 146
45.56/44.52	c cleaning 6522 clauses out of 13048 with flag 7045/270166
46.36/44.95	c cleaning 6250 clauses out of 12526 with flag 21102/276166
47.36/45.49	c cleaning 6638 clauses out of 13277 with flag 37753/283167
48.56/46.03	c And the winner is solver0
48.67/46.27	c Got one! Elapsed wall clock time (in seconds):46.149
48.67/46.27	o 145
49.52/46.79	c cleaning 9149 clauses out of 18298 with flag 11556/294826
50.32/47.16	c And the winner is solver0
50.49/47.27	c Got one! Elapsed wall clock time (in seconds):47.15
50.49/47.27	o 143
50.56/47.38	c cleaning 7421 clauses out of 14861 with flag 2089/300538
51.35/47.77	c And the winner is solver0
51.57/48.27	c Got one! Elapsed wall clock time (in seconds):48.151
51.57/48.27	o 142
51.85/48.41	c And the winner is solver0
51.94/48.77	c Got one! Elapsed wall clock time (in seconds):48.653
51.94/48.77	o 129
52.58/49.19	c cleaning 9157 clauses out of 18319 with flag 9819/311417
53.79/49.70	c cleaning 7579 clauses out of 15163 with flag 24449/317418
54.99/50.32	c cleaning 7290 clauses out of 14583 with flag 41310/324417
55.40/50.57	c And the winner is solver0
55.58/50.78	c Got one! Elapsed wall clock time (in seconds):50.656
55.58/50.78	o 128
55.81/50.95	c cleaning 6494 clauses out of 13003 with flag 4833/330127
56.01/51.01	c And the winner is solver0
56.10/51.28	c Got one! Elapsed wall clock time (in seconds):51.157
56.10/51.28	o 126
56.34/51.46	c And the winner is solver0
56.58/51.78	c Got one! Elapsed wall clock time (in seconds):51.662
56.58/51.78	o 125
56.82/51.95	c cleaning 6052 clauses out of 12109 with flag 4861/335727
57.61/52.38	c cleaning 6025 clauses out of 12059 with flag 18489/341729
58.42/52.72	c And the winner is solver0
58.42/52.79	c Got one! Elapsed wall clock time (in seconds):52.666
58.42/52.79	o 123
58.55/52.89	c cleaning 5964 clauses out of 11950 with flag 2108/347645
59.54/53.34	c cleaning 5982 clauses out of 11980 with flag 15884/353639
60.53/53.89	c cleaning 6493 clauses out of 12998 with flag 32243/360639
61.33/54.20	c And the winner is solver0
61.46/54.34	c Got one! Elapsed wall clock time (in seconds):54.22
61.46/54.34	o 121
61.58/54.44	c cleaning 5886 clauses out of 11794 with flag 2109/365928
62.38/54.86	c cleaning 5947 clauses out of 11903 with flag 16014/371923
63.37/55.35	c cleaning 6477 clauses out of 12954 with flag 31726/378921
64.57/55.99	c cleaning 7236 clauses out of 14478 with flag 49676/386922
66.38/56.80	c cleaning 8117 clauses out of 16242 with flag 69536/395922
68.18/57.75	c cleaning 9068 clauses out of 18135 with flag 91669/405932
70.38/58.89	c cleaning 10027 clauses out of 20056 with flag 116441/416921
72.99/60.14	c cleaning 11012 clauses out of 22031 with flag 143192/428923
75.79/61.54	c cleaning 12009 clauses out of 24018 with flag 171765/441922
77.20/62.22	c And the winner is solver0
77.36/62.40	c Got one! Elapsed wall clock time (in seconds):62.276
77.36/62.40	o 119
78.56/63.08	c cleaning 12001 clauses out of 24005 with flag 11071/453918
79.76/63.67	c cleaning 8994 clauses out of 18002 with flag 24817/459916
80.56/64.04	c And the winner is solver0
80.77/64.40	c Got one! Elapsed wall clock time (in seconds):64.281
80.77/64.40	o 117
80.95/64.52	c cleaning 7241 clauses out of 14501 with flag 2093/465409
81.76/64.91	c And the winner is solver0
81.97/65.41	c Got one! Elapsed wall clock time (in seconds):65.287
81.97/65.41	o 115
82.94/65.92	c cleaning 9021 clauses out of 18054 with flag 11444/476203
83.93/66.43	c cleaning 7515 clauses out of 15036 with flag 25171/482206
85.14/67.00	c cleaning 7251 clauses out of 14515 with flag 41377/489200
86.35/67.66	c cleaning 7630 clauses out of 15264 with flag 59879/497200
86.55/67.70	c And the winner is solver0
86.71/67.91	c Got one! Elapsed wall clock time (in seconds):67.792
86.71/67.91	o 113
87.49/68.33	c cleaning 6637 clauses out of 13296 with flag 11836/502862
88.48/68.81	c cleaning 6322 clauses out of 12659 with flag 25531/508862
89.49/69.40	c cleaning 6656 clauses out of 13337 with flag 42199/515862
90.08/69.66	c And the winner is solver0
90.31/69.92	c Got one! Elapsed wall clock time (in seconds):69.798
90.31/69.92	o 111
90.72/70.12	c cleaning 6061 clauses out of 12131 with flag 4724/521312
91.71/70.60	c cleaning 6027 clauses out of 12067 with flag 19147/527309
91.91/70.78	c And the winner is solver0
92.20/70.92	c Got one! Elapsed wall clock time (in seconds):70.804
92.20/70.92	o 110
92.55/71.17	c cleaning 5883 clauses out of 11777 with flag 7042/533046
93.56/71.61	c cleaning 5945 clauses out of 11898 with flag 21265/539050
94.55/72.12	c cleaning 6466 clauses out of 12949 with flag 36838/546046
95.77/72.76	c cleaning 7236 clauses out of 14483 with flag 54552/554046
97.36/73.51	c cleaning 8124 clauses out of 16249 with flag 74437/563048
99.16/74.42	c cleaning 9058 clauses out of 18125 with flag 97015/573048
101.36/75.51	c cleaning 10027 clauses out of 20065 with flag 122972/584046
102.18/76.00	c And the winner is solver0
102.51/76.43	c Got one! Elapsed wall clock time (in seconds):76.31
102.51/76.43	o 108
103.64/77.02	c cleaning 10358 clauses out of 20722 with flag 11435/594730
104.63/77.56	c cleaning 8170 clauses out of 16360 with flag 25449/600726
104.63/77.59	c And the winner is solver0
104.90/77.94	c Got one! Elapsed wall clock time (in seconds):77.816
104.90/77.94	o 106
105.61/78.37	c cleaning 6854 clauses out of 13707 with flag 11639/606243
106.61/78.85	c cleaning 6424 clauses out of 12858 with flag 26142/612248
107.82/79.46	c cleaning 6716 clauses out of 13434 with flag 42285/619248
109.22/80.11	c cleaning 7359 clauses out of 14719 with flag 60874/627249
110.62/80.88	c cleaning 8174 clauses out of 16354 with flag 81956/636243
112.63/81.84	c cleaning 9091 clauses out of 18183 with flag 105073/646246
114.82/82.91	c cleaning 10048 clauses out of 20095 with flag 130991/657249
117.24/84.16	c cleaning 11022 clauses out of 22044 with flag 158892/669246
120.04/85.51	c cleaning 12009 clauses out of 24018 with flag 189748/682242
123.06/87.07	c cleaning 13000 clauses out of 26009 with flag 222224/696242
124.85/87.90	c And the winner is solver0
124.95/88.05	c Got one! Elapsed wall clock time (in seconds):87.924
124.95/88.05	o 105
126.27/88.73	c cleaning 12864 clauses out of 25748 with flag 11120/708981
127.47/89.31	c cleaning 9431 clauses out of 18882 with flag 25045/714979
128.27/89.72	c And the winner is solver0
128.51/90.05	c Got one! Elapsed wall clock time (in seconds):89.931
128.51/90.05	o 104
128.59/90.18	c cleaning 7681 clauses out of 15381 with flag 2096/720909
129.59/90.65	c cleaning 6841 clauses out of 13698 with flag 15902/726907
130.80/91.26	c cleaning 6924 clauses out of 13857 with flag 31240/733907
132.20/91.96	c cleaning 7462 clauses out of 14933 with flag 48721/741907
133.80/92.75	c cleaning 8236 clauses out of 16474 with flag 69771/750910
135.81/93.72	c cleaning 9117 clauses out of 18236 with flag 93798/760908
138.01/94.86	c cleaning 10057 clauses out of 20118 with flag 119462/771907
140.61/96.13	c cleaning 11032 clauses out of 22066 with flag 146761/783912
143.62/97.61	c cleaning 12009 clauses out of 24030 with flag 177065/796908
146.82/99.20	c cleaning 13009 clauses out of 26022 with flag 209000/810909
150.42/101.07	c cleaning 14008 clauses out of 28017 with flag 244051/825913
154.65/103.12	c cleaning 14999 clauses out of 30004 with flag 282334/841908
159.05/105.32	c cleaning 15999 clauses out of 32006 with flag 321337/858909
163.65/107.62	c cleaning 17003 clauses out of 34007 with flag 364309/876909
169.30/110.44	c cleaning 17998 clauses out of 36003 with flag 410026/895908
171.90/111.77	c And the winner is solver0
172.03/112.06	c Got one! Elapsed wall clock time (in seconds):111.94
172.03/112.06	o 103
173.50/112.83	c cleaning 17426 clauses out of 34854 with flag 11194/912757
174.74/113.49	c cleaning 11715 clauses out of 23432 with flag 24545/918761
176.12/114.13	c cleaning 9347 clauses out of 18713 with flag 40191/925757
177.52/114.84	c cleaning 8676 clauses out of 17366 with flag 58224/933757
179.13/115.67	c cleaning 8844 clauses out of 17696 with flag 78476/942763
181.13/116.69	c cleaning 9416 clauses out of 18848 with flag 101499/952759
183.12/117.69	c cleaning 10217 clauses out of 20435 with flag 126484/963762
185.73/118.98	c cleaning 11102 clauses out of 22213 with flag 153935/975757
188.94/120.58	c cleaning 12053 clauses out of 24111 with flag 183453/988757
192.35/122.27	c cleaning 13027 clauses out of 26059 with flag 213990/1002758
196.34/124.23	c cleaning 14015 clauses out of 28031 with flag 246434/1017757
200.74/126.49	c cleaning 15006 clauses out of 30017 with flag 281166/1033758
205.56/128.87	c cleaning 16003 clauses out of 32010 with flag 318093/1050757
210.55/131.32	c cleaning 16999 clauses out of 34007 with flag 357900/1068757
216.16/134.12	c cleaning 17999 clauses out of 36009 with flag 399616/1087758
222.18/137.14	c cleaning 19000 clauses out of 38011 with flag 444475/1107759
229.39/140.77	c cleaning 20008 clauses out of 40019 with flag 489835/1128767
237.20/144.64	c cleaning 21001 clauses out of 42008 with flag 538285/1150764
245.41/148.76	c cleaning 21997 clauses out of 44001 with flag 589588/1173758
254.22/153.11	c cleaning 23000 clauses out of 46003 with flag 645224/1197757
264.70/158.33	c cleaning 23996 clauses out of 48004 with flag 702272/1222758
276.38/164.11	c cleaning 25004 clauses out of 50013 with flag 762566/1248763
288.81/170.40	c cleaning 25994 clauses out of 52008 with flag 823033/1275762
302.50/177.12	c cleaning 26999 clauses out of 54009 with flag 886000/1303757
315.74/183.79	c cleaning 28004 clauses out of 56014 with flag 950640/1332761
330.80/191.24	c cleaning 29000 clauses out of 58008 with flag 1019760/1362759
345.02/198.30	c cleaning 30003 clauses out of 60009 with flag 1092209/1393760
359.46/205.59	c cleaning 31001 clauses out of 62004 with flag 1166156/1425758
360.66/206.15	c And the winner is solver0
360.70/206.61	c Got one! Elapsed wall clock time (in seconds):206.488
360.70/206.61	o 101
361.47/207.05	c cleaning 18208 clauses out of 36429 with flag 4392/1431184
362.87/207.78	c cleaning 12103 clauses out of 24225 with flag 18249/1437188
364.47/208.51	c cleaning 9557 clauses out of 19119 with flag 34826/1444185
365.87/209.26	c cleaning 8770 clauses out of 17560 with flag 53077/1452183
367.68/210.10	c cleaning 8892 clauses out of 17790 with flag 74072/1461183
369.47/211.06	c cleaning 9445 clauses out of 18899 with flag 98070/1471184
371.66/212.19	c cleaning 10225 clauses out of 20459 with flag 123509/1482189
374.50/213.54	c cleaning 11115 clauses out of 22232 with flag 152150/1494187
377.49/215.00	c cleaning 12055 clauses out of 24114 with flag 182366/1507184
380.69/216.68	c cleaning 13022 clauses out of 26058 with flag 214734/1521183
384.68/218.62	c cleaning 14016 clauses out of 28040 with flag 250557/1536187
387.08/219.83	c And the winner is solver0
387.21/220.12	c Got one! Elapsed wall clock time (in seconds):220.001
387.21/220.12	o 99
388.77/220.93	c cleaning 14416 clauses out of 28839 with flag 11524/1551002
388.97/221.08	c And the winner is solver0
389.27/221.28	c Got one! Elapsed wall clock time (in seconds):221.163
389.27/221.28	o 98
390.35/221.80	c cleaning 9948 clauses out of 19901 with flag 9637/1556480
391.55/222.42	c cleaning 7963 clauses out of 15952 with flag 24282/1562479
392.75/223.02	c cleaning 7489 clauses out of 14991 with flag 42110/1569481
394.15/223.75	c cleaning 7740 clauses out of 15499 with flag 62178/1577478
395.95/224.64	c cleaning 8372 clauses out of 16759 with flag 83695/1586478
397.97/225.69	c cleaning 9197 clauses out of 18396 with flag 108216/1596487
400.35/226.80	c cleaning 10093 clauses out of 20190 with flag 135895/1607478
402.75/228.06	c cleaning 11049 clauses out of 22102 with flag 165213/1619483
405.95/229.61	c cleaning 12021 clauses out of 24048 with flag 196595/1632478
409.15/231.23	c cleaning 13012 clauses out of 26027 with flag 228792/1646478
413.16/233.22	c cleaning 14012 clauses out of 28032 with flag 264096/1661495
417.56/235.41	c cleaning 15002 clauses out of 30004 with flag 300796/1677479
422.36/237.83	c cleaning 15999 clauses out of 32001 with flag 339970/1694478
427.77/240.53	c cleaning 17000 clauses out of 34006 with flag 380691/1712482
433.57/243.41	c cleaning 17997 clauses out of 36002 with flag 426217/1731478
439.37/246.34	c cleaning 19004 clauses out of 38012 with flag 472346/1751485
445.57/249.44	c cleaning 20003 clauses out of 40005 with flag 520119/1772482
452.56/252.97	c cleaning 21001 clauses out of 42004 with flag 569324/1794484
461.18/257.35	c cleaning 21992 clauses out of 43999 with flag 619142/1817480
469.78/261.62	c cleaning 22998 clauses out of 46005 with flag 671071/1841478
478.57/266.05	c cleaning 24004 clauses out of 48010 with flag 727367/1866481
487.60/270.55	c cleaning 24998 clauses out of 50003 with flag 785784/1892478
497.59/275.55	c cleaning 25995 clauses out of 52005 with flag 846075/1919478
507.99/280.73	c cleaning 27000 clauses out of 54010 with flag 910149/1947478
520.02/286.70	c cleaning 28004 clauses out of 56013 with flag 977018/1976481
532.81/293.11	c cleaning 28997 clauses out of 58006 with flag 1045702/2006478
548.05/300.73	c cleaning 30005 clauses out of 60011 with flag 1126665/2037480
566.10/309.71	c cleaning 31001 clauses out of 62009 with flag 1205229/2069483
583.52/318.45	c cleaning 31999 clauses out of 64003 with flag 1282393/2102478
601.17/327.22	c cleaning 33002 clauses out of 66006 with flag 1359573/2136480
617.59/335.48	c cleaning 33999 clauses out of 68002 with flag 1442734/2171478
635.84/344.51	c cleaning 35003 clauses out of 70005 with flag 1524507/2207480
653.09/353.16	c cleaning 35990 clauses out of 72001 with flag 1607838/2244479
670.30/361.77	c cleaning 37004 clauses out of 74015 with flag 1694163/2282483
686.31/369.74	c cleaning 38000 clauses out of 76006 with flag 1781646/2321478
705.50/379.35	c cleaning 39000 clauses out of 78008 with flag 1871675/2361480
726.90/390.15	c cleaning 39992 clauses out of 80007 with flag 1963528/2402479
746.73/400.00	c cleaning 41002 clauses out of 82016 with flag 2059565/2444480
770.33/411.86	c cleaning 41999 clauses out of 84015 with flag 2156780/2487481
796.02/424.63	c cleaning 43003 clauses out of 86013 with flag 2261592/2531478
825.27/439.28	c cleaning 43997 clauses out of 88010 with flag 2363456/2576478
855.96/454.59	c cleaning 45001 clauses out of 90013 with flag 2467219/2622478
861.18/457.10	c And the winner is solver0
861.18/457.58	c Got one! Elapsed wall clock time (in seconds):457.464
861.18/457.58	o 97
864.40/459.20	c cleaning 30374 clauses out of 60756 with flag 12142/2638222
866.40/460.21	c cleaning 18181 clauses out of 36388 with flag 26083/2644228
868.02/461.08	c cleaning 12581 clauses out of 25201 with flag 41385/2651222
869.81/461.99	c cleaning 10303 clauses out of 20620 with flag 58785/2659222
871.81/462.95	c cleaning 9656 clauses out of 19318 with flag 79664/2668223
873.81/463.94	c cleaning 9823 clauses out of 19661 with flag 102337/2678222
876.21/465.13	c cleaning 10410 clauses out of 20840 with flag 127553/2689224
878.82/466.43	c cleaning 11203 clauses out of 22428 with flag 155927/2701222
882.01/468.01	c cleaning 12105 clauses out of 24226 with flag 184650/2714223
885.02/469.58	c cleaning 13060 clauses out of 26121 with flag 217069/2728223
888.62/471.34	c cleaning 14030 clauses out of 28062 with flag 251469/2743224
892.82/473.45	c cleaning 15008 clauses out of 30032 with flag 287832/2759224
897.84/475.90	c cleaning 16015 clauses out of 32030 with flag 325883/2776230
902.44/478.27	c cleaning 16996 clauses out of 34007 with flag 366374/2794222
907.84/480.99	c cleaning 18003 clauses out of 36011 with flag 407673/2813222
914.05/484.08	c cleaning 19004 clauses out of 38011 with flag 450838/2833225
921.25/487.67	c cleaning 19997 clauses out of 40005 with flag 495975/2854223
928.45/491.29	c cleaning 21001 clauses out of 42010 with flag 542031/2876225
935.86/494.97	c cleaning 21995 clauses out of 44009 with flag 592156/2899225
943.89/498.99	c cleaning 23004 clauses out of 46016 with flag 648780/2923227
952.69/503.38	c cleaning 24002 clauses out of 48010 with flag 706818/2948225
962.29/508.13	c cleaning 24993 clauses out of 50005 with flag 766557/2974222
971.69/512.85	c cleaning 26006 clauses out of 52013 with flag 829739/3001223
982.14/518.16	c cleaning 26994 clauses out of 54008 with flag 892510/3029224
993.93/524.03	c cleaning 27999 clauses out of 56015 with flag 957071/3058225
1005.74/529.90	c cleaning 29006 clauses out of 58014 with flag 1025096/3088223
1018.76/536.47	c cleaning 29998 clauses out of 60010 with flag 1097757/3119225
1032.35/543.23	c cleaning 30994 clauses out of 62009 with flag 1171339/3151222
1046.78/550.46	c cleaning 32004 clauses out of 64015 with flag 1246113/3184222
1061.78/557.99	c cleaning 33004 clauses out of 66011 with flag 1325764/3218222
1079.26/566.63	c cleaning 33997 clauses out of 68008 with flag 1406879/3253223
1095.86/574.94	c cleaning 34994 clauses out of 70012 with flag 1491345/3289224
1114.06/584.04	c cleaning 36008 clauses out of 72016 with flag 1580845/3326222
1131.09/592.54	c cleaning 36996 clauses out of 74009 with flag 1666864/3364223
1150.10/602.10	c cleaning 38002 clauses out of 76014 with flag 1756005/3403224
1170.53/612.27	c cleaning 39004 clauses out of 78010 with flag 1848306/3443222
1192.56/623.23	c cleaning 40000 clauses out of 80006 with flag 1945751/3484222
1216.36/635.15	c cleaning 40997 clauses out of 82007 with flag 2061014/3526223
1240.62/647.21	c cleaning 42002 clauses out of 84009 with flag 2156235/3569222
1264.49/659.15	c cleaning 43006 clauses out of 86011 with flag 2259236/3613226
1292.18/673.10	c cleaning 44003 clauses out of 88005 with flag 2356583/3658226
1318.83/686.47	c cleaning 45001 clauses out of 90004 with flag 2460571/3704228
1347.28/700.66	c cleaning 45997 clauses out of 92000 with flag 2563907/3751225
1378.35/716.20	c cleaning 47001 clauses out of 94002 with flag 2670245/3799224
1410.82/732.37	c cleaning 48003 clauses out of 96006 with flag 2778826/3848229
1444.26/749.05	c cleaning 49000 clauses out of 98000 with flag 2895277/3898226
1477.18/765.43	c cleaning 49997 clauses out of 99996 with flag 3012268/3949222
1510.64/782.21	c cleaning 50994 clauses out of 102002 with flag 3129588/4001225
1546.07/799.96	c cleaning 51999 clauses out of 104007 with flag 3249883/4054224
1583.12/818.43	c cleaning 52999 clauses out of 106006 with flag 3367290/4108222
1624.68/839.19	c cleaning 53996 clauses out of 108009 with flag 3491590/4163224
1670.41/861.94	c cleaning 55004 clauses out of 110015 with flag 3615511/4219226
1720.60/886.94	c cleaning 56004 clauses out of 112007 with flag 3742650/4276222
1774.40/913.85	c cleaning 57002 clauses out of 114006 with flag 3870854/4334225
1800.02/926.60	c >>>>>>>>>> Solver number 0 (87 answers) <<<<<<<<<<<<<<<<<<
1800.02/926.60	c starts		: 7236
1800.02/926.60	c conflicts		: 4371332
1800.02/926.60	c decisions		: 5520067
1800.02/926.60	c propagations		: 69787171
1800.02/926.60	c inspects		: 16999985188
1800.02/926.60	c shortcuts		: 0
1800.02/926.60	c learnt literals	: 0
1800.02/926.60	c learnt binary clauses	: 0
1800.02/926.60	c learnt ternary clauses	: 0
1800.02/926.60	c learnt constraints	: 4371332
1800.02/926.60	c ignored constraints	: 0
1800.02/926.60	c root simplifications	: 0
1800.02/926.60	c removed literals (reason simplification)	: 22071473
1800.02/926.60	c reason swapping (by a shorter reason)	: 0
1800.02/926.60	c Calls to reduceDB	: 245
1800.02/926.60	c Number of update (reduction) of LBD	: 666130
1800.02/926.60	c Imported unit clauses	: 0
1800.02/926.60	c number of reductions to clauses (during analyze)	: 0
1800.02/926.60	c number of learned constraints concerned by reduction	: 0
1800.02/926.60	c number of learning phase by resolution	: 0
1800.02/926.60	c number of learning phase by cutting planes	: 0
1800.02/926.60	c speed (assignments/second)	: 76953.9713012574
1800.02/926.60	c non guided choices	2935
1800.02/926.63	c learnt constraints type 
1800.02/926.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 94111
1800.02/926.63	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.02/926.63	c starts		: 109
1800.02/926.63	c conflicts		: 3229
1800.02/926.63	c decisions		: 21510
1800.02/926.63	c propagations		: 71722
1800.02/926.63	c inspects		: 39709596
1800.02/926.63	c shortcuts		: 0
1800.02/926.63	c learnt literals	: 0
1800.02/926.63	c learnt binary clauses	: 0
1800.02/926.63	c learnt ternary clauses	: 0
1800.02/926.63	c learnt constraints	: 3164
1800.02/926.63	c ignored constraints	: 0
1800.02/926.63	c root simplifications	: 0
1800.02/926.63	c removed literals (reason simplification)	: 0
1800.02/926.63	c reason swapping (by a shorter reason)	: 0
1800.02/926.63	c Calls to reduceDB	: 0
1800.02/926.63	c Number of update (reduction) of LBD	: 0
1800.02/926.63	c Imported unit clauses	: 0
1800.02/926.63	c number of reductions to clauses (during analyze)	: 0
1800.02/926.63	c number of learned constraints concerned by reduction	: 0
1800.02/926.63	c number of learning phase by resolution	: 0
1800.02/926.63	c number of learning phase by cutting planes	: 0
1800.02/926.63	c speed (assignments/second)	: 152.92569920191727
1800.02/926.63	c non guided choices	2387
1800.02/926.63	c learnt constraints type 
1800.02/926.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3164
1800.02/926.63	s SATISFIABLE
1800.02/926.63	c Found 89 solution(s)
1800.02/926.63	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 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 x183 x184 -x185 x186 x187 x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 
1800.02/926.63	c objective function=97
1800.02/926.63	c Total wall clock time (in seconds): 926.511

Verifier Data 

OK	97

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-4105554-1466254794/watcher-4105554-1466254794 -o /tmp/evaluation-result-4105554-1466254794/solver-4105554-1466254794 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105554-1466254794.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.13 4.19 4.18 4/197 10915
/proc/meminfo: memFree=27338620/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10915/stat : 10915 (java) R 10912 10915 6358 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 27528649 9515008 155 33554432000 1073741824 1073778376 140736767413632 140736767410760 1073762786 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2323 169 128 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.13 4.19 4.18 4/197 10915
/proc/meminfo: memFree=27338620/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 4446 0 1 0 8 1 0 0 20 0 18 0 27528649 9787879424 5575 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2389619 5575 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.202457 s]
/proc/loadavg: 4.13 4.19 4.18 4/197 10915
/proc/meminfo: memFree=27338620/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 4851 0 1 0 24 2 0 0 20 0 22 0 27528649 10060525568 7455 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 7457 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+0.300229 s]
/proc/loadavg: 4.13 4.19 4.18 4/197 10915
/proc/meminfo: memFree=27338620/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 8566 0 1 0 60 2 0 0 20 0 22 0 27528649 10060525568 10012 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 10012 2244 9 0 2446860 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9824732

[startup+0.700724 s]
/proc/loadavg: 4.13 4.19 4.18 4/197 10915
/proc/meminfo: memFree=27338620/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 15736 0 1 0 190 5 0 0 20 0 22 0 27528649 10060525568 18075 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 18075 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 4.13 4.19 4.18 3/216 10940
/proc/meminfo: memFree=27249912/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 15886 0 1 0 220 9 0 0 20 0 19 0 27528649 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 21705 2263 9 0 2446860 0
[pid=10915/tid=10917] ppid=10912 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/10915/task/10917/stat : 10917 (java) S 10912 10915 6358 0 -1 4202560 2466 0 1 0 14 2 0 0 20 0 19 0 27528650 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718298104696 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10918] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718141659816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10919] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718140607272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10920] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718139554728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10921] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718138502184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10922] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718137448616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10923] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718136396072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10924] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528652 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718135343528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10925] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27528652 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718134290984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10926] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718122093160 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10927] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718121039480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10928] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718119986824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10929] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718118935568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10930] ppid=10912 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 6358 0 -1 4202560 6429 0 0 0 60 1 0 0 20 0 19 0 27528655 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718117881912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10931] ppid=10912 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 6358 0 -1 4202560 5616 0 0 0 58 1 0 0 20 0 19 0 27528655 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718116829368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10932] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718115777016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10933] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718114724680 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10936] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10936/stat : 10936 (java) S 10912 10915 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27528669 10060525568 21705 33554432000 1073741824 1073778376 140736767413632 140718111565352 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9824732

[startup+3.10066 s]
/proc/loadavg: 4.13 4.19 4.18 7/219 10946
/proc/meminfo: memFree=27131688/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=4.22 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 23946 0 1 0 409 13 0 0 20 0 19 0 27528649 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 49257 2285 9 0 2446860 0
[pid=10915/tid=10917] ppid=10912 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/10915/task/10917/stat : 10917 (java) S 10912 10915 6358 0 -1 4202560 2466 0 1 0 15 2 0 0 20 0 19 0 27528650 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718298104696 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10918] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718141659816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10919] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718140607272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10920] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718139554728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10921] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718138502184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10922] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718137448616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10923] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718136396072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10924] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 6358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27528652 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718135343528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10925] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27528652 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718134290984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10926] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 6358 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718122093160 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10927] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718121039480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10928] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718119986824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10929] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718118935568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10930] ppid=10912 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 6358 0 -1 4202560 11987 0 0 0 96 2 0 0 20 0 19 0 27528655 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718117881912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10931] ppid=10912 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 6358 0 -1 4202560 8027 0 0 0 98 2 0 0 20 0 19 0 27528655 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718116829368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10932] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718115777016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10933] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 49257 33554432000 1073741824 1073778376 140736767413632 140718114724680 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 9824732

[startup+6.30081 s]
/proc/loadavg: 4.04 4.17 4.17 3/216 10964
/proc/meminfo: memFree=27134732/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 25638 0 1 0 514 25 0 0 20 0 19 0 27528649 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 48635 2286 9 0 2446860 0
[pid=10915/tid=10917] ppid=10912 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/10915/task/10917/stat : 10917 (java) S 10912 10915 6358 0 -1 4202560 2468 0 1 0 15 2 0 0 20 0 19 0 27528650 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718298104696 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10918] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718141659816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10919] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718140607272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10920] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 6358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718139554728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10921] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718138502184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10922] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718137448616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10923] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27528651 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718136396072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10924] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27528652 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718135343528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10925] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27528652 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718134290984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10926] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 6358 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718122093160 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10927] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718121039480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10928] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27528653 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718119986824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10929] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718118935568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10930] ppid=10912 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 6358 0 -1 4202560 13594 0 0 0 110 2 0 0 20 0 19 0 27528655 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718117881912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10931] ppid=10912 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 6358 0 -1 4202560 8027 0 0 0 101 2 0 0 20 0 19 0 27528655 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718116829368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10932] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718115777016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10933] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27528655 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718114724680 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10949] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10949/stat : 10949 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27528920 10060525568 48635 33554432000 1073741824 1073778376 140736767413632 140718111564968 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 9824732

############
# WARNING:

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

[pid=10915/tid=10925] ppid=10912 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 6358 0 -1 4202560 1436 0 0 0 102 9 0 0 20 0 22 0 27528652 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718134290984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10926] ppid=10912 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 6358 0 -1 4202560 1181 0 0 0 126 23 0 0 20 0 22 0 27528653 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718122093160 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10927] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27528653 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718121039480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10928] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 6358 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 27528653 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718119986824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10929] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27528655 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718118935568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10930] ppid=10912 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 6358 0 -1 4202560 13605 0 0 0 119 2 0 0 20 0 22 0 27528655 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718117881912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10931] ppid=10912 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 6358 0 -1 4202560 8038 0 0 0 116 2 0 0 20 0 22 0 27528655 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718116829368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10932] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27528655 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718115777016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10933] ppid=10912 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 6358 0 -1 4202560 45 0 0 0 8 16 0 0 20 0 22 0 27528655 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718114724680 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=11030] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/11030/stat : 11030 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27530623 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718111564712 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=11309] ppid=10912 vsize=9824732 CPUtime=361.96 cores=1,3,5,7
/proc/10915/task/11309/stat : 11309 (java) R 10912 10915 6358 0 -1 4202560 24 0 0 0 36191 5 0 0 20 0 22 0 27574410 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718112614784 140718170576418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=11310] ppid=10912 vsize=9824732 CPUtime=361.92 cores=1,3,5,7
/proc/10915/task/11310/stat : 11310 (java) R 10912 10915 6358 0 -1 4202560 1554 0 0 0 36184 8 0 0 20 0 22 0 27574410 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718110510320 140718170626357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=11311] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/11311/stat : 11311 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27574412 10060525568 268733 33554432000 1073741824 1073778376 140736767413632 140718113670184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1589.57
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.14 4.18 4.13 5/219 11322
/proc/meminfo: memFree=28485464/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=1710.06 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 41901 0 1 0 170693 313 0 0 20 0 22 0 27528649 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 310037 2294 9 0 2446860 0
[pid=10915/tid=10917] ppid=10912 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/10915/task/10917/stat : 10917 (java) S 10912 10915 6358 0 -1 4202560 2472 0 1 0 34 3 0 0 20 0 22 0 27528650 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718298104696 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10918] ppid=10912 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 6358 0 -1 4202560 1048 0 0 0 118 13 0 0 20 0 22 0 27528651 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718141659816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10919] ppid=10912 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 6358 0 -1 4202560 965 0 0 0 99 9 0 0 20 0 22 0 27528651 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718140607272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10920] ppid=10912 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 6358 0 -1 4202560 616 0 0 0 113 13 0 0 20 0 22 0 27528651 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718139554728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10921] ppid=10912 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 6358 0 -1 4202560 588 0 0 0 112 10 0 0 20 0 22 0 27528651 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718138502184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10922] ppid=10912 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 6358 0 -1 4202560 1070 0 0 0 110 10 0 0 20 0 22 0 27528651 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718137448616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10923] ppid=10912 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 6358 0 -1 4202560 620 0 0 0 114 9 0 0 20 0 22 0 27528651 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718136396072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10924] ppid=10912 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 6358 0 -1 4202560 702 0 0 0 117 12 0 0 20 0 22 0 27528652 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718135343528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10925] ppid=10912 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 6358 0 -1 4202560 1486 0 0 0 115 11 0 0 20 0 22 0 27528652 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718134290984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10926] ppid=10912 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 6358 0 -1 4202560 1346 0 0 0 127 24 0 0 20 0 22 0 27528653 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718122093160 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10927] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27528653 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718121039480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10928] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 6358 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 27528653 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718119986824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10929] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27528655 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718118935568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10930] ppid=10912 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 6358 0 -1 4202560 13605 0 0 0 119 2 0 0 20 0 22 0 27528655 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718117881912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10931] ppid=10912 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 6358 0 -1 4202560 8038 0 0 0 116 2 0 0 20 0 22 0 27528655 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718116829368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10932] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27528655 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718115777016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10933] ppid=10912 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 6358 0 -1 4202560 49 0 0 0 9 18 0 0 20 0 22 0 27528655 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718114724680 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=11030] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/11030/stat : 11030 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27530623 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718111564712 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=11309] ppid=10912 vsize=9824732 CPUtime=421.43 cores=1,3,5,7
/proc/10915/task/11309/stat : 11309 (java) R 10912 10915 6358 0 -1 4202560 35 0 0 0 42136 7 0 0 20 0 22 0 27574410 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718112614784 140718170576426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=11310] ppid=10912 vsize=9824732 CPUtime=421.39 cores=1,3,5,7
/proc/10915/task/11310/stat : 11310 (java) R 10912 10915 6358 0 -1 4202560 2150 0 0 0 42129 10 0 0 20 0 22 0 27574410 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718110510320 140718170472964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=11311] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/11311/stat : 11311 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27574412 10060525568 310037 33554432000 1073741824 1073778376 140736767413632 140718113670184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1710.06
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+926.601 s]
/proc/loadavg: 4.12 4.17 4.13 5/219 11323
/proc/meminfo: memFree=28193436/32872528 swapFree=681964/737152
[pid=10915] ppid=10912 vsize=9824732 CPUtime=1798.67 cores=1,3,5,7
/proc/10915/stat : 10915 (java) S 10912 10915 6358 0 -1 4202496 43142 0 1 0 179539 328 0 0 20 0 22 0 27528649 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140736767404768 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10915/statm: 2456183 391496 2294 9 0 2446860 0
[pid=10915/tid=10917] ppid=10912 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/10915/task/10917/stat : 10917 (java) S 10912 10915 6358 0 -1 4202560 2472 0 1 0 34 3 0 0 20 0 22 0 27528650 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718298104696 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10918] ppid=10912 vsize=9824732 CPUtime=1.4 cores=1,3,5,7
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 6358 0 -1 4202560 1070 0 0 0 126 14 0 0 20 0 22 0 27528651 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718141659816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10919] ppid=10912 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 6358 0 -1 4202560 985 0 0 0 107 10 0 0 20 0 22 0 27528651 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718140607272 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10920] ppid=10912 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 6358 0 -1 4202560 640 0 0 0 121 15 0 0 20 0 22 0 27528651 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718139554728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10921] ppid=10912 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 6358 0 -1 4202560 624 0 0 0 119 12 0 0 20 0 22 0 27528651 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718138502184 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10922] ppid=10912 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 6358 0 -1 4202560 1091 0 0 0 121 10 0 0 20 0 22 0 27528651 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718137448616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10923] ppid=10912 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 6358 0 -1 4202560 635 0 0 0 119 10 0 0 20 0 22 0 27528651 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718136396072 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10924] ppid=10912 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 6358 0 -1 4202560 720 0 0 0 126 13 0 0 20 0 22 0 27528652 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718135343528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10925] ppid=10912 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 6358 0 -1 4202560 1495 0 0 0 123 11 0 0 20 0 22 0 27528652 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718134290984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10926] ppid=10912 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 6358 0 -1 4202560 1527 0 0 0 152 25 0 0 20 0 22 0 27528653 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718122093160 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10915/tid=10927] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27528653 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718121039480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10928] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 6358 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 27528653 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718119986824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=10929] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27528655 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718118935568 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10930] ppid=10912 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 6358 0 -1 4202560 13605 0 0 0 119 2 0 0 20 0 22 0 27528655 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718117881912 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10931] ppid=10912 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 6358 0 -1 4202560 8038 0 0 0 116 2 0 0 20 0 22 0 27528655 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718116829368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=10932] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27528655 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718115777016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=10933] ppid=10912 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 6358 0 -1 4202560 51 0 0 0 10 18 0 0 20 0 22 0 27528655 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718114724680 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=11030] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/11030/stat : 11030 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27530623 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718111564712 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10915/tid=11309] ppid=10912 vsize=9824732 CPUtime=465.14 cores=1,3,5,7
/proc/10915/task/11309/stat : 11309 (java) R 10912 10915 6358 0 -1 4202560 47 0 0 0 46506 8 0 0 20 0 22 0 27574410 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718112614784 140718170668609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10915/tid=11310] ppid=10912 vsize=9824732 CPUtime=465.09 cores=1,3,5,7
/proc/10915/task/11310/stat : 11310 (java) R 10912 10915 6358 0 -1 4202560 3031 0 0 0 46494 15 0 0 20 0 22 0 27574410 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718110510032 140718170626390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10915/tid=11311] ppid=10912 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10915/task/11311/stat : 11311 (java) S 10912 10915 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27574412 10060525568 391496 33554432000 1073741824 1073778376 140736767413632 140718113670184 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10915 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=167397
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=633447
# CPU time returned by wait4() is 1796.8
# while last known CPU time is 1798.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 926.654
CPU time (s): 1800.02
CPU user time (s): 1796.84
CPU system time (s): 3.18
CPU usage (%): 194.249
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.17
system time used= 3.63345
maximum resident set size= 1573808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43188
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33775
involuntary context switches= 35110

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83911 second user time and 7.63684 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 14:59:54
IDJOB=4105554
IDBENCH=2895
IDSOLVER=2543
FILE ID=node112/4105554-1466254794
RUNJOBID= node112-1466241279-6375
PBS_JOBID= 19918204
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105554-1466254794/watcher-4105554-1466254794 -o /tmp/evaluation-result-4105554-1466254794/solver-4105554-1466254794 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6375 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105554-1466254794.opb

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

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=617213333

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27339000 kB
Buffers:           45860 kB
Cached:           113216 kB
SwapCached:         2028 kB
Active:          3954856 kB
Inactive:         101376 kB
Active(anon):    3897312 kB
Inactive(anon):     2096 kB
Active(file):      57544 kB
Inactive(file):    99280 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:       4756432 kB
Mapped:            15428 kB
Shmem:                 0 kB
Slab:             601032 kB
SReclaimable:      44892 kB
SUnreclaim:       556140 kB
KernelStack:        1808 kB
PageTables:        13344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4959412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4014080 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= 71712 MiB
End job on node112 at 2016-06-18 15:15:21