Trace number 4101226

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)-35 1800.72 904.152

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb
MD5SUM7ba66e72f7a10b492134dc7de6859631
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark242.948
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -19
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints48
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 constraints48
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524372
Number of bits of the biggest sum of numbers20
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.10	c version PB16.v20160501
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		501472288
0.06/0.10	c Max memory 		7480803328
0.06/0.10	c Total memory 		504102912
0.06/0.10	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c ManyCore solver with 2 solvers running in parallel
0.06/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c Expensive reason simplification
0.06/0.13	c Glucose 2.1 dynamic restart strategy
0.06/0.13	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.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.06/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	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.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-4101226-1466213359.opb
0.06/0.13	c reading problem ... 
0.06/0.13	c  objective function found
0.23/0.25	c ... done. Wall clock time 0.119s.
0.23/0.25	c declared #vars     1440
0.23/0.25	c #constraints  68
0.23/0.25	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.25	c constraints type 
0.23/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 68
0.23/0.25	c 68 constraints processed.
0.23/0.25	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.25	c constraints type 
0.23/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPb => 68
0.23/0.25	c 68 constraints processed.
0.23/0.25	c objective function length is 30 literals
0.51/0.35	c And the winner is solver1
1.27/0.76	c SATISFIABLE
1.27/0.76	c OPTIMIZING...
1.27/0.76	c Got one! Elapsed wall clock time (in seconds):0.632
1.27/0.76	o 0
1.98/1.02	c And the winner is solver0
2.32/1.27	c Got one! Elapsed wall clock time (in seconds):1.136
2.32/1.27	o -1
2.32/1.28	c And the winner is solver1
2.40/1.77	c Got one! Elapsed wall clock time (in seconds):1.638
2.40/1.77	o -2
2.51/1.86	c And the winner is solver1
2.85/2.27	c Got one! Elapsed wall clock time (in seconds):2.139
2.85/2.27	o -3
2.96/2.39	c cleaning 3128 clauses out of 6266 with flag 7204/6270
3.24/2.42	c And the winner is solver1
3.33/2.77	c Got one! Elapsed wall clock time (in seconds):2.641
3.33/2.77	o -4
3.61/2.91	c cleaning 4095 clauses out of 8219 with flag 11162/11351
3.84/3.09	c cleaning 5063 clauses out of 10126 with flag 25660/17353
4.25/3.26	c And the winner is solver1
4.25/3.27	c Got one! Elapsed wall clock time (in seconds):3.142
4.25/3.27	o -5
4.48/3.30	c cleaning 5353 clauses out of 10709 with flag 2255/22999
4.69/3.49	c cleaning 5677 clauses out of 11355 with flag 18012/28998
5.16/3.69	c cleaning 6334 clauses out of 12674 with flag 33311/35997
5.64/3.89	c cleaning 7160 clauses out of 14340 with flag 52615/43997
6.29/4.14	c cleaning 8081 clauses out of 16178 with flag 72309/52997
6.29/4.18	c And the winner is solver0
6.47/4.27	c Got one! Elapsed wall clock time (in seconds):4.144
6.47/4.27	o -6
6.78/4.47	c cleaning 6845 clauses out of 13689 with flag 9410/58589
7.80/4.91	c cleaning 6421 clauses out of 12845 with flag 25157/64590
8.64/5.33	c cleaning 6714 clauses out of 13427 with flag 43759/71593
9.68/5.82	c cleaning 7354 clauses out of 14710 with flag 67815/79590
10.27/6.17	c And the winner is solver1
10.47/6.28	c Got one! Elapsed wall clock time (in seconds):6.145
10.47/6.28	o -8
10.81/6.46	c cleaning 9945 clauses out of 19901 with flag 12671/92135
11.21/6.62	c cleaning 7973 clauses out of 15954 with flag 26119/98135
11.66/6.85	c cleaning 7490 clauses out of 14979 with flag 41435/105134
12.05/7.00	c And the winner is solver0
12.10/7.28	c Got one! Elapsed wall clock time (in seconds):7.146
12.10/7.28	o -10
12.34/7.47	c cleaning 9469 clauses out of 18965 with flag 12353/116610
12.74/7.70	c cleaning 7735 clauses out of 15491 with flag 28516/122605
13.54/8.00	c cleaning 7364 clauses out of 14757 with flag 50299/129606
13.94/8.21	c cleaning 7697 clauses out of 15393 with flag 69458/137607
14.54/8.54	c cleaning 8341 clauses out of 16695 with flag 95213/146606
15.18/8.81	c cleaning 9172 clauses out of 18353 with flag 118360/156605
15.18/8.84	c And the winner is solver1
15.26/9.28	c Got one! Elapsed wall clock time (in seconds):9.148
15.26/9.28	o -11
15.50/9.43	c cleaning 7263 clauses out of 14546 with flag 11405/161971
15.90/9.62	c cleaning 6640 clauses out of 13288 with flag 25436/167976
16.30/9.84	c cleaning 6816 clauses out of 13641 with flag 44480/174969
16.71/10.03	c cleaning 7404 clauses out of 14826 with flag 62531/182970
17.10/10.27	c cleaning 8202 clauses out of 16423 with flag 82517/191972
17.70/10.55	c cleaning 9100 clauses out of 18218 with flag 107061/201969
17.90/10.64	c And the winner is solver1
17.99/10.78	c Got one! Elapsed wall clock time (in seconds):10.649
17.99/10.78	o -12
18.02/10.86	c cleaning 7357 clauses out of 14732 with flag 5311/207584
18.63/11.11	c cleaning 6676 clauses out of 13376 with flag 23391/213585
19.23/11.44	c cleaning 6848 clauses out of 13699 with flag 45659/220584
19.82/11.71	c cleaning 7424 clauses out of 14848 with flag 67254/228585
20.22/11.94	c cleaning 8210 clauses out of 16421 with flag 87150/237583
20.22/11.96	c And the winner is solver0
20.38/12.28	c Got one! Elapsed wall clock time (in seconds):12.15
20.38/12.28	o -13
20.61/12.41	c cleaning 6602 clauses out of 13235 with flag 12040/242607
21.01/12.68	c cleaning 6308 clauses out of 12635 with flag 30670/248609
21.41/12.85	c cleaning 6659 clauses out of 13325 with flag 46184/255607
22.28/13.21	c cleaning 7326 clauses out of 14665 with flag 71409/263607
23.26/13.70	c cleaning 8171 clauses out of 16341 with flag 101976/272609
23.46/13.83	c And the winner is solver1
23.54/14.28	c Got one! Elapsed wall clock time (in seconds):14.151
23.54/14.28	o -14
23.58/14.35	c cleaning 6668 clauses out of 13341 with flag 4848/277780
24.17/14.60	c cleaning 6321 clauses out of 12672 with flag 24050/283779
24.77/14.93	c cleaning 6671 clauses out of 13351 with flag 47541/290779
25.38/15.26	c cleaning 7342 clauses out of 14684 with flag 71563/298783
26.18/15.64	c cleaning 8159 clauses out of 16337 with flag 98332/307779
26.78/15.96	c cleaning 9086 clauses out of 18179 with flag 122091/317780
27.58/16.30	c cleaning 10043 clauses out of 20090 with flag 148800/328779
28.20/16.69	c cleaning 11022 clauses out of 22048 with flag 177481/340780
28.98/17.06	c And the winner is solver1
29.19/17.28	c Got one! Elapsed wall clock time (in seconds):17.152
29.19/17.28	o -17
29.61/17.51	c cleaning 13729 clauses out of 27477 with flag 14722/357231
30.03/17.79	c cleaning 9863 clauses out of 19749 with flag 33513/363232
30.81/18.11	c cleaning 8434 clauses out of 16886 with flag 53979/370232
31.21/18.36	c cleaning 8213 clauses out of 16453 with flag 74098/378233
31.61/18.59	c cleaning 8617 clauses out of 17238 with flag 95443/387231
32.23/18.86	c cleaning 9304 clauses out of 18623 with flag 117610/397233
32.81/19.18	c cleaning 10158 clauses out of 20319 with flag 144678/408233
33.61/19.52	c cleaning 11074 clauses out of 22161 with flag 172403/420233
34.43/19.92	c cleaning 12042 clauses out of 24085 with flag 203916/433231
35.21/20.34	c cleaning 13013 clauses out of 26044 with flag 236993/447232
36.21/20.88	c cleaning 14010 clauses out of 28029 with flag 276090/462231
38.02/21.70	c cleaning 15007 clauses out of 30020 with flag 326500/478232
39.22/22.39	c cleaning 16004 clauses out of 32014 with flag 375002/495233
40.61/23.02	c cleaning 17002 clauses out of 34010 with flag 418058/513233
40.82/23.16	c And the winner is solver0
40.95/23.28	c Got one! Elapsed wall clock time (in seconds):23.154
40.95/23.28	o -18
40.98/23.33	c cleaning 11230 clauses out of 22460 with flag 2587/518685
41.38/23.50	c cleaning 8612 clauses out of 17231 with flag 17381/524686
41.38/23.53	c And the winner is solver0
41.46/23.79	c Got one! Elapsed wall clock time (in seconds):23.655
41.46/23.79	o -20
41.69/23.93	c cleaning 7008 clauses out of 14023 with flag 10496/530091
42.09/24.10	c cleaning 6505 clauses out of 13014 with flag 24883/536090
42.50/24.37	c cleaning 6749 clauses out of 13509 with flag 46047/543090
43.09/24.62	c cleaning 7378 clauses out of 14761 with flag 67157/551091
43.76/24.94	c cleaning 8182 clauses out of 16383 with flag 90555/560091
44.96/25.60	c cleaning 9098 clauses out of 18200 with flag 122608/570090
45.96/26.10	c cleaning 10053 clauses out of 20105 with flag 155228/581093
46.36/26.26	c And the winner is solver0
46.36/26.29	c Got one! Elapsed wall clock time (in seconds):26.156
46.36/26.29	o -21
46.75/26.47	c cleaning 10779 clauses out of 21561 with flag 14242/592602
47.13/26.64	c cleaning 8379 clauses out of 16783 with flag 28028/598603
47.53/26.85	c cleaning 7700 clauses out of 15403 with flag 45777/605602
47.93/27.06	c cleaning 7848 clauses out of 15704 with flag 64303/613603
48.53/27.31	c cleaning 8429 clauses out of 16858 with flag 85248/622605
49.15/27.63	c cleaning 9209 clauses out of 18428 with flag 110062/632604
49.53/27.89	c cleaning 10098 clauses out of 20220 with flag 134408/643605
50.33/28.23	c cleaning 11053 clauses out of 22119 with flag 162619/655602
50.93/28.60	c cleaning 12021 clauses out of 24066 with flag 192782/668602
52.13/29.15	c cleaning 13020 clauses out of 26046 with flag 227662/682603
52.33/29.21	c And the winner is solver1
52.33/29.29	c Got one! Elapsed wall clock time (in seconds):29.158
52.33/29.29	o -22
52.58/29.45	c cleaning 9388 clauses out of 18792 with flag 12921/688369
52.98/29.63	c cleaning 7699 clauses out of 15405 with flag 26688/694370
53.40/29.83	c cleaning 7351 clauses out of 14707 with flag 44028/701371
53.78/30.05	c cleaning 7676 clauses out of 15355 with flag 63166/709370
54.18/30.28	c cleaning 8338 clauses out of 16682 with flag 82968/718373
54.78/30.56	c cleaning 9166 clauses out of 18341 with flag 106681/728370
55.40/30.88	c cleaning 10084 clauses out of 20174 with flag 133150/739369
56.18/31.25	c cleaning 11045 clauses out of 22092 with flag 161740/751371
56.98/31.67	c cleaning 12023 clauses out of 24045 with flag 191401/764369
57.98/32.15	c cleaning 13003 clauses out of 26024 with flag 228336/778372
58.58/32.42	c And the winner is solver1
58.64/32.79	c Got one! Elapsed wall clock time (in seconds):32.659
58.64/32.79	o -23
58.88/32.98	c cleaning 12714 clauses out of 25466 with flag 14358/790817
59.29/33.15	c cleaning 9377 clauses out of 18754 with flag 28698/796819
59.67/33.35	c cleaning 8182 clauses out of 16376 with flag 45737/803818
60.07/33.55	c cleaning 8087 clauses out of 16194 with flag 64310/811818
60.77/33.85	c cleaning 8555 clauses out of 17111 with flag 86299/820822
61.58/34.27	c cleaning 9268 clauses out of 18552 with flag 118348/830818
63.17/35.00	c cleaning 10140 clauses out of 20285 with flag 157086/841819
64.97/35.93	c cleaning 11072 clauses out of 22145 with flag 202772/853819
66.17/36.51	c cleaning 12035 clauses out of 24071 with flag 240833/866817
66.97/36.96	c cleaning 13012 clauses out of 26036 with flag 274373/880817
67.98/37.49	c cleaning 14004 clauses out of 28025 with flag 310539/895818
70.18/38.53	c cleaning 15003 clauses out of 30020 with flag 358986/911817
73.16/40.06	c cleaning 16006 clauses out of 32017 with flag 417136/928817
74.58/40.79	c cleaning 17007 clauses out of 34014 with flag 464912/946820
75.96/41.50	c cleaning 18002 clauses out of 36006 with flag 511534/965820
79.96/43.42	c cleaning 19002 clauses out of 38003 with flag 578977/985819
82.16/44.59	c cleaning 20000 clauses out of 40000 with flag 633263/1006818
84.36/45.63	c cleaning 20985 clauses out of 41999 with flag 690956/1028817
85.16/46.08	c And the winner is solver1
85.34/46.29	c Got one! Elapsed wall clock time (in seconds):46.162
85.34/46.29	o -24
85.74/46.57	c cleaning 19399 clauses out of 38808 with flag 12502/1046612
86.14/46.77	c cleaning 12699 clauses out of 25404 with flag 26131/1052607
86.54/46.99	c cleaning 9846 clauses out of 19706 with flag 42303/1059608
87.14/47.22	c cleaning 8922 clauses out of 17859 with flag 59553/1067607
87.56/47.50	c cleaning 8969 clauses out of 17939 with flag 81128/1076609
88.14/47.77	c cleaning 9484 clauses out of 18971 with flag 104135/1086610
88.74/48.07	c cleaning 10242 clauses out of 20485 with flag 131337/1097608
89.55/48.47	c cleaning 11117 clauses out of 22242 with flag 162516/1109607
90.54/48.95	c cleaning 12066 clauses out of 24131 with flag 192397/1122613
91.85/49.58	c cleaning 13016 clauses out of 26059 with flag 233639/1136607
93.03/50.17	c cleaning 14017 clauses out of 28043 with flag 272526/1151608
95.03/51.12	c cleaning 15006 clauses out of 30025 with flag 323122/1167607
96.45/51.83	c cleaning 16009 clauses out of 32020 with flag 374078/1184608
97.63/52.45	c cleaning 17000 clauses out of 34011 with flag 417643/1202608
99.03/53.14	c cleaning 17998 clauses out of 36012 with flag 469697/1221609
102.63/54.93	c cleaning 19007 clauses out of 38013 with flag 540037/1241608
105.43/56.34	c cleaning 20004 clauses out of 40007 with flag 607313/1262609
107.24/57.22	c cleaning 20997 clauses out of 42002 with flag 663053/1284608
108.03/57.63	c And the winner is solver1
108.09/57.80	c Got one! Elapsed wall clock time (in seconds):57.665
108.09/57.80	o -26
108.49/58.05	c cleaning 18669 clauses out of 37349 with flag 14880/1300952
109.10/58.37	c cleaning 12330 clauses out of 24682 with flag 34828/1306954
109.49/58.59	c cleaning 9679 clauses out of 19357 with flag 52275/1313959
109.89/58.79	c cleaning 8837 clauses out of 17675 with flag 70036/1321956
110.49/59.03	c cleaning 8909 clauses out of 17836 with flag 92656/1330954
111.09/59.32	c cleaning 9461 clauses out of 18925 with flag 117309/1340952
111.69/59.65	c cleaning 10226 clauses out of 20466 with flag 144282/1351954
112.49/60.01	c cleaning 11119 clauses out of 22240 with flag 172306/1363954
113.28/60.44	c cleaning 12055 clauses out of 24120 with flag 205472/1376953
114.28/60.94	c cleaning 13026 clauses out of 26065 with flag 244486/1390953
115.28/61.46	c cleaning 14015 clauses out of 28038 with flag 283439/1405952
116.48/62.09	c cleaning 15008 clauses out of 30023 with flag 330637/1421952
117.90/62.73	c cleaning 16008 clauses out of 32018 with flag 375620/1438955
119.37/63.47	c cleaning 16999 clauses out of 34007 with flag 420056/1456952
120.97/64.26	c cleaning 18003 clauses out of 36012 with flag 466073/1475956
122.58/65.01	c cleaning 19004 clauses out of 38008 with flag 513259/1495955
124.17/65.84	c cleaning 19999 clauses out of 40002 with flag 567082/1516953
125.97/66.79	c cleaning 20999 clauses out of 42004 with flag 623318/1538954
128.98/68.23	c cleaning 21997 clauses out of 44003 with flag 685031/1561952
130.97/69.30	c cleaning 23003 clauses out of 46009 with flag 744845/1585955
133.38/70.49	c cleaning 24003 clauses out of 48005 with flag 808714/1610954
135.78/71.68	c cleaning 25001 clauses out of 50004 with flag 875698/1636956
138.37/72.93	c cleaning 26000 clauses out of 51999 with flag 945928/1663952
143.57/75.54	c cleaning 26998 clauses out of 53999 with flag 1040152/1691952
150.83/79.14	c cleaning 27996 clauses out of 56002 with flag 1148008/1720953
158.83/83.15	c cleaning 28999 clauses out of 58005 with flag 1259315/1750952
164.63/86.09	c cleaning 29991 clauses out of 60008 with flag 1359571/1781954
167.83/87.60	c cleaning 31008 clauses out of 62017 with flag 1439862/1813954
170.43/88.95	c cleaning 32000 clauses out of 64008 with flag 1524341/1846953
174.92/91.16	c cleaning 33006 clauses out of 66019 with flag 1613150/1880964
180.12/93.73	c cleaning 33996 clauses out of 68003 with flag 1707950/1915954
184.33/95.86	c cleaning 34994 clauses out of 70006 with flag 1804114/1951953
191.11/99.22	c cleaning 36002 clauses out of 72011 with flag 1916160/1988952
194.79/101.00	c cleaning 37000 clauses out of 74009 with flag 2014315/2026953
199.80/103.59	c cleaning 37998 clauses out of 76008 with flag 2123381/2065952
207.39/107.31	c cleaning 39006 clauses out of 78014 with flag 2254359/2105956
212.58/109.92	c cleaning 40001 clauses out of 80008 with flag 2375616/2146956
218.06/112.68	c cleaning 40995 clauses out of 82004 with flag 2485368/2188954
223.06/115.15	c cleaning 41997 clauses out of 84006 with flag 2597778/2231952
230.47/118.86	c cleaning 43002 clauses out of 86012 with flag 2744716/2275955
238.11/122.68	c cleaning 44001 clauses out of 88009 with flag 2906915/2320954
243.92/125.56	c cleaning 45001 clauses out of 90006 with flag 3029099/2366952
256.10/131.67	c cleaning 45991 clauses out of 92005 with flag 3171811/2413952
282.81/144.91	c cleaning 47003 clauses out of 94014 with flag 3344227/2461952
295.88/151.47	c cleaning 47998 clauses out of 96010 with flag 3516038/2510952
302.08/154.59	c cleaning 49005 clauses out of 98013 with flag 3646399/2560953
309.47/158.27	c cleaning 50002 clauses out of 100009 with flag 3786564/2611954
319.93/163.44	c cleaning 50995 clauses out of 102005 with flag 3933038/2663952
322.73/164.87	c And the winner is solver1
322.90/165.33	c Got one! Elapsed wall clock time (in seconds):165.204
322.90/165.33	o -27
323.62/165.71	c cleaning 34092 clauses out of 68189 with flag 20852/2681133
324.22/166.01	c cleaning 20046 clauses out of 40098 with flag 40579/2687134
324.63/166.27	c cleaning 13522 clauses out of 27050 with flag 57717/2694132
325.02/166.50	c cleaning 10763 clauses out of 21529 with flag 76915/2702133
325.62/166.76	c cleaning 9876 clauses out of 19765 with flag 99698/2711132
326.22/167.05	c cleaning 9943 clauses out of 19894 with flag 123035/2721137
327.02/167.40	c cleaning 10468 clauses out of 20946 with flag 152342/2732132
327.62/167.76	c cleaning 11234 clauses out of 22478 with flag 184966/2744132
328.62/168.23	c cleaning 12115 clauses out of 24246 with flag 220457/2757134
329.70/168.79	c cleaning 13056 clauses out of 26129 with flag 259183/2771132
330.88/169.35	c cleaning 14034 clauses out of 28074 with flag 298662/2786133
332.08/169.91	c cleaning 15021 clauses out of 30041 with flag 341136/2802134
333.08/170.44	c cleaning 16006 clauses out of 32019 with flag 385115/2819133
334.48/171.15	c cleaning 17001 clauses out of 34012 with flag 429222/2837132
336.48/172.16	c cleaning 18000 clauses out of 36012 with flag 490515/2856133
338.08/172.93	c cleaning 19006 clauses out of 38012 with flag 545371/2876133
339.68/173.78	c cleaning 19999 clauses out of 40006 with flag 599768/2897133
341.68/174.70	c cleaning 20998 clauses out of 42006 with flag 663605/2919132
344.49/176.13	c cleaning 22002 clauses out of 44008 with flag 736542/2942132
346.74/177.25	c cleaning 23002 clauses out of 46006 with flag 804352/2966132
348.94/178.39	c cleaning 24000 clauses out of 48005 with flag 868775/2991133
352.12/179.93	c cleaning 24999 clauses out of 50004 with flag 945020/3017132
354.72/181.25	c cleaning 25998 clauses out of 52005 with flag 1020521/3044132
360.92/184.39	c cleaning 26997 clauses out of 54009 with flag 1111280/3072134
365.37/186.59	c And the winner is solver1
365.56/186.84	c Got one! Elapsed wall clock time (in seconds):186.709
365.56/186.84	o -28
366.67/187.40	c cleaning 25707 clauses out of 51418 with flag 15323/3096540
367.07/187.68	c cleaning 15850 clauses out of 31709 with flag 31588/3102538
367.87/188.06	c cleaning 11424 clauses out of 22860 with flag 51179/3109539
369.07/188.62	c cleaning 9706 clauses out of 19434 with flag 78436/3117537
369.87/189.01	c cleaning 9357 clauses out of 18730 with flag 104638/3126539
371.27/189.70	c cleaning 9679 clauses out of 19371 with flag 138208/3136537
372.27/190.21	c cleaning 10347 clauses out of 20694 with flag 170241/3147539
372.87/190.58	c cleaning 11170 clauses out of 22345 with flag 203317/3159537
373.87/191.02	c cleaning 12084 clauses out of 24176 with flag 234827/3172538
374.68/191.49	c cleaning 13042 clauses out of 26093 with flag 269761/3186539
375.67/191.96	c cleaning 14024 clauses out of 28054 with flag 305052/3201542
377.50/192.81	c cleaning 15016 clauses out of 30031 with flag 354014/3217543
378.70/193.43	c cleaning 16001 clauses out of 32009 with flag 395796/3234537
380.10/194.19	c cleaning 16996 clauses out of 34009 with flag 442671/3252538
381.90/195.02	c cleaning 18008 clauses out of 36015 with flag 492190/3271540
383.90/196.08	c cleaning 18998 clauses out of 38004 with flag 542287/3291537
386.10/197.10	c cleaning 20002 clauses out of 40009 with flag 593108/3312540
387.91/198.00	c cleaning 21000 clauses out of 42006 with flag 648829/3334539
390.50/199.35	c cleaning 21995 clauses out of 44008 with flag 709077/3357541
392.92/200.51	c cleaning 23012 clauses out of 46023 with flag 774802/3381551
395.12/201.66	c cleaning 23993 clauses out of 47996 with flag 850822/3406537
397.72/202.97	c cleaning 25003 clauses out of 50005 with flag 920243/3432539
400.92/204.51	c cleaning 25998 clauses out of 52001 with flag 991742/3459538
403.92/206.07	c cleaning 27000 clauses out of 54003 with flag 1060258/3487538
407.56/207.85	c cleaning 28002 clauses out of 56003 with flag 1136252/3516538
411.36/209.77	c cleaning 28997 clauses out of 58001 with flag 1221589/3546538
414.96/211.50	c cleaning 29991 clauses out of 60005 with flag 1306290/3577539
418.77/213.41	c cleaning 31004 clauses out of 62013 with flag 1390025/3609538
422.99/215.57	c cleaning 32000 clauses out of 64010 with flag 1473939/3642539
427.39/217.70	c cleaning 32989 clauses out of 66008 with flag 1561492/3676537
431.59/219.85	c cleaning 34003 clauses out of 68019 with flag 1656501/3711538
436.22/222.16	c cleaning 35005 clauses out of 70016 with flag 1751390/3747538
440.83/224.46	c cleaning 36002 clauses out of 72010 with flag 1847728/3784537
445.86/226.94	c cleaning 37001 clauses out of 74008 with flag 1945312/3822537
451.46/229.76	c cleaning 37998 clauses out of 76007 with flag 2051678/3861537
456.86/232.41	c cleaning 39001 clauses out of 78009 with flag 2159294/3901537
469.56/238.71	c cleaning 39986 clauses out of 80010 with flag 2299373/3942539
475.75/241.80	c cleaning 41010 clauses out of 82024 with flag 2416000/3984539
482.80/245.37	c cleaning 41995 clauses out of 84012 with flag 2530754/4027537
488.58/248.25	c cleaning 43010 clauses out of 86019 with flag 2661273/4071539
496.02/251.99	c cleaning 44002 clauses out of 88011 with flag 2804976/4116541
500.42/254.11	c And the winner is solver1
500.46/254.35	c Got one! Elapsed wall clock time (in seconds):254.221
500.46/254.35	o -31
501.15/254.78	c cleaning 42511 clauses out of 85030 with flag 18087/4157562
501.96/255.12	c cleaning 24245 clauses out of 48515 with flag 37340/4163558
502.56/255.42	c cleaning 15632 clauses out of 31271 with flag 57028/4170559
503.16/255.72	c cleaning 11816 clauses out of 23642 with flag 77760/4178562
503.76/256.03	c cleaning 10409 clauses out of 20822 with flag 99023/4187558
504.38/256.37	c cleaning 10204 clauses out of 20415 with flag 124539/4197560
505.16/256.71	c cleaning 10600 clauses out of 21212 with flag 149585/4208561
505.96/257.11	c cleaning 11301 clauses out of 22611 with flag 181917/4220560
506.78/257.59	c cleaning 12149 clauses out of 24308 with flag 214220/4233558
507.76/258.07	c cleaning 13078 clauses out of 26162 with flag 249131/4247561
508.97/258.65	c cleaning 14040 clauses out of 28081 with flag 287368/4262558
510.16/259.27	c cleaning 15020 clauses out of 30042 with flag 327205/4278559
511.76/260.05	c cleaning 16006 clauses out of 32021 with flag 367512/4295558
513.40/260.89	c cleaning 17004 clauses out of 34016 with flag 412136/4313559
515.60/261.93	c cleaning 18002 clauses out of 36014 with flag 458298/4332561
517.80/263.02	c cleaning 19005 clauses out of 38012 with flag 512402/4352561
520.18/264.28	c cleaning 20001 clauses out of 40005 with flag 568185/4373559
523.35/266.08	c cleaning 21001 clauses out of 42005 with flag 625242/4395560
525.96/267.31	c cleaning 22001 clauses out of 44002 with flag 686612/4418558
528.54/268.70	c cleaning 22997 clauses out of 46003 with flag 749414/4442560
531.97/270.30	c cleaning 24001 clauses out of 48006 with flag 819649/4467560
535.36/272.02	c cleaning 24992 clauses out of 50005 with flag 889462/4493560
539.18/273.91	c cleaning 26007 clauses out of 52013 with flag 962642/4520560
542.58/275.61	c cleaning 27000 clauses out of 54006 with flag 1036349/4548560
546.99/277.81	c cleaning 27999 clauses out of 56004 with flag 1111569/4577558
550.80/279.77	c cleaning 29000 clauses out of 58005 with flag 1193948/4607558
555.60/282.13	c cleaning 29994 clauses out of 60006 with flag 1282275/4638559
559.80/284.26	c cleaning 31000 clauses out of 62013 with flag 1363661/4670560
564.81/286.73	c cleaning 32002 clauses out of 64013 with flag 1452879/4703560
570.61/289.62	c cleaning 33003 clauses out of 66010 with flag 1541977/4737559
576.42/292.52	c cleaning 34001 clauses out of 68007 with flag 1640117/4772559
581.63/295.14	c cleaning 35001 clauses out of 70006 with flag 1732974/4808559
587.26/297.94	c cleaning 35989 clauses out of 72004 with flag 1833685/4845558
589.45/299.02	c And the winner is solver1
589.52/299.17	c Got one! Elapsed wall clock time (in seconds):299.038
589.52/299.17	o -33
590.18/299.53	c cleaning 27388 clauses out of 54788 with flag 19140/4864331
590.78/299.88	c cleaning 16695 clauses out of 33399 with flag 43115/4870330
591.38/300.16	c cleaning 11849 clauses out of 23706 with flag 64562/4877332
592.00/300.42	c cleaning 9924 clauses out of 19856 with flag 86678/4885331
592.59/300.70	c cleaning 9460 clauses out of 18934 with flag 109637/4894333
593.19/301.03	c cleaning 9735 clauses out of 19471 with flag 138100/4904330
593.79/301.39	c cleaning 10367 clauses out of 20738 with flag 165836/4915332
594.79/301.83	c cleaning 11184 clauses out of 22371 with flag 197216/4927332
595.79/302.32	c cleaning 12094 clauses out of 24188 with flag 229751/4940333
596.59/302.79	c cleaning 13044 clauses out of 26092 with flag 263349/4954331
597.79/303.34	c cleaning 14018 clauses out of 28047 with flag 303460/4969330
599.19/304.04	c cleaning 15013 clauses out of 30029 with flag 345419/4985330
600.80/304.82	c cleaning 16008 clauses out of 32018 with flag 390466/5002332
602.39/305.67	c cleaning 17004 clauses out of 34008 with flag 440135/5020330
604.42/306.61	c cleaning 18004 clauses out of 36007 with flag 492847/5039333
606.63/307.71	c cleaning 18998 clauses out of 38000 with flag 546310/5059330
608.83/308.89	c cleaning 20000 clauses out of 40003 with flag 604085/5080331
611.45/310.13	c cleaning 20997 clauses out of 42003 with flag 666146/5102331
614.06/311.47	c cleaning 21996 clauses out of 44006 with flag 733557/5125331
617.27/313.06	c cleaning 23006 clauses out of 46013 with flag 805376/5149334
620.07/314.49	c cleaning 23999 clauses out of 48004 with flag 876361/5174331
623.69/316.29	c cleaning 25004 clauses out of 50009 with flag 951894/5200335
627.91/318.31	c cleaning 25996 clauses out of 52003 with flag 1036555/5227333
631.91/320.33	c cleaning 26999 clauses out of 54005 with flag 1123512/5255331
636.14/322.42	c cleaning 28003 clauses out of 56005 with flag 1210715/5284330
640.55/324.68	c cleaning 29000 clauses out of 58005 with flag 1303391/5314333
645.75/327.21	c cleaning 30000 clauses out of 60005 with flag 1402933/5345333
650.97/329.82	c cleaning 30998 clauses out of 62004 with flag 1496374/5377332
656.40/332.53	c cleaning 31999 clauses out of 64005 with flag 1588213/5410331
662.03/335.33	c cleaning 32998 clauses out of 66005 with flag 1687966/5444330
668.47/338.54	c cleaning 33999 clauses out of 68007 with flag 1796215/5479330
674.48/341.57	c cleaning 35005 clauses out of 70009 with flag 1904746/5515331
680.50/344.51	c cleaning 35998 clauses out of 72003 with flag 2013633/5552330
686.56/347.54	c cleaning 36993 clauses out of 74006 with flag 2126966/5590331
693.19/350.81	c cleaning 38005 clauses out of 76013 with flag 2244571/5629331
700.24/354.40	c cleaning 39000 clauses out of 78009 with flag 2371593/5669332
708.08/358.21	c cleaning 40000 clauses out of 80009 with flag 2495930/5710332
717.50/362.91	c cleaning 41000 clauses out of 82008 with flag 2622915/5752331
724.34/366.37	c cleaning 42000 clauses out of 84008 with flag 2749423/5795331
732.56/370.48	c cleaning 42998 clauses out of 86007 with flag 2875839/5839330
741.41/374.90	c cleaning 44002 clauses out of 88009 with flag 3010998/5884330
751.86/380.01	c cleaning 45004 clauses out of 90008 with flag 3154656/5930331
761.49/384.81	c cleaning 46000 clauses out of 92003 with flag 3296355/5977330
771.76/389.93	c cleaning 47000 clauses out of 94005 with flag 3445808/6025332
783.42/395.74	c cleaning 47997 clauses out of 96003 with flag 3606516/6074330
792.47/400.26	c cleaning 49004 clauses out of 98008 with flag 3755353/6124332
801.74/404.83	c cleaning 49999 clauses out of 100002 with flag 3915797/6175330
813.62/410.70	c cleaning 50999 clauses out of 102003 with flag 4079211/6227330
826.33/417.04	c cleaning 52002 clauses out of 104005 with flag 4250217/6280331
837.37/422.50	c cleaning 52999 clauses out of 106002 with flag 4412275/6334330
850.43/429.33	c cleaning 54000 clauses out of 108003 with flag 4579511/6389330
862.47/435.36	c cleaning 54997 clauses out of 110004 with flag 4753488/6445331
876.74/442.48	c cleaning 55995 clauses out of 112008 with flag 4930618/6502332
889.59/448.85	c cleaning 57005 clauses out of 114012 with flag 5114415/6560331
891.61/449.82	c And the winner is solver1
891.70/450.24	c Got one! Elapsed wall clock time (in seconds):450.11
891.70/450.24	o -35
892.41/450.69	c cleaning 37230 clauses out of 74460 with flag 18635/6577784
893.22/451.09	c cleaning 21603 clauses out of 43226 with flag 39540/6583780
894.00/451.49	c cleaning 14302 clauses out of 28620 with flag 63255/6590777
894.60/451.78	c cleaning 11153 clauses out of 22317 with flag 85712/6598776
895.20/452.03	c cleaning 10076 clauses out of 20165 with flag 108554/6607777
895.80/452.31	c cleaning 10044 clauses out of 20088 with flag 134362/6617776
896.40/452.66	c cleaning 10512 clauses out of 21046 with flag 165603/6628778
897.42/453.14	c cleaning 11263 clauses out of 22532 with flag 199787/6640776
898.42/453.64	c cleaning 12131 clauses out of 24271 with flag 233165/6653778
899.42/454.17	c cleaning 13067 clauses out of 26138 with flag 273903/6667776
900.62/454.76	c cleaning 14036 clauses out of 28075 with flag 316087/6682780
901.82/455.40	c cleaning 15017 clauses out of 30036 with flag 364710/6698777
903.42/456.14	c cleaning 16006 clauses out of 32018 with flag 416296/6715776
905.24/457.05	c cleaning 17004 clauses out of 34012 with flag 472799/6733776
906.84/457.81	c cleaning 18001 clauses out of 36009 with flag 528711/6752777
908.66/458.75	c cleaning 19004 clauses out of 38008 with flag 586436/6772777
910.04/459.48	c cleaning 20002 clauses out of 40004 with flag 641682/6793777
912.66/460.70	c cleaning 21002 clauses out of 42007 with flag 707964/6815782
915.06/461.97	c cleaning 21996 clauses out of 43999 with flag 775119/6838776
918.09/463.43	c cleaning 23000 clauses out of 46004 with flag 846419/6862777
921.29/465.06	c cleaning 23999 clauses out of 48004 with flag 916472/6887777
924.71/466.79	c cleaning 25000 clauses out of 50005 with flag 997862/6913777
928.52/468.66	c cleaning 26001 clauses out of 52005 with flag 1077936/6940777
932.74/470.71	c cleaning 27000 clauses out of 54003 with flag 1157758/6968776
936.76/472.71	c cleaning 27999 clauses out of 56003 with flag 1239846/6997776
941.15/474.93	c cleaning 29000 clauses out of 58007 with flag 1335767/7027779
945.96/477.36	c cleaning 29992 clauses out of 60006 with flag 1428401/7058778
949.77/479.21	c cleaning 31001 clauses out of 62014 with flag 1517137/7090778
953.37/481.08	c cleaning 32005 clauses out of 64015 with flag 1611123/7123780
958.00/483.36	c cleaning 33000 clauses out of 66008 with flag 1712439/7157778
963.05/485.85	c cleaning 33999 clauses out of 68007 with flag 1821804/7192777
968.07/488.32	c cleaning 35006 clauses out of 70014 with flag 1929461/7228783
974.10/491.32	c cleaning 35993 clauses out of 72001 with flag 2043181/7265776
980.53/494.52	c cleaning 37004 clauses out of 74009 with flag 2161147/7303777
986.57/497.52	c cleaning 38003 clauses out of 76006 with flag 2273432/7342778
993.99/501.25	c cleaning 38996 clauses out of 78001 with flag 2396659/7382776
1002.23/505.38	c cleaning 40000 clauses out of 80005 with flag 2525825/7423776
1009.90/509.15	c cleaning 41001 clauses out of 82008 with flag 2650583/7465779
1016.55/512.48	c cleaning 41987 clauses out of 84005 with flag 2782317/7508777
1024.38/516.38	c cleaning 43002 clauses out of 86017 with flag 2914394/7552776
1032.19/520.26	c cleaning 44004 clauses out of 88016 with flag 3049550/7597777
1039.46/523.81	c cleaning 45003 clauses out of 90011 with flag 3184305/7643776
1046.71/527.44	c cleaning 46002 clauses out of 92008 with flag 3325999/7690776
1055.10/531.64	c cleaning 47002 clauses out of 94007 with flag 3476994/7738777
1063.75/536.28	c cleaning 48000 clauses out of 96005 with flag 3627327/7787777
1072.15/540.40	c cleaning 48999 clauses out of 98004 with flag 3777443/7837776
1080.77/544.80	c cleaning 49997 clauses out of 100005 with flag 3942044/7888776
1090.57/549.61	c cleaning 50999 clauses out of 102008 with flag 4109371/7940776
1101.23/554.96	c cleaning 52002 clauses out of 104011 with flag 4278751/7993778
1113.29/560.91	c cleaning 53001 clauses out of 106008 with flag 4456156/8047777
1124.57/566.51	c cleaning 53997 clauses out of 108006 with flag 4626906/8102776
1135.82/572.17	c cleaning 55006 clauses out of 110011 with flag 4812684/8158778
1149.91/579.18	c cleaning 55997 clauses out of 112004 with flag 4997570/8215777
1162.81/585.57	c cleaning 56999 clauses out of 114006 with flag 5184396/8273776
1176.30/592.22	c cleaning 57999 clauses out of 116007 with flag 5385248/8332776
1191.77/599.94	c cleaning 59001 clauses out of 118008 with flag 5580363/8392776
1206.80/607.42	c cleaning 60000 clauses out of 120007 with flag 5781614/8453776
1219.66/613.83	c cleaning 61000 clauses out of 122007 with flag 5978593/8515776
1233.55/620.77	c cleaning 61997 clauses out of 124007 with flag 6180965/8578776
1246.61/627.28	c cleaning 63003 clauses out of 126012 with flag 6398522/8642778
1257.00/632.43	c cleaning 64000 clauses out of 128007 with flag 6607290/8707776
1273.08/640.45	c cleaning 65002 clauses out of 130007 with flag 6822028/8773776
1286.93/647.36	c cleaning 65996 clauses out of 132005 with flag 7039525/8840776
1302.64/655.18	c cleaning 67003 clauses out of 134009 with flag 7264028/8908776
1322.44/665.41	c cleaning 68001 clauses out of 136009 with flag 7485898/8977779
1337.72/673.01	c cleaning 69003 clauses out of 138010 with flag 7717464/9047781
1355.61/681.99	c cleaning 70002 clauses out of 140008 with flag 7954488/9118782
1373.01/690.64	c cleaning 70991 clauses out of 142000 with flag 8193805/9190776
1388.88/698.54	c cleaning 72005 clauses out of 144011 with flag 8431359/9263778
1405.73/706.92	c cleaning 72997 clauses out of 146005 with flag 8682258/9337777
1423.53/715.82	c cleaning 73998 clauses out of 148007 with flag 8926208/9412776
1439.38/723.74	c cleaning 75002 clauses out of 150009 with flag 9173820/9488776
1459.02/733.54	c cleaning 76000 clauses out of 152008 with flag 9437347/9565777
1476.08/742.03	c cleaning 76999 clauses out of 154008 with flag 9688709/9643777
1495.41/751.64	c cleaning 77998 clauses out of 156008 with flag 9945254/9722776
1518.90/763.39	c cleaning 78998 clauses out of 158012 with flag 10210639/9802778
1535.98/771.82	c cleaning 80006 clauses out of 160012 with flag 10473697/9883776
1555.57/781.66	c cleaning 80999 clauses out of 162006 with flag 10745918/9965776
1575.37/791.50	c cleaning 82003 clauses out of 164008 with flag 11024816/10048777
1596.38/802.36	c cleaning 83000 clauses out of 166004 with flag 11300644/10132776
1617.18/812.71	c cleaning 84002 clauses out of 168008 with flag 11571162/10217780
1637.39/822.82	c cleaning 85001 clauses out of 170005 with flag 11850519/10303779
1657.99/833.17	c cleaning 85995 clauses out of 172003 with flag 12131343/10390778
1678.58/843.40	c cleaning 86999 clauses out of 174006 with flag 12411022/10478776
1700.62/854.41	c cleaning 88000 clauses out of 176008 with flag 12701140/10567777
1723.01/865.67	c cleaning 88998 clauses out of 178009 with flag 13000714/10657778
1744.41/876.36	c cleaning 90002 clauses out of 180010 with flag 13294101/10748777
1766.87/887.58	c cleaning 91004 clauses out of 182009 with flag 13593058/10840778
1791.16/899.65	c cleaning 91993 clauses out of 184004 with flag 13897842/10933777
1800.16/904.10	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.16/904.10	c starts		: 188808
1800.16/904.10	c conflicts		: 10981555
1800.16/904.10	c decisions		: 18957659
1800.16/904.10	c propagations		: 120693254
1800.16/904.10	c inspects		: 15245939683
1800.16/904.10	c shortcuts		: 0
1800.16/904.10	c learnt literals	: 39
1800.16/904.10	c learnt binary clauses	: 79
1800.16/904.10	c learnt ternary clauses	: 199
1800.16/904.10	c learnt constraints	: 10981516
1800.16/904.10	c ignored constraints	: 0
1800.16/904.10	c root simplifications	: 0
1800.16/904.10	c removed literals (reason simplification)	: 29851833
1800.16/904.10	c reason swapping (by a shorter reason)	: 0
1800.16/904.10	c Calls to reduceDB	: 413
1800.16/904.10	c Number of update (reduction) of LBD	: 881608
1800.16/904.10	c Imported unit clauses	: 0
1800.16/904.10	c number of reductions to clauses (during analyze)	: 0
1800.16/904.10	c number of learned constraints concerned by reduction	: 0
1800.16/904.10	c number of learning phase by resolution	: 0
1800.16/904.10	c number of learning phase by cutting planes	: 0
1800.16/904.10	c speed (assignments/second)	: 265927.3473200869
1800.16/904.10	c non guided choices	340838
1800.16/904.13	c learnt constraints type 
1800.16/904.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 79
1800.16/904.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 139710
1800.16/904.13	c >>>>>>>>>> Solver number 1 (19 answers) <<<<<<<<<<<<<<<<<<
1800.16/904.13	c starts		: 34
1800.16/904.13	c conflicts		: 6311
1800.16/904.13	c decisions		: 188580
1800.16/904.13	c propagations		: 613257
1800.16/904.13	c inspects		: 195658162
1800.16/904.13	c shortcuts		: 0
1800.16/904.13	c learnt literals	: 0
1800.16/904.13	c learnt binary clauses	: 0
1800.16/904.13	c learnt ternary clauses	: 0
1800.16/904.13	c learnt constraints	: 6308
1800.16/904.13	c ignored constraints	: 0
1800.16/904.13	c root simplifications	: 0
1800.16/904.13	c removed literals (reason simplification)	: 0
1800.16/904.13	c reason swapping (by a shorter reason)	: 0
1800.16/904.13	c Calls to reduceDB	: 0
1800.16/904.13	c Number of update (reduction) of LBD	: 0
1800.16/904.13	c Imported unit clauses	: 0
1800.16/904.13	c number of reductions to clauses (during analyze)	: 0
1800.16/904.13	c number of learned constraints concerned by reduction	: 0
1800.16/904.13	c number of learning phase by resolution	: 0
1800.16/904.13	c number of learning phase by cutting planes	: 0
1800.16/904.13	c speed (assignments/second)	: 698.6223654576337
1800.16/904.13	c non guided choices	5606
1800.16/904.13	c learnt constraints type 
1800.16/904.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6308
1800.16/904.13	s SATISFIABLE
1800.16/904.13	c Found 26 solution(s)
1800.16/904.14	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 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 x523 x524 x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 -x577 x578 x579 x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 x727 -x728 x729 -x730 -x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788 -x789 x790 x791 x792 x793 -x794 -x795 x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 x824 x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 x849 x850 -x851 -x852 x853 x854 x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 x884 x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 -x903 -x904 -x905 x906 x907 x908 -x909 -x910 -x911 -x912 x913 x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 x1055 x1056 x1057 x1058 x1059 -x1060 x1061 x1062 x1063 x1064 x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 -x1125 x1126 x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 
1800.16/904.14	c objective function=-35
1800.16/904.14	c Total wall clock time (in seconds): 904.009

