Trace number 4119238

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-202 1800.08 1778.24

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.opb
MD5SUM5d740964d672a9744d95cba9556655c4
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-270
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 882
Biggest coefficient in the objective function 34
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 13140
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 13140
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)832
Sum of products size (including duplicates)2444
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4119238-1467252073.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.27/0.22	c ... done. Wall clock time 0.122s.
0.27/0.22	c declared #vars     50
0.27/0.22	c internal #vars     882
0.27/0.22	c #constraints  1664
0.27/0.22	c constraints type 
0.27/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 832
0.27/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 832
0.27/0.22	c 1664 constraints processed.
0.27/0.22	c objective function length is 882 literals
0.27/0.24	c SATISFIABLE
0.27/0.24	c OPTIMIZING...
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.142
0.27/0.24	o -55
0.27/0.27	c Got one! Elapsed wall clock time (in seconds):0.166
0.27/0.27	o -57
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.19
0.27/0.29	o -58
1.02/0.50	c Got one! Elapsed wall clock time (in seconds):0.4
1.02/0.50	o -67
1.02/0.51	c Got one! Elapsed wall clock time (in seconds):0.406
1.02/0.51	o -89
1.02/0.51	c Got one! Elapsed wall clock time (in seconds):0.41
1.02/0.51	o -91
1.02/0.51	c Got one! Elapsed wall clock time (in seconds):0.415
1.02/0.51	o -92
1.02/0.58	c Got one! Elapsed wall clock time (in seconds):0.484
1.02/0.58	o -93
1.15/0.66	c Got one! Elapsed wall clock time (in seconds):0.555
1.15/0.66	o -94
1.30/0.73	c Got one! Elapsed wall clock time (in seconds):0.627
1.30/0.73	o -113
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.666
1.30/0.77	o -115
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.669
1.30/0.77	o -123
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.671
1.30/0.77	o -125
1.30/0.77	c Got one! Elapsed wall clock time (in seconds):0.675
1.30/0.77	o -126
1.48/0.85	c Got one! Elapsed wall clock time (in seconds):0.748
1.48/0.85	o -127
1.64/0.92	c Got one! Elapsed wall clock time (in seconds):0.823
1.64/0.92	o -128
1.64/0.99	c Got one! Elapsed wall clock time (in seconds):0.893
1.64/0.99	o -129
1.89/1.11	c Got one! Elapsed wall clock time (in seconds):1.007
1.89/1.11	o -130
1.89/1.18	c Got one! Elapsed wall clock time (in seconds):1.077
1.89/1.18	o -132
1.89/1.18	c Got one! Elapsed wall clock time (in seconds):1.079
1.89/1.18	o -133
1.89/1.18	c Got one! Elapsed wall clock time (in seconds):1.081
1.89/1.18	o -135
1.89/1.18	c Got one! Elapsed wall clock time (in seconds):1.082
1.89/1.18	o -136
2.43/1.67	c cleaning 5631 clauses out of 11263 with flag 8027/11263
2.56/1.77	c Got one! Elapsed wall clock time (in seconds):1.674
2.56/1.77	o -137
2.66/1.89	c Got one! Elapsed wall clock time (in seconds):1.795
2.66/1.89	o -138
2.66/1.90	c Got one! Elapsed wall clock time (in seconds):1.797
2.66/1.90	o -139
2.76/1.90	c Got one! Elapsed wall clock time (in seconds):1.798
2.76/1.90	o -140
2.76/1.94	c Got one! Elapsed wall clock time (in seconds):1.836
2.76/1.94	o -141
2.76/1.94	c Got one! Elapsed wall clock time (in seconds):1.838
2.76/1.94	o -142
2.96/2.20	c Got one! Elapsed wall clock time (in seconds):2.099
2.96/2.20	o -143
3.17/2.33	c cleaning 5903 clauses out of 11810 with flag 2001/17441
3.76/2.96	c cleaning 5950 clauses out of 11908 with flag 14003/23442
3.76/2.96	c Got one! Elapsed wall clock time (in seconds):2.862
3.76/2.96	o -144
4.28/3.47	c cleaning 5488 clauses out of 10977 with flag 10034/28461
4.68/3.85	c Got one! Elapsed wall clock time (in seconds):3.751
4.68/3.85	o -145
4.78/3.97	c Got one! Elapsed wall clock time (in seconds):3.871
4.78/3.97	o -147
4.88/4.06	c Got one! Elapsed wall clock time (in seconds):3.96
4.88/4.06	o -148
4.88/4.06	c Got one! Elapsed wall clock time (in seconds):3.962
4.88/4.06	o -149
4.88/4.06	c Got one! Elapsed wall clock time (in seconds):3.963
4.88/4.06	o -150
4.98/4.19	c cleaning 6140 clauses out of 12282 with flag 2016/35254
5.68/4.82	c cleaning 6068 clauses out of 12142 with flag 14028/41254
6.38/5.57	c cleaning 6535 clauses out of 13074 with flag 28028/48254
6.87/6.06	c Got one! Elapsed wall clock time (in seconds):5.96
6.87/6.06	o -151
7.01/6.18	c cleaning 6177 clauses out of 12356 with flag 2003/54071
7.01/6.18	c Got one! Elapsed wall clock time (in seconds):6.079
7.01/6.18	o -152
7.52/6.69	c cleaning 5601 clauses out of 11206 with flag 10004/59098
7.72/6.85	c Got one! Elapsed wall clock time (in seconds):6.748
7.72/6.85	o -153
7.92/7.06	c Got one! Elapsed wall clock time (in seconds):6.965
7.92/7.06	o -154
7.92/7.09	c Got one! Elapsed wall clock time (in seconds):6.995
7.92/7.09	o -155
7.92/7.10	c Got one! Elapsed wall clock time (in seconds):6.997
7.92/7.10	o -156
8.22/7.32	c cleaning 5893 clauses out of 11795 with flag 4056/65288
8.82/7.93	c cleaning 5948 clauses out of 11901 with flag 16054/71287
9.12/8.21	c Got one! Elapsed wall clock time (in seconds):8.105
9.12/8.21	o -158
9.42/8.52	c cleaning 5897 clauses out of 11793 with flag 6042/77127
10.02/9.14	c cleaning 5943 clauses out of 11894 with flag 18038/83125
10.72/9.87	c cleaning 6475 clauses out of 12951 with flag 32038/90125
11.62/10.73	c cleaning 7234 clauses out of 14477 with flag 48040/98126
12.62/11.72	c cleaning 8116 clauses out of 16242 with flag 66038/107125
13.69/12.76	c Got one! Elapsed wall clock time (in seconds):12.655
13.69/12.76	o -159
14.39/13.47	c cleaning 11177 clauses out of 22358 with flag 10001/121357
15.09/14.19	c cleaning 8588 clauses out of 17182 with flag 22003/127358
15.89/14.96	c cleaning 7794 clauses out of 15593 with flag 36001/134357
16.79/15.82	c cleaning 7895 clauses out of 15800 with flag 52003/142358
17.79/16.80	c cleaning 8451 clauses out of 16904 with flag 70001/151357
18.60/17.66	c Got one! Elapsed wall clock time (in seconds):17.555
18.60/17.66	o -160
19.29/18.35	c cleaning 10673 clauses out of 21355 with flag 10055/164259
20.01/19.02	c Got one! Elapsed wall clock time (in seconds):18.924
20.01/19.02	o -162
20.49/19.40	c Got one! Elapsed wall clock time (in seconds):19.302
20.49/19.40	o -164
20.49/19.48	c Got one! Elapsed wall clock time (in seconds):19.38
20.49/19.48	o -166
20.99/19.92	c cleaning 11399 clauses out of 22810 with flag 6011/176387
21.69/20.64	c cleaning 8703 clauses out of 17411 with flag 18011/182387
22.49/21.40	c cleaning 7854 clauses out of 15709 with flag 32013/189388
23.29/22.29	c cleaning 7924 clauses out of 15854 with flag 48011/197387
24.29/23.28	c cleaning 8463 clauses out of 16929 with flag 66009/206386
25.49/24.41	c cleaning 9231 clauses out of 18467 with flag 86011/216387
26.79/25.70	c cleaning 10114 clauses out of 20235 with flag 108009/227386
27.55/26.50	c Got one! Elapsed wall clock time (in seconds):26.4
27.55/26.50	o -168
28.24/27.15	c cleaning 10976 clauses out of 21955 with flag 10001/239220
28.94/27.83	c cleaning 8487 clauses out of 16979 with flag 22001/245220
29.75/28.61	c cleaning 7741 clauses out of 15493 with flag 36003/252221
30.54/29.49	c cleaning 7873 clauses out of 15751 with flag 52001/260220
31.64/30.50	c cleaning 8435 clauses out of 16878 with flag 70001/269220
32.74/31.62	c cleaning 9222 clauses out of 18444 with flag 90003/279221
34.15/32.93	c cleaning 10109 clauses out of 20221 with flag 112001/290220
35.55/34.38	c cleaning 11053 clauses out of 22113 with flag 136003/302221
37.15/35.95	c cleaning 12028 clauses out of 24059 with flag 162001/315220
38.95/37.76	c cleaning 13016 clauses out of 26032 with flag 190003/329221
41.05/39.80	c cleaning 14001 clauses out of 28016 with flag 220003/344221
43.34/42.08	c cleaning 15006 clauses out of 30014 with flag 252001/360220
45.74/44.44	c cleaning 16003 clauses out of 32009 with flag 286003/377221
48.34/47.09	c cleaning 16996 clauses out of 34005 with flag 322001/395220
51.25/49.82	c cleaning 18004 clauses out of 36010 with flag 360003/414221
52.16/50.74	c Got one! Elapsed wall clock time (in seconds):50.641
52.16/50.74	o -171
52.85/51.49	c cleaning 15326 clauses out of 30652 with flag 10006/426867
53.45/52.01	c Got one! Elapsed wall clock time (in seconds):51.913
53.45/52.01	o -172
53.55/52.16	c cleaning 10491 clauses out of 20993 with flag 2026/432534
54.26/52.81	c cleaning 8247 clauses out of 16501 with flag 14105/438533
54.95/53.56	c cleaning 7627 clauses out of 15255 with flag 28107/445534
55.75/54.38	c cleaning 7808 clauses out of 15628 with flag 44107/453534
55.95/54.55	c Got one! Elapsed wall clock time (in seconds):54.447
55.95/54.55	o -173
56.53/55.02	c cleaning 6808 clauses out of 13629 with flag 8003/459343
57.13/55.63	c cleaning 6404 clauses out of 12821 with flag 20003/465343
57.83/56.38	c cleaning 6704 clauses out of 13416 with flag 34001/472342
58.73/57.26	c cleaning 7352 clauses out of 14712 with flag 50001/480342
59.73/58.24	c cleaning 8179 clauses out of 16360 with flag 68001/489342
60.83/59.40	c cleaning 9092 clauses out of 18183 with flag 88005/499344
62.13/60.68	c cleaning 10040 clauses out of 20090 with flag 110003/510343
63.69/62.18	c cleaning 11025 clauses out of 22050 with flag 134003/522343
65.29/63.80	c cleaning 12011 clauses out of 24024 with flag 160001/535342
67.09/65.58	c cleaning 13003 clauses out of 26013 with flag 188001/549342
69.28/67.65	c cleaning 14000 clauses out of 28011 with flag 218003/564343
71.58/69.92	c cleaning 15003 clauses out of 30011 with flag 250003/580343
73.98/72.34	c cleaning 16004 clauses out of 32007 with flag 284001/597342
76.18/74.52	c Got one! Elapsed wall clock time (in seconds):74.415
76.18/74.52	o -174
76.68/74.99	c Got one! Elapsed wall clock time (in seconds):74.886
76.68/74.99	o -175
76.87/75.10	c Got one! Elapsed wall clock time (in seconds):74.999
76.87/75.10	o -176
77.37/75.68	c cleaning 19147 clauses out of 38300 with flag 6033/619639
78.17/76.47	c cleaning 12575 clauses out of 25153 with flag 18033/625639
78.97/77.28	c cleaning 9784 clauses out of 19578 with flag 32033/632639
79.97/78.21	c cleaning 8895 clauses out of 17795 with flag 48035/640640
80.47/78.73	c Got one! Elapsed wall clock time (in seconds):78.631
80.47/78.73	o -177
81.07/79.34	c cleaning 9462 clauses out of 18935 with flag 10004/650675
81.67/79.97	c cleaning 7733 clauses out of 15474 with flag 22006/656676
82.47/80.71	c cleaning 7365 clauses out of 14741 with flag 36006/663676
82.74/80.98	c Got one! Elapsed wall clock time (in seconds):80.877
82.74/80.98	o -178
83.14/81.30	c cleaning 6487 clauses out of 12980 with flag 6020/669280
83.74/81.92	c cleaning 6242 clauses out of 12493 with flag 18021/675280
84.44/82.62	c cleaning 6622 clauses out of 13251 with flag 32021/682280
85.24/83.47	c cleaning 7312 clauses out of 14629 with flag 48021/690280
86.23/84.45	c cleaning 8158 clauses out of 16318 with flag 66023/699281
87.43/85.60	c cleaning 9074 clauses out of 18159 with flag 86021/709280
88.79/86.93	c cleaning 10040 clauses out of 20085 with flag 108021/720280
90.18/88.36	c cleaning 11021 clauses out of 22046 with flag 132023/732281
91.88/90.00	c cleaning 12008 clauses out of 24024 with flag 158021/745280
93.68/91.82	c cleaning 13006 clauses out of 26017 with flag 186023/759281
95.90/94.00	c cleaning 14005 clauses out of 28011 with flag 216023/774281
98.20/96.31	c cleaning 15001 clauses out of 30005 with flag 248021/790280
100.89/98.94	c cleaning 16001 clauses out of 32004 with flag 282021/807280
103.69/101.74	c cleaning 16998 clauses out of 34003 with flag 318021/825280
106.59/104.68	c cleaning 17999 clauses out of 36005 with flag 356021/844280
110.00/107.96	c cleaning 18999 clauses out of 38006 with flag 396021/864280
113.59/111.56	c cleaning 20000 clauses out of 40007 with flag 438021/885280
117.47/115.36	c cleaning 21000 clauses out of 42007 with flag 482021/907280
121.47/119.34	c cleaning 21998 clauses out of 44007 with flag 528021/930280
125.48/123.35	c cleaning 23004 clauses out of 46010 with flag 576023/954281
126.37/124.26	c Got one! Elapsed wall clock time (in seconds):124.158
126.37/124.26	o -179
127.27/125.11	c cleaning 17214 clauses out of 34441 with flag 10001/965716
127.97/125.90	c cleaning 11607 clauses out of 23227 with flag 22001/971716
128.90/126.75	c cleaning 9305 clauses out of 18621 with flag 36003/978717
129.80/127.68	c cleaning 8651 clauses out of 17315 with flag 52170/986716
130.80/128.67	c cleaning 8824 clauses out of 17664 with flag 70378/995716
132.00/129.85	c cleaning 9421 clauses out of 18841 with flag 90582/1005717
133.39/131.21	c cleaning 10206 clauses out of 20420 with flag 112757/1016717
134.92/132.73	c cleaning 11103 clauses out of 22214 with flag 136757/1028717
136.62/134.42	c cleaning 12050 clauses out of 24110 with flag 162878/1041716
138.42/136.25	c cleaning 13028 clauses out of 26061 with flag 191143/1055717
140.53/138.33	c cleaning 14015 clauses out of 28032 with flag 221251/1070716
142.83/140.62	c cleaning 15003 clauses out of 30018 with flag 253286/1086717
145.27/143.07	c cleaning 16005 clauses out of 32015 with flag 287409/1103717
147.97/145.78	c cleaning 16998 clauses out of 34009 with flag 323763/1121716
151.00/148.72	c cleaning 18004 clauses out of 36012 with flag 361898/1140717
154.10/151.83	c cleaning 19004 clauses out of 38007 with flag 402363/1160716
157.73/155.42	c cleaning 20000 clauses out of 40004 with flag 444569/1181717
161.43/159.11	c cleaning 21000 clauses out of 42004 with flag 489079/1203717
165.25/162.99	c cleaning 21996 clauses out of 44003 with flag 535719/1226716
169.48/167.19	c cleaning 23003 clauses out of 46008 with flag 584394/1250717
174.00/171.64	c cleaning 23999 clauses out of 48004 with flag 634764/1275716
177.83/175.43	c Got one! Elapsed wall clock time (in seconds):175.327
177.83/175.43	o -180
179.03/176.69	c cleaning 25772 clauses out of 51557 with flag 10002/1303268
180.03/177.64	c cleaning 15885 clauses out of 31786 with flag 22004/1309269
181.10/178.62	c cleaning 11440 clauses out of 22900 with flag 36002/1316268
181.60/179.20	c Got one! Elapsed wall clock time (in seconds):179.095
181.60/179.20	o -181
182.00/179.53	c Got one! Elapsed wall clock time (in seconds):179.435
182.00/179.53	o -182
182.40/179.97	c cleaning 11086 clauses out of 22187 with flag 6052/1326995
183.10/180.68	c cleaning 8544 clauses out of 17100 with flag 18115/1332994
183.90/181.48	c cleaning 7773 clauses out of 15557 with flag 32207/1339995
184.81/182.34	c cleaning 7889 clauses out of 15784 with flag 48314/1347995
185.80/183.30	c cleaning 8445 clauses out of 16895 with flag 66418/1356995
186.40/183.99	c Got one! Elapsed wall clock time (in seconds):183.887
186.40/183.99	o -183
187.10/184.61	c cleaning 10060 clauses out of 20128 with flag 10004/1368673
187.70/185.26	c cleaning 8030 clauses out of 16068 with flag 22134/1374673
188.53/186.01	c cleaning 7511 clauses out of 15038 with flag 36320/1381673
189.03/186.54	c Got one! Elapsed wall clock time (in seconds):186.441
189.03/186.54	o -184
189.63/187.13	c cleaning 9043 clauses out of 18086 with flag 10120/1392232
190.23/187.76	c cleaning 7519 clauses out of 15043 with flag 22327/1398232
190.93/188.48	c cleaning 7252 clauses out of 14523 with flag 36556/1405231
191.84/189.32	c cleaning 7630 clauses out of 15272 with flag 52709/1413232
192.73/190.25	c cleaning 8321 clauses out of 16642 with flag 70849/1422232
193.83/191.35	c cleaning 9157 clauses out of 18320 with flag 90983/1432231
195.15/192.62	c cleaning 10079 clauses out of 20164 with flag 113108/1443232
196.54/194.05	c cleaning 11037 clauses out of 22084 with flag 137247/1455231
198.14/195.62	c cleaning 12019 clauses out of 24048 with flag 163250/1468232
199.85/197.39	c cleaning 13013 clauses out of 26029 with flag 191482/1482232
201.85/199.36	c cleaning 14007 clauses out of 28015 with flag 221841/1497231
204.06/201.58	c cleaning 14999 clauses out of 30008 with flag 254151/1513231
206.55/204.00	c cleaning 16002 clauses out of 32010 with flag 288588/1530232
209.27/206.73	c cleaning 16999 clauses out of 34008 with flag 325086/1548232
212.08/209.58	c cleaning 17999 clauses out of 36008 with flag 363383/1567231
215.08/212.58	c cleaning 19003 clauses out of 38010 with flag 403657/1587232
218.41/215.83	c cleaning 19999 clauses out of 40006 with flag 445988/1608231
221.93/219.36	c cleaning 21002 clauses out of 42007 with flag 489990/1630231
225.66/223.07	c cleaning 22000 clauses out of 44005 with flag 536616/1653231
229.99/227.34	c cleaning 23003 clauses out of 46006 with flag 585243/1677232
230.59/227.91	c Got one! Elapsed wall clock time (in seconds):227.81
230.59/227.91	o -186
230.89/228.28	c cleaning 14474 clauses out of 28955 with flag 4003/1683184
231.69/229.04	c cleaning 10236 clauses out of 20481 with flag 16003/1689184
232.49/229.87	c cleaning 8619 clauses out of 17245 with flag 30003/1696184
233.41/230.79	c cleaning 8303 clauses out of 16625 with flag 46001/1704183
234.51/231.84	c cleaning 8660 clauses out of 17322 with flag 64001/1713183
235.71/233.02	c cleaning 9327 clauses out of 18662 with flag 84001/1723183
237.04/234.35	c cleaning 10165 clauses out of 20336 with flag 106003/1734184
238.53/235.82	c cleaning 11079 clauses out of 22170 with flag 130001/1746183
240.28/237.51	c cleaning 12040 clauses out of 24091 with flag 156001/1759183
242.08/239.38	c cleaning 13021 clauses out of 26051 with flag 184001/1773183
244.20/241.45	c cleaning 14010 clauses out of 28030 with flag 214001/1788183
246.54/243.79	c cleaning 15008 clauses out of 30020 with flag 246001/1804183
249.04/246.26	c cleaning 16005 clauses out of 32012 with flag 280001/1821183
251.75/248.94	c cleaning 17003 clauses out of 34008 with flag 316003/1839184
254.67/251.86	c cleaning 17996 clauses out of 36005 with flag 354003/1858184
258.00/255.12	c cleaning 19001 clauses out of 38010 with flag 394005/1878185
261.57/258.68	c cleaning 19997 clauses out of 40007 with flag 436001/1899183
265.18/262.29	c cleaning 21001 clauses out of 42010 with flag 480001/1921183
269.53/266.50	c cleaning 22000 clauses out of 44009 with flag 526001/1944183
273.68/270.66	c cleaning 23000 clauses out of 46010 with flag 574003/1968184
278.22/275.18	c cleaning 24001 clauses out of 48010 with flag 624003/1993184
283.36/280.22	c cleaning 25000 clauses out of 50008 with flag 676001/2019183
288.64/285.48	c cleaning 26004 clauses out of 52009 with flag 730003/2046184
294.29/291.04	c cleaning 26999 clauses out of 54005 with flag 786003/2074184
300.16/296.87	c cleaning 27998 clauses out of 56005 with flag 844001/2103183
306.29/302.91	c cleaning 29002 clauses out of 58008 with flag 904010/2133184
312.47/309.03	c cleaning 30000 clauses out of 60006 with flag 966032/2164184
319.09/315.64	c cleaning 31000 clauses out of 62005 with flag 1030030/2196183
322.22/318.76	c Got one! Elapsed wall clock time (in seconds):318.656
322.22/318.76	o -187
323.44/319.99	c cleaning 26511 clauses out of 53031 with flag 10002/2218209
324.44/320.93	c cleaning 16251 clauses out of 32520 with flag 22002/2224209
325.34/321.82	c cleaning 11629 clauses out of 23269 with flag 36002/2231209
326.24/322.70	c cleaning 9814 clauses out of 19640 with flag 52002/2239209
327.14/323.67	c cleaning 9406 clauses out of 18827 with flag 70004/2248210
328.25/324.77	c cleaning 9704 clauses out of 19420 with flag 90002/2258209
329.55/326.03	c cleaning 10352 clauses out of 20716 with flag 112002/2269209
330.95/327.43	c cleaning 11177 clauses out of 22365 with flag 136004/2281210
332.57/329.01	c cleaning 12089 clauses out of 24187 with flag 162002/2294209
334.36/330.82	c cleaning 13047 clauses out of 26098 with flag 190015/2308209
336.26/332.76	c cleaning 14026 clauses out of 28052 with flag 220022/2323210
337.57/334.03	c Got one! Elapsed wall clock time (in seconds):333.929
337.57/334.03	o -188
338.27/334.77	c cleaning 14429 clauses out of 28869 with flag 10069/2338053
338.97/335.49	c cleaning 10213 clauses out of 20440 with flag 22109/2344053
339.78/336.27	c cleaning 8604 clauses out of 17227 with flag 36160/2351053
340.68/337.12	c cleaning 8302 clauses out of 16623 with flag 52160/2359053
341.58/338.07	c cleaning 8656 clauses out of 17321 with flag 70160/2368053
342.71/339.17	c cleaning 9331 clauses out of 18666 with flag 90162/2378054
344.01/340.41	c cleaning 10161 clauses out of 20334 with flag 112160/2389053
345.25/341.64	c Got one! Elapsed wall clock time (in seconds):341.536
345.25/341.64	o -189
345.95/342.36	c cleaning 12939 clauses out of 25888 with flag 10004/2404768
346.66/343.04	c cleaning 9472 clauses out of 18949 with flag 22004/2410768
347.37/343.78	c cleaning 8235 clauses out of 16478 with flag 36006/2417769
348.28/344.63	c cleaning 8115 clauses out of 16242 with flag 52004/2425768
349.19/345.55	c cleaning 8558 clauses out of 17128 with flag 70006/2434769
350.19/346.59	c Got one! Elapsed wall clock time (in seconds):346.486
350.19/346.59	o -190
350.88/347.25	c cleaning 11527 clauses out of 23057 with flag 10316/2449256
351.59/347.94	c cleaning 8763 clauses out of 17530 with flag 22686/2455256
352.29/348.65	c cleaning 7880 clauses out of 15767 with flag 36788/2462256
353.10/349.49	c cleaning 7937 clauses out of 15888 with flag 52790/2470257
354.10/350.43	c cleaning 8476 clauses out of 16951 with flag 70790/2479257
355.20/351.51	c cleaning 9234 clauses out of 18474 with flag 90788/2489256
356.42/352.77	c cleaning 10120 clauses out of 20241 with flag 112790/2500257
357.93/354.20	c cleaning 11051 clauses out of 22120 with flag 136788/2512256
359.56/355.88	c cleaning 12035 clauses out of 24069 with flag 162788/2525256
361.39/357.68	c cleaning 13013 clauses out of 26034 with flag 190788/2539256
363.40/359.63	c cleaning 14009 clauses out of 28023 with flag 220792/2554258
365.72/361.91	c cleaning 15001 clauses out of 30013 with flag 252790/2570257
368.23/364.46	c cleaning 16004 clauses out of 32013 with flag 286792/2587258
371.16/367.38	c cleaning 17002 clauses out of 34007 with flag 322788/2605256
374.13/370.24	c cleaning 17999 clauses out of 36006 with flag 360790/2624257
377.25/373.37	c cleaning 19003 clauses out of 38006 with flag 400788/2644256
380.61/376.68	c cleaning 20000 clauses out of 40003 with flag 442788/2665256
384.49/380.44	c cleaning 21000 clauses out of 42003 with flag 486788/2687256
388.37/384.28	c cleaning 22002 clauses out of 44003 with flag 532788/2710256
392.82/388.62	c cleaning 22998 clauses out of 46002 with flag 580790/2734257
397.60/393.38	c cleaning 23997 clauses out of 48003 with flag 630788/2759256
402.32/398.03	c cleaning 25001 clauses out of 50007 with flag 682790/2785257
407.46/403.11	c cleaning 25999 clauses out of 52005 with flag 736788/2812256
412.82/408.44	c cleaning 26999 clauses out of 54006 with flag 792788/2840256
418.90/414.44	c cleaning 27998 clauses out of 56008 with flag 850790/2869257
425.05/420.51	c cleaning 29002 clauses out of 58009 with flag 910788/2899256
431.55/426.96	c cleaning 30001 clauses out of 60007 with flag 972788/2930256
438.01/433.36	c cleaning 30998 clauses out of 62006 with flag 1036788/2962256
444.93/440.15	c cleaning 32000 clauses out of 64009 with flag 1102790/2995257
451.88/447.06	c cleaning 32998 clauses out of 66008 with flag 1170789/3029256
459.48/454.59	c cleaning 34004 clauses out of 68010 with flag 1240789/3064256
465.10/460.02	c Got one! Elapsed wall clock time (in seconds):459.924
465.10/460.02	o -191
466.72/461.61	c cleaning 33249 clauses out of 66513 with flag 10003/3096763
467.71/462.63	c cleaning 19624 clauses out of 39264 with flag 22003/3102763
468.63/463.58	c cleaning 13309 clauses out of 26640 with flag 36003/3109763
469.63/464.53	c cleaning 10658 clauses out of 21331 with flag 52003/3117763
470.76/465.60	c cleaning 9828 clauses out of 19674 with flag 70005/3126764
471.98/466.80	c cleaning 9918 clauses out of 19845 with flag 90004/3136763
473.30/468.14	c cleaning 10458 clauses out of 20928 with flag 112006/3147764
474.70/469.58	c cleaning 11234 clauses out of 22470 with flag 136006/3159764
476.42/471.27	c cleaning 12117 clauses out of 24235 with flag 162028/3172763
478.25/473.05	c cleaning 13054 clauses out of 26119 with flag 190033/3186764
480.27/475.08	c cleaning 14030 clauses out of 28064 with flag 220682/3201763
482.59/477.31	c cleaning 15015 clauses out of 30035 with flag 253283/3217764
484.94/479.69	c cleaning 16007 clauses out of 32019 with flag 287885/3234763
487.64/482.38	c cleaning 17003 clauses out of 34013 with flag 324148/3252764
490.60/485.22	c cleaning 17999 clauses out of 36009 with flag 362357/3271763
493.64/488.22	c cleaning 19003 clauses out of 38011 with flag 402372/3291764
494.84/489.48	c Got one! Elapsed wall clock time (in seconds):489.38
494.84/489.48	o -192
495.77/490.33	c cleaning 16883 clauses out of 33780 with flag 10289/3306536
496.47/491.05	c cleaning 11446 clauses out of 22897 with flag 22570/3312536
497.28/491.82	c cleaning 9221 clauses out of 18452 with flag 37143/3319537
498.08/492.68	c cleaning 8613 clauses out of 17231 with flag 53144/3327537
499.08/493.65	c cleaning 8806 clauses out of 17618 with flag 71730/3336537
500.19/494.70	c Got one! Elapsed wall clock time (in seconds):494.598
500.19/494.70	o -193
500.91/495.42	c cleaning 11869 clauses out of 23752 with flag 10002/3351477
501.61/496.11	c cleaning 8934 clauses out of 17883 with flag 22005/3357477
502.41/496.92	c cleaning 7965 clauses out of 15949 with flag 36008/3364477
503.22/497.79	c cleaning 7985 clauses out of 15985 with flag 52011/3372478
504.23/498.78	c cleaning 8495 clauses out of 16999 with flag 70016/3381477
505.44/499.90	c cleaning 9247 clauses out of 18504 with flag 90017/3391477
506.67/501.16	c cleaning 10124 clauses out of 20258 with flag 112025/3402478
508.19/502.63	c cleaning 11066 clauses out of 22134 with flag 136026/3414478
509.82/504.23	c cleaning 12027 clauses out of 24067 with flag 162024/3427477
511.67/506.09	c cleaning 13020 clauses out of 26041 with flag 190026/3441478
513.77/508.12	c cleaning 14008 clauses out of 28020 with flag 220025/3456477
515.90/510.27	c cleaning 15000 clauses out of 30012 with flag 252030/3472477
518.47/512.72	c cleaning 16001 clauses out of 32012 with flag 286030/3489477
521.18/515.43	c cleaning 17002 clauses out of 34012 with flag 322033/3507478
524.04/518.28	c cleaning 18000 clauses out of 36009 with flag 360044/3526477
527.18/521.34	c cleaning 19001 clauses out of 38009 with flag 400054/3546477
530.41/524.55	c cleaning 20000 clauses out of 40008 with flag 442054/3567477
534.05/528.12	c cleaning 21000 clauses out of 42009 with flag 486060/3589478
538.16/532.22	c cleaning 22001 clauses out of 44008 with flag 532061/3612477
542.51/536.52	c cleaning 23001 clauses out of 46007 with flag 580063/3636477
546.75/540.75	c cleaning 24001 clauses out of 48006 with flag 630079/3661477
551.61/545.54	c cleaning 24995 clauses out of 50006 with flag 682110/3687478
557.07/550.94	c cleaning 25999 clauses out of 52010 with flag 736116/3714477
562.66/556.40	c cleaning 27001 clauses out of 54011 with flag 792147/3742477
568.45/562.12	c cleaning 28004 clauses out of 56010 with flag 850157/3771477
574.31/567.91	c cleaning 29000 clauses out of 58006 with flag 910175/3801477
580.60/574.17	c cleaning 30000 clauses out of 60007 with flag 972177/3832478
587.59/581.00	c cleaning 31001 clauses out of 62007 with flag 1036177/3864478
594.57/587.97	c cleaning 32001 clauses out of 64006 with flag 1102177/3897478
602.01/595.26	c cleaning 32997 clauses out of 66004 with flag 1170175/3931477
609.89/603.06	c cleaning 34002 clauses out of 68008 with flag 1240177/3966478
618.34/611.37	c cleaning 34998 clauses out of 70006 with flag 1312183/4002478
626.75/619.62	c cleaning 36000 clauses out of 72008 with flag 1386186/4039478
635.56/628.37	c cleaning 36999 clauses out of 74007 with flag 1462305/4077477
644.59/637.25	c cleaning 38000 clauses out of 76009 with flag 1540332/4116478
655.38/647.93	c cleaning 39000 clauses out of 78009 with flag 1620414/4156478
664.91/657.34	c cleaning 40000 clauses out of 80008 with flag 1702457/4197477
675.86/668.18	c cleaning 40998 clauses out of 82008 with flag 1786480/4239477
686.67/678.88	c cleaning 41999 clauses out of 84010 with flag 1872482/4282477
698.20/690.20	c cleaning 43000 clauses out of 86011 with flag 1960484/4326477
711.22/703.13	c cleaning 44006 clauses out of 88011 with flag 2050566/4371477
723.05/714.83	c cleaning 44997 clauses out of 90006 with flag 2142770/4417478
734.40/726.04	c cleaning 46001 clauses out of 92008 with flag 2236792/4464477
746.86/738.37	c cleaning 47004 clauses out of 94008 with flag 2332852/4512478
760.23/751.52	c cleaning 47998 clauses out of 96003 with flag 2430879/4561477
775.78/766.98	c cleaning 48999 clauses out of 98005 with flag 2530879/4611477
790.68/781.67	c cleaning 50001 clauses out of 100007 with flag 2632915/4662478
805.87/796.66	c cleaning 50997 clauses out of 102006 with flag 2736958/4714478
810.50/801.21	c Got one! Elapsed wall clock time (in seconds):801.11
810.50/801.21	o -195
812.26/803.00	c cleaning 38288 clauses out of 76583 with flag 10019/4740052
813.47/804.13	c cleaning 22142 clauses out of 44295 with flag 22024/4746052
814.46/805.12	c cleaning 14572 clauses out of 29153 with flag 36037/4753052
815.46/806.11	c cleaning 11287 clauses out of 22581 with flag 52045/4761052
816.49/807.18	c cleaning 10138 clauses out of 20294 with flag 70058/4770052
817.72/808.33	c cleaning 10072 clauses out of 20155 with flag 90080/4780051
819.05/809.64	c cleaning 10533 clauses out of 21083 with flag 112085/4791051
820.54/811.17	c cleaning 11276 clauses out of 22551 with flag 136087/4803052
822.17/812.80	c cleaning 12132 clauses out of 24274 with flag 162085/4816051
824.07/814.65	c cleaning 13069 clauses out of 26142 with flag 190085/4830051
826.33/816.81	c cleaning 14032 clauses out of 28074 with flag 220089/4845052
828.56/819.09	c cleaning 15021 clauses out of 30041 with flag 252090/4861051
829.39/819.84	c Got one! Elapsed wall clock time (in seconds):819.744
829.39/819.84	o -196
830.09/820.53	c cleaning 13173 clauses out of 26354 with flag 10048/4872385
830.79/821.22	c cleaning 9581 clauses out of 19181 with flag 22055/4878385
831.59/822.03	c cleaning 8292 clauses out of 16600 with flag 36057/4885385
832.40/822.88	c cleaning 8144 clauses out of 16307 with flag 52055/4893384
833.41/823.87	c cleaning 8577 clauses out of 17163 with flag 70057/4902384
834.51/824.95	c cleaning 9289 clauses out of 18587 with flag 90072/4912385
835.85/826.25	c cleaning 10145 clauses out of 20298 with flag 112072/4923385
837.34/827.71	c cleaning 11072 clauses out of 22152 with flag 136081/4935384
838.95/829.40	c cleaning 12038 clauses out of 24081 with flag 162093/4948385
840.88/831.20	c cleaning 13019 clauses out of 26043 with flag 190136/4962385
842.78/833.14	c cleaning 14006 clauses out of 28024 with flag 220175/4977385
844.89/835.27	c cleaning 15003 clauses out of 30018 with flag 252177/4993385
847.31/837.64	c cleaning 16003 clauses out of 32014 with flag 286183/5010384
849.94/840.22	c cleaning 17002 clauses out of 34012 with flag 322288/5028385
852.68/842.95	c cleaning 18000 clauses out of 36009 with flag 360299/5047384
855.60/845.88	c cleaning 19003 clauses out of 38011 with flag 400350/5067386
858.99/849.19	c cleaning 20000 clauses out of 40006 with flag 442374/5088384
862.51/852.62	c cleaning 20999 clauses out of 42006 with flag 486445/5110384
866.24/856.30	c cleaning 21999 clauses out of 44008 with flag 532573/5133385
870.51/860.45	c cleaning 23003 clauses out of 46009 with flag 580637/5157385
875.18/864.85	c cleaning 24003 clauses out of 48006 with flag 630646/5182385
880.04/869.66	c cleaning 24996 clauses out of 50002 with flag 682690/5208384
885.20/874.72	c cleaning 26000 clauses out of 52007 with flag 736705/5235385
890.35/879.88	c cleaning 26999 clauses out of 54007 with flag 792715/5263385
896.32/885.76	c cleaning 27999 clauses out of 56007 with flag 850715/5292384
903.12/892.43	c cleaning 28998 clauses out of 58009 with flag 910717/5322385
909.68/898.95	c cleaning 30006 clauses out of 60011 with flag 972717/5353385
916.05/905.21	c Got one! Elapsed wall clock time (in seconds):905.113
916.05/905.21	o -198
917.61/906.74	c cleaning 33074 clauses out of 66157 with flag 10014/5389537
918.64/907.70	c cleaning 19537 clauses out of 39083 with flag 22021/5395537
919.44/908.56	c cleaning 13267 clauses out of 26547 with flag 36046/5402538
920.36/909.49	c cleaning 10632 clauses out of 21280 with flag 52054/5410538
921.37/910.49	c cleaning 9817 clauses out of 19648 with flag 70075/5419538
922.57/911.63	c cleaning 9911 clauses out of 19830 with flag 90085/5429537
923.78/912.85	c cleaning 10458 clauses out of 20919 with flag 112087/5440537
925.21/914.23	c cleaning 11226 clauses out of 22461 with flag 136107/5452537
926.72/915.70	c cleaning 12116 clauses out of 24235 with flag 162180/5465537
928.33/917.39	c cleaning 13053 clauses out of 26119 with flag 190209/5479537
930.25/919.29	c cleaning 14032 clauses out of 28066 with flag 220229/5494537
932.47/921.43	c cleaning 15010 clauses out of 30034 with flag 252230/5510537
934.80/923.71	c cleaning 16011 clauses out of 32024 with flag 286238/5527537
937.44/926.37	c cleaning 17004 clauses out of 34014 with flag 322242/5545538
940.28/929.16	c cleaning 18004 clauses out of 36009 with flag 360240/5564537
943.42/932.22	c cleaning 18998 clauses out of 38006 with flag 400242/5584538
946.93/935.68	c cleaning 19999 clauses out of 40008 with flag 442242/5605538
950.75/939.31	c cleaning 21002 clauses out of 42009 with flag 486242/5627538
954.52/943.03	c cleaning 21999 clauses out of 44006 with flag 532240/5650537
958.45/947.00	c cleaning 23000 clauses out of 46007 with flag 580240/5674537
963.12/951.59	c cleaning 23999 clauses out of 48008 with flag 630243/5699538
968.11/956.45	c cleaning 25000 clauses out of 50009 with flag 682244/5725538
973.47/961.70	c cleaning 25999 clauses out of 52009 with flag 736246/5752538
978.93/967.19	c cleaning 26998 clauses out of 54010 with flag 792246/5780538
985.07/973.24	c cleaning 28002 clauses out of 56012 with flag 850246/5809538
991.33/979.40	c cleaning 29000 clauses out of 58009 with flag 910245/5839537
997.72/985.76	c cleaning 30004 clauses out of 60009 with flag 972296/5870537
1004.18/992.15	c cleaning 31000 clauses out of 62007 with flag 1036341/5902539
1011.36/999.25	c cleaning 31999 clauses out of 64005 with flag 1102340/5935537
1018.59/1006.39	c cleaning 33002 clauses out of 66007 with flag 1170357/5969538
1026.26/1013.90	c cleaning 33999 clauses out of 68005 with flag 1240393/6004538
1035.12/1022.64	c cleaning 35001 clauses out of 70006 with flag 1312397/6040538
1044.30/1031.77	c cleaning 35999 clauses out of 72005 with flag 1386457/6077538
1052.82/1040.10	c cleaning 36998 clauses out of 74005 with flag 1462533/6115537
1062.36/1049.58	c cleaning 38001 clauses out of 76008 with flag 1540578/6154538
1072.36/1059.43	c cleaning 39000 clauses out of 78007 with flag 1620578/6194538
1082.77/1069.77	c cleaning 39997 clauses out of 80006 with flag 1702602/6235537
1093.20/1080.07	c cleaning 41002 clauses out of 82010 with flag 1786695/6277538
1103.94/1090.68	c cleaning 41997 clauses out of 84007 with flag 1872763/6320537
1114.97/1101.59	c cleaning 42996 clauses out of 86010 with flag 1960791/6364537
1126.51/1112.90	c cleaning 44006 clauses out of 88015 with flag 2050848/6409538
1139.53/1125.87	c cleaning 45003 clauses out of 90008 with flag 2142940/6455537
1143.15/1129.40	c Got one! Elapsed wall clock time (in seconds):1129.305
1143.15/1129.40	o -199
1144.35/1130.70	c cleaning 32585 clauses out of 65184 with flag 10007/6475716
1145.36/1131.68	c cleaning 19290 clauses out of 38599 with flag 22017/6481716
1146.28/1132.59	c cleaning 13150 clauses out of 26309 with flag 36019/6488716
1147.29/1133.53	c cleaning 10572 clauses out of 21160 with flag 52028/6496717
1148.29/1134.59	c cleaning 9786 clauses out of 19586 with flag 70035/6505715
1149.50/1135.79	c cleaning 9896 clauses out of 19802 with flag 90044/6515717
1150.93/1137.15	c cleaning 10447 clauses out of 20905 with flag 112044/6526716
1152.37/1138.58	c cleaning 11228 clauses out of 22459 with flag 136059/6538717
1153.99/1140.19	c cleaning 12112 clauses out of 24230 with flag 162069/6551716
1155.96/1142.03	c cleaning 13056 clauses out of 26118 with flag 190080/6565716
1158.09/1144.12	c cleaning 14027 clauses out of 28062 with flag 220091/6580716
1160.32/1146.37	c cleaning 15014 clauses out of 30036 with flag 252114/6596717
1162.64/1148.69	c cleaning 16004 clauses out of 32020 with flag 286154/6613715
1165.28/1151.26	c cleaning 17007 clauses out of 34016 with flag 322173/6631715
1168.12/1154.07	c cleaning 18003 clauses out of 36009 with flag 360196/6650715
1171.15/1157.08	c cleaning 18996 clauses out of 38006 with flag 400223/6670715
1174.36/1160.26	c cleaning 20001 clauses out of 40010 with flag 442292/6691715
1178.01/1163.85	c cleaning 21005 clauses out of 42009 with flag 486319/6713715
1181.94/1167.73	c cleaning 21997 clauses out of 44005 with flag 532382/6736716
1186.10/1171.80	c cleaning 22999 clauses out of 46008 with flag 580415/6760716
1190.44/1176.11	c cleaning 24002 clauses out of 48008 with flag 630464/6785715
1194.88/1180.58	c cleaning 24998 clauses out of 50006 with flag 682470/6811715
1199.62/1185.29	c cleaning 26002 clauses out of 52009 with flag 736492/6838716
1204.78/1190.36	c cleaning 27001 clauses out of 54007 with flag 792531/6866716
1210.54/1196.09	c cleaning 27997 clauses out of 56005 with flag 850583/6895715
1217.13/1202.55	c cleaning 28999 clauses out of 58008 with flag 910661/6925715
1223.25/1208.62	c cleaning 29997 clauses out of 60010 with flag 972722/6956716
1229.97/1215.20	c cleaning 31003 clauses out of 62013 with flag 1036741/6988716
1236.65/1221.88	c cleaning 32004 clauses out of 64010 with flag 1102749/7021716
1244.09/1229.11	c cleaning 32996 clauses out of 66006 with flag 1170749/7055716
1251.61/1236.53	c cleaning 33999 clauses out of 68010 with flag 1240749/7090716
1259.64/1244.45	c cleaning 35001 clauses out of 70010 with flag 1312749/7126715
1267.76/1252.47	c cleaning 36002 clauses out of 72010 with flag 1386751/7163716
1275.95/1260.55	c cleaning 36999 clauses out of 74008 with flag 1462860/7201716
1284.66/1269.10	c cleaning 37999 clauses out of 76008 with flag 1541064/7240715
1294.20/1278.59	c cleaning 38996 clauses out of 78009 with flag 1621121/7280715
1304.38/1288.62	c cleaning 40004 clauses out of 80013 with flag 1703344/7321715
1315.08/1299.24	c cleaning 41000 clauses out of 82010 with flag 1787541/7363716
1326.85/1310.86	c cleaning 42000 clauses out of 84009 with flag 1873771/7406715
1337.78/1321.66	c cleaning 42999 clauses out of 86010 with flag 1961991/7450716
1348.94/1332.68	c cleaning 44000 clauses out of 88011 with flag 2052183/7495716
1361.60/1345.11	c cleaning 45004 clauses out of 90011 with flag 2144511/7541716
1375.25/1358.62	c cleaning 45999 clauses out of 92008 with flag 2238714/7588717
1388.54/1371.82	c cleaning 46996 clauses out of 94008 with flag 2335165/7636716
1402.93/1386.07	c cleaning 48000 clauses out of 96011 with flag 2433527/7685715
1418.68/1401.65	c cleaning 49000 clauses out of 98011 with flag 2533884/7735715
1435.79/1418.58	c cleaning 49998 clauses out of 100011 with flag 2636888/7786715
1452.56/1435.17	c cleaning 51004 clauses out of 102014 with flag 2741628/7838716
1469.81/1452.13	c cleaning 51999 clauses out of 104009 with flag 2847883/7891715
1486.84/1468.92	c cleaning 53004 clauses out of 106011 with flag 2956005/7945716
1504.25/1486.19	c cleaning 54001 clauses out of 108006 with flag 3066050/8000715
1523.92/1505.61	c cleaning 54997 clauses out of 110005 with flag 3178475/8056715
1542.42/1523.94	c Got one! Elapsed wall clock time (in seconds):1523.844
1542.42/1523.94	o -200
1545.63/1527.16	c cleaning 58367 clauses out of 116746 with flag 10092/8118453
1547.24/1528.74	c cleaning 32185 clauses out of 64379 with flag 22126/8124453
1548.36/1529.85	c cleaning 19589 clauses out of 39194 with flag 36205/8131453
1549.37/1530.87	c cleaning 13796 clauses out of 27605 with flag 52278/8139453
1550.49/1531.93	c cleaning 11397 clauses out of 22808 with flag 70452/8148452
1551.60/1533.04	c cleaning 10699 clauses out of 21412 with flag 90465/8158453
1552.84/1534.29	c cleaning 10850 clauses out of 21712 with flag 112544/8169452
1554.40/1535.74	c cleaning 11427 clauses out of 22863 with flag 136593/8181453
1556.05/1537.39	c cleaning 12213 clauses out of 24435 with flag 162690/8194452
1557.97/1539.28	c cleaning 13107 clauses out of 26222 with flag 190775/8208452
1560.14/1541.35	c cleaning 14054 clauses out of 28115 with flag 220874/8223452
1562.35/1543.58	c cleaning 15029 clauses out of 30062 with flag 253111/8239453
1564.92/1546.03	c cleaning 16015 clauses out of 32032 with flag 287189/8256452
1567.68/1548.71	c cleaning 17006 clauses out of 34018 with flag 323335/8274453
1570.63/1551.66	c cleaning 18002 clauses out of 36011 with flag 361620/8293452
1573.85/1554.86	c cleaning 19002 clauses out of 38009 with flag 401784/8313452
1577.21/1558.10	c cleaning 20002 clauses out of 40008 with flag 443884/8334453
1580.73/1561.61	c cleaning 21003 clauses out of 42006 with flag 488071/8356453
1584.70/1565.58	c cleaning 21997 clauses out of 44003 with flag 534532/8379453
1588.86/1569.69	c cleaning 22997 clauses out of 46006 with flag 582696/8403453
1593.32/1574.03	c cleaning 24002 clauses out of 48008 with flag 632836/8428452
1597.89/1578.56	c cleaning 24996 clauses out of 50006 with flag 685035/8454452
1602.94/1583.59	c cleaning 26003 clauses out of 52011 with flag 739392/8481453
1608.14/1588.69	c cleaning 27000 clauses out of 54007 with flag 795653/8509452
1613.54/1593.96	c cleaning 28002 clauses out of 56007 with flag 853842/8538452
1619.39/1599.80	c cleaning 29002 clauses out of 58007 with flag 913849/8568454
1625.59/1605.90	c cleaning 29999 clauses out of 60003 with flag 975845/8599452
1632.07/1612.26	c cleaning 31000 clauses out of 62005 with flag 1039847/8631453
1639.36/1619.48	c cleaning 32003 clauses out of 64006 with flag 1105849/8664454
1646.21/1626.29	c Got one! Elapsed wall clock time (in seconds):1626.193
1646.21/1626.29	o -202
1647.91/1627.91	c cleaning 34122 clauses out of 68259 with flag 10050/8700710
1648.92/1628.97	c cleaning 20060 clauses out of 40136 with flag 22138/8706709
1649.93/1629.93	c cleaning 13529 clauses out of 27076 with flag 36235/8713709
1650.96/1630.90	c cleaning 10765 clauses out of 21547 with flag 52294/8721709
1651.99/1631.92	c cleaning 9886 clauses out of 19783 with flag 70374/8730710
1653.09/1633.07	c cleaning 9944 clauses out of 19896 with flag 90460/8740709
1654.40/1634.35	c cleaning 10473 clauses out of 20953 with flag 112572/8751710
1655.92/1635.84	c cleaning 11238 clauses out of 22479 with flag 136582/8763709
1657.64/1637.52	c cleaning 12120 clauses out of 24242 with flag 162776/8776710
1659.49/1639.34	c cleaning 13058 clauses out of 26121 with flag 190839/8790709
1661.52/1641.31	c cleaning 14027 clauses out of 28064 with flag 220913/8805710
1663.67/1643.47	c cleaning 15014 clauses out of 30037 with flag 253221/8821710
1666.09/1645.87	c cleaning 16010 clauses out of 32022 with flag 287446/8838709
1668.71/1648.47	c cleaning 17001 clauses out of 34012 with flag 323503/8856709
1671.74/1651.46	c cleaning 18005 clauses out of 36011 with flag 361582/8875709
1674.89/1654.54	c cleaning 18998 clauses out of 38006 with flag 401746/8895709
1678.36/1657.93	c cleaning 20001 clauses out of 40008 with flag 444046/8916709
1682.14/1661.63	c cleaning 20997 clauses out of 42008 with flag 488250/8938710
1686.40/1665.83	c cleaning 22000 clauses out of 44011 with flag 534364/8961710
1690.95/1670.34	c cleaning 23004 clauses out of 46010 with flag 582598/8985709
1695.60/1674.95	c cleaning 23999 clauses out of 48007 with flag 632863/9010710
1700.49/1679.75	c cleaning 25002 clauses out of 50008 with flag 685042/9036710
1705.54/1684.73	c cleaning 26000 clauses out of 52006 with flag 739652/9063710
1710.80/1689.94	c cleaning 27000 clauses out of 54006 with flag 796186/9091710
1716.47/1695.58	c cleaning 28002 clauses out of 56006 with flag 854239/9120710
1722.31/1701.36	c cleaning 28994 clauses out of 58004 with flag 914532/9150710
1728.78/1707.77	c cleaning 30002 clauses out of 60010 with flag 976931/9181710
1735.74/1714.69	c cleaning 31001 clauses out of 62008 with flag 1041112/9213710
1742.65/1721.45	c cleaning 31998 clauses out of 64007 with flag 1107370/9246710
1750.68/1729.34	c cleaning 32999 clauses out of 66008 with flag 1175488/9280709
1758.05/1736.61	c cleaning 34003 clauses out of 68011 with flag 1245713/9315711
1765.96/1744.42	c cleaning 35001 clauses out of 70007 with flag 1317998/9351710
1774.36/1752.75	c cleaning 35998 clauses out of 72006 with flag 1392174/9388710
1783.64/1761.92	c cleaning 36998 clauses out of 74007 with flag 1468226/9426709
1793.00/1771.27	c cleaning 38005 clauses out of 76009 with flag 1546232/9465709
1800.08/1778.20	c starts		: 85
1800.08/1778.20	c conflicts		: 9497208
1800.08/1778.20	c decisions		: 9501438
1800.08/1778.20	c propagations		: 286267349
1800.08/1778.20	c inspects		: 24954457818
1800.08/1778.20	c shortcuts		: 0
1800.08/1778.20	c learnt literals	: 0
1800.08/1778.20	c learnt binary clauses	: 1
1800.08/1778.20	c learnt ternary clauses	: 21
1800.08/1778.20	c learnt constraints	: 9497208
1800.08/1778.20	c ignored constraints	: 0
1800.08/1778.20	c root simplifications	: 0
1800.08/1778.20	c removed literals (reason simplification)	: 0
1800.08/1778.20	c reason swapping (by a shorter reason)	: 0
1800.08/1778.20	c Calls to reduceDB	: 489
1800.08/1778.20	c Number of update (reduction) of LBD	: 281
1800.08/1778.20	c Imported unit clauses	: 0
1800.08/1778.20	c number of reductions to clauses (during analyze)	: 0
1800.08/1778.20	c number of learned constraints concerned by reduction	: 0
1800.08/1778.20	c number of learning phase by resolution	: 0
1800.08/1778.20	c number of learning phase by cutting planes	: 0
1800.08/1778.20	c speed (assignments/second)	: 161007.61259725958
1800.08/1778.20	c non guided choices	0
1800.08/1778.23	c learnt constraints type 
1800.08/1778.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.08/1778.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 69502
1800.08/1778.23	s SATISFIABLE
1800.08/1778.23	c Found 76 solution(s)
1800.08/1778.23	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 
1800.08/1778.23	c objective function=-202
1800.08/1778.23	c Total wall clock time (in seconds): 1778.132

