Trace number 3688213

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)10 1800.07 1792.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1790.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.2.v20120418
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688213-1337880883.opb
0.09/0.11	c reading problem ... 
0.09/0.15	c ... done. Wall clock time 0.037s.
0.09/0.15	c declared #vars     146
0.09/0.15	c #constraints  12
0.09/0.15	c constraints type 
0.09/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.09/0.15	c 12 constraints processed.
0.09/0.15	c objective function length is 96 literals
0.28/0.20	c SATISFIABLE
0.28/0.20	c OPTIMIZING...
0.28/0.20	c Got one! Elapsed wall clock time (in seconds):0.083
0.28/0.20	o 495
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.153
0.28/0.27	o 493
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.161
0.28/0.27	o 368
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.167
0.28/0.28	o 326
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.173
0.28/0.29	o 305
0.28/0.30	c Got one! Elapsed wall clock time (in seconds):0.182
0.28/0.30	o 223
0.51/0.31	c Got one! Elapsed wall clock time (in seconds):0.195
0.51/0.31	o 191
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.204
0.51/0.32	o 177
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.209
0.51/0.32	o 175
0.51/0.34	c Got one! Elapsed wall clock time (in seconds):0.223
0.51/0.34	o 174
0.51/0.35	c Got one! Elapsed wall clock time (in seconds):0.235
0.51/0.35	o 172
0.66/0.40	c Got one! Elapsed wall clock time (in seconds):0.29
0.66/0.40	o 170
0.66/0.42	c Got one! Elapsed wall clock time (in seconds):0.304
0.66/0.42	o 157
0.66/0.45	c Got one! Elapsed wall clock time (in seconds):0.334
0.66/0.45	o 149
0.66/0.46	c Got one! Elapsed wall clock time (in seconds):0.35
0.66/0.46	o 147
0.79/0.54	c Got one! Elapsed wall clock time (in seconds):0.431
0.79/0.54	o 145
0.79/0.56	c Got one! Elapsed wall clock time (in seconds):0.448
0.79/0.56	o 137
0.79/0.56	c Got one! Elapsed wall clock time (in seconds):0.451
0.79/0.56	o 131
0.89/0.66	c cleaning 5192 clauses out of 10383 with flag 2000/10383
1.04/0.71	c Got one! Elapsed wall clock time (in seconds):0.594
1.04/0.71	o 129
1.04/0.72	c Got one! Elapsed wall clock time (in seconds):0.608
1.04/0.72	o 128
1.04/0.77	c Got one! Elapsed wall clock time (in seconds):0.661
1.04/0.77	o 126
1.04/0.78	c Got one! Elapsed wall clock time (in seconds):0.667
1.04/0.78	o 105
1.37/0.94	c cleaning 6148 clauses out of 12295 with flag 4002/17487
1.60/1.18	c Got one! Elapsed wall clock time (in seconds):1.062
1.60/1.18	o 104
1.69/1.20	c Got one! Elapsed wall clock time (in seconds):1.092
1.69/1.20	o 102
1.79/1.32	c Got one! Elapsed wall clock time (in seconds):1.209
1.79/1.32	o 100
1.89/1.40	c Got one! Elapsed wall clock time (in seconds):1.288
1.89/1.40	o 99
1.89/1.49	c cleaning 9335 clauses out of 18683 with flag 1000/30023
2.13/1.61	c Got one! Elapsed wall clock time (in seconds):1.499
2.13/1.61	o 98
2.13/1.65	c Got one! Elapsed wall clock time (in seconds):1.536
2.13/1.65	o 96
2.13/1.68	c Got one! Elapsed wall clock time (in seconds):1.567
2.13/1.68	o 95
2.23/1.71	c Got one! Elapsed wall clock time (in seconds):1.6
2.23/1.71	o 94
2.23/1.78	c cleaning 8105 clauses out of 16243 with flag 1000/36918
2.33/1.87	c Got one! Elapsed wall clock time (in seconds):1.755
2.33/1.87	o 93
2.57/2.00	c cleaning 6934 clauses out of 13885 with flag 3002/42665
2.57/2.03	c Got one! Elapsed wall clock time (in seconds):1.921
2.57/2.03	o 89
2.78/2.26	c cleaning 6352 clauses out of 12718 with flag 5002/48432
2.89/2.33	c Got one! Elapsed wall clock time (in seconds):2.222
2.89/2.33	o 87
2.89/2.35	c Got one! Elapsed wall clock time (in seconds):2.241
2.89/2.35	o 85
3.01/2.41	c Got one! Elapsed wall clock time (in seconds):2.301
3.01/2.41	o 84
3.11/2.53	c cleaning 6751 clauses out of 13510 with flag 3002/55576
3.11/2.58	c Got one! Elapsed wall clock time (in seconds):2.47
3.11/2.58	o 83
3.31/2.78	c cleaning 6129 clauses out of 12270 with flag 4000/61087
3.41/2.83	c Got one! Elapsed wall clock time (in seconds):2.717
3.41/2.83	o 81
3.61/3.04	c cleaning 5875 clauses out of 11753 with flag 4003/66699
3.61/3.05	c Got one! Elapsed wall clock time (in seconds):2.941
3.61/3.05	o 77
3.82/3.28	c cleaning 5576 clauses out of 11169 with flag 5003/71990
4.01/3.42	c Got one! Elapsed wall clock time (in seconds):3.306
4.01/3.42	o 75
4.11/3.50	c cleaning 5576 clauses out of 11157 with flag 2001/77554
4.32/3.71	c Got one! Elapsed wall clock time (in seconds):3.594
4.32/3.71	o 74
4.52/3.95	c cleaning 7949 clauses out of 15909 with flag 5001/87882
4.62/4.04	c Got one! Elapsed wall clock time (in seconds):3.932
4.62/4.04	o 72
4.72/4.20	c cleaning 6833 clauses out of 13670 with flag 3000/93592
4.82/4.30	c Got one! Elapsed wall clock time (in seconds):4.184
4.82/4.30	o 70
5.03/4.49	c cleaning 6402 clauses out of 12820 with flag 3000/99575
5.22/4.65	c Got one! Elapsed wall clock time (in seconds):4.54
5.22/4.65	o 69
5.32/4.71	c cleaning 6020 clauses out of 12062 with flag 1006/105219
5.52/4.96	c cleaning 6014 clauses out of 12037 with flag 7001/111214
5.83/5.23	c cleaning 6506 clauses out of 13022 with flag 14000/118213
6.13/5.55	c cleaning 7254 clauses out of 14516 with flag 22000/126213
6.33/5.70	c Got one! Elapsed wall clock time (in seconds):5.586
6.33/5.70	o 67
6.33/5.77	c cleaning 6530 clauses out of 13068 with flag 1001/132019
6.63/6.04	c cleaning 6260 clauses out of 12538 with flag 7001/138019
6.74/6.16	c Got one! Elapsed wall clock time (in seconds):6.045
6.74/6.16	o 66
6.84/6.26	c cleaning 5793 clauses out of 11603 with flag 2001/143344
7.14/6.53	c cleaning 5896 clauses out of 11812 with flag 8003/149346
7.44/6.80	c cleaning 6451 clauses out of 12914 with flag 15001/156344
7.44/6.88	c Got one! Elapsed wall clock time (in seconds):6.769
7.44/6.88	o 65
7.64/7.03	c cleaning 5849 clauses out of 11722 with flag 3000/161603
7.86/7.29	c cleaning 5933 clauses out of 11874 with flag 9001/167604
8.16/7.57	c cleaning 6465 clauses out of 12941 with flag 16001/174604
8.37/7.71	c Got one! Elapsed wall clock time (in seconds):7.596
8.37/7.71	o 63
8.37/7.78	c Got one! Elapsed wall clock time (in seconds):7.665
8.37/7.78	o 60
8.46/7.84	c cleaning 6304 clauses out of 12634 with flag 1002/180762
8.56/7.98	c Got one! Elapsed wall clock time (in seconds):7.865
8.56/7.98	o 59
8.66/8.04	c cleaning 5671 clauses out of 11363 with flag 1001/185795
8.87/8.20	c Got one! Elapsed wall clock time (in seconds):8.09
8.87/8.20	o 58
8.87/8.26	c cleaning 5349 clauses out of 10705 with flag 1001/190808
9.17/8.53	c cleaning 5669 clauses out of 11356 with flag 7001/196808
9.17/8.59	c Got one! Elapsed wall clock time (in seconds):8.481
9.17/8.59	o 57
9.38/8.80	c cleaning 5659 clauses out of 11325 with flag 4002/202446
9.68/9.03	c cleaning 5824 clauses out of 11664 with flag 10000/208444
9.79/9.16	c Got one! Elapsed wall clock time (in seconds):9.043
9.79/9.16	o 55
9.93/9.26	c cleaning 5677 clauses out of 11373 with flag 2002/213977
10.12/9.49	c cleaning 5836 clauses out of 11694 with flag 8000/219975
10.43/9.78	c cleaning 6420 clauses out of 12858 with flag 15000/226975
10.73/10.05	c Got one! Elapsed wall clock time (in seconds):9.932
10.73/10.05	o 54
11.03/10.39	c cleaning 9364 clauses out of 18743 with flag 5002/239280
11.43/10.70	c cleaning 7679 clauses out of 15377 with flag 11000/245278
11.74/11.06	c cleaning 7338 clauses out of 14701 with flag 18003/252281
12.14/11.40	c cleaning 7681 clauses out of 15361 with flag 26001/260279
12.24/11.58	c Got one! Elapsed wall clock time (in seconds):11.471
12.24/11.58	o 53
12.34/11.69	c Got one! Elapsed wall clock time (in seconds):11.577
12.34/11.69	o 52
12.54/11.86	c cleaning 9168 clauses out of 18348 with flag 3000/270947
12.75/12.09	c Got one! Elapsed wall clock time (in seconds):11.972
12.75/12.09	o 51
13.14/12.41	c cleaning 9828 clauses out of 19669 with flag 5002/281436
13.38/12.62	c Got one! Elapsed wall clock time (in seconds):12.505
13.38/12.62	o 50
13.38/12.69	c cleaning 7484 clauses out of 14980 with flag 1002/286575
13.69/12.98	c cleaning 6741 clauses out of 13496 with flag 7002/292575
14.02/13.27	c cleaning 6867 clauses out of 13754 with flag 14001/299574
14.11/13.38	c Got one! Elapsed wall clock time (in seconds):13.27
14.11/13.38	o 48
14.31/13.55	c cleaning 6388 clauses out of 12798 with flag 3001/305485
14.63/13.83	c cleaning 6200 clauses out of 12409 with flag 9000/311484
14.94/14.14	c cleaning 6605 clauses out of 13209 with flag 16000/318484
14.94/14.16	c Got one! Elapsed wall clock time (in seconds):14.051
14.94/14.16	o 47
15.24/14.40	c cleaning 6053 clauses out of 12124 with flag 5006/324004
15.44/14.65	c cleaning 6027 clauses out of 12067 with flag 11002/330000
15.74/14.96	c cleaning 6515 clauses out of 13039 with flag 18001/336999
16.15/15.31	c cleaning 7255 clauses out of 14526 with flag 26003/345001
16.45/15.67	c cleaning 8134 clauses out of 16268 with flag 35000/353998
16.95/16.17	c cleaning 9070 clauses out of 18139 with flag 45005/364003
17.55/16.71	c cleaning 10028 clauses out of 20064 with flag 56000/374998
18.15/17.32	c cleaning 11015 clauses out of 22038 with flag 68002/387000
18.65/17.89	c cleaning 12011 clauses out of 24021 with flag 81000/399998
19.36/18.55	c cleaning 13004 clauses out of 26010 with flag 95000/413998
20.16/19.33	c cleaning 14005 clauses out of 28009 with flag 110003/429001
20.97/20.17	c cleaning 14999 clauses out of 30001 with flag 126000/444998
21.57/20.75	c Got one! Elapsed wall clock time (in seconds):20.633
21.57/20.75	o 45
21.97/21.16	c cleaning 16187 clauses out of 32398 with flag 5002/462394
22.27/21.49	c cleaning 11096 clauses out of 22209 with flag 11000/468392
22.67/21.85	c cleaning 9047 clauses out of 18113 with flag 18000/475392
22.88/22.04	c Got one! Elapsed wall clock time (in seconds):21.924
22.88/22.04	o 44
22.97/22.10	c cleaning 7353 clauses out of 14713 with flag 1003/481039
23.18/22.38	c cleaning 6670 clauses out of 13357 with flag 7000/487036
23.58/22.70	c cleaning 6837 clauses out of 13692 with flag 14005/494041
23.89/23.05	c cleaning 7419 clauses out of 14850 with flag 22000/502036
24.29/23.48	c cleaning 8213 clauses out of 16436 with flag 31005/511041
24.80/23.93	c cleaning 9100 clauses out of 18219 with flag 41001/521037
25.31/24.42	c cleaning 10055 clauses out of 20120 with flag 52002/532038
25.51/24.67	c Got one! Elapsed wall clock time (in seconds):24.559
25.51/24.67	o 42
25.91/25.03	c cleaning 10499 clauses out of 21019 with flag 5001/542992
26.24/25.32	c cleaning 8253 clauses out of 16522 with flag 11003/548994
26.57/25.65	c cleaning 7627 clauses out of 15266 with flag 18000/555991
26.97/26.03	c cleaning 7811 clauses out of 15639 with flag 26000/563991
27.37/26.45	c cleaning 8408 clauses out of 16831 with flag 35003/572994
27.87/26.94	c cleaning 9195 clauses out of 18421 with flag 45001/582992
28.09/27.15	c Got one! Elapsed wall clock time (in seconds):27.035
28.09/27.15	o 41
28.29/27.38	c cleaning 9770 clauses out of 19540 with flag 5001/593306
28.50/27.55	c Got one! Elapsed wall clock time (in seconds):27.433
28.50/27.55	o 40
28.59/27.62	c cleaning 7595 clauses out of 15195 with flag 1001/598731
28.79/27.87	c cleaning 6795 clauses out of 13601 with flag 7002/604732
28.90/27.93	c Got one! Elapsed wall clock time (in seconds):27.818
28.90/27.93	o 39
29.10/28.14	c cleaning 6313 clauses out of 12640 with flag 4002/610566
29.30/28.36	c cleaning 6159 clauses out of 12325 with flag 10000/616564
29.61/28.64	c cleaning 6567 clauses out of 13166 with flag 17000/623564
29.90/28.94	c Got one! Elapsed wall clock time (in seconds):28.827
29.90/28.94	o 38
30.20/29.29	c cleaning 9595 clauses out of 19208 with flag 5000/636173
30.51/29.60	c cleaning 7798 clauses out of 15613 with flag 11000/642173
30.94/29.91	c cleaning 7395 clauses out of 14815 with flag 18000/649173
31.24/30.25	c cleaning 7695 clauses out of 15422 with flag 26002/657175
31.66/30.66	c cleaning 8359 clauses out of 16725 with flag 35000/666173
32.07/31.03	c Got one! Elapsed wall clock time (in seconds):30.92
32.07/31.03	o 37
32.47/31.45	c cleaning 10983 clauses out of 21986 with flag 5003/679793
32.77/31.78	c cleaning 8493 clauses out of 17004 with flag 11004/685794
33.18/32.13	c cleaning 7748 clauses out of 15507 with flag 18000/692790
33.59/32.50	c cleaning 7873 clauses out of 15763 with flag 26004/700794
34.00/32.99	c cleaning 8432 clauses out of 16890 with flag 35004/709794
34.60/33.52	c cleaning 9226 clauses out of 18454 with flag 45000/719790
34.90/33.88	c Got one! Elapsed wall clock time (in seconds):33.763
34.90/33.88	o 36
35.40/34.32	c cleaning 11387 clauses out of 22796 with flag 5000/733358
35.70/34.67	c cleaning 8692 clauses out of 17409 with flag 11000/739358
36.10/35.08	c cleaning 7852 clauses out of 15718 with flag 18001/746359
36.50/35.49	c cleaning 7926 clauses out of 15866 with flag 26001/754359
37.01/35.95	c cleaning 8463 clauses out of 16944 with flag 35005/763363
37.51/36.46	c cleaning 9227 clauses out of 18476 with flag 45000/773358
38.11/37.07	c cleaning 10124 clauses out of 20250 with flag 56001/784359
38.72/37.67	c cleaning 11063 clauses out of 22125 with flag 68000/796358
39.42/38.37	c cleaning 12029 clauses out of 24062 with flag 81000/809358
40.12/39.01	c Got one! Elapsed wall clock time (in seconds):38.901
40.12/39.01	o 34
40.53/39.48	c cleaning 14679 clauses out of 29372 with flag 5001/826697
40.94/39.85	c cleaning 10342 clauses out of 20697 with flag 11005/832701
41.33/40.26	c cleaning 8670 clauses out of 17353 with flag 18003/839699
41.75/40.65	c cleaning 8330 clauses out of 16681 with flag 26001/847697
42.25/41.10	c cleaning 8668 clauses out of 17350 with flag 35000/856696
42.75/41.62	c cleaning 9330 clauses out of 18682 with flag 45000/866696
43.36/42.26	c cleaning 10167 clauses out of 20354 with flag 56002/877698
43.96/42.84	c cleaning 11094 clauses out of 22187 with flag 68002/889698
44.36/43.22	c Got one! Elapsed wall clock time (in seconds):43.108
44.36/43.22	o 32
44.49/43.30	c Got one! Elapsed wall clock time (in seconds):43.189
44.49/43.30	o 30
44.69/43.56	c cleaning 12866 clauses out of 25747 with flag 4003/904352
44.99/43.88	c cleaning 9432 clauses out of 18878 with flag 10000/910349
45.10/43.91	c Got one! Elapsed wall clock time (in seconds):43.798
45.10/43.91	o 29
45.29/44.15	c cleaning 7488 clauses out of 14991 with flag 5003/915894
45.61/44.43	c cleaning 6745 clauses out of 13502 with flag 11002/921893
45.83/44.69	c cleaning 6875 clauses out of 13755 with flag 18000/928891
46.24/45.01	c cleaning 7435 clauses out of 14880 with flag 26000/936891
46.54/45.36	c cleaning 8223 clauses out of 16447 with flag 35002/945893
46.94/45.77	c cleaning 9109 clauses out of 18222 with flag 45000/955891
47.06/45.81	c Got one! Elapsed wall clock time (in seconds):45.702
47.06/45.81	o 27
47.26/46.06	c cleaning 7523 clauses out of 15068 with flag 5002/961846
47.58/46.34	c cleaning 6764 clauses out of 13543 with flag 11000/967844
47.91/46.62	c cleaning 6888 clauses out of 13780 with flag 18001/974845
48.21/46.91	c cleaning 7446 clauses out of 14891 with flag 26000/982844
48.52/47.28	c cleaning 8223 clauses out of 16445 with flag 35000/991844
48.91/47.66	c cleaning 9112 clauses out of 18225 with flag 45003/1001847
49.41/48.11	c cleaning 10049 clauses out of 20111 with flag 56001/1012845
49.93/48.60	c cleaning 11025 clauses out of 22061 with flag 68000/1024844
50.35/49.01	c Got one! Elapsed wall clock time (in seconds):48.899
50.35/49.01	o 26
50.65/49.39	c cleaning 13245 clauses out of 26511 with flag 5001/1040319
51.07/49.73	c cleaning 9619 clauses out of 19265 with flag 11000/1046318
51.37/50.06	c cleaning 8316 clauses out of 16646 with flag 18000/1053318
51.77/50.45	c cleaning 8153 clauses out of 16330 with flag 26000/1061318
52.28/50.92	c cleaning 8579 clauses out of 17177 with flag 35000/1070318
52.80/51.40	c cleaning 9299 clauses out of 18598 with flag 45000/1080318
53.20/51.84	c cleaning 10141 clauses out of 20300 with flag 56001/1091319
53.70/52.35	c cleaning 11081 clauses out of 22161 with flag 68003/1103321
54.30/52.91	c cleaning 12038 clauses out of 24078 with flag 81001/1116319
55.02/53.61	c cleaning 13018 clauses out of 26039 with flag 95000/1130318
55.63/54.28	c cleaning 14007 clauses out of 28021 with flag 110000/1145318
56.26/54.81	c Got one! Elapsed wall clock time (in seconds):54.695
56.26/54.81	o 24
56.66/55.27	c cleaning 16064 clauses out of 32149 with flag 5000/1163453
56.98/55.56	c cleaning 11036 clauses out of 22087 with flag 11002/1169455
57.28/55.88	c cleaning 9017 clauses out of 18052 with flag 18003/1176456
57.48/56.02	c Got one! Elapsed wall clock time (in seconds):55.908
57.48/56.02	o 23
57.48/56.09	c cleaning 7014 clauses out of 14041 with flag 1002/1181462
57.79/56.37	c cleaning 6502 clauses out of 13025 with flag 7000/1187460
58.09/56.65	c cleaning 6746 clauses out of 13524 with flag 14001/1194461
58.39/56.97	c cleaning 7375 clauses out of 14778 with flag 22001/1202461
58.90/57.43	c cleaning 8191 clauses out of 16405 with flag 31003/1211463
59.41/57.97	c cleaning 9099 clauses out of 18212 with flag 41001/1221461
60.01/58.54	c cleaning 10050 clauses out of 20112 with flag 52000/1232460
60.72/59.25	c cleaning 11017 clauses out of 22064 with flag 64002/1244462
61.42/59.97	c cleaning 12012 clauses out of 24045 with flag 77000/1257460
62.23/60.79	c cleaning 13013 clauses out of 26041 with flag 91008/1271468
63.15/61.68	c cleaning 14007 clauses out of 28021 with flag 106001/1286461
64.17/62.64	c cleaning 14994 clauses out of 30013 with flag 122000/1302460
65.16/63.65	c cleaning 16003 clauses out of 32019 with flag 139000/1319460
66.06/64.59	c cleaning 17007 clauses out of 34016 with flag 157000/1337460
67.17/65.65	c cleaning 18004 clauses out of 36009 with flag 176000/1356460
68.28/66.74	c cleaning 19003 clauses out of 38008 with flag 196003/1376463
69.39/67.88	c cleaning 20000 clauses out of 40002 with flag 217000/1397460
70.50/68.90	c cleaning 20992 clauses out of 42002 with flag 239000/1419460
71.52/69.96	c cleaning 22005 clauses out of 44011 with flag 262001/1442461
72.92/71.33	c cleaning 23001 clauses out of 46006 with flag 286001/1466461
74.23/72.68	c cleaning 24002 clauses out of 48004 with flag 311000/1491460
75.74/74.20	c cleaning 25002 clauses out of 50006 with flag 337004/1517464
77.27/75.65	c cleaning 26002 clauses out of 52003 with flag 364003/1544463
78.99/77.30	c cleaning 26998 clauses out of 53998 with flag 392000/1572460
80.90/79.26	c cleaning 28001 clauses out of 56002 with flag 421002/1601462
82.72/81.00	c cleaning 28992 clauses out of 57999 with flag 451000/1631460
84.83/83.18	c cleaning 29999 clauses out of 60008 with flag 482001/1662461
86.36/84.62	c Got one! Elapsed wall clock time (in seconds):84.506
86.36/84.62	o 22
86.96/85.27	c cleaning 31508 clauses out of 63044 with flag 5001/1695496
87.37/85.70	c cleaning 18761 clauses out of 37535 with flag 11000/1701495
87.89/86.11	c cleaning 12879 clauses out of 25776 with flag 18002/1708497
88.31/86.50	c cleaning 10438 clauses out of 20896 with flag 26001/1716496
88.73/86.91	c cleaning 9715 clauses out of 19457 with flag 35000/1725495
89.14/87.35	c cleaning 9864 clauses out of 19746 with flag 45004/1735499
89.64/87.82	c cleaning 10434 clauses out of 20879 with flag 56001/1746496
90.26/88.40	c cleaning 11218 clauses out of 22445 with flag 68001/1758496
90.87/89.02	c cleaning 12113 clauses out of 24229 with flag 81003/1771498
91.48/89.66	c cleaning 13052 clauses out of 26115 with flag 95002/1785497
92.29/90.42	c cleaning 14033 clauses out of 28065 with flag 110004/1800499
93.12/91.21	c cleaning 15013 clauses out of 30028 with flag 126000/1816495
93.92/92.08	c cleaning 16007 clauses out of 32018 with flag 143003/1833498
94.02/92.19	c Got one! Elapsed wall clock time (in seconds):92.076
94.02/92.19	o 21
94.23/92.39	c cleaning 10789 clauses out of 21589 with flag 3004/1839076
94.54/92.69	c cleaning 8390 clauses out of 16796 with flag 9000/1845072
94.96/93.03	c cleaning 7695 clauses out of 15410 with flag 16004/1852076
95.39/93.41	c cleaning 7851 clauses out of 15717 with flag 24006/1860078
95.79/93.82	c cleaning 8417 clauses out of 16861 with flag 33001/1869073
96.29/94.31	c cleaning 9210 clauses out of 18444 with flag 43001/1879073
96.79/94.81	c cleaning 10112 clauses out of 20234 with flag 54001/1890073
97.30/95.34	c cleaning 11055 clauses out of 22121 with flag 66000/1902072
97.92/96.00	c cleaning 12023 clauses out of 24069 with flag 79003/1915075
98.82/96.83	c cleaning 13014 clauses out of 26046 with flag 93003/1929075
99.62/97.69	c cleaning 14006 clauses out of 28031 with flag 108002/1944074
100.64/98.61	c cleaning 15000 clauses out of 30026 with flag 124003/1960075
101.55/99.54	c cleaning 16004 clauses out of 32025 with flag 141002/1977074
102.55/100.50	c cleaning 17010 clauses out of 34020 with flag 159001/1995073
103.09/101.08	c Got one! Elapsed wall clock time (in seconds):100.968
103.09/101.08	o 19
103.59/101.58	c cleaning 18087 clauses out of 36201 with flag 5004/2014264
103.90/101.90	c cleaning 12057 clauses out of 24113 with flag 11003/2020263
104.32/102.21	c cleaning 9524 clauses out of 19054 with flag 18001/2027261
104.65/102.53	c cleaning 8759 clauses out of 17532 with flag 26003/2035263
104.95/102.88	c cleaning 8882 clauses out of 17770 with flag 35000/2044260
105.36/103.27	c cleaning 9438 clauses out of 18888 with flag 45000/2054260
105.88/103.76	c cleaning 10226 clauses out of 20452 with flag 56002/2065262
106.40/104.26	c cleaning 11101 clauses out of 22224 with flag 68000/2077260
107.00/104.81	c cleaning 12056 clauses out of 24123 with flag 81000/2090260
107.61/105.48	c cleaning 13033 clauses out of 26067 with flag 95000/2104260
108.43/106.20	c cleaning 14016 clauses out of 28034 with flag 110000/2119260
109.13/106.96	c cleaning 15011 clauses out of 30022 with flag 126004/2135264
109.96/107.74	c cleaning 16004 clauses out of 32008 with flag 143001/2152261
110.85/108.60	c cleaning 16999 clauses out of 34003 with flag 161000/2170260
111.67/109.48	c cleaning 17997 clauses out of 36006 with flag 180002/2189262
112.68/110.44	c cleaning 19004 clauses out of 38007 with flag 200000/2209260
113.70/111.47	c cleaning 20003 clauses out of 40007 with flag 221004/2230264
114.91/112.69	c cleaning 21001 clauses out of 42001 with flag 243001/2252261
116.22/113.93	c cleaning 22001 clauses out of 44003 with flag 266004/2275264
117.45/115.18	c cleaning 22990 clauses out of 45999 with flag 290001/2299261
118.87/116.59	c cleaning 23998 clauses out of 48010 with flag 315002/2324262
120.36/118.06	c cleaning 25006 clauses out of 50014 with flag 341004/2350264
121.98/119.62	c cleaning 26002 clauses out of 52004 with flag 368000/2377260
123.90/121.56	c cleaning 27005 clauses out of 54009 with flag 396007/2405267
125.41/123.01	c Got one! Elapsed wall clock time (in seconds):122.898
125.41/123.01	o 18
126.01/123.63	c cleaning 29425 clauses out of 58866 with flag 5001/2437129
126.43/124.05	c cleaning 17718 clauses out of 35441 with flag 11001/2443129
126.74/124.38	c cleaning 12354 clauses out of 24726 with flag 18004/2450132
127.13/124.70	c cleaning 10175 clauses out of 20371 with flag 26003/2458131
127.43/125.03	c cleaning 9588 clauses out of 19196 with flag 35003/2467131
127.84/125.41	c cleaning 9802 clauses out of 19605 with flag 45000/2477128
128.25/125.87	c cleaning 10401 clauses out of 20803 with flag 56000/2488128
128.76/126.33	c cleaning 11200 clauses out of 22403 with flag 68001/2500129
129.36/126.90	c cleaning 12102 clauses out of 24204 with flag 81002/2513130
129.88/127.46	c cleaning 13041 clauses out of 26100 with flag 95000/2527128
130.58/128.12	c cleaning 14028 clauses out of 28061 with flag 110002/2542130
131.40/128.95	c cleaning 15015 clauses out of 30032 with flag 126001/2558129
132.22/129.73	c cleaning 16006 clauses out of 32018 with flag 143002/2575130
133.13/130.63	c cleaning 17005 clauses out of 34011 with flag 161001/2593129
134.04/131.58	c cleaning 17997 clauses out of 36005 with flag 180000/2612128
135.14/132.66	c cleaning 18997 clauses out of 38008 with flag 200000/2632128
136.35/133.80	c cleaning 20002 clauses out of 40011 with flag 221000/2653128
137.55/135.03	c cleaning 21005 clauses out of 42010 with flag 243001/2675129
137.86/135.39	c Got one! Elapsed wall clock time (in seconds):135.275
137.86/135.39	o 17
138.36/135.83	c cleaning 16793 clauses out of 33610 with flag 5000/2687734
138.66/136.15	c cleaning 11406 clauses out of 22822 with flag 11005/2693739
138.97/136.48	c cleaning 9199 clauses out of 18411 with flag 18000/2700734
139.37/136.86	c cleaning 8597 clauses out of 17213 with flag 26001/2708735
139.77/137.26	c cleaning 8797 clauses out of 17616 with flag 35001/2717735
140.27/137.76	c cleaning 9398 clauses out of 18819 with flag 45001/2727735
140.78/138.26	c cleaning 10206 clauses out of 20424 with flag 56004/2738738
141.38/138.83	c cleaning 11101 clauses out of 22218 with flag 68004/2750738
141.99/139.49	c cleaning 12046 clauses out of 24116 with flag 81003/2763737
142.90/140.30	c cleaning 13022 clauses out of 26067 with flag 95000/2777734
143.70/141.14	c cleaning 14014 clauses out of 28046 with flag 110001/2792735
144.60/142.07	c cleaning 15007 clauses out of 30031 with flag 126000/2808734
145.50/142.99	c cleaning 16004 clauses out of 32026 with flag 143002/2825736
146.50/143.97	c cleaning 16995 clauses out of 34021 with flag 161001/2843735
147.51/144.97	c cleaning 18001 clauses out of 36025 with flag 180000/2862734
148.73/146.17	c cleaning 19000 clauses out of 38024 with flag 200000/2882734
149.95/147.36	c cleaning 20006 clauses out of 40028 with flag 221004/2903738
151.48/148.82	c cleaning 21003 clauses out of 42022 with flag 243004/2925738
152.98/150.32	c cleaning 21997 clauses out of 44016 with flag 266001/2948735
154.61/151.93	c cleaning 22996 clauses out of 46018 with flag 290000/2972734
156.21/153.57	c cleaning 24012 clauses out of 48024 with flag 315002/2997736
157.72/155.08	c cleaning 25007 clauses out of 50013 with flag 341003/3023737
159.43/156.78	c cleaning 26002 clauses out of 52003 with flag 368000/3050734
161.26/158.51	c cleaning 27001 clauses out of 54002 with flag 396001/3078735
163.16/160.48	c cleaning 28001 clauses out of 56001 with flag 425001/3107735
165.17/162.46	c cleaning 28993 clauses out of 57999 with flag 455000/3137734
167.48/164.70	c cleaning 29998 clauses out of 60007 with flag 486001/3168735
169.89/167.11	c cleaning 30994 clauses out of 62008 with flag 518000/3200734
172.49/169.71	c cleaning 32006 clauses out of 64015 with flag 551001/3233735
175.01/172.28	c cleaning 32999 clauses out of 66008 with flag 585000/3267734
177.73/174.92	c cleaning 34000 clauses out of 68010 with flag 620001/3302735
180.54/177.80	c cleaning 35002 clauses out of 70011 with flag 656002/3338736
183.55/180.78	c cleaning 36003 clauses out of 72007 with flag 693000/3375734
186.77/183.90	c cleaning 37001 clauses out of 74009 with flag 731005/3413739
190.07/187.27	c cleaning 38001 clauses out of 76005 with flag 770002/3452736
193.60/190.71	c cleaning 39001 clauses out of 78005 with flag 810003/3492737
197.05/194.12	c cleaning 39993 clauses out of 80003 with flag 851002/3533736
199.37/196.41	c Got one! Elapsed wall clock time (in seconds):196.294
199.37/196.41	o 16
200.37/197.48	c cleaning 39995 clauses out of 80019 with flag 5000/3573745
201.00/198.06	c cleaning 23000 clauses out of 46024 with flag 11000/3579745
201.40/198.46	c cleaning 15000 clauses out of 30026 with flag 18002/3586747
201.80/198.83	c cleaning 11502 clauses out of 23026 with flag 26002/3594747
202.21/199.26	c cleaning 10257 clauses out of 20530 with flag 35008/3603753
202.61/199.68	c cleaning 10120 clauses out of 20268 with flag 45003/3613748
203.12/200.15	c cleaning 10568 clauses out of 21149 with flag 56004/3624749
203.62/200.66	c cleaning 11280 clauses out of 22581 with flag 68004/3636749
204.23/201.26	c cleaning 12141 clauses out of 24302 with flag 81005/3649750
204.82/201.89	c cleaning 13081 clauses out of 26161 with flag 95005/3663750
205.53/202.56	c cleaning 14029 clauses out of 28075 with flag 110000/3678745
206.34/203.38	c cleaning 15024 clauses out of 30048 with flag 126002/3694747
207.15/204.18	c cleaning 16007 clauses out of 32023 with flag 143001/3711746
207.95/204.98	c cleaning 17007 clauses out of 34015 with flag 161000/3729745
208.86/205.89	c cleaning 18004 clauses out of 36008 with flag 180000/3748745
209.88/206.88	c cleaning 18996 clauses out of 38004 with flag 200000/3768745
211.00/207.91	c cleaning 20005 clauses out of 40012 with flag 221004/3789749
212.21/209.10	c cleaning 20999 clauses out of 42003 with flag 243000/3811745
212.63/209.51	c Got one! Elapsed wall clock time (in seconds):209.399
212.63/209.51	o 14
213.13/210.01	c cleaning 18017 clauses out of 36049 with flag 5006/3826790
213.43/210.31	c cleaning 12010 clauses out of 24031 with flag 11005/3832789
213.73/210.61	c cleaning 9501 clauses out of 19016 with flag 18000/3839784
214.04/210.97	c cleaning 8749 clauses out of 17519 with flag 26004/3847788
214.45/211.35	c cleaning 8873 clauses out of 17766 with flag 35000/3856784
214.95/211.84	c cleaning 9433 clauses out of 18893 with flag 45000/3866784
215.47/212.32	c cleaning 10228 clauses out of 20463 with flag 56003/3877787
215.97/212.84	c cleaning 11111 clauses out of 22234 with flag 68002/3889786
216.59/213.45	c cleaning 12054 clauses out of 24128 with flag 81007/3902791
217.30/214.11	c cleaning 13018 clauses out of 26068 with flag 95001/3916785
218.02/214.89	c cleaning 14022 clauses out of 28056 with flag 110007/3931791
218.94/215.76	c cleaning 15001 clauses out of 30028 with flag 126001/3947785
219.95/216.75	c cleaning 16007 clauses out of 32029 with flag 143003/3964787
220.97/217.73	c cleaning 16997 clauses out of 34020 with flag 161001/3982785
221.99/218.77	c cleaning 18011 clauses out of 36022 with flag 180000/4001784
223.09/219.81	c cleaning 19006 clauses out of 38011 with flag 200000/4021784
224.19/220.92	c cleaning 20003 clauses out of 40009 with flag 221004/4042788
225.31/222.09	c cleaning 21001 clauses out of 42002 with flag 243000/4064784
226.64/223.33	c cleaning 22001 clauses out of 44002 with flag 266001/4087785
227.13/223.83	c Got one! Elapsed wall clock time (in seconds):223.721
227.13/223.83	o 12
227.64/224.34	c cleaning 19483 clauses out of 38989 with flag 5002/4104773
227.95/224.69	c cleaning 12739 clauses out of 25504 with flag 11000/4110771
228.36/225.00	c cleaning 9871 clauses out of 19765 with flag 18000/4117771
228.68/225.36	c cleaning 8939 clauses out of 17894 with flag 26000/4125771
229.09/225.74	c cleaning 8968 clauses out of 17956 with flag 35001/4134772
229.51/226.17	c cleaning 9483 clauses out of 18988 with flag 45001/4144772
230.02/226.67	c cleaning 10249 clauses out of 20512 with flag 56008/4155779
230.51/227.19	c cleaning 11121 clauses out of 22257 with flag 68002/4167773
231.22/227.82	c cleaning 12058 clauses out of 24136 with flag 81002/4180773
231.92/228.50	c cleaning 13027 clauses out of 26078 with flag 95002/4194773
232.72/229.33	c cleaning 14018 clauses out of 28049 with flag 110000/4209771
233.63/230.23	c cleaning 15004 clauses out of 30035 with flag 126004/4225775
234.63/231.25	c cleaning 15997 clauses out of 32030 with flag 143003/4242774
235.63/232.21	c cleaning 17000 clauses out of 34030 with flag 161000/4260771
236.74/233.38	c cleaning 18010 clauses out of 36039 with flag 180009/4279780
237.84/234.48	c cleaning 18994 clauses out of 38021 with flag 200001/4299772
239.05/235.69	c cleaning 20000 clauses out of 40026 with flag 221000/4320771
240.25/236.89	c cleaning 20997 clauses out of 42026 with flag 243000/4342771
241.76/238.33	c cleaning 22000 clauses out of 44030 with flag 266001/4365772
243.38/239.99	c cleaning 23003 clauses out of 46030 with flag 290001/4389772
245.18/241.72	c cleaning 23999 clauses out of 48026 with flag 315000/4414771
247.11/243.68	c cleaning 25003 clauses out of 50028 with flag 341001/4440772
248.92/245.45	c cleaning 26000 clauses out of 52025 with flag 368001/4467772
250.93/247.43	c cleaning 27012 clauses out of 54024 with flag 396000/4495771
252.63/249.10	c cleaning 28006 clauses out of 56012 with flag 425000/4524771
254.45/250.92	c cleaning 29004 clauses out of 58007 with flag 455001/4554772
256.35/252.80	c cleaning 30001 clauses out of 60005 with flag 486003/4585774
258.47/254.91	c cleaning 31002 clauses out of 62003 with flag 518002/4617773
260.89/257.32	c cleaning 31994 clauses out of 64000 with flag 551001/4650772
263.11/259.58	c cleaning 32999 clauses out of 66008 with flag 585003/4684774
265.62/262.00	c cleaning 33998 clauses out of 68007 with flag 620001/4719772
267.73/264.11	c cleaning 35002 clauses out of 70010 with flag 656002/4755773
269.74/266.13	c cleaning 36001 clauses out of 72006 with flag 693000/4792771
272.84/269.28	c cleaning 37003 clauses out of 74005 with flag 731000/4830771
276.05/272.49	c cleaning 38003 clauses out of 76005 with flag 770003/4869774
279.47/275.85	c cleaning 38995 clauses out of 78001 with flag 810002/4909773
282.99/279.31	c cleaning 40006 clauses out of 80012 with flag 851008/4950779
285.81/282.11	c cleaning 40998 clauses out of 81998 with flag 893000/4992771
288.94/285.27	c cleaning 41998 clauses out of 84001 with flag 936001/5035772
292.25/288.59	c cleaning 43001 clauses out of 86005 with flag 980003/5079774
295.88/292.11	c cleaning 43997 clauses out of 88001 with flag 1025000/5124771
299.49/295.71	c cleaning 45002 clauses out of 90004 with flag 1071000/5170771
303.39/299.60	c cleaning 45996 clauses out of 92003 with flag 1118001/5217772
307.51/303.77	c cleaning 47003 clauses out of 94006 with flag 1166000/5265771
311.24/307.44	c cleaning 48001 clauses out of 96003 with flag 1215000/5314771
315.08/311.28	c cleaning 48997 clauses out of 98002 with flag 1265000/5364771
319.09/315.23	c cleaning 50004 clauses out of 100009 with flag 1316004/5415775
323.62/319.77	c cleaning 50997 clauses out of 102002 with flag 1368001/5467772
328.63/324.78	c cleaning 51997 clauses out of 104004 with flag 1421000/5520771
334.15/330.24	c cleaning 52999 clauses out of 106007 with flag 1475000/5574771
340.59/336.67	c cleaning 54001 clauses out of 108011 with flag 1530003/5629774
346.69/342.76	c cleaning 55002 clauses out of 110007 with flag 1586000/5685771
352.72/348.72	c cleaning 55999 clauses out of 112005 with flag 1643000/5742771
357.73/353.71	c cleaning 57001 clauses out of 114013 with flag 1701007/5800778
363.16/359.17	c cleaning 57999 clauses out of 116006 with flag 1760001/5859772
368.70/364.69	c cleaning 58999 clauses out of 118006 with flag 1820000/5919771
373.80/369.75	c cleaning 60004 clauses out of 120009 with flag 1881002/5980773
382.83/378.73	c cleaning 61000 clauses out of 122006 with flag 1943003/6042774
391.55/387.44	c cleaning 61997 clauses out of 124004 with flag 2006001/6105772
398.18/394.06	c cleaning 62995 clauses out of 126006 with flag 2070000/6169771
404.62/400.43	c cleaning 64001 clauses out of 128011 with flag 2135000/6234771
410.62/406.43	c cleaning 65001 clauses out of 130012 with flag 2201002/6300773
417.22/413.05	c cleaning 66001 clauses out of 132009 with flag 2268000/6367771
422.83/418.60	c cleaning 66997 clauses out of 134008 with flag 2336000/6435771
429.25/425.04	c cleaning 68007 clauses out of 136013 with flag 2405002/6504773
435.59/431.33	c cleaning 69000 clauses out of 138004 with flag 2475000/6574771
441.93/437.66	c cleaning 69994 clauses out of 140004 with flag 2546000/6645771
448.54/444.24	c cleaning 71005 clauses out of 142011 with flag 2618001/6717772
457.76/453.42	c cleaning 72000 clauses out of 144005 with flag 2691000/6790771
467.90/463.59	c cleaning 73000 clauses out of 146006 with flag 2765001/6864772
478.34/473.97	c cleaning 73997 clauses out of 148005 with flag 2840000/6939771
489.46/485.06	c cleaning 74999 clauses out of 150008 with flag 2916000/7015771
497.68/493.29	c cleaning 76001 clauses out of 152009 with flag 2993000/7092771
504.50/500.07	c cleaning 76998 clauses out of 154008 with flag 3071000/7170771
516.32/511.86	c cleaning 78003 clauses out of 156011 with flag 3150001/7249772
517.23/512.75	c Got one! Elapsed wall clock time (in seconds):512.64
517.23/512.75	o 10
518.73/514.22	c cleaning 47122 clauses out of 94258 with flag 5001/7266022
519.43/514.96	c cleaning 26564 clauses out of 53142 with flag 11007/7272028
519.94/515.40	c cleaning 16778 clauses out of 33574 with flag 18003/7279024
520.35/515.81	c cleaning 12387 clauses out of 24793 with flag 26000/7287021
520.75/516.25	c cleaning 10691 clauses out of 21407 with flag 35001/7296022
521.16/516.70	c cleaning 10343 clauses out of 20716 with flag 45001/7306022
521.66/517.15	c cleaning 10673 clauses out of 21372 with flag 56000/7317021
522.17/517.68	c cleaning 11341 clauses out of 22699 with flag 68000/7329021
522.78/518.29	c cleaning 12173 clauses out of 24360 with flag 81002/7342023
523.49/518.97	c cleaning 13086 clauses out of 26189 with flag 95004/7356025
524.30/519.71	c cleaning 14038 clauses out of 28100 with flag 110001/7371022
525.12/520.57	c cleaning 15016 clauses out of 30061 with flag 126000/7387021
525.93/521.40	c cleaning 16025 clauses out of 32050 with flag 143005/7404026
526.94/522.32	c cleaning 17009 clauses out of 34022 with flag 161002/7422023
527.85/523.20	c cleaning 18007 clauses out of 36013 with flag 180002/7441023
528.86/524.28	c cleaning 19001 clauses out of 38005 with flag 200001/7461022
529.86/525.27	c cleaning 20001 clauses out of 40004 with flag 221001/7482022
531.18/526.51	c cleaning 20996 clauses out of 42004 with flag 243002/7504023
532.49/527.84	c cleaning 22003 clauses out of 44006 with flag 266000/7527021
533.80/529.18	c cleaning 23000 clauses out of 46005 with flag 290002/7551023
535.20/530.59	c cleaning 23999 clauses out of 48003 with flag 315000/7576021
536.71/532.09	c cleaning 25000 clauses out of 50008 with flag 341004/7602025
538.42/533.79	c cleaning 25996 clauses out of 52004 with flag 368000/7629021
540.12/535.42	c cleaning 27004 clauses out of 54009 with flag 396001/7657022
541.72/537.08	c cleaning 28000 clauses out of 56006 with flag 425002/7686023
543.65/538.93	c cleaning 29001 clauses out of 58008 with flag 455004/7716025
545.36/540.65	c cleaning 29995 clauses out of 60004 with flag 486001/7747022
547.37/542.68	c cleaning 30999 clauses out of 62009 with flag 518001/7779022
549.59/544.81	c cleaning 32003 clauses out of 64009 with flag 551000/7812021
551.79/547.02	c cleaning 33008 clauses out of 66016 with flag 585010/7846031
554.01/549.28	c cleaning 33992 clauses out of 67999 with flag 620001/7881022
556.44/551.60	c cleaning 34997 clauses out of 70006 with flag 656000/7917021
558.64/553.80	c cleaning 36001 clauses out of 72010 with flag 693001/7954022
560.97/556.13	c cleaning 37004 clauses out of 74010 with flag 731002/7992023
563.59/558.73	c cleaning 37997 clauses out of 76006 with flag 770002/8031023
566.31/561.49	c cleaning 39002 clauses out of 78007 with flag 810000/8071021
568.92/564.08	c cleaning 39997 clauses out of 80006 with flag 851001/8112022
572.13/567.23	c cleaning 41004 clauses out of 82009 with flag 893001/8154022
575.35/570.47	c cleaning 41999 clauses out of 84004 with flag 936000/8197021
578.28/573.31	c cleaning 42995 clauses out of 86007 with flag 980002/8241023
581.41/576.42	c cleaning 44003 clauses out of 88010 with flag 1025000/8286021
584.53/579.53	c cleaning 45002 clauses out of 90007 with flag 1071000/8332021
588.24/583.28	c cleaning 46001 clauses out of 92008 with flag 1118003/8379024
592.15/587.17	c cleaning 47003 clauses out of 94007 with flag 1166003/8427024
596.18/591.18	c cleaning 48001 clauses out of 96006 with flag 1215005/8476026
599.90/594.80	c cleaning 48995 clauses out of 98001 with flag 1265001/8526022
603.91/598.85	c cleaning 50003 clauses out of 100007 with flag 1316002/8577023
608.54/603.45	c cleaning 50995 clauses out of 102003 with flag 1368001/8629022
612.85/607.77	c cleaning 52006 clauses out of 104014 with flag 1421007/8682028
617.27/612.11	c cleaning 52999 clauses out of 106003 with flag 1475002/8736023
621.70/616.58	c cleaning 53993 clauses out of 108004 with flag 1530002/8791023
626.43/621.24	c cleaning 55000 clauses out of 110009 with flag 1586000/8847021
631.23/626.06	c cleaning 56004 clauses out of 112011 with flag 1643002/8904023
636.26/631.02	c cleaning 57004 clauses out of 114007 with flag 1701002/8962023
641.19/635.94	c cleaning 58000 clauses out of 116001 with flag 1760000/9021021
645.81/640.51	c cleaning 58990 clauses out of 118002 with flag 1820001/9081022
651.53/646.28	c cleaning 60002 clauses out of 120012 with flag 1881001/9142022
656.65/651.31	c cleaning 61000 clauses out of 122012 with flag 1943003/9204024
662.16/656.81	c cleaning 62004 clauses out of 124010 with flag 2006001/9267022
667.66/662.31	c cleaning 62999 clauses out of 126006 with flag 2070001/9331022
673.77/668.40	c cleaning 64001 clauses out of 128006 with flag 2135000/9396021
679.77/674.46	c cleaning 65002 clauses out of 130006 with flag 2201001/9462022
686.90/681.52	c cleaning 66000 clauses out of 132004 with flag 2268001/9529022
693.01/687.62	c cleaning 66997 clauses out of 134003 with flag 2336000/9597021
698.73/693.34	c cleaning 68003 clauses out of 136007 with flag 2405001/9666022
705.55/700.12	c cleaning 69002 clauses out of 138004 with flag 2475001/9736022
711.78/706.30	c cleaning 69992 clauses out of 140001 with flag 2546000/9807021
719.10/713.60	c cleaning 71002 clauses out of 142010 with flag 2618001/9879022
726.12/720.69	c cleaning 72000 clauses out of 144007 with flag 2691000/9952021
733.24/727.79	c cleaning 73002 clauses out of 146012 with flag 2765005/10026026
742.76/737.21	c cleaning 73997 clauses out of 148006 with flag 2840001/10101022
753.91/748.30	c cleaning 75000 clauses out of 150010 with flag 2916002/10177023
762.75/757.16	c cleaning 76001 clauses out of 152009 with flag 2993001/10254022
771.06/765.41	c cleaning 76999 clauses out of 154007 with flag 3071000/10332021
779.19/773.53	c cleaning 78002 clauses out of 156010 with flag 3150002/10411023
787.41/781.79	c cleaning 78997 clauses out of 158007 with flag 3230001/10491022
795.03/789.30	c cleaning 79999 clauses out of 160011 with flag 3311002/10572023
802.84/797.13	c cleaning 81003 clauses out of 162012 with flag 3393002/10654023
811.06/805.34	c cleaning 81999 clauses out of 164007 with flag 3476000/10737021
819.57/813.80	c cleaning 83002 clauses out of 166008 with flag 3560000/10821021
827.80/822.07	c cleaning 84001 clauses out of 168007 with flag 3645001/10906022
836.12/830.37	c cleaning 84997 clauses out of 170007 with flag 3731002/10992023
847.53/841.73	c cleaning 86002 clauses out of 172008 with flag 3818000/11079021
858.50/852.63	c cleaning 87003 clauses out of 174010 with flag 3906004/11167025
869.61/863.70	c cleaning 88000 clauses out of 176006 with flag 3995003/11256024
879.15/873.28	c cleaning 88997 clauses out of 178004 with flag 4085001/11346022
889.39/883.42	c cleaning 90004 clauses out of 180007 with flag 4176001/11437022
899.14/893.13	c cleaning 91003 clauses out of 182005 with flag 4268003/11529024
912.68/906.68	c cleaning 92001 clauses out of 184001 with flag 4361002/11622023
923.40/917.38	c cleaning 92997 clauses out of 185998 with flag 4455000/11716021
933.94/927.81	c cleaning 94000 clauses out of 188004 with flag 4550003/11811024
945.25/939.16	c cleaning 95001 clauses out of 190001 with flag 4646000/11907021
955.88/949.76	c cleaning 95995 clauses out of 192001 with flag 4743001/12004022
966.89/960.73	c cleaning 97003 clauses out of 194010 with flag 4841005/12102026
980.52/974.32	c cleaning 98001 clauses out of 196006 with flag 4940004/12201025
994.19/987.99	c cleaning 98995 clauses out of 198001 with flag 5040000/12301021
1003.42/997.02	c cleaning 99995 clauses out of 200006 with flag 5141000/12402021
1014.55/1008.16	c cleaning 101001 clauses out of 202014 with flag 5243003/12504024
1026.38/1019.97	c cleaning 102001 clauses out of 204010 with flag 5346000/12607021
1039.62/1033.15	c cleaning 103002 clauses out of 206010 with flag 5450001/12711022
1052.25/1045.79	c cleaning 104000 clauses out of 208008 with flag 5555001/12816022
1064.69/1058.16	c cleaning 104999 clauses out of 210011 with flag 5661004/12922025
1079.28/1072.78	c cleaning 105998 clauses out of 212009 with flag 5768001/13029022
1092.33/1085.73	c cleaning 107000 clauses out of 214011 with flag 5876001/13137022
1107.57/1100.91	c cleaning 108000 clauses out of 216010 with flag 5985000/13246021
1121.09/1114.44	c cleaning 109001 clauses out of 218015 with flag 6095005/13356026
1137.44/1130.80	c cleaning 110006 clauses out of 220012 with flag 6206003/13467024
1151.59/1144.80	c cleaning 110998 clauses out of 222003 with flag 6318000/13579021
1166.27/1159.43	c cleaning 112000 clauses out of 224005 with flag 6431000/13692021
1184.68/1177.87	c cleaning 112999 clauses out of 226006 with flag 6545001/13806022
1199.66/1192.75	c cleaning 114004 clauses out of 228008 with flag 6660002/13921023
1218.40/1211.43	c cleaning 115001 clauses out of 230002 with flag 6776000/14037021
1235.48/1228.42	c cleaning 115995 clauses out of 232002 with flag 6893001/14154022
1255.20/1248.12	c cleaning 117001 clauses out of 234008 with flag 7011002/14272023
1272.15/1265.09	c cleaning 117995 clauses out of 236005 with flag 7130000/14391021
1290.21/1283.08	c cleaning 119006 clauses out of 238014 with flag 7250004/14511025
1305.15/1297.92	c cleaning 119996 clauses out of 240005 with flag 7371001/14632022
1323.57/1316.36	c cleaning 120998 clauses out of 242009 with flag 7493001/14754022
1341.23/1333.95	c cleaning 121999 clauses out of 244011 with flag 7616001/14877022
1360.44/1353.19	c cleaning 123001 clauses out of 246011 with flag 7740000/15001021
1378.76/1371.49	c cleaning 124000 clauses out of 248010 with flag 7865000/15126021
1404.08/1396.78	c cleaning 125003 clauses out of 250010 with flag 7991000/15252021
1431.84/1424.48	c cleaning 125999 clauses out of 252014 with flag 8118007/15379028
1457.19/1449.72	c cleaning 127003 clauses out of 254009 with flag 8246001/15507022
1484.81/1477.31	c cleaning 127994 clauses out of 256005 with flag 8375000/15636021
1510.86/1503.35	c cleaning 129002 clauses out of 258012 with flag 8505001/15766022
1540.21/1532.62	c cleaning 130003 clauses out of 260010 with flag 8636001/15897022
1568.04/1560.46	c cleaning 130998 clauses out of 262007 with flag 8768001/16029022
1595.30/1587.69	c cleaning 132005 clauses out of 264010 with flag 8901002/16162023
1621.23/1613.54	c cleaning 132994 clauses out of 266004 with flag 9035001/16296022
1646.16/1638.42	c cleaning 134003 clauses out of 268010 with flag 9170001/16431022
1672.48/1664.73	c cleaning 134997 clauses out of 270008 with flag 9306002/16567023
1700.50/1692.77	c cleaning 135998 clauses out of 272010 with flag 9443001/16704022
1726.83/1719.00	c cleaning 137006 clauses out of 274016 with flag 9581005/16842026
1749.93/1742.13	c cleaning 137996 clauses out of 276005 with flag 9720000/16981021
1772.64/1764.89	c cleaning 139003 clauses out of 278010 with flag 9860001/17121022
1796.38/1788.53	c cleaning 140002 clauses out of 280007 with flag 10001001/17262022
1800.07/1792.11	c starts		: 433
1800.07/1792.11	c conflicts		: 17305522
1800.07/1792.11	c decisions		: 17784843
1800.07/1792.11	c propagations		: 140383603
1800.07/1792.11	c inspects		: 21993891466
1800.07/1792.11	c shortcuts		: 0
1800.07/1792.11	c learnt literals	: 0
1800.07/1792.11	c learnt binary clauses	: 0
1800.07/1792.11	c learnt ternary clauses	: 0
1800.07/1792.11	c learnt constraints	: 17305525
1800.07/1792.11	c ignored constraints	: 0
1800.07/1792.11	c root simplifications	: 0
1800.07/1792.11	c removed literals (reason simplification)	: 0
1800.07/1792.11	c reason swapping (by a shorter reason)	: 0
1800.07/1792.11	c Calls to reduceDB	: 521
1800.07/1792.11	c number of reductions to clauses (during analyze)	: 0
1800.07/1792.11	c number of learned constraints concerned by reduction	: 0
1800.07/1792.11	c number of learning phase by resolution	: 0
1800.07/1792.11	c number of learning phase by cutting planes	: 0
1800.07/1792.11	c speed (assignments/second)	: 78340.96744508937
1800.07/1792.11	c non guided choices	1925
1800.07/1792.14	c learnt constraints type 
1800.07/1792.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 183782
1800.07/1792.14	c constraints type 
1800.07/1792.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13
1800.07/1792.14	c 13 constraints processed.
1800.07/1792.14	s SATISFIABLE
1800.07/1792.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 
1800.07/1792.14	c objective function=10
1800.07/1792.14	c Total wall clock time (in seconds): 1792.032