Verifier Data 

OK	-35

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-4101226-1466213359/watcher-4101226-1466213359 -o /tmp/evaluation-result-4101226-1466213359/solver-4101226-1466213359 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101226-1466213359.opb 

pid=13790
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.48 4.50 4.35 5/197 13793
/proc/meminfo: memFree=26655056/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/13793/stat : 13793 (java) R 13790 13793 8337 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 23381594 2560000 46 33554432000 1073741824 1073778376 140734319798384 140734319795560 225435544871 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 625 46 37 9 0 29 0

[startup+0.100059 s]
/proc/loadavg: 4.48 4.50 4.35 5/197 13793
/proc/meminfo: memFree=26655056/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 4111 0 1 0 6 0 0 0 20 0 18 0 23381594 9787879424 5234 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2389619 5237 2052 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.200262 s]
/proc/loadavg: 4.48 4.50 4.35 5/197 13793
/proc/meminfo: memFree=26655056/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 4737 0 1 0 22 1 0 0 20 0 18 0 23381594 9787879424 6815 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2389619 6815 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300255 s]
/proc/loadavg: 4.48 4.50 4.35 5/197 13793
/proc/meminfo: memFree=26655056/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 11166 0 1 0 49 2 0 0 20 0 22 0 23381594 10060525568 13528 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 13528 2236 9 0 2446860 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9824732