Verifier Data 

OK	-202

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119238-1467252073/watcher-4119238-1467252073 -o /tmp/evaluation-result-4119238-1467252073/solver-4119238-1467252073 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6980 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119238-1467252073.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.19 2.18 4/193 7228
/proc/meminfo: memFree=30274088/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 1330 0 0 0 0 0 0 0 20 0 2 0 4233283 98635776 961 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 24065 963 731 9 0 16771 0
[pid=7228/tid=7229] ppid=7225 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 4233284 98570240 977 33554432000 1073741824 1073778376 140733423941872 140557745958440 227512501632 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.16 2.19 2.18 4/193 7228
/proc/meminfo: memFree=30274088/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 4506 0 1 0 10 1 0 0 20 0 18 0 4233283 9787879424 6139 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2389619 6139 2157 9 0 2380296 0
[pid=7228/tid=7229] ppid=7225 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 2376 0 1 0 7 0 0 0 20 0 18 0 4233284 9787879424 6139 33554432000 1073741824 1073778376 140733423941872 140557745961888 227515884813 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200265 s]
/proc/loadavg: 2.16 2.19 2.18 4/193 7228
/proc/meminfo: memFree=30274088/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 4725 0 1 0 26 1 0 0 20 0 18 0 4233283 9787879424 6788 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2389619 6788 2223 9 0 2380296 0
[pid=7228/tid=7229] ppid=7225 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 2398 0 1 0 16 1 0 0 20 0 18 0 4233284 9787879424 6788 33554432000 1073741824 1073778376 140733423941872 140557745961888 140557586356871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300251 s]
/proc/loadavg: 2.16 2.19 2.18 4/193 7228
/proc/meminfo: memFree=30274088/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 6930 0 1 0 47 2 0 0 20 0 19 0 4233283 9856040960 9207 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 9209 2251 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 19 0 4233284 9856040960 9211 33554432000 1073741824 1073778376 140733423941872 140557745963648 140557586292572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.70021 s]
/proc/loadavg: 2.16 2.19 2.18 4/193 7228
/proc/meminfo: memFree=30274088/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=1.3 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 10914 0 1 0 128 2 0 0 20 0 19 0 4233283 9856040960 12633 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 12633 2258 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 2415 0 1 0 66 1 0 0 20 0 19 0 4233284 9856040960 12633 33554432000 1073741824 1073778376 140733423941872 140557745963648 140557749248919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.23 2.20 2.18 4/212 7247
/proc/meminfo: memFree=30187948/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 11451 0 1 0 229 2 0 0 20 0 19 0 4233283 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 17813 2270 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 2426 0 1 0 146 1 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557745961480 140557586809138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7231/stat : 7231 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557707455016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7232] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7232/stat : 7232 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557706402216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7233] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7233/stat : 7233 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557705349416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7234] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7234/stat : 7234 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557586262184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7235] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7235/stat : 7235 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557585210408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7236] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7236/stat : 7236 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557584157608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7237] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7237/stat : 7237 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557583104808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7238] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7238/stat : 7238 (java) S 7225 7228 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557582052008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7239] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7239/stat : 7239 (java) S 7225 7228 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4233285 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557099723240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7240] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7240/stat : 7240 (java) S 7225 7228 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557098669304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7241] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7241/stat : 7241 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557097616392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7242] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7242/stat : 7242 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557096564880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7243] ppid=7225 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/7228/task/7243/stat : 7243 (java) R 7225 7228 6451 0 -1 4202560 4729 0 0 0 36 0 0 0 20 0 19 0 4233288 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557095513016 140557751943550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7244] ppid=7225 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/7228/task/7244/stat : 7244 (java) R 7225 7228 6451 0 -1 4202560 3024 0 0 0 44 0 0 0 20 0 19 0 4233288 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557094447376 140557748570894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7245] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7245/stat : 7245 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557093407608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7246] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7246/stat : 7246 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557092355016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7247] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7247/stat : 7247 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233306 9856040960 17813 33554432000 1073741824 1073778376 140733423941872 140557091300520 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.23 2.20 2.18 4/212 7247
/proc/meminfo: memFree=30142148/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=3.98 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 11475 0 1 0 395 3 0 0 20 0 19 0 4233283 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 26522 2274 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 2444 0 1 0 305 2 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557745954512 140557586890688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7231/stat : 7231 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557707455016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7232] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7232/stat : 7232 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557706402216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7233] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7233/stat : 7233 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557705349416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7234] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7234/stat : 7234 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557586262184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7235] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7235/stat : 7235 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557585210408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7236] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7236/stat : 7236 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557584157608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7237] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7237/stat : 7237 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557583104808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7238] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7238/stat : 7238 (java) S 7225 7228 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557582052008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7239] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7239/stat : 7239 (java) S 7225 7228 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4233285 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557099723240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7240] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7240/stat : 7240 (java) S 7225 7228 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557098669304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7241] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7241/stat : 7241 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557097616392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7242] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7242/stat : 7242 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557096564880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7243] ppid=7225 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/7228/task/7243/stat : 7243 (java) S 7225 7228 6451 0 -1 4202560 4731 0 0 0 40 0 0 0 20 0 19 0 4233288 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557095513016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7244] ppid=7225 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/7228/task/7244/stat : 7244 (java) S 7225 7228 6451 0 -1 4202560 3028 0 0 0 47 0 0 0 20 0 19 0 4233288 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557094460216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7245] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7245/stat : 7245 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557093407608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7246] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7246/stat : 7246 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557092355016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7247] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7247/stat : 7247 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233306 9856040960 26522 33554432000 1073741824 1073778376 140733423941872 140557091300520 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.23 2.20 2.18 4/212 7247
/proc/meminfo: memFree=30008688/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=7.21 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 11570 0 1 0 715 6 0 0 20 0 19 0 4233283 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 46623 2288 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 2478 0 1 0 622 2 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557745962296 140557586809620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7231/stat : 7231 (java) S 7225 7228 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557707455016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7232] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7232/stat : 7232 (java) S 7225 7228 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557706402216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7233] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7233/stat : 7233 (java) S 7225 7228 6451 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557705349416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7234] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7234/stat : 7234 (java) S 7225 7228 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557586262184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7235] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7235/stat : 7235 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557585210408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7236] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7236/stat : 7236 (java) S 7225 7228 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557584157608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7237] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7237/stat : 7237 (java) S 7225 7228 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557583104808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7238] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7238/stat : 7238 (java) S 7225 7228 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4233284 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557582052008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7239] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7239/stat : 7239 (java) S 7225 7228 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4233285 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557099723240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7240] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7240/stat : 7240 (java) S 7225 7228 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557098669304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7241] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7241/stat : 7241 (java) S 7225 7228 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557097616392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7242] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7242/stat : 7242 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557096564880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7243] ppid=7225 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/7228/task/7243/stat : 7243 (java) S 7225 7228 6451 0 -1 4202560 4731 0 0 0 40 0 0 0 20 0 19 0 4233288 9856040960 46623 33554432000 1073741824 1073778376 140733423941872 140557095513016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7244] ppid=7225 vsize=9625040 CPUtime=0.47 cores=0,2,4,6

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