Verifier Data

OK	10

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688213-1337880883/watcher-3688213-1337880883 -o /tmp/evaluation-result-3688213-1337880883/solver-3688213-1337880883 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688213-1337880883.opb 

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: 2.10 2.03 2.00 3/194 26260
/proc/meminfo: memFree=28928808/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26260/stat : 26260 (java) D 26258 26260 24862 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254212627 9515008 182 33554432000 1073741824 1073778376 140735525301968 140735525293000 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26260/statm: 2323 182 140 9 0 71 0

[startup+0.0440031 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 26260
/proc/meminfo: memFree=28928808/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 3001 0 1 0 1 1 0 0 20 0 13 0 254212627 9446973440 3698 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2306390 3699 1683 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100275 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 26260
/proc/meminfo: memFree=28928808/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 4293 0 1 0 7 2 0 0 20 0 18 0 254212627 9787813888 5482 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2389603 5482 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300281 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 26260
/proc/meminfo: memFree=28928808/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 6474 0 1 0 49 2 0 0 20 0 19 0 254212627 9855975424 7246 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 7246 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624976

[startup+0.700196 s]
/proc/loadavg: 2.10 2.03 2.00 3/194 26260
/proc/meminfo: memFree=28928808/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 7373 0 1 0 101 3 0 0 20 0 19 0 254212627 9855975424 9860 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 9860 2266 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 2.10 2.03 2.00 3/213 26279
/proc/meminfo: memFree=28887520/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=2.02 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 10389 0 1 0 198 4 0 0 20 0 19 0 254212627 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 13100 2268 9 0 2396937 0
[pid=26260/tid=26262] ppid=26258 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) S 26258 26260 24862 0 -1 4202560 2458 0 1 0 141 1 0 0 20 0 19 0 254212628 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729892413528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26263] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26263/stat : 26263 (java) S 26258 26260 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729853905448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26264] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26264/stat : 26264 (java) S 26258 26260 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729852852648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26258 26260 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729851799848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26266] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26258 26260 24862 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729850747048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729731316776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26268] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729730263976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26269] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26258 26260 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729729211176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26270] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26258 26260 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729728158376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26271] ppid=26258 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) R 26258 26260 24862 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 254212631 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729715959272 139729898540175 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26272] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26258 26260 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729110557944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26273] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26258 26260 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729109505032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26274] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26274/stat : 26274 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729108453520 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26275] ppid=26258 vsize=9624976 CPUtime=0.2 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26258 26260 24862 0 -1 4202560 1766 0 0 0 20 0 0 0 20 0 19 0 254212633 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729107393624 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26276] ppid=26258 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26258 26260 24862 0 -1 4202560 4909 0 0 0 30 1 0 0 20 0 19 0 254212633 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729106334952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26277] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26277/stat : 26277 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729105296248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26278] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26278/stat : 26278 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212634 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729104243656 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26279] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26279/stat : 26279 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212643 9855975424 13100 33554432000 1073741824 1073778376 140735928117584 139729103189160 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9624976