[startup+0.700256 s]
/proc/loadavg: 4.48 4.50 4.35 5/197 13793
/proc/meminfo: memFree=26655056/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 19391 0 1 0 122 5 0 0 20 0 19 0 23381594 10060525568 16205 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 16205 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9824732

[startup+1.50077 s]
/proc/loadavg: 5.17 4.64 4.40 6/216 13818
/proc/meminfo: memFree=26585272/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 20210 0 1 0 231 9 0 0 20 0 19 0 23381594 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 22984 2259 9 0 2446860 0
[pid=13793/tid=13795] ppid=13790 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/13793/task/13795/stat : 13795 (java) S 13790 13793 8337 0 -1 4202560 2474 0 1 0 22 0 0 0 20 0 19 0 23381596 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975234929528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13796] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13796/stat : 13796 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975207381928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13797] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13797/stat : 13797 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975206329384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13798] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13798/stat : 13798 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975205276328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13799] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13799/stat : 13799 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975204223784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13800] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13800/stat : 13800 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975203170728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13801] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13801/stat : 13801 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975202118184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13802] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13802/stat : 13802 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975201065128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13803] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13803/stat : 13803 (java) S 13790 13793 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23381597 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139975200012584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13804] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13804/stat : 13804 (java) S 13790 13793 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23381599 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974588468072 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13805] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13805/stat : 13805 (java) S 13790 13793 8337 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23381599 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974587414392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13806] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13806/stat : 13806 (java) S 13790 13793 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23381599 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974586361224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13807] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13807/stat : 13807 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381602 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974585309968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13808] ppid=13790 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/13793/task/13808/stat : 13808 (java) S 13790 13793 8337 0 -1 4202560 8450 0 0 0 80 0 0 0 20 0 19 0 23381602 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974584256824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13809] ppid=13790 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/13793/task/13809/stat : 13809 (java) S 13790 13793 8337 0 -1 4202560 7883 0 0 0 72 1 0 0 20 0 19 0 23381602 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974583204280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13810] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13810/stat : 13810 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381602 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974582151416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13811] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13811/stat : 13811 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23381602 10060525568 22984 33554432000 1073741824 1073778376 140736529432528 139974581099080 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9824732