[pid=7228/tid=7247] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7247/stat : 7247 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233306 9856040960 72549 33554432000 1073741824 1073778376 140733423941872 140557091300520 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1622.05
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/211 7286
/proc/meminfo: memFree=29593604/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=1682.84 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 45347 0 1 0 168136 148 0 0 20 0 19 0 4233283 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 73281 2298 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=1644.34 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 3217 0 1 0 164406 28 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557745954496 140557586980293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/7228/task/7231/stat : 7231 (java) S 7225 7228 6451 0 -1 4202560 3029 0 0 0 348 15 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557707455016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7232] ppid=7225 vsize=9625040 CPUtime=3.45 cores=0,2,4,6
/proc/7228/task/7232/stat : 7232 (java) S 7225 7228 6451 0 -1 4202560 2851 0 0 0 331 14 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557706402216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7233] ppid=7225 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/7228/task/7233/stat : 7233 (java) S 7225 7228 6451 0 -1 4202560 4805 0 0 0 346 16 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557705349416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7234] ppid=7225 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/7228/task/7234/stat : 7234 (java) S 7225 7228 6451 0 -1 4202560 3191 0 0 0 336 17 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557586262184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7235] ppid=7225 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/7228/task/7235/stat : 7235 (java) S 7225 7228 6451 0 -1 4202560 3194 0 0 0 348 15 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557585210408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7236] ppid=7225 vsize=9625040 CPUtime=3.58 cores=0,2,4,6
/proc/7228/task/7236/stat : 7236 (java) S 7225 7228 6451 0 -1 4202560 4578 0 0 0 342 16 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557584157608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7237] ppid=7225 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/7228/task/7237/stat : 7237 (java) S 7225 7228 6451 0 -1 4202560 2932 0 0 0 345 16 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557583104808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7238] ppid=7225 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/7228/task/7238/stat : 7238 (java) S 7225 7228 6451 0 -1 4202560 2877 0 0 0 339 15 0 0 20 0 19 0 4233284 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557582052008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7239] ppid=7225 vsize=9625040 CPUtime=4.53 cores=0,2,4,6
/proc/7228/task/7239/stat : 7239 (java) S 7225 7228 6451 0 -1 4202560 1177 0 0 0 446 7 0 0 20 0 19 0 4233285 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557099723240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7240] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7240/stat : 7240 (java) S 7225 7228 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557098669304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7241] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7241/stat : 7241 (java) S 7225 7228 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557097616392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7242] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7242/stat : 7242 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557096564880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7243] ppid=7225 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7228/task/7243/stat : 7243 (java) S 7225 7228 6451 0 -1 4202560 9104 0 0 0 73 2 0 0 20 0 19 0 4233288 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557095513016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7244] ppid=7225 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7228/task/7244/stat : 7244 (java) S 7225 7228 6451 0 -1 4202560 3037 0 0 0 52 0 0 0 20 0 19 0 4233288 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557094460216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7245] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7245/stat : 7245 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557093407608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7246] ppid=7225 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/7228/task/7246/stat : 7246 (java) S 7225 7228 6451 0 -1 4202560 97 0 0 0 18 15 0 0 20 0 19 0 4233288 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557092355016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7247] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7247/stat : 7247 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233306 9856040960 73281 33554432000 1073741824 1073778376 140733423941872 140557091300520 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1682.84
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.17 11/211 7287
/proc/meminfo: memFree=29676924/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=1743.57 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 45434 0 1 0 174207 150 0 0 20 0 19 0 4233283 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 69637 2298 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=1703.53 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 3248 0 1 0 170323 30 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557745962256 140557586809138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/7228/task/7231/stat : 7231 (java) S 7225 7228 6451 0 -1 4202560 3029 0 0 0 363 15 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557707455016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7232] ppid=7225 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/7228/task/7232/stat : 7232 (java) S 7225 7228 6451 0 -1 4202560 2867 0 0 0 347 14 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557706402216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7233] ppid=7225 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/7228/task/7233/stat : 7233 (java) S 7225 7228 6451 0 -1 4202560 4805 0 0 0 362 16 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557705349416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7234] ppid=7225 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/7228/task/7234/stat : 7234 (java) S 7225 7228 6451 0 -1 4202560 3191 0 0 0 351 17 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557586262184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7235] ppid=7225 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/7228/task/7235/stat : 7235 (java) S 7225 7228 6451 0 -1 4202560 3194 0 0 0 361 15 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557585210408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7236] ppid=7225 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/7228/task/7236/stat : 7236 (java) S 7225 7228 6451 0 -1 4202560 4578 0 0 0 356 16 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557584157608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7237] ppid=7225 vsize=9625040 CPUtime=3.75 cores=0,2,4,6
/proc/7228/task/7237/stat : 7237 (java) S 7225 7228 6451 0 -1 4202560 2932 0 0 0 359 16 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557583104808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7238] ppid=7225 vsize=9625040 CPUtime=3.69 cores=0,2,4,6
/proc/7228/task/7238/stat : 7238 (java) S 7225 7228 6451 0 -1 4202560 2877 0 0 0 354 15 0 0 20 0 19 0 4233284 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557582052008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7239] ppid=7225 vsize=9625040 CPUtime=4.75 cores=0,2,4,6
/proc/7228/task/7239/stat : 7239 (java) S 7225 7228 6451 0 -1 4202560 1213 0 0 0 467 8 0 0 20 0 19 0 4233285 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557099723240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7240] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7240/stat : 7240 (java) S 7225 7228 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557098669304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7241] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7241/stat : 7241 (java) S 7225 7228 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557097616392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7242] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7242/stat : 7242 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557096564880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7243] ppid=7225 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7228/task/7243/stat : 7243 (java) S 7225 7228 6451 0 -1 4202560 9104 0 0 0 73 2 0 0 20 0 19 0 4233288 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557095513016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7244] ppid=7225 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7228/task/7244/stat : 7244 (java) S 7225 7228 6451 0 -1 4202560 3037 0 0 0 52 0 0 0 20 0 19 0 4233288 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557094460216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7245] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7245/stat : 7245 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557093407608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7246] ppid=7225 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/7228/task/7246/stat : 7246 (java) S 7225 7228 6451 0 -1 4202560 101 0 0 0 18 16 0 0 20 0 19 0 4233288 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557092355016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7247] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7247/stat : 7247 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233306 9856040960 69637 33554432000 1073741824 1073778376 140733423941872 140557091300520 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1743.57
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.2 s]
/proc/loadavg: 2.20 2.17 2.17 3/212 7422
/proc/meminfo: memFree=29999748/32872528 swapFree=1298332/1461852
[pid=7228] ppid=7225 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/7228/stat : 7228 (java) S 7225 7228 6451 0 -1 4202496 45831 0 1 0 179854 154 0 0 20 0 19 0 4233283 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140733423933008 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7228/statm: 2406260 78154 2298 9 0 2396937 0
[pid=7228/tid=7229] ppid=7225 vsize=9625040 CPUtime=1758.71 cores=0,2,4,6
/proc/7228/task/7229/stat : 7229 (java) R 7225 7228 6451 0 -1 4202560 3274 0 1 0 175840 31 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557745962192 140557586809165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/7228/task/7231/stat : 7231 (java) S 7225 7228 6451 0 -1 4202560 3044 0 0 0 373 15 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557707455016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7232] ppid=7225 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/7228/task/7232/stat : 7232 (java) S 7225 7228 6451 0 -1 4202560 2931 0 0 0 359 15 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557706402216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7233] ppid=7225 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/7228/task/7233/stat : 7233 (java) S 7225 7228 6451 0 -1 4202560 4837 0 0 0 372 16 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557705349416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7228/tid=7234] ppid=7225 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/7228/task/7234/stat : 7234 (java) S 7225 7228 6451 0 -1 4202560 3206 0 0 0 362 17 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557586262184 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7235] ppid=7225 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/7228/task/7235/stat : 7235 (java) S 7225 7228 6451 0 -1 4202560 3218 0 0 0 372 16 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557585210408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7236] ppid=7225 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/7228/task/7236/stat : 7236 (java) S 7225 7228 6451 0 -1 4202560 4583 0 0 0 371 16 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557584157608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7237] ppid=7225 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/7228/task/7237/stat : 7237 (java) S 7225 7228 6451 0 -1 4202560 2976 0 0 0 371 16 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557583104808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7238] ppid=7225 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/7228/task/7238/stat : 7238 (java) S 7225 7228 6451 0 -1 4202560 2980 0 0 0 366 16 0 0 20 0 19 0 4233284 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557582052008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7239] ppid=7225 vsize=9625040 CPUtime=5.01 cores=0,2,4,6
/proc/7228/task/7239/stat : 7239 (java) S 7225 7228 6451 0 -1 4202560 1280 0 0 0 493 8 0 0 20 0 19 0 4233285 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557099723240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7240] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7240/stat : 7240 (java) S 7225 7228 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557098669304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7241] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7241/stat : 7241 (java) S 7225 7228 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233286 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557097616392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7242] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7242/stat : 7242 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557096564880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7243] ppid=7225 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/7228/task/7243/stat : 7243 (java) S 7225 7228 6451 0 -1 4202560 9104 0 0 0 73 2 0 0 20 0 19 0 4233288 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557095513016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7228/tid=7244] ppid=7225 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7228/task/7244/stat : 7244 (java) S 7225 7228 6451 0 -1 4202560 3037 0 0 0 52 0 0 0 20 0 19 0 4233288 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557094460216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7245] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7245/stat : 7245 (java) S 7225 7228 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233288 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557093407608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7228/tid=7246] ppid=7225 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/7228/task/7246/stat : 7246 (java) S 7225 7228 6451 0 -1 4202560 103 0 0 0 19 17 0 0 20 0 19 0 4233288 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557092355016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7228/tid=7247] ppid=7225 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7228/task/7247/stat : 7247 (java) S 7225 7228 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233306 9856040960 78154 33554432000 1073741824 1073778376 140733423941872 140557091300520 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7228 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=418206
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=990697
# CPU time returned by wait4() is 1796.41
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1778.24
CPU time (s): 1800.08
CPU user time (s): 1798.54
CPU system time (s): 1.54
CPU usage (%): 101.228
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 1.9907
maximum resident set size= 594020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45867
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61775
involuntary context switches= 70128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.50155 second user time and 12.4651 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 04:01:13
IDJOB=4119238
IDBENCH=111680
IDSOLVER=2546
FILE ID=node121/4119238-1467252073
RUNJOBID= node121-1467250272-6980
PBS_JOBID= 20004469
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119238-1467252073/watcher-4119238-1467252073 -o /tmp/evaluation-result-4119238-1467252073/solver-4119238-1467252073 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6980 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119238-1467252073.opb

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

MD5SUM BENCH= 5d740964d672a9744d95cba9556655c4
RANDOM SEED=1721448886

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30274624 kB
Buffers:           87732 kB
Cached:           223976 kB
SwapCached:            0 kB
Active:           184680 kB
Inactive:         197300 kB
Active(anon):      57716 kB
Inactive(anon):    15388 kB
Active(file):     126964 kB
Inactive(file):   181912 kB
Unevictable:     1461852 kB
Mlocked:         1298332 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1664 kB
Writeback:             0 kB
AnonPages:       1532524 kB
Mapped:            21936 kB
Shmem:               204 kB
Slab:             608128 kB
SReclaimable:      51900 kB
SUnreclaim:       556228 kB
KernelStack:        1568 kB
PageTables:         7196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2147612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node121 at 2016-06-30 04:30:51