[startup+3.1006 s]
/proc/loadavg: 2.09 2.03 2.00 3/213 26279
/proc/meminfo: memFree=28884356/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=3.71 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 10735 0 1 0 366 5 0 0 20 0 19 0 254212627 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 13173 2269 9 0 2396937 0
[pid=26260/tid=26262] ppid=26258 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26258 26260 24862 0 -1 4202560 2464 0 1 0 294 2 0 0 20 0 19 0 254212628 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729892405696 139729731750945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26263] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26263/stat : 26263 (java) S 26258 26260 24862 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729853905448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26264] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26264/stat : 26264 (java) S 26258 26260 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729852852648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26258 26260 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729851799848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26266] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26258 26260 24862 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729850747048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26258 26260 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729731316776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26268] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26258 26260 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729730263976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26269] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26258 26260 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729729211176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26270] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26258 26260 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729728158376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26271] ppid=26258 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26258 26260 24862 0 -1 4202560 31 0 0 0 8 0 0 0 20 0 19 0 254212631 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729715960296 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26272] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26258 26260 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729110557944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26273] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26258 26260 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729109505032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26274] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26274/stat : 26274 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729108453520 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26275] ppid=26258 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26258 26260 24862 0 -1 4202560 2098 0 0 0 26 0 0 0 20 0 19 0 254212633 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729107401656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26276] ppid=26258 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26258 26260 24862 0 -1 4202560 4909 0 0 0 30 2 0 0 20 0 19 0 254212633 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729106348856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26277] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26277/stat : 26277 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729105296248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26278] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26278/stat : 26278 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212634 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729104243656 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26279] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26279/stat : 26279 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212643 9855975424 13173 33554432000 1073741824 1073778376 140735928117584 139729103189160 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9624976