[startup+3.1009 s]
/proc/loadavg: 5.17 4.64 4.40 3/216 13824
/proc/meminfo: memFree=26559516/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 20326 0 1 0 391 14 0 0 20 0 22 0 23381594 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 47090 2284 9 0 2446860 0
[pid=13793/tid=13795] ppid=13790 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/13793/task/13795/stat : 13795 (java) S 13790 13793 8337 0 -1 4202560 2476 0 1 0 22 0 0 0 20 0 22 0 23381596 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975234929528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13796] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13796/stat : 13796 (java) S 13790 13793 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975207381928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13797] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13797/stat : 13797 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975206329384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13798] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13798/stat : 13798 (java) S 13790 13793 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975205276328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13799] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13799/stat : 13799 (java) S 13790 13793 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975204223784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13800] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13800/stat : 13800 (java) S 13790 13793 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975203170728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13801] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13801/stat : 13801 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975202118184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13802] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13802/stat : 13802 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975201065128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13803] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13803/stat : 13803 (java) S 13790 13793 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139975200012584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13804] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13804/stat : 13804 (java) S 13790 13793 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974588468072 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13805] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13805/stat : 13805 (java) S 13790 13793 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974587414392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13806] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13806/stat : 13806 (java) S 13790 13793 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974586361224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13807] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13807/stat : 13807 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974585309968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13808] ppid=13790 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/13793/task/13808/stat : 13808 (java) S 13790 13793 8337 0 -1 4202560 8457 0 0 0 101 0 0 0 20 0 22 0 23381602 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974584256824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13809] ppid=13790 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/13793/task/13809/stat : 13809 (java) S 13790 13793 8337 0 -1 4202560 7892 0 0 0 99 2 0 0 20 0 22 0 23381602 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974583204280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13810] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13810/stat : 13810 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974582151416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13811] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13811/stat : 13811 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974581099080 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13821] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13821/stat : 13821 (java) S 13790 13793 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23381722 10060525568 47090 33554432000 1073741824 1073778376 140736529432528 139974574958248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9824732