[startup+6.30063 s]
/proc/loadavg: 2.09 2.03 2.00 3/213 26279
/proc/meminfo: memFree=28883984/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=6.94 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 10760 0 1 0 689 5 0 0 20 0 19 0 254212627 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 13158 2269 9 0 2396937 0
[pid=26260/tid=26262] ppid=26258 vsize=9624976 CPUtime=6.01 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26258 26260 24862 0 -1 4202560 2477 0 1 0 599 2 0 0 20 0 19 0 254212628 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729892413728 139729731746169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26263] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26263/stat : 26263 (java) S 26258 26260 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729853905448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26264] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26264/stat : 26264 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729852852648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26265] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26258 26260 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729851799848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26266] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26258 26260 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729850747048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26258 26260 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729731316776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26268] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26258 26260 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729730263976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26269] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26258 26260 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729729211176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26270] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26258 26260 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254212629 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729728158376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26271] ppid=26258 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26258 26260 24862 0 -1 4202560 31 0 0 0 19 0 0 0 20 0 19 0 254212631 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729715960296 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26272] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26258 26260 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729110557944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26273] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26258 26260 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729109505032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26274] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26274/stat : 26274 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729108453520 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26275] ppid=26258 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26258 26260 24862 0 -1 4202560 2098 0 0 0 27 0 0 0 20 0 19 0 254212633 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729107401656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26276] ppid=26258 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26258 26260 24862 0 -1 4202560 4909 0 0 0 30 2 0 0 20 0 19 0 254212633 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729106348856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26277] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26277/stat : 26277 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729105296248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26278] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26278/stat : 26278 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212634 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729104243656 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26279] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26279/stat : 26279 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212643 9855975424 13158 33554432000 1073741824 1073778376 140735928117584 139729103189160 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9624976