[startup+6.30084 s]
/proc/loadavg: 5.17 4.64 4.40 5/219 13836
/proc/meminfo: memFree=26443064/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=10.52 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 20516 0 1 0 1027 25 0 0 20 0 22 0 23381594 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 66537 2287 9 0 2446860 0
[pid=13793/tid=13795] ppid=13790 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/13793/task/13795/stat : 13795 (java) S 13790 13793 8337 0 -1 4202560 2477 0 1 0 22 0 0 0 20 0 22 0 23381596 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975234929528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13796] ppid=13790 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13793/task/13796/stat : 13796 (java) S 13790 13793 8337 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975207381928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13797] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13797/stat : 13797 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975206329384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13798] ppid=13790 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13793/task/13798/stat : 13798 (java) S 13790 13793 8337 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975205276328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13799] ppid=13790 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/13793/task/13799/stat : 13799 (java) S 13790 13793 8337 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975204223784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13800] ppid=13790 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13793/task/13800/stat : 13800 (java) S 13790 13793 8337 0 -1 4202560 16 0 0 0 1 1 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975203170728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13801] ppid=13790 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13793/task/13801/stat : 13801 (java) S 13790 13793 8337 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975202118184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13802] ppid=13790 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/13793/task/13802/stat : 13802 (java) S 13790 13793 8337 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975201065128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13803] ppid=13790 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/13793/task/13803/stat : 13803 (java) S 13790 13793 8337 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 23381597 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139975200012584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13804] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13804/stat : 13804 (java) S 13790 13793 8337 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974588468072 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13805] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13805/stat : 13805 (java) S 13790 13793 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974587414392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13806] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13806/stat : 13806 (java) S 13790 13793 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974586361224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13807] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13807/stat : 13807 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974585309968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13808] ppid=13790 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13793/task/13808/stat : 13808 (java) S 13790 13793 8337 0 -1 4202560 8460 0 0 0 116 1 0 0 20 0 22 0 23381602 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974584256824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13809] ppid=13790 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/13793/task/13809/stat : 13809 (java) R 13790 13793 8337 0 -1 4202560 7892 0 0 0 120 2 0 0 20 0 22 0 23381602 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974583196192 139975241718479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13810] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13810/stat : 13810 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974582151416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13811] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13811/stat : 13811 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974581099080 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13836] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13836/stat : 13836 (java) S 13790 13793 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23382023 10060525568 66537 33554432000 1073741824 1073778376 140736529432528 139974578210344 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 9824732

[startup+12.7009 s]
/proc/loadavg: 5.06 4.63 4.40 3/216 13848

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


[startup+882.308 s]
/proc/loadavg: 4.19 4.23 4.27 5/219 14020
/proc/meminfo: memFree=25000972/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=1756.48 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 27913 0 1 0 175417 231 0 0 20 0 22 0 23381594 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 365412 2295 9 0 2446860 0
[pid=13793/tid=13795] ppid=13790 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/13793/task/13795/stat : 13795 (java) S 13790 13793 8337 0 -1 4202560 2487 0 1 0 24 3 0 0 20 0 22 0 23381596 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975234929528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13796] ppid=13790 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/13793/task/13796/stat : 13796 (java) S 13790 13793 8337 0 -1 4202560 735 0 0 0 176 15 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975207381928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13797] ppid=13790 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/13793/task/13797/stat : 13797 (java) S 13790 13793 8337 0 -1 4202560 454 0 0 0 171 15 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975206329384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13798] ppid=13790 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/13793/task/13798/stat : 13798 (java) S 13790 13793 8337 0 -1 4202560 579 0 0 0 174 16 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975205276328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13799] ppid=13790 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/13793/task/13799/stat : 13799 (java) S 13790 13793 8337 0 -1 4202560 542 0 0 0 169 14 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975204223784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13800] ppid=13790 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/13793/task/13800/stat : 13800 (java) S 13790 13793 8337 0 -1 4202560 580 0 0 0 181 14 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975203170728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13801] ppid=13790 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/13793/task/13801/stat : 13801 (java) S 13790 13793 8337 0 -1 4202560 489 0 0 0 163 13 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975202118184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13802] ppid=13790 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/13793/task/13802/stat : 13802 (java) S 13790 13793 8337 0 -1 4202560 447 0 0 0 161 11 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975201065128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13803] ppid=13790 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/13793/task/13803/stat : 13803 (java) S 13790 13793 8337 0 -1 4202560 660 0 0 0 174 15 0 0 20 0 22 0 23381597 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139975200012584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13804] ppid=13790 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/13793/task/13804/stat : 13804 (java) S 13790 13793 8337 0 -1 4202560 1606 0 0 0 331 16 0 0 20 0 22 0 23381599 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974588468072 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13805] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13805/stat : 13805 (java) S 13790 13793 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974587414392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13806] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13806/stat : 13806 (java) S 13790 13793 8337 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974586361224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13807] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13807/stat : 13807 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974585309968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13808] ppid=13790 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13793/task/13808/stat : 13808 (java) S 13790 13793 8337 0 -1 4202560 8460 0 0 0 116 1 0 0 20 0 22 0 23381602 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974584256824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13809] ppid=13790 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/13793/task/13809/stat : 13809 (java) S 13790 13793 8337 0 -1 4202560 7898 0 0 0 135 2 0 0 20 0 22 0 23381602 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974583204280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13810] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13810/stat : 13810 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974582151416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13811] ppid=13790 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/13793/task/13811/stat : 13811 (java) S 13790 13793 8337 0 -1 4202560 51 0 0 0 11 21 0 0 20 0 22 0 23381602 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974581099080 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13866] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13866/stat : 13866 (java) S 13790 13793 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23384227 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974574957352 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13991] ppid=13790 vsize=9824732 CPUtime=427.77 cores=1,3,5,7
/proc/13793/task/13991/stat : 13991 (java) R 13790 13793 8337 0 -1 4202560 41 0 0 0 42769 8 0 0 20 0 22 0 23426619 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974579259952 139975082005404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13992] ppid=13790 vsize=9824732 CPUtime=427.82 cores=1,3,5,7
/proc/13793/task/13992/stat : 13992 (java) R 13790 13793 8337 0 -1 4202560 144 0 0 0 42773 9 0 0 20 0 22 0 23426619 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974578208448 139975082192272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13993] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13993/stat : 13993 (java) S 13790 13793 8337 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23426619 10060525568 365412 33554432000 1073741824 1073778376 140736529432528 139974577157800 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1756.48
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.101 s]
/proc/loadavg: 4.22 4.23 4.27 6/219 14021
/proc/meminfo: memFree=24951256/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 28014 0 1 0 179782 234 0 0 20 0 22 0 23381594 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 361303 2295 9 0 2446860 0
[pid=13793/tid=13795] ppid=13790 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/13793/task/13795/stat : 13795 (java) S 13790 13793 8337 0 -1 4202560 2487 0 1 0 24 3 0 0 20 0 22 0 23381596 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975234929528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13796] ppid=13790 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/13793/task/13796/stat : 13796 (java) S 13790 13793 8337 0 -1 4202560 738 0 0 0 177 15 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975207381928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13797] ppid=13790 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/13793/task/13797/stat : 13797 (java) S 13790 13793 8337 0 -1 4202560 526 0 0 0 175 15 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975206329384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13798] ppid=13790 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/13793/task/13798/stat : 13798 (java) S 13790 13793 8337 0 -1 4202560 587 0 0 0 179 16 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975205276328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13799] ppid=13790 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/13793/task/13799/stat : 13799 (java) S 13790 13793 8337 0 -1 4202560 546 0 0 0 171 14 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975204223784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13800] ppid=13790 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/13793/task/13800/stat : 13800 (java) S 13790 13793 8337 0 -1 4202560 582 0 0 0 182 14 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975203170728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13801] ppid=13790 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/13793/task/13801/stat : 13801 (java) S 13790 13793 8337 0 -1 4202560 490 0 0 0 164 13 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975202118184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13802] ppid=13790 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/13793/task/13802/stat : 13802 (java) S 13790 13793 8337 0 -1 4202560 447 0 0 0 162 11 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975201065128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13803] ppid=13790 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/13793/task/13803/stat : 13803 (java) S 13790 13793 8337 0 -1 4202560 666 0 0 0 177 15 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975200012584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13804] ppid=13790 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/13793/task/13804/stat : 13804 (java) S 13790 13793 8337 0 -1 4202560 1608 0 0 0 331 16 0 0 20 0 22 0 23381599 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974588468072 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13805] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13805/stat : 13805 (java) S 13790 13793 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974587414392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13806] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13806/stat : 13806 (java) S 13790 13793 8337 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974586361224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13807] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13807/stat : 13807 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974585309968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13808] ppid=13790 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13793/task/13808/stat : 13808 (java) S 13790 13793 8337 0 -1 4202560 8460 0 0 0 116 1 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974584256824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13809] ppid=13790 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/13793/task/13809/stat : 13809 (java) S 13790 13793 8337 0 -1 4202560 7898 0 0 0 135 2 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974583204280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13810] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13810/stat : 13810 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974582151416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13811] ppid=13790 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/13793/task/13811/stat : 13811 (java) S 13790 13793 8337 0 -1 4202560 53 0 0 0 12 21 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974581099080 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13866] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13866/stat : 13866 (java) S 13790 13793 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23384227 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974574957352 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13991] ppid=13790 vsize=9824732 CPUtime=449.52 cores=1,3,5,7
/proc/13793/task/13991/stat : 13991 (java) R 13790 13793 8337 0 -1 4202560 41 0 0 0 44944 8 0 0 20 0 22 0 23426619 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974579253008 139975081882016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13992] ppid=13790 vsize=9824732 CPUtime=449.57 cores=1,3,5,7
/proc/13793/task/13992/stat : 13992 (java) R 13790 13793 8337 0 -1 4202560 145 0 0 0 44948 9 0 0 20 0 22 0 23426619 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974578208464 139975082192262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13993] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13993/stat : 13993 (java) S 13790 13793 8337 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23426619 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974577157800 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 13793 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+904.101 s]
/proc/loadavg: 4.22 4.23 4.27 6/219 14021
/proc/meminfo: memFree=24951256/32872528 swapFree=1499884/1696108
[pid=13793] ppid=13790 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/13793/stat : 13793 (java) S 13790 13793 8337 0 -1 4202496 28014 0 1 0 179782 234 0 0 20 0 22 0 23381594 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 140736529423664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13793/statm: 2456183 361303 2295 9 0 2446860 0
[pid=13793/tid=13795] ppid=13790 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/13793/task/13795/stat : 13795 (java) S 13790 13793 8337 0 -1 4202560 2487 0 1 0 24 3 0 0 20 0 22 0 23381596 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975234929528 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13796] ppid=13790 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/13793/task/13796/stat : 13796 (java) S 13790 13793 8337 0 -1 4202560 738 0 0 0 177 15 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975207381928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13797] ppid=13790 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/13793/task/13797/stat : 13797 (java) S 13790 13793 8337 0 -1 4202560 526 0 0 0 175 15 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975206329384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13798] ppid=13790 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/13793/task/13798/stat : 13798 (java) S 13790 13793 8337 0 -1 4202560 587 0 0 0 179 16 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975205276328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13799] ppid=13790 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/13793/task/13799/stat : 13799 (java) S 13790 13793 8337 0 -1 4202560 546 0 0 0 171 14 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975204223784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13800] ppid=13790 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/13793/task/13800/stat : 13800 (java) S 13790 13793 8337 0 -1 4202560 582 0 0 0 182 14 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975203170728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13801] ppid=13790 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/13793/task/13801/stat : 13801 (java) S 13790 13793 8337 0 -1 4202560 490 0 0 0 164 13 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975202118184 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13802] ppid=13790 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/13793/task/13802/stat : 13802 (java) S 13790 13793 8337 0 -1 4202560 447 0 0 0 162 11 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975201065128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13803] ppid=13790 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/13793/task/13803/stat : 13803 (java) S 13790 13793 8337 0 -1 4202560 666 0 0 0 177 15 0 0 20 0 22 0 23381597 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139975200012584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13804] ppid=13790 vsize=9824732 CPUtime=3.47 cores=1,3,5,7
/proc/13793/task/13804/stat : 13804 (java) S 13790 13793 8337 0 -1 4202560 1608 0 0 0 331 16 0 0 20 0 22 0 23381599 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974588468072 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13805] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13805/stat : 13805 (java) S 13790 13793 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974587414392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13806] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13806/stat : 13806 (java) S 13790 13793 8337 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 23381599 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974586361224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13807] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13807/stat : 13807 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974585309968 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13808] ppid=13790 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/13793/task/13808/stat : 13808 (java) S 13790 13793 8337 0 -1 4202560 8460 0 0 0 116 1 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974584256824 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13809] ppid=13790 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/13793/task/13809/stat : 13809 (java) S 13790 13793 8337 0 -1 4202560 7898 0 0 0 135 2 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974583204280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13810] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13810/stat : 13810 (java) S 13790 13793 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974582151416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13811] ppid=13790 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/13793/task/13811/stat : 13811 (java) S 13790 13793 8337 0 -1 4202560 53 0 0 0 12 21 0 0 20 0 22 0 23381602 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974581099080 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13793/tid=13866] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13866/stat : 13866 (java) S 13790 13793 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23384227 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974574957352 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13793/tid=13991] ppid=13790 vsize=9824732 CPUtime=449.52 cores=1,3,5,7
/proc/13793/task/13991/stat : 13991 (java) R 13790 13793 8337 0 -1 4202560 41 0 0 0 44944 8 0 0 20 0 22 0 23426619 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974579253008 139975081882016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13793/tid=13992] ppid=13790 vsize=9824732 CPUtime=449.57 cores=1,3,5,7
/proc/13793/task/13992/stat : 13992 (java) R 13790 13793 8337 0 -1 4202560 145 0 0 0 44948 9 0 0 20 0 22 0 23426619 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974578208464 139975082192262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13793/tid=13993] ppid=13790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13793/task/13993/stat : 13993 (java) S 13790 13793 8337 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23426619 10060525568 361303 33554432000 1073741824 1073778376 140736529432528 139974577157800 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 904.152
CPU time (s): 1800.72
CPU user time (s): 1798.03
CPU system time (s): 2.69059
CPU usage (%): 199.161
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.69059
maximum resident set size= 1862616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28058
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= 27523
involuntary context switches= 37723

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40702 second user time and 8.23075 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 03:29:19
IDJOB=4101226
IDBENCH=1716
IDSOLVER=2543
FILE ID=node137/4101226-1466213359
RUNJOBID= node137-1466206054-8354
PBS_JOBID= 19918140
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101226-1466213359/watcher-4101226-1466213359 -o /tmp/evaluation-result-4101226-1466213359/solver-4101226-1466213359 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101226-1466213359.opb

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

MD5SUM BENCH= 7ba66e72f7a10b492134dc7de6859631
RANDOM SEED=1474844896

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26655320 kB
Buffers:           89732 kB
Cached:            93656 kB
SwapCached:         1268 kB
Active:          3644884 kB
Inactive:         124476 kB
Active(anon):    3587196 kB
Inactive(anon):     1024 kB
Active(file):      57688 kB
Inactive(file):   123452 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:               944 kB
Writeback:            12 kB
AnonPages:       5281224 kB
Mapped:            15412 kB
Shmem:                 0 kB
Slab:             600772 kB
SReclaimable:      44788 kB
SUnreclaim:       555984 kB
KernelStack:        1616 kB
PageTables:        14288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5758776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3710976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node137 at 2016-06-18 03:44:23