[startup+12.7027 s]

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

[pid=26260/tid=26275] ppid=26258 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26258 26260 24862 0 -1 4202560 2868 0 0 0 35 0 0 0 20 0 19 0 254212633 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729107401656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26276] ppid=26258 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26258 26260 24862 0 -1 4202560 4930 0 0 0 32 2 0 0 20 0 19 0 254212633 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729106348856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26277] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26277/stat : 26277 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729105296248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26278] ppid=26258 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/26260/task/26278/stat : 26278 (java) S 26258 26260 24862 0 -1 4202560 97 0 0 0 26 27 0 0 20 0 19 0 254212634 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729104243656 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26279] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26279/stat : 26279 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212643 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729103189160 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1730.14
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 26433
/proc/meminfo: memFree=28893052/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=1790.18 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 14686 0 1 0 178959 59 0 0 20 0 19 0 254212627 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 40535 2270 9 0 2396937 0
[pid=26260/tid=26262] ppid=26258 vsize=9624976 CPUtime=1762.12 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26258 26260 24862 0 -1 4202560 2985 0 1 0 176182 30 0 0 20 0 19 0 254212628 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729892413728 139729731750446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26263] ppid=26258 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/26260/task/26263/stat : 26263 (java) S 26258 26260 24862 0 -1 4202560 286 0 0 0 118 2 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729853905448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26264] ppid=26258 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/26260/task/26264/stat : 26264 (java) S 26258 26260 24862 0 -1 4202560 276 0 0 0 130 3 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729852852648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26265] ppid=26258 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26258 26260 24862 0 -1 4202560 350 0 0 0 120 3 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729851799848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26266] ppid=26258 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26258 26260 24862 0 -1 4202560 274 0 0 0 125 2 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729850747048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26258 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26258 26260 24862 0 -1 4202560 374 0 0 0 126 3 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729731316776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26268] ppid=26258 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26258 26260 24862 0 -1 4202560 349 0 0 0 131 2 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729730263976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26269] ppid=26258 vsize=9624976 CPUtime=1.32 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26258 26260 24862 0 -1 4202560 292 0 0 0 128 4 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729729211176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26270] ppid=26258 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26258 26260 24862 0 -1 4202560 265 0 0 0 114 2 0 0 20 0 19 0 254212629 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729728158376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26271] ppid=26258 vsize=9624976 CPUtime=12.28 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26258 26260 24862 0 -1 4202560 155 0 0 0 1224 4 0 0 20 0 19 0 254212631 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729715960296 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26272] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26258 26260 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729110557944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26273] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26258 26260 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729109505032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26274] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26274/stat : 26274 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729108453520 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26275] ppid=26258 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26258 26260 24862 0 -1 4202560 2868 0 0 0 35 0 0 0 20 0 19 0 254212633 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729107401656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26276] ppid=26258 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26258 26260 24862 0 -1 4202560 4930 0 0 0 32 2 0 0 20 0 19 0 254212633 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729106348856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26277] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26277/stat : 26277 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729105296248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26278] ppid=26258 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/26260/task/26278/stat : 26278 (java) S 26258 26260 24862 0 -1 4202560 101 0 0 0 27 28 0 0 20 0 19 0 254212634 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729104243656 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26279] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26279/stat : 26279 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212643 9855975424 40535 33554432000 1073741824 1073778376 140735928117584 139729103189160 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1790.18
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.1 s]
/proc/loadavg: 2.11 2.03 2.01 3/213 26433
/proc/meminfo: memFree=28891128/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 14690 0 1 0 179948 59 0 0 20 0 19 0 254212627 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 41047 2270 9 0 2396937 0
[pid=26260/tid=26262] ppid=26258 vsize=9624976 CPUtime=1771.8 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26258 26260 24862 0 -1 4202560 2987 0 1 0 177149 31 0 0 20 0 19 0 254212628 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729892413728 139729731750960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26263] ppid=26258 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/26260/task/26263/stat : 26263 (java) S 26258 26260 24862 0 -1 4202560 286 0 0 0 121 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729853905448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26264] ppid=26258 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/26260/task/26264/stat : 26264 (java) S 26258 26260 24862 0 -1 4202560 276 0 0 0 132 3 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729852852648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26265] ppid=26258 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26258 26260 24862 0 -1 4202560 350 0 0 0 122 3 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729851799848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26266] ppid=26258 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26258 26260 24862 0 -1 4202560 274 0 0 0 127 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729850747048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26258 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26258 26260 24862 0 -1 4202560 374 0 0 0 128 3 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729731316776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26268] ppid=26258 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26258 26260 24862 0 -1 4202560 349 0 0 0 132 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729730263976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26269] ppid=26258 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26258 26260 24862 0 -1 4202560 292 0 0 0 129 4 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729729211176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26270] ppid=26258 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26258 26260 24862 0 -1 4202560 265 0 0 0 115 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729728158376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26271] ppid=26258 vsize=9624976 CPUtime=12.35 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26258 26260 24862 0 -1 4202560 157 0 0 0 1231 4 0 0 20 0 19 0 254212631 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729715960296 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26272] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26258 26260 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729110557944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26273] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26258 26260 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729109505032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26274] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26274/stat : 26274 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729108453520 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26275] ppid=26258 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26258 26260 24862 0 -1 4202560 2868 0 0 0 35 0 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729107401656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26276] ppid=26258 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26258 26260 24862 0 -1 4202560 4930 0 0 0 32 2 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729106348856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26277] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26277/stat : 26277 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729105296248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26278] ppid=26258 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/26260/task/26278/stat : 26278 (java) S 26258 26260 24862 0 -1 4202560 101 0 0 0 27 28 0 0 20 0 19 0 254212634 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729104243656 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26279] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26279/stat : 26279 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212643 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729103189160 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

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

Solver just ended. Dumping a history of the last processes samples

[startup+1792.1 s]
/proc/loadavg: 2.11 2.03 2.01 3/213 26433
/proc/meminfo: memFree=28891128/32873844 swapFree=7364/7364
[pid=26260] ppid=26258 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26258 26260 24862 0 -1 4202496 14690 0 1 0 179948 59 0 0 20 0 19 0 254212627 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 140735928108720 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26260/statm: 2406244 41047 2270 9 0 2396937 0
[pid=26260/tid=26262] ppid=26258 vsize=9624976 CPUtime=1771.8 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26258 26260 24862 0 -1 4202560 2987 0 1 0 177149 31 0 0 20 0 19 0 254212628 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729892413728 139729731750960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26263] ppid=26258 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/26260/task/26263/stat : 26263 (java) S 26258 26260 24862 0 -1 4202560 286 0 0 0 121 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729853905448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26264] ppid=26258 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/26260/task/26264/stat : 26264 (java) S 26258 26260 24862 0 -1 4202560 276 0 0 0 132 3 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729852852648 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26265] ppid=26258 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26258 26260 24862 0 -1 4202560 350 0 0 0 122 3 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729851799848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26266] ppid=26258 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26258 26260 24862 0 -1 4202560 274 0 0 0 127 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729850747048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26258 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26258 26260 24862 0 -1 4202560 374 0 0 0 128 3 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729731316776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26268] ppid=26258 vsize=9624976 CPUtime=1.34 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26258 26260 24862 0 -1 4202560 349 0 0 0 132 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729730263976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26269] ppid=26258 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26258 26260 24862 0 -1 4202560 292 0 0 0 129 4 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729729211176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26270] ppid=26258 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26258 26260 24862 0 -1 4202560 265 0 0 0 115 2 0 0 20 0 19 0 254212629 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729728158376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26271] ppid=26258 vsize=9624976 CPUtime=12.35 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26258 26260 24862 0 -1 4202560 157 0 0 0 1231 4 0 0 20 0 19 0 254212631 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729715960296 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26272] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26258 26260 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729110557944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26273] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26258 26260 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254212631 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729109505032 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26274] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26274/stat : 26274 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729108453520 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26275] ppid=26258 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26258 26260 24862 0 -1 4202560 2868 0 0 0 35 0 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729107401656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26276] ppid=26258 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26258 26260 24862 0 -1 4202560 4930 0 0 0 32 2 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729106348856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26277] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26277/stat : 26277 (java) S 26258 26260 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254212633 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729105296248 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26278] ppid=26258 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/26260/task/26278/stat : 26278 (java) S 26258 26260 24862 0 -1 4202560 101 0 0 0 27 28 0 0 20 0 19 0 254212634 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729104243656 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26279] ppid=26258 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26279/stat : 26279 (java) S 26258 26260 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254212643 9855975424 41047 33554432000 1073741824 1073778376 140735928117584 139729103189160 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26260 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=8117
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=2847
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.15
CPU time (s): 1800.07
CPU user time (s): 1799.48
CPU system time (s): 0.59
CPU usage (%): 100.442
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 1.00285
maximum resident set size= 164348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14733
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51971
involuntary context switches= 33317

runsolver used 6.50001 second user time and 14.5928 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-24 19:34:43
IDJOB=3688213
IDBENCH=2902
IDSOLVER=2269
FILE ID=node145/3688213-1337880883
RUNJOBID= node145-1337871881-24879
PBS_JOBID= 14620059
Free space on /tmp= 71648 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688213-1337880883/watcher-3688213-1337880883 -o /tmp/evaluation-result-3688213-1337880883/solver-3688213-1337880883 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688213-1337880883.opb

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=1085669023

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28929452 kB
Buffers:          211596 kB
Cached:          2681908 kB
SwapCached:            0 kB
Active:           711980 kB
Inactive:        2464180 kB
Active(anon):     285108 kB
Inactive(anon):        0 kB
Active(file):     426872 kB
Inactive(file):  2464180 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               432 kB
Writeback:             0 kB
AnonPages:        289404 kB
Mapped:            22532 kB
Shmem:               200 kB
Slab:             630124 kB
SReclaimable:      72628 kB
SUnreclaim:       557496 kB
KernelStack:        1600 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     824796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71652 MiB
End job on node145 at 2012-05-24 20:04:37