Trace number 4118731

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)788 1800.02 1774.94

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.lin.opb
MD5SUMa7d9543d8c07cdfb6b28ca0f9f48637d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark741
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1224
Total number of constraints2747
Number of constraints which are clauses1613
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1133
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 1221
Biggest coefficient in the objective function 1013
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3843
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1013
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3843
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-4118731-1467234459.opb
0.07/0.12	c reading problem ... 
0.07/0.13	c  objective function found
0.43/0.31	c ... done. Wall clock time 0.188s.
0.43/0.31	c declared #vars     1224
0.43/0.31	c #constraints  2748
0.43/0.31	c constraints type 
0.43/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1613
0.43/0.31	c org.sat4j.specs.Constr$1 => 1
0.43/0.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.43/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1133
0.43/0.31	c 2748 constraints processed.
0.43/0.31	c objective function length is 1221 literals
0.43/0.33	c SATISFIABLE
0.43/0.33	c OPTIMIZING...
0.43/0.33	c Got one! Elapsed wall clock time (in seconds):0.208
0.43/0.33	o 962
0.43/0.38	c Got one! Elapsed wall clock time (in seconds):0.26
0.43/0.38	o 958
0.72/0.47	c Got one! Elapsed wall clock time (in seconds):0.342
0.72/0.47	o 956
0.72/0.49	c Got one! Elapsed wall clock time (in seconds):0.366
0.72/0.49	o 955
1.01/0.54	c Got one! Elapsed wall clock time (in seconds):0.414
1.01/0.54	o 951
1.01/0.55	c Got one! Elapsed wall clock time (in seconds):0.422
1.01/0.55	o 948
1.01/0.55	c Got one! Elapsed wall clock time (in seconds):0.427
1.01/0.55	o 947
1.01/0.56	c Got one! Elapsed wall clock time (in seconds):0.435
1.01/0.56	o 946
1.01/0.57	c Got one! Elapsed wall clock time (in seconds):0.441
1.01/0.57	o 943
1.01/0.57	c Got one! Elapsed wall clock time (in seconds):0.447
1.01/0.57	o 942
1.01/0.58	c Got one! Elapsed wall clock time (in seconds):0.453
1.01/0.58	o 940
1.01/0.58	c Got one! Elapsed wall clock time (in seconds):0.458
1.01/0.58	o 938
1.31/0.62	c Got one! Elapsed wall clock time (in seconds):0.491
1.31/0.62	o 937
1.31/0.62	c Got one! Elapsed wall clock time (in seconds):0.495
1.31/0.62	o 936
1.31/0.62	c Got one! Elapsed wall clock time (in seconds):0.498
1.31/0.62	o 932
1.31/0.63	c Got one! Elapsed wall clock time (in seconds):0.51
1.31/0.63	o 929
1.31/0.65	c Got one! Elapsed wall clock time (in seconds):0.522
1.31/0.65	o 927
1.52/0.77	c Got one! Elapsed wall clock time (in seconds):0.644
1.52/0.77	o 925
1.52/0.77	c Got one! Elapsed wall clock time (in seconds):0.647
1.52/0.77	o 924
1.52/0.77	c Got one! Elapsed wall clock time (in seconds):0.649
1.52/0.77	o 923
1.52/0.78	c Got one! Elapsed wall clock time (in seconds):0.651
1.52/0.78	o 920
1.52/0.78	c Got one! Elapsed wall clock time (in seconds):0.659
1.52/0.78	o 917
1.52/0.79	c Got one! Elapsed wall clock time (in seconds):0.661
1.52/0.79	o 915
2.24/1.43	c Got one! Elapsed wall clock time (in seconds):1.305
2.24/1.43	o 913
2.40/1.55	c Got one! Elapsed wall clock time (in seconds):1.426
2.40/1.55	o 907
2.40/1.55	c Got one! Elapsed wall clock time (in seconds):1.43
2.40/1.55	o 906
2.40/1.56	c Got one! Elapsed wall clock time (in seconds):1.434
2.40/1.56	o 904
2.66/1.72	c cleaning 4267 clauses out of 8536 with flag 2038/8536
2.79/1.82	c Got one! Elapsed wall clock time (in seconds):1.695
2.79/1.82	o 901
2.79/1.86	c Got one! Elapsed wall clock time (in seconds):1.739
2.79/1.86	o 900
2.79/1.87	c Got one! Elapsed wall clock time (in seconds):1.742
2.79/1.87	o 899
3.01/2.04	c Got one! Elapsed wall clock time (in seconds):1.915
3.01/2.04	o 897
3.50/2.57	c cleaning 5422 clauses out of 10846 with flag 8039/15113
3.60/2.67	c Got one! Elapsed wall clock time (in seconds):2.544
3.60/2.67	o 892
3.60/2.68	c Got one! Elapsed wall clock time (in seconds):2.559
3.60/2.68	o 891
3.70/2.72	c Got one! Elapsed wall clock time (in seconds):2.596
3.70/2.72	o 886
4.31/3.34	c Got one! Elapsed wall clock time (in seconds):3.217
4.31/3.34	o 884
4.41/3.49	c cleaning 6270 clauses out of 12543 with flag 2008/22232
4.52/3.60	c Got one! Elapsed wall clock time (in seconds):3.471
4.52/3.60	o 883
4.62/3.67	c Got one! Elapsed wall clock time (in seconds):3.541
4.62/3.67	o 879
5.32/4.32	c cleaning 6329 clauses out of 12670 with flag 10121/28629
5.54/4.52	c Got one! Elapsed wall clock time (in seconds):4.398
5.54/4.52	o 878
6.10/5.08	c cleaning 5979 clauses out of 11971 with flag 8207/34259
6.30/5.29	c Got one! Elapsed wall clock time (in seconds):5.161
6.30/5.29	o 876
6.70/5.61	c Got one! Elapsed wall clock time (in seconds):5.483
6.70/5.61	o 874
6.90/5.89	c cleaning 6176 clauses out of 12362 with flag 4202/40629
7.40/6.31	c Got one! Elapsed wall clock time (in seconds):6.186
7.40/6.31	o 872
7.60/6.57	c cleaning 5849 clauses out of 11712 with flag 4089/46155
8.40/7.36	c cleaning 5929 clauses out of 11865 with flag 16380/52157
9.30/8.28	c cleaning 6462 clauses out of 12935 with flag 30805/59156
10.41/9.38	c cleaning 7230 clauses out of 14473 with flag 46901/67156
11.90/10.74	c cleaning 8118 clauses out of 16243 with flag 64953/76156
13.41/12.23	c cleaning 9055 clauses out of 18125 with flag 84987/86156
15.11/13.92	c cleaning 10027 clauses out of 20072 with flag 107070/97158
17.11/15.91	c cleaning 11022 clauses out of 22044 with flag 131493/109157
19.59/18.38	c cleaning 12011 clauses out of 24021 with flag 158144/122156
22.29/21.07	c cleaning 13005 clauses out of 26009 with flag 186994/136155
24.99/23.77	c cleaning 14001 clauses out of 28005 with flag 218105/151156
28.35/26.99	c cleaning 14999 clauses out of 30005 with flag 251625/167157
31.85/30.45	c cleaning 16003 clauses out of 32006 with flag 287397/184157
35.61/34.05	c cleaning 16997 clauses out of 34001 with flag 324862/202155
39.21/37.67	c cleaning 17998 clauses out of 36004 with flag 364727/221155
42.91/41.38	c cleaning 19003 clauses out of 38008 with flag 406993/241157
47.52/45.81	c cleaning 20000 clauses out of 40004 with flag 451266/262156
49.13/47.48	c Got one! Elapsed wall clock time (in seconds):47.36
49.13/47.48	o 869
50.34/48.60	c cleaning 16591 clauses out of 33181 with flag 10494/275333
51.65/49.83	c cleaning 11295 clauses out of 22590 with flag 22924/281333
52.95/51.14	c cleaning 9148 clauses out of 18295 with flag 37224/288333
54.45/52.62	c cleaning 8574 clauses out of 17148 with flag 53816/296334
56.05/54.29	c cleaning 8783 clauses out of 17574 with flag 72530/305334
57.85/56.09	c cleaning 9394 clauses out of 18790 with flag 93466/315333
60.29/58.30	c cleaning 10196 clauses out of 20397 with flag 116993/326334
62.38/60.46	c cleaning 11094 clauses out of 22200 with flag 142078/338333
64.88/62.99	c cleaning 12047 clauses out of 24107 with flag 169640/351334
67.56/65.55	c cleaning 13026 clauses out of 26059 with flag 198775/365333
70.37/68.38	c cleaning 14013 clauses out of 28033 with flag 230572/380333
73.86/71.71	c cleaning 15010 clauses out of 30022 with flag 264473/396335
77.56/75.48	c cleaning 16000 clauses out of 32011 with flag 301262/413334
81.55/79.38	c cleaning 17003 clauses out of 34011 with flag 340263/431334
85.75/83.60	c cleaning 18000 clauses out of 36008 with flag 382336/450334
90.63/88.30	c cleaning 19002 clauses out of 38007 with flag 426090/470333
95.53/93.29	c cleaning 19999 clauses out of 40006 with flag 473088/491334
100.75/98.46	c cleaning 20997 clauses out of 42006 with flag 519357/513333
106.03/103.61	c cleaning 21998 clauses out of 44010 with flag 567350/536334
111.53/109.04	c cleaning 23006 clauses out of 46013 with flag 618468/560335
116.93/114.46	c cleaning 24000 clauses out of 48005 with flag 671869/585333
122.76/120.23	c cleaning 24999 clauses out of 50005 with flag 727315/611333
128.53/125.94	c cleaning 25995 clauses out of 52007 with flag 785487/638334
134.93/132.25	c cleaning 27006 clauses out of 54011 with flag 845874/666333
141.58/138.82	c cleaning 27998 clauses out of 56005 with flag 907618/695333
148.46/145.65	c cleaning 29002 clauses out of 58008 with flag 975994/725334
155.64/152.78	c cleaning 29994 clauses out of 60005 with flag 1045534/756333
163.61/160.70	c cleaning 30999 clauses out of 62011 with flag 1115105/788333
171.73/168.79	c cleaning 32005 clauses out of 64013 with flag 1185558/821334
180.61/177.52	c cleaning 33002 clauses out of 66008 with flag 1256524/855334
189.39/186.23	c cleaning 33999 clauses out of 68005 with flag 1332852/890333
198.30/195.05	c cleaning 34994 clauses out of 70007 with flag 1408339/926334
207.48/204.15	c cleaning 35998 clauses out of 72014 with flag 1493549/963335
217.72/214.27	c cleaning 37004 clauses out of 74014 with flag 1581117/1001333
228.06/224.58	c cleaning 38002 clauses out of 76013 with flag 1665705/1040336
238.53/234.94	c cleaning 38997 clauses out of 78009 with flag 1753092/1080334
241.08/237.46	c Got one! Elapsed wall clock time (in seconds):237.335
241.08/237.46	o 866
242.28/238.61	c cleaning 28602 clauses out of 57215 with flag 10576/1098537
243.28/239.69	c cleaning 17300 clauses out of 34611 with flag 23026/1104535
244.48/240.81	c cleaning 12150 clauses out of 24312 with flag 37601/1111536
245.70/242.09	c cleaning 10070 clauses out of 20161 with flag 53887/1119535
245.80/242.18	c Got one! Elapsed wall clock time (in seconds):242.054
245.80/242.18	o 865
246.00/242.39	c Got one! Elapsed wall clock time (in seconds):242.262
246.00/242.39	o 864
246.70/243.00	c cleaning 7986 clauses out of 15979 with flag 8330/1125423
247.50/243.80	c cleaning 6991 clauses out of 13994 with flag 20966/1131424
247.80/244.13	c Got one! Elapsed wall clock time (in seconds):244.006
247.80/244.13	o 861
247.80/244.17	c Got one! Elapsed wall clock time (in seconds):244.045
247.80/244.17	o 859
248.32/244.69	c cleaning 6488 clauses out of 12986 with flag 6510/1137407
249.32/245.61	c cleaning 6250 clauses out of 12501 with flag 19157/1143410
250.32/246.63	c cleaning 6621 clauses out of 13248 with flag 33660/1150407
251.52/247.87	c cleaning 7310 clauses out of 14627 with flag 50538/1158407
252.37/248.69	c Got one! Elapsed wall clock time (in seconds):248.57
252.37/248.69	o 858
252.47/248.73	c Got one! Elapsed wall clock time (in seconds):248.606
252.47/248.73	o 857
252.86/249.10	c Got one! Elapsed wall clock time (in seconds):248.973
252.86/249.10	o 856
253.26/249.58	c cleaning 9441 clauses out of 18886 with flag 6381/1169976
253.57/249.85	c Got one! Elapsed wall clock time (in seconds):249.729
253.57/249.85	o 855
254.06/250.35	c cleaning 7257 clauses out of 14530 with flag 6333/1175061
254.96/251.22	c cleaning 6632 clauses out of 13273 with flag 18982/1181061
255.98/252.27	c cleaning 6816 clauses out of 13641 with flag 34201/1188061
257.18/253.43	c cleaning 7409 clauses out of 14826 with flag 51414/1196062
258.48/254.78	c cleaning 8203 clauses out of 16417 with flag 70742/1205062
260.13/256.31	c cleaning 9107 clauses out of 18213 with flag 91428/1215061
261.12/257.33	c Got one! Elapsed wall clock time (in seconds):257.205
261.12/257.33	o 853
262.12/258.34	c cleaning 10307 clauses out of 20615 with flag 10462/1226570
263.14/259.38	c cleaning 8145 clauses out of 16308 with flag 23478/1232570
264.14/260.34	c cleaning 7574 clauses out of 15164 with flag 38146/1239571
265.14/261.32	c cleaning 7790 clauses out of 15589 with flag 54701/1247570
265.24/261.45	c Got one! Elapsed wall clock time (in seconds):261.324
265.24/261.45	o 850
265.24/261.48	c Got one! Elapsed wall clock time (in seconds):261.359
265.24/261.48	o 849
265.76/262.00	c Got one! Elapsed wall clock time (in seconds):261.871
265.76/262.00	o 846
265.95/262.17	c cleaning 6599 clauses out of 13204 with flag 2130/1252975
266.86/263.04	c cleaning 6298 clauses out of 12605 with flag 15042/1258975
267.75/263.98	c cleaning 6650 clauses out of 13306 with flag 29774/1265974
268.98/265.11	c cleaning 7328 clauses out of 14655 with flag 46627/1273973
270.18/266.32	c cleaning 8160 clauses out of 16328 with flag 65772/1282974
270.27/266.45	c Got one! Elapsed wall clock time (in seconds):266.32
270.27/266.45	o 845
270.37/266.54	c Got one! Elapsed wall clock time (in seconds):266.411
270.37/266.54	o 844
271.07/267.21	c cleaning 6886 clauses out of 13780 with flag 8651/1288586
272.00/268.18	c cleaning 6440 clauses out of 12895 with flag 21669/1294587
273.00/269.17	c cleaning 6726 clauses out of 13454 with flag 36171/1301586
274.20/270.37	c cleaning 7365 clauses out of 14729 with flag 52713/1309587
275.61/271.77	c cleaning 8182 clauses out of 16364 with flag 71996/1318587
277.10/273.23	c cleaning 9089 clauses out of 18182 with flag 93505/1328587
278.00/274.17	c Got one! Elapsed wall clock time (in seconds):274.05
278.00/274.17	o 843
278.25/274.36	c Got one! Elapsed wall clock time (in seconds):274.236
278.25/274.36	o 842
278.96/275.06	c cleaning 10711 clauses out of 21421 with flag 8825/1340915
279.85/275.92	c cleaning 8356 clauses out of 16711 with flag 21332/1346916
280.75/276.89	c cleaning 7671 clauses out of 15354 with flag 35816/1353915
280.95/277.03	c Got one! Elapsed wall clock time (in seconds):276.901
280.95/277.03	o 835
281.67/277.71	c cleaning 6461 clauses out of 12935 with flag 9317/1359167
282.38/278.49	c cleaning 6232 clauses out of 12474 with flag 22067/1365167
282.57/278.67	c Got one! Elapsed wall clock time (in seconds):278.549
282.57/278.67	o 832
283.27/279.34	c cleaning 5761 clauses out of 11534 with flag 8893/1370459
284.17/280.22	c cleaning 5885 clauses out of 11775 with flag 21727/1376461
285.29/281.32	c cleaning 6443 clauses out of 12888 with flag 37046/1383459
286.39/282.49	c cleaning 7223 clauses out of 14445 with flag 53873/1391459
287.61/283.65	c cleaning 8106 clauses out of 16222 with flag 72850/1400459
288.11/284.11	c Got one! Elapsed wall clock time (in seconds):283.983
288.11/284.11	o 830
288.41/284.43	c cleaning 6879 clauses out of 13761 with flag 4235/1406104
289.31/285.33	c cleaning 6441 clauses out of 12881 with flag 16837/1412103
290.33/286.39	c cleaning 6714 clauses out of 13440 with flag 31518/1419103
291.63/287.64	c cleaning 7363 clauses out of 14727 with flag 48486/1427104
293.03/289.07	c cleaning 8180 clauses out of 16364 with flag 67444/1436104
294.77/290.77	c cleaning 9090 clauses out of 18183 with flag 88549/1446103
295.47/291.50	c Got one! Elapsed wall clock time (in seconds):291.371
295.47/291.50	o 828
295.68/291.68	c cleaning 7486 clauses out of 14977 with flag 2236/1451987
296.60/292.59	c cleaning 6738 clauses out of 13488 with flag 14675/1457984
297.60/293.55	c cleaning 6871 clauses out of 13750 with flag 29013/1464984
298.80/294.70	c cleaning 7439 clauses out of 14879 with flag 45673/1472984
300.12/296.08	c cleaning 8218 clauses out of 16441 with flag 64712/1481985
301.71/297.64	c cleaning 9111 clauses out of 18222 with flag 85939/1491984
303.45/299.34	c cleaning 10048 clauses out of 20112 with flag 109455/1502985
305.27/301.18	c cleaning 11032 clauses out of 22064 with flag 134508/1514985
306.97/302.83	c Got one! Elapsed wall clock time (in seconds):302.709
306.97/302.83	o 827
307.99/303.81	c cleaning 13915 clauses out of 27832 with flag 10514/1531785
309.00/304.89	c cleaning 9954 clauses out of 19918 with flag 23076/1537786
310.32/306.13	c cleaning 8481 clauses out of 16964 with flag 37706/1544786
311.62/307.44	c cleaning 8235 clauses out of 16482 with flag 54504/1552785
313.14/308.97	c cleaning 8620 clauses out of 17248 with flag 73117/1561786
314.94/310.73	c cleaning 9311 clauses out of 18627 with flag 94592/1571785
316.98/312.71	c cleaning 10153 clauses out of 20318 with flag 116799/1582787
319.10/314.85	c cleaning 11081 clauses out of 22167 with flag 141350/1594789
321.52/317.23	c cleaning 12040 clauses out of 24084 with flag 168540/1607787
324.06/319.79	c cleaning 13014 clauses out of 26042 with flag 197691/1621785
326.88/322.57	c cleaning 14011 clauses out of 28028 with flag 228674/1636785
329.91/325.57	c cleaning 14999 clauses out of 30017 with flag 262766/1652785
333.27/328.89	c cleaning 16006 clauses out of 32019 with flag 298949/1669786
336.99/332.51	c cleaning 16998 clauses out of 34013 with flag 337301/1687786
340.82/336.32	c cleaning 18007 clauses out of 36015 with flag 378783/1706786
344.74/340.24	c cleaning 19001 clauses out of 38008 with flag 421476/1726786
349.10/344.52	c cleaning 20001 clauses out of 40008 with flag 466865/1747787
353.85/349.28	c cleaning 21000 clauses out of 42005 with flag 513560/1769785
359.03/354.32	c cleaning 22000 clauses out of 44005 with flag 563192/1792785
364.31/359.57	c cleaning 23000 clauses out of 46005 with flag 613682/1816785
368.67/363.85	c cleaning 23999 clauses out of 48005 with flag 665044/1841785
373.65/368.75	c cleaning 25001 clauses out of 50008 with flag 718845/1867787
378.61/373.65	c cleaning 26001 clauses out of 52006 with flag 774887/1894786
380.23/375.27	c Got one! Elapsed wall clock time (in seconds):375.143
380.23/375.27	o 824
381.37/376.32	c cleaning 20386 clauses out of 40779 with flag 10546/1909560
382.38/377.38	c cleaning 13188 clauses out of 26392 with flag 23252/1915559
383.60/378.57	c cleaning 10091 clauses out of 20204 with flag 37728/1922559
385.00/379.91	c cleaning 9047 clauses out of 18114 with flag 54577/1930560
386.43/381.30	c cleaning 9021 clauses out of 18066 with flag 73265/1939559
388.08/382.92	c cleaning 9521 clauses out of 19046 with flag 93943/1949560
389.79/384.67	c cleaning 10258 clauses out of 20524 with flag 117257/1960559
391.71/386.55	c cleaning 11129 clauses out of 22266 with flag 142574/1972559
393.65/388.42	c cleaning 12067 clauses out of 24138 with flag 170008/1985560
395.66/390.50	c Got one! Elapsed wall clock time (in seconds):390.374
395.66/390.50	o 823
396.80/391.51	c cleaning 15046 clauses out of 30091 with flag 10497/2003580
397.80/392.54	c cleaning 10520 clauses out of 21045 with flag 22958/2009580
398.92/393.65	c cleaning 8760 clauses out of 17527 with flag 37969/2016582
400.15/394.87	c cleaning 8376 clauses out of 16764 with flag 54985/2024579
401.47/396.19	c cleaning 8690 clauses out of 17388 with flag 73959/2033579
401.77/396.42	c Got one! Elapsed wall clock time (in seconds):396.291
401.77/396.42	o 820
402.47/397.13	c cleaning 7164 clauses out of 14348 with flag 8421/2039229
403.37/398.03	c cleaning 6585 clauses out of 13184 with flag 21106/2045229
403.87/398.54	c Got one! Elapsed wall clock time (in seconds):398.415
403.87/398.54	o 818
404.07/398.72	c cleaning 5892 clauses out of 11783 with flag 2434/2050413
404.97/399.63	c cleaning 5939 clauses out of 11890 with flag 15735/2056412
405.97/400.65	c cleaning 6473 clauses out of 12951 with flag 31124/2063412
407.18/401.83	c cleaning 7239 clauses out of 14478 with flag 48563/2071412
408.59/403.24	c cleaning 8119 clauses out of 16240 with flag 68713/2080413
410.22/404.87	c cleaning 9059 clauses out of 18120 with flag 91665/2090412
411.52/406.19	c Got one! Elapsed wall clock time (in seconds):406.065
411.52/406.19	o 817
412.55/407.13	c cleaning 11416 clauses out of 22840 with flag 11174/2104191
413.57/408.18	c cleaning 8707 clauses out of 17425 with flag 24277/2110192
414.67/409.21	c cleaning 7850 clauses out of 15717 with flag 39334/2117191
415.88/410.49	c cleaning 7927 clauses out of 15867 with flag 56708/2125191
416.67/411.25	c Got one! Elapsed wall clock time (in seconds):411.13
416.67/411.25	o 816
417.41/411.97	c cleaning 9009 clauses out of 18022 with flag 10495/2135273
418.31/412.80	c cleaning 7506 clauses out of 15013 with flag 23067/2141273
419.22/413.72	c cleaning 7250 clauses out of 14507 with flag 38123/2148273
420.33/414.87	c cleaning 7625 clauses out of 15258 with flag 55112/2156274
421.65/416.15	c cleaning 8316 clauses out of 16632 with flag 74288/2165273
423.06/417.53	c cleaning 9156 clauses out of 18316 with flag 94829/2175273
424.68/419.12	c cleaning 10078 clauses out of 20160 with flag 117684/2186273
426.64/421.04	c cleaning 11042 clauses out of 22083 with flag 143428/2198274
428.88/423.25	c cleaning 12019 clauses out of 24041 with flag 170986/2211274
431.44/425.79	c cleaning 13009 clauses out of 26022 with flag 200417/2225274
433.98/428.24	c cleaning 14003 clauses out of 28012 with flag 231951/2240273
436.61/430.87	c cleaning 14998 clauses out of 30009 with flag 265298/2256273
439.68/433.83	c cleaning 16001 clauses out of 32011 with flag 300224/2273273
442.82/436.92	c cleaning 17001 clauses out of 34010 with flag 337711/2291273
446.17/440.24	c cleaning 18004 clauses out of 36010 with flag 377158/2310274
449.74/443.79	c cleaning 18999 clauses out of 38006 with flag 419801/2330274
453.71/447.69	c cleaning 20003 clauses out of 40007 with flag 463938/2351274
458.28/452.14	c cleaning 21002 clauses out of 42003 with flag 509817/2373273
459.29/453.14	c Got one! Elapsed wall clock time (in seconds):453.011
459.29/453.14	o 814
460.19/454.05	c cleaning 16019 clauses out of 32052 with flag 10643/2384324
461.12/455.00	c cleaning 11009 clauses out of 22033 with flag 22982/2390324
462.36/456.11	c cleaning 9008 clauses out of 18023 with flag 37357/2397323
463.56/457.35	c cleaning 8507 clauses out of 17015 with flag 54483/2405323
464.97/458.75	c cleaning 8752 clauses out of 17509 with flag 74022/2414324
466.57/460.33	c cleaning 9367 clauses out of 18756 with flag 96277/2424323
468.11/461.81	c cleaning 10196 clauses out of 20391 with flag 119619/2435325
469.72/463.46	c cleaning 11098 clauses out of 22195 with flag 145079/2447325
471.85/465.50	c cleaning 12047 clauses out of 24097 with flag 172577/2460325
473.99/467.67	c cleaning 13017 clauses out of 26049 with flag 202522/2474324
476.54/470.13	c cleaning 14015 clauses out of 28031 with flag 233752/2489323
479.30/472.81	c cleaning 15004 clauses out of 30016 with flag 265814/2505323
482.22/475.75	c cleaning 16006 clauses out of 32012 with flag 299962/2522323
485.36/478.89	c cleaning 17004 clauses out of 34007 with flag 336005/2540324
488.69/482.12	c cleaning 17998 clauses out of 36004 with flag 374040/2559325
492.14/485.50	c cleaning 18999 clauses out of 38004 with flag 415229/2579323
495.54/488.85	c cleaning 19999 clauses out of 40006 with flag 458525/2600324
499.40/492.69	c cleaning 20996 clauses out of 42006 with flag 503293/2622323
500.40/493.60	c Got one! Elapsed wall clock time (in seconds):493.48
500.40/493.60	o 813
501.31/494.54	c cleaning 16013 clauses out of 32038 with flag 10562/2633351
502.21/495.47	c cleaning 11006 clauses out of 22024 with flag 22953/2639350
503.32/496.50	c cleaning 9002 clauses out of 18020 with flag 37179/2646352
504.53/497.75	c cleaning 8494 clauses out of 17017 with flag 53598/2654351
505.84/499.01	c cleaning 8755 clauses out of 17522 with flag 72036/2663350
507.37/500.56	c cleaning 9383 clauses out of 18767 with flag 93268/2673350
508.88/502.07	c cleaning 10191 clauses out of 20385 with flag 115793/2684351
510.72/503.86	c cleaning 11092 clauses out of 22193 with flag 139972/2696350
512.73/505.84	c cleaning 12051 clauses out of 24101 with flag 166125/2709350
514.96/508.01	c cleaning 13025 clauses out of 26051 with flag 194438/2723351
517.43/510.44	c cleaning 14009 clauses out of 28026 with flag 224996/2738351
520.06/513.02	c cleaning 15007 clauses out of 30017 with flag 257246/2754351
522.99/515.99	c cleaning 16005 clauses out of 32009 with flag 291604/2771350
526.27/519.13	c cleaning 16996 clauses out of 34004 with flag 327981/2789350
529.62/522.45	c cleaning 18000 clauses out of 36009 with flag 366452/2808351
533.46/526.24	c cleaning 19002 clauses out of 38008 with flag 407127/2828350
537.54/530.30	c cleaning 20001 clauses out of 40006 with flag 450071/2849350
541.61/534.29	c cleaning 21003 clauses out of 42008 with flag 494883/2871353
546.39/538.93	c cleaning 21994 clauses out of 44003 with flag 542039/2894351
551.26/543.74	c cleaning 23000 clauses out of 46009 with flag 591334/2918351
556.43/548.82	c cleaning 24000 clauses out of 48008 with flag 643271/2943350
562.07/554.31	c cleaning 25003 clauses out of 50009 with flag 697169/2969351
567.65/559.87	c cleaning 25996 clauses out of 52008 with flag 753604/2996353
573.79/565.87	c cleaning 27000 clauses out of 54010 with flag 811887/3024351
580.26/572.26	c cleaning 28000 clauses out of 56011 with flag 872362/3053352
587.10/578.98	c cleaning 29002 clauses out of 58009 with flag 933880/3083350
594.09/585.81	c cleaning 30004 clauses out of 60007 with flag 998103/3114350
601.53/593.10	c cleaning 31002 clauses out of 62003 with flag 1064270/3146350
609.48/601.00	c cleaning 32001 clauses out of 64001 with flag 1131302/3179350
617.67/609.06	c cleaning 33001 clauses out of 66002 with flag 1200954/3213352
626.12/617.39	c cleaning 33999 clauses out of 68000 with flag 1272816/3248351
634.50/625.61	c cleaning 34994 clauses out of 70001 with flag 1346583/3284351
643.67/634.65	c cleaning 35999 clauses out of 72006 with flag 1423654/3321350
653.40/644.26	c cleaning 37004 clauses out of 74007 with flag 1502352/3359350
664.15/654.80	c cleaning 37996 clauses out of 76004 with flag 1584592/3398351
673.35/663.96	c cleaning 39000 clauses out of 78008 with flag 1668039/3438351
683.21/673.69	c cleaning 40000 clauses out of 80008 with flag 1754289/3479351
689.63/679.95	c Got one! Elapsed wall clock time (in seconds):679.823
689.63/679.95	o 809
691.15/681.49	c cleaning 37650 clauses out of 75322 with flag 11095/3514665
692.37/682.69	c cleaning 21831 clauses out of 43671 with flag 23804/3520664
693.77/684.00	c cleaning 14411 clauses out of 28839 with flag 38268/3527663
694.47/684.70	c Got one! Elapsed wall clock time (in seconds):684.572
694.47/684.70	o 808
694.67/684.90	c cleaning 9968 clauses out of 19943 with flag 2194/3533178
695.58/685.80	c cleaning 7981 clauses out of 15973 with flag 15106/3539176
696.50/686.70	c cleaning 7492 clauses out of 14991 with flag 29577/3546175
697.73/687.98	c cleaning 7751 clauses out of 15503 with flag 46118/3554179
699.35/689.57	c cleaning 8373 clauses out of 16748 with flag 65111/3563175
701.09/691.22	c cleaning 9185 clauses out of 18375 with flag 86312/3573175
702.81/692.98	c cleaning 10094 clauses out of 20191 with flag 109223/3584176
704.96/695.03	c cleaning 11048 clauses out of 22096 with flag 134144/3596175
707.18/697.21	c cleaning 12024 clauses out of 24049 with flag 161067/3609176
709.73/699.79	c cleaning 13012 clauses out of 26025 with flag 190288/3623176
712.45/702.48	c cleaning 14001 clauses out of 28012 with flag 222006/3638175
715.59/705.53	c cleaning 15005 clauses out of 30012 with flag 256578/3654176
718.57/708.49	c cleaning 15995 clauses out of 32006 with flag 292195/3671175
721.62/711.48	c cleaning 17005 clauses out of 34011 with flag 329764/3689175
724.97/714.71	c cleaning 17999 clauses out of 36006 with flag 369211/3708175
728.31/718.07	c cleaning 19003 clauses out of 38007 with flag 410399/3728175
732.07/721.75	c cleaning 20002 clauses out of 40005 with flag 453752/3749176
734.48/724.14	c Got one! Elapsed wall clock time (in seconds):724.012
734.48/724.14	o 807
735.60/725.26	c cleaning 19272 clauses out of 38554 with flag 10508/3767727
736.72/726.35	c cleaning 12637 clauses out of 25284 with flag 23197/3773729
737.83/727.40	c cleaning 9817 clauses out of 19647 with flag 37306/3780729
739.03/728.60	c cleaning 8909 clauses out of 17828 with flag 53899/3788727
740.44/730.03	c cleaning 8958 clauses out of 17919 with flag 72903/3797727
742.06/731.63	c cleaning 9479 clauses out of 18962 with flag 94092/3807728
743.88/733.47	c cleaning 10235 clauses out of 20482 with flag 116742/3818727
746.01/735.50	c cleaning 11122 clauses out of 22248 with flag 141637/3830728
748.16/737.60	c cleaning 12060 clauses out of 24126 with flag 168548/3843728
750.41/739.87	c cleaning 13029 clauses out of 26066 with flag 197642/3857728
753.05/742.42	c cleaning 14018 clauses out of 28036 with flag 228947/3872727
755.88/745.20	c cleaning 15002 clauses out of 30018 with flag 261796/3888727
757.22/746.54	c Got one! Elapsed wall clock time (in seconds):746.417
757.22/746.54	o 805
758.25/747.52	c cleaning 14033 clauses out of 28072 with flag 10719/3901783
759.15/748.46	c cleaning 10016 clauses out of 20038 with flag 23558/3907782
760.17/749.45	c cleaning 8504 clauses out of 17022 with flag 38429/3914782
761.48/750.79	c cleaning 8249 clauses out of 16519 with flag 54925/3922783
762.98/752.29	c cleaning 8633 clauses out of 17272 with flag 73498/3931785
764.70/753.93	c cleaning 9319 clauses out of 18637 with flag 94380/3941783
766.52/755.70	c cleaning 10155 clauses out of 20317 with flag 117249/3952782
768.33/757.58	c cleaning 11079 clauses out of 22162 with flag 142523/3964782
770.68/759.86	c cleaning 12041 clauses out of 24083 with flag 169892/3977782
773.13/762.24	c cleaning 13020 clauses out of 26042 with flag 199511/3991782
776.00/765.02	c cleaning 14006 clauses out of 28024 with flag 231395/4006784
778.83/767.83	c cleaning 15007 clauses out of 30016 with flag 265139/4022782
781.97/770.91	c cleaning 16003 clauses out of 32010 with flag 300950/4039783
785.11/774.00	c cleaning 17000 clauses out of 34008 with flag 338468/4057784
788.68/777.57	c cleaning 18000 clauses out of 36006 with flag 378989/4076782
792.44/781.25	c cleaning 19003 clauses out of 38006 with flag 421319/4096782
796.52/785.23	c cleaning 20001 clauses out of 40003 with flag 465595/4117782
800.68/789.36	c cleaning 20996 clauses out of 42002 with flag 513063/4139782
804.99/793.58	c cleaning 21991 clauses out of 44006 with flag 561922/4162782
809.45/797.93	c cleaning 23001 clauses out of 46015 with flag 612243/4186782
814.52/802.92	c cleaning 24005 clauses out of 48015 with flag 664335/4211783
819.90/808.25	c cleaning 24999 clauses out of 50010 with flag 718871/4237783
825.18/813.42	c cleaning 26005 clauses out of 52010 with flag 776178/4264782
831.38/819.60	c cleaning 26997 clauses out of 54005 with flag 837070/4292782
837.80/825.87	c cleaning 28001 clauses out of 56010 with flag 898682/4321784
844.49/832.47	c cleaning 28999 clauses out of 58008 with flag 961535/4351783
851.68/839.57	c cleaning 30002 clauses out of 60008 with flag 1028017/4382782
859.10/846.85	c cleaning 30998 clauses out of 62006 with flag 1096018/4414782
859.31/847.03	c Got one! Elapsed wall clock time (in seconds):846.903
859.31/847.03	o 799
860.13/847.89	c cleaning 18127 clauses out of 36267 with flag 8692/4420041
861.25/848.93	c cleaning 12064 clauses out of 24140 with flag 21339/4426041
862.35/850.06	c cleaning 9527 clauses out of 19076 with flag 35935/4433041
863.56/851.29	c cleaning 8768 clauses out of 17548 with flag 52376/4441040
864.97/852.69	c cleaning 8890 clauses out of 17780 with flag 71032/4450040
866.40/854.03	c cleaning 9444 clauses out of 18890 with flag 92055/4460040
867.92/855.50	c cleaning 10220 clauses out of 20447 with flag 115071/4471041
869.25/856.86	c Got one! Elapsed wall clock time (in seconds):856.74
869.25/856.86	o 798
870.24/857.81	c cleaning 12207 clauses out of 24419 with flag 10522/4485233
871.16/858.75	c cleaning 9100 clauses out of 18211 with flag 22699/4491232
872.28/859.90	c cleaning 8049 clauses out of 16111 with flag 36781/4498232
873.58/861.13	c cleaning 8023 clauses out of 16063 with flag 52888/4506233
874.99/862.52	c cleaning 8518 clauses out of 17040 with flag 70950/4515233
876.59/864.16	c cleaning 9255 clauses out of 18521 with flag 91031/4525232
878.45/865.97	c cleaning 10122 clauses out of 20266 with flag 113216/4536232
880.35/867.88	c cleaning 11067 clauses out of 22145 with flag 138192/4548233
882.57/870.02	c cleaning 12037 clauses out of 24079 with flag 165935/4561234
884.80/872.27	c cleaning 13016 clauses out of 26040 with flag 195438/4575232
887.36/874.76	c cleaning 14008 clauses out of 28024 with flag 226664/4590232
890.10/877.45	c cleaning 15005 clauses out of 30016 with flag 260145/4606232
893.39/880.64	c cleaning 16002 clauses out of 32012 with flag 295024/4623233
893.89/881.11	c Got one! Elapsed wall clock time (in seconds):880.988
893.89/881.11	o 794
894.19/881.49	c cleaning 10516 clauses out of 21036 with flag 4612/4628259
895.10/882.31	c cleaning 8255 clauses out of 16520 with flag 17628/4634259
896.20/883.42	c cleaning 7625 clauses out of 15265 with flag 32367/4641259
897.52/884.73	c cleaning 7817 clauses out of 15640 with flag 49181/4649259
899.02/886.25	c cleaning 8412 clauses out of 16825 with flag 68107/4658261
900.76/887.90	c cleaning 9200 clauses out of 18411 with flag 88505/4668259
902.59/889.72	c cleaning 10102 clauses out of 20211 with flag 111661/4679259
904.50/891.66	c cleaning 11055 clauses out of 22111 with flag 136882/4691261
906.66/893.75	c cleaning 12021 clauses out of 24054 with flag 163759/4704259
909.12/896.12	c cleaning 13018 clauses out of 26035 with flag 192582/4718261
911.67/898.61	c cleaning 14000 clauses out of 28015 with flag 223302/4733259
914.42/901.30	c cleaning 15006 clauses out of 30015 with flag 255891/4749259
917.38/904.30	c cleaning 16005 clauses out of 32009 with flag 291077/4766259
920.73/907.51	c cleaning 16997 clauses out of 34004 with flag 328885/4784259
924.28/911.09	c cleaning 18001 clauses out of 36008 with flag 368146/4803260
927.73/914.40	c cleaning 18999 clauses out of 38007 with flag 410135/4823260
931.40/918.08	c cleaning 20004 clauses out of 40009 with flag 454194/4844261
935.75/922.36	c cleaning 21002 clauses out of 42003 with flag 500111/4866259
940.42/927.00	c cleaning 21999 clauses out of 44001 with flag 547131/4889259
945.47/931.96	c cleaning 22995 clauses out of 46002 with flag 596278/4913259
950.94/937.33	c cleaning 24004 clauses out of 48007 with flag 647788/4938259
957.00/943.35	c cleaning 25002 clauses out of 50003 with flag 700860/4964259
963.39/949.65	c cleaning 25995 clauses out of 52003 with flag 757782/4991261
969.57/955.79	c cleaning 26995 clauses out of 54006 with flag 816689/5019259
976.07/962.12	c cleaning 28001 clauses out of 56011 with flag 876969/5048259
982.66/968.63	c cleaning 29004 clauses out of 58010 with flag 939172/5078259
989.14/975.09	c cleaning 30001 clauses out of 60007 with flag 1003298/5109260
996.64/982.42	c cleaning 31005 clauses out of 62011 with flag 1068954/5141265
1004.48/990.17	c cleaning 31997 clauses out of 64000 with flag 1137032/5174259
1012.88/998.41	c cleaning 32998 clauses out of 66004 with flag 1207919/5208260
1021.61/1007.02	c cleaning 34004 clauses out of 68007 with flag 1280461/5243261
1030.34/1015.69	c cleaning 34997 clauses out of 70001 with flag 1356047/5279259
1039.66/1024.84	c cleaning 35997 clauses out of 72004 with flag 1433154/5316259
1050.56/1035.54	c cleaning 36997 clauses out of 74007 with flag 1511573/5354259
1061.79/1046.62	c cleaning 38003 clauses out of 76011 with flag 1592815/5393260
1072.65/1057.33	c cleaning 38997 clauses out of 78007 with flag 1675678/5433259
1083.82/1068.36	c cleaning 40001 clauses out of 80010 with flag 1760781/5474259
1095.15/1079.53	c cleaning 41000 clauses out of 82010 with flag 1848371/5516260
1106.91/1091.17	c cleaning 42002 clauses out of 84011 with flag 1938879/5559261
1118.74/1102.81	c cleaning 43002 clauses out of 86007 with flag 2032106/5603259
1130.85/1114.76	c cleaning 44002 clauses out of 88005 with flag 2126219/5648259
1143.61/1127.35	c cleaning 44997 clauses out of 90004 with flag 2221848/5694260
1156.97/1140.55	c cleaning 46003 clauses out of 92008 with flag 2321785/5741261
1170.94/1154.35	c cleaning 47002 clauses out of 94003 with flag 2426267/5789259
1185.23/1168.46	c cleaning 48001 clauses out of 96002 with flag 2537455/5838260
1199.10/1182.13	c cleaning 48998 clauses out of 98000 with flag 2645534/5888259
1213.11/1195.91	c cleaning 49997 clauses out of 100003 with flag 2755278/5939260
1227.53/1210.17	c cleaning 50996 clauses out of 102005 with flag 2865427/5991259
1242.49/1224.99	c cleaning 52000 clauses out of 104009 with flag 2981306/6044259
1256.86/1239.17	c cleaning 53002 clauses out of 106009 with flag 3098254/6098259
1272.08/1254.11	c cleaning 53996 clauses out of 108008 with flag 3216188/6153260
1287.90/1269.73	c cleaning 55006 clauses out of 110011 with flag 3333325/6209259
1305.72/1287.30	c cleaning 56000 clauses out of 112005 with flag 3451569/6266259
1325.16/1306.53	c cleaning 57002 clauses out of 114006 with flag 3573613/6324260
1342.70/1323.96	c cleaning 57986 clauses out of 116003 with flag 3701176/6383259
1358.23/1339.22	c cleaning 59002 clauses out of 118017 with flag 3829051/6443259
1378.22/1359.04	c cleaning 60008 clauses out of 120016 with flag 3957515/6504260
1398.05/1378.69	c cleaning 61001 clauses out of 122007 with flag 4091224/6566259
1415.94/1396.38	c cleaning 62001 clauses out of 124008 with flag 4224328/6629261
1435.80/1415.90	c cleaning 62997 clauses out of 126005 with flag 4360804/6693259
1438.02/1418.19	c Got one! Elapsed wall clock time (in seconds):1418.065
1438.02/1418.19	o 791
1439.94/1420.06	c cleaning 38803 clauses out of 77620 with flag 10978/6707871
1441.36/1421.41	c cleaning 22401 clauses out of 44817 with flag 23779/6713871
1442.67/1422.72	c cleaning 14702 clauses out of 29415 with flag 38377/6720870
1443.80/1423.89	c cleaning 11349 clauses out of 22714 with flag 56031/6728871
1445.22/1425.28	c cleaning 10179 clauses out of 20364 with flag 75529/6737870
1446.94/1426.96	c cleaning 10086 clauses out of 20185 with flag 96494/6747870
1448.88/1428.81	c cleaning 10547 clauses out of 21099 with flag 119162/6758870
1451.00/1430.93	c cleaning 11275 clauses out of 22552 with flag 143692/6770870
1453.15/1433.10	c cleaning 12135 clauses out of 24278 with flag 170582/6783871
1455.68/1435.52	c cleaning 13066 clauses out of 26146 with flag 200442/6797874
1458.61/1438.42	c cleaning 14032 clauses out of 28079 with flag 231668/6812873
1461.54/1441.39	c cleaning 15019 clauses out of 30044 with flag 264571/6828870
1464.76/1444.52	c cleaning 16015 clauses out of 32029 with flag 299649/6845874
1468.02/1447.78	c cleaning 17000 clauses out of 34010 with flag 337834/6863870
1468.22/1447.91	c Got one! Elapsed wall clock time (in seconds):1447.782
1468.22/1447.91	o 790
1468.93/1448.62	c cleaning 11057 clauses out of 22119 with flag 8636/6868979
1469.86/1449.51	c cleaning 8523 clauses out of 17062 with flag 21137/6874979
1470.86/1450.50	c cleaning 7764 clauses out of 15538 with flag 36370/6881978
1472.08/1451.72	c cleaning 7883 clauses out of 15775 with flag 53352/6889979
1473.50/1453.14	c cleaning 8443 clauses out of 16892 with flag 72722/6898979
1475.02/1454.62	c cleaning 9223 clauses out of 18448 with flag 92936/6908978
1476.55/1456.13	c cleaning 10110 clauses out of 20225 with flag 115128/6919978
1478.28/1457.84	c cleaning 11053 clauses out of 22116 with flag 140439/6931979
1480.51/1460.07	c cleaning 12033 clauses out of 24065 with flag 167847/6944981
1483.17/1462.60	c cleaning 13012 clauses out of 26030 with flag 197188/6958979
1485.61/1465.07	c cleaning 14008 clauses out of 28017 with flag 228852/6973978
1488.35/1467.74	c cleaning 15002 clauses out of 30009 with flag 263592/6989978
1491.08/1470.48	c cleaning 16003 clauses out of 32008 with flag 300245/7006979
1494.13/1473.44	c cleaning 17000 clauses out of 34004 with flag 338446/7024978
1497.85/1477.10	c cleaning 17999 clauses out of 36005 with flag 377704/7043979
1501.79/1480.93	c cleaning 19002 clauses out of 38005 with flag 418815/7063978
1505.77/1484.86	c cleaning 19997 clauses out of 40005 with flag 461978/7084980
1510.00/1489.09	c cleaning 21000 clauses out of 42007 with flag 507797/7106979
1514.76/1493.75	c cleaning 21999 clauses out of 44006 with flag 555648/7129978
1519.51/1498.48	c cleaning 23004 clauses out of 46009 with flag 605134/7153980
1524.70/1503.58	c cleaning 23997 clauses out of 48004 with flag 657130/7178979
1530.16/1508.94	c cleaning 25000 clauses out of 50006 with flag 710851/7204978
1535.83/1514.53	c cleaning 26001 clauses out of 52008 with flag 766537/7231980
1542.24/1520.84	c cleaning 26998 clauses out of 54006 with flag 824514/7259979
1548.91/1527.49	c cleaning 28003 clauses out of 56007 with flag 885288/7288978
1556.66/1535.06	c cleaning 29000 clauses out of 58005 with flag 949453/7318979
1564.14/1542.40	c cleaning 29995 clauses out of 60004 with flag 1014993/7349978
1572.15/1550.37	c cleaning 30998 clauses out of 62010 with flag 1081701/7381979
1580.26/1558.36	c cleaning 31999 clauses out of 64011 with flag 1151616/7414978
1588.07/1566.01	c cleaning 33003 clauses out of 66012 with flag 1222478/7448978
1596.52/1574.33	c cleaning 33999 clauses out of 68010 with flag 1297729/7483979
1605.93/1583.61	c cleaning 35000 clauses out of 70010 with flag 1374699/7519978
1615.29/1592.86	c cleaning 35997 clauses out of 72012 with flag 1453092/7556980
1624.36/1601.80	c cleaning 37006 clauses out of 74014 with flag 1533467/7594979
1633.91/1611.23	c cleaning 38001 clauses out of 76007 with flag 1617525/7633978
1642.84/1620.02	c cleaning 39004 clauses out of 78009 with flag 1701441/7673981
1653.53/1630.62	c cleaning 39995 clauses out of 80002 with flag 1784718/7714978
1655.73/1632.70	c Got one! Elapsed wall clock time (in seconds):1632.577
1655.73/1632.70	o 789
1656.93/1633.93	c cleaning 28444 clauses out of 56906 with flag 10713/7731877
1658.05/1635.02	c cleaning 17225 clauses out of 34462 with flag 23764/7737877
1659.17/1636.13	c cleaning 12109 clauses out of 24238 with flag 38294/7744878
1660.38/1637.32	c cleaning 10062 clauses out of 20128 with flag 55545/7752877
1661.78/1638.79	c cleaning 9526 clauses out of 19067 with flag 74847/7761878
1662.70/1639.67	c Got one! Elapsed wall clock time (in seconds):1639.544
1662.70/1639.67	o 788
1663.60/1640.51	c cleaning 10158 clauses out of 20327 with flag 10809/7772664
1664.51/1641.41	c cleaning 8081 clauses out of 16167 with flag 23538/7778662
1665.53/1642.48	c cleaning 7542 clauses out of 15088 with flag 38735/7785664
1666.75/1643.69	c cleaning 7772 clauses out of 15546 with flag 56076/7793664
1668.07/1644.96	c cleaning 8379 clauses out of 16773 with flag 74888/7802663
1669.61/1646.46	c cleaning 9198 clauses out of 18395 with flag 95470/7812664
1671.34/1648.16	c cleaning 10093 clauses out of 20196 with flag 117751/7823663
1673.26/1650.03	c cleaning 11049 clauses out of 22102 with flag 142776/7835662
1675.39/1652.18	c cleaning 12024 clauses out of 24053 with flag 170507/7848662
1677.73/1654.40	c cleaning 13008 clauses out of 26030 with flag 200049/7862663
1680.29/1656.91	c cleaning 14011 clauses out of 28023 with flag 231474/7877664
1683.23/1659.89	c cleaning 15004 clauses out of 30011 with flag 265265/7893663
1686.50/1663.05	c cleaning 16003 clauses out of 32007 with flag 300972/7910663
1689.84/1666.36	c cleaning 16997 clauses out of 34003 with flag 337963/7928662
1693.40/1669.82	c cleaning 18000 clauses out of 36006 with flag 378602/7947662
1697.44/1673.85	c cleaning 19004 clauses out of 38007 with flag 422474/7967663
1701.68/1678.04	c cleaning 20000 clauses out of 40002 with flag 466810/7988662
1705.83/1682.11	c cleaning 21000 clauses out of 42002 with flag 511808/8010662
1710.28/1686.56	c cleaning 22000 clauses out of 44003 with flag 559247/8033663
1715.38/1691.52	c cleaning 23001 clauses out of 46006 with flag 610707/8057666
1720.74/1696.88	c cleaning 23997 clauses out of 48002 with flag 663955/8082663
1725.81/1701.81	c cleaning 24997 clauses out of 50005 with flag 716630/8108663
1731.36/1707.24	c cleaning 26004 clauses out of 52007 with flag 771733/8135662
1736.83/1712.70	c cleaning 26995 clauses out of 54005 with flag 830210/8163664
1743.24/1718.92	c cleaning 28005 clauses out of 56010 with flag 890528/8192664
1750.18/1725.89	c cleaning 28998 clauses out of 58003 with flag 953039/8222662
1757.28/1732.88	c cleaning 29998 clauses out of 60006 with flag 1019298/8253663
1764.28/1739.76	c cleaning 31000 clauses out of 62009 with flag 1087504/8285664
1771.33/1746.67	c cleaning 31999 clauses out of 64007 with flag 1157737/8318662
1779.25/1754.48	c cleaning 33002 clauses out of 66008 with flag 1229293/8352662
1787.56/1762.68	c cleaning 34000 clauses out of 68006 with flag 1302156/8387662
1795.59/1770.56	c cleaning 35000 clauses out of 70007 with flag 1379707/8423663
1800.02/1774.90	c starts		: 5526
1800.02/1774.90	c conflicts		: 8442729
1800.02/1774.90	c decisions		: 8721447
1800.02/1774.90	c propagations		: 464029300
1800.02/1774.90	c inspects		: 16562308455
1800.02/1774.90	c shortcuts		: 0
1800.02/1774.90	c learnt literals	: 0
1800.02/1774.90	c learnt binary clauses	: 0
1800.02/1774.90	c learnt ternary clauses	: 1514
1800.02/1774.90	c learnt constraints	: 8442729
1800.02/1774.90	c ignored constraints	: 0
1800.02/1774.90	c root simplifications	: 0
1800.02/1774.90	c removed literals (reason simplification)	: 0
1800.02/1774.90	c reason swapping (by a shorter reason)	: 0
1800.02/1774.90	c Calls to reduceDB	: 465
1800.02/1774.90	c Number of update (reduction) of LBD	: 6389
1800.02/1774.90	c Imported unit clauses	: 0
1800.02/1774.90	c number of reductions to clauses (during analyze)	: 0
1800.02/1774.90	c number of learned constraints concerned by reduction	: 0
1800.02/1774.90	c number of learning phase by resolution	: 0
1800.02/1774.90	c number of learning phase by cutting planes	: 0
1800.02/1774.90	c speed (assignments/second)	: 261486.53598424868
1800.02/1774.90	c non guided choices	0
1800.02/1774.92	c learnt constraints type 
1800.02/1774.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 54073
1800.02/1774.92	s SATISFIABLE
1800.02/1774.92	c Found 83 solution(s)
1800.02/1774.93	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 -x19 x20 x21 -x22 x23 x24 -x25 x26 x27 -x28 x29 x30 x31 x32 -x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 x46 -x47 x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 x60 x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 x79 -x80 x81 x82 x83 x84 -x85 x86 -x87 x88 -x89 -x90 x91 -x92 -x93 -x94 x95 -x96 -x97 x98 -x99 -x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 x139 x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 x153 -x154 x155 -x156 -x157 x158 x159 -x160 x161 x162 x163 -x164 x165 x166 -x167 x168 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 -x180 x181 -x182 -x183 -x184 x185 x186 x187 -x188 x189 -x190 -x191 -x192 x193 x194 x195 x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 x219 -x220 -x221 x222 x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 x249 -x250 x251 x252 -x253 -x254 x255 x256 -x257 x258 -x259 x260 -x261 x262 x263 -x264 x265 x266 -x267 x268 -x269 -x270 x271 x272 -x273 x274 -x275 x276 -x277 x278 -x279 x280 x281 x282 x283 -x284 x285 -x286 -x287 x288 -x289 x290 x291 -x292 x293 -x294 -x295 x296 -x297 -x298 x299 x300 x301 x302 x303 -x304 x305 x306 x307 x308 x309 -x310 x311 x312 -x313 -x314 -x315 -x316 -x317 x318 x319 x320 -x321 x322 -x323 -x324 x325 x326 x327 -x328 x329 -x330 -x331 -x332 x333 x334 x335 -x336 -x337 x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 -x367 x368 -x369 x370 -x371 -x372 x373 -x374 x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 x389 -x390 -x391 -x392 x393 -x394 -x395 x396 -x397 -x398 x399 x400 -x401 x402 x403 x404 -x405 x406 x407 -x408 -x409 -x410 -x411 x412 -x413 x414 -x415 x416 -x417 -x418 x419 x420 -x421 x422 -x423 -x424 -x425 x426 x427 x428 x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 x441 -x442 -x443 x444 x445 -x446 x447 -x448 x449 -x450 x451 -x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 x467 x468 -x469 x470 x471 x472 -x473 x474 -x475 -x476 x477 x478 x479 -x480 x481 -x482 -x483 -x484 x485 -x486 x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 x496 x497 -x498 -x499 -x500 x501 -x502 x503 x504 -x505 x506 x507 -x508 -x509 -x510 x511 x512 x513 x514 -x515 x516 -x517 -x518 x519 x520 -x521 x522 -x523 -x524 -x525 -x526 x527 -x528 x529 -x530 -x531 -x532 x533 x534 x535 x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x560 -x561 x562 -x563 x564 -x565 x566 -x567 x568 x569 x570 -x571 x572 -x573 -x574 -x575 x576 -x577 x578 x579 x580 x581 -x582 x583 -x584 -x585 -x586 x587 x588 -x589 x590 -x591 x592 x593 -x594 x595 -x596 x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 x640 x641 x642 x643 -x644 -x645 x646 x647 -x648 x649 -x650 -x651 -x652 x653 -x654 x655 -x656 -x657 x658 x659 x660 x661 -x662 x663 -x664 -x665 -x666 x667 x668 -x669 x670 -x671 x672 -x673 x674 -x675 -x676 x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 x716 -x717 -x718 x719 -x720 -x721 x722 x723 -x724 x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 x733 x734 x735 -x736 -x737 x738 -x739 x740 -x741 x742 -x743 x744 -x745 x746 x747 -x748 x749 -x750 -x751 x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 x763 -x764 x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 x794 x795 x796 x797 x798 -x799 -x800 x801 -x802 x803 -x804 -x805 x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 x815 x816 -x817 -x818 x819 x820 x821 x822 -x823 x824 -x825 x826 -x827 x828 x829 x830 x831 x832 x833 x834 -x835 x836 -x837 -x838 x839 x840 -x841 -x842 -x843 -x844 -x845 x846 x847 x848 -x849 x850 x851 -x852 -x853 x854 -x855 x856 -x857 x858 -x859 x860 -x861 x862 -x863 x864 x865 x866 -x867 -x868 x869 -x870 x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 x881 -x882 x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 x913 -x914 x915 -x916 x917 -x918 x919 -x920 x921 x922 x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 x931 x932 -x933 x934 -x935 x936 -x937 x938 x939 x940 x941 x942 x943 x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 x955 x956 -x957 x958 x959 -x960 -x961 x962 x963 x964 -x965 x966 -x967 -x968 x969 -x970 x971 x972 x973 -x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 x989 -x990 x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 x1139 x1140 -x1141 -x1142 x1143 -x1144 x1145 x1146 x1147 x1148 -x1149 -x1150 x1151 -x1152 x1153 -x1154 -x1155 x1156 -x1157 x1158 x1159 x1160 x1161 -x1162 x1163 -x1164 x1165 x1166 x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 x1175 x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 x1186 -x1187 -x1188 x1189 -x1190 x1191 x1192 x1193 x1194 x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
1800.02/1774.93	c objective function=788
1800.02/1774.93	c Total wall clock time (in seconds): 1774.806

Verifier Data 

OK	788

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-4118731-1467234459/watcher-4118731-1467234459 -o /tmp/evaluation-result-4118731-1467234459/solver-4118731-1467234459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3607 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118731-1467234459.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.30 2.27 3/194 6922
/proc/meminfo: memFree=25793984/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/6922/stat : 6922 (java) D 6919 6922 3589 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 4404397 2560000 46 33554432000 1073741824 1073778376 140735734134976 140735734132104 226075176231 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/6922/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.27 2.30 2.27 3/194 6922
/proc/meminfo: memFree=25793984/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 4123 0 1 0 6 1 0 0 20 0 18 0 4404397 9787879424 4729 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2389619 4732 2052 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200249 s]
/proc/loadavg: 2.27 2.30 2.27 3/194 6922
/proc/meminfo: memFree=25793984/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 4769 0 1 0 23 1 0 0 20 0 18 0 4404397 9787879424 6319 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2389619 6319 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300248 s]
/proc/loadavg: 2.27 2.30 2.27 3/194 6922
/proc/meminfo: memFree=25793984/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 5605 0 1 0 42 1 0 0 20 0 18 0 4404397 9787879424 7847 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2389619 7855 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 2.27 2.30 2.27 3/194 6922
/proc/meminfo: memFree=25793984/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 11503 0 1 0 150 2 0 0 20 0 19 0 4404397 9856040960 14008 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2406260 14008 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9625040

[startup+1.50081 s]
/proc/loadavg: 2.27 2.30 2.27 4/213 6941
/proc/meminfo: memFree=25734280/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 12751 0 1 0 237 3 0 0 20 0 19 0 4404397 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2406260 19142 2262 9 0 2396937 0
[pid=6922/tid=6924] ppid=6919 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/6922/task/6924/stat : 6924 (java) R 6919 6922 3589 0 -1 4202560 2482 0 1 0 143 2 0 0 20 0 19 0 4404399 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888357790000 139888298036222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6925/stat : 6925 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888296528680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6926] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6926/stat : 6926 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888295475880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6927] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6927/stat : 6927 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888294423592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6928] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6928/stat : 6928 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888198106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6929] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6929/stat : 6929 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888197052712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6930] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6930/stat : 6930 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888195999912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6931] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6931/stat : 6931 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888194947624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6932] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6932/stat : 6932 (java) S 6919 6922 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888193894824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6933] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6933/stat : 6933 (java) S 6919 6922 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4404401 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888181697256 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6934] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6934/stat : 6934 (java) S 6919 6922 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888180643320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6935] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6935/stat : 6935 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888179590920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6936] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6936/stat : 6936 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888178539408 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6937] ppid=6919 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/6922/task/6937/stat : 6937 (java) S 6919 6922 3589 0 -1 4202560 4258 0 0 0 43 0 0 0 20 0 19 0 4404404 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888177486008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6938] ppid=6919 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/6922/task/6938/stat : 6938 (java) S 6919 6922 3589 0 -1 4202560 4740 0 0 0 47 1 0 0 20 0 19 0 4404404 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888176433208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6939] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6939/stat : 6939 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888175381112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6940] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6940/stat : 6940 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404405 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888174328520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6941] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6941/stat : 6941 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404430 9856040960 19142 33554432000 1073741824 1073778376 140735556523408 139888173274536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.27 2.30 2.27 3/213 6941
/proc/meminfo: memFree=25704872/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9625040 CPUtime=4.1 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 14131 0 1 0 406 4 0 0 20 0 19 0 4404397 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2406260 29908 2266 9 0 2396937 0
[pid=6922/tid=6924] ppid=6919 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/6922/task/6924/stat : 6924 (java) R 6919 6922 3589 0 -1 4202560 2503 0 1 0 302 2 0 0 20 0 19 0 4404399 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888357790000 139888298333633 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6925/stat : 6925 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888296528680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6926] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6926/stat : 6926 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888295475880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6927] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6927/stat : 6927 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888294423592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6928] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6928/stat : 6928 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888198106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6929] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6929/stat : 6929 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888197052712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6930] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6930/stat : 6930 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888195999912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6931] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6931/stat : 6931 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888194947624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6932] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6932/stat : 6932 (java) S 6919 6922 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888193894824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6933] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6933/stat : 6933 (java) S 6919 6922 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4404401 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888181697256 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6934] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6934/stat : 6934 (java) S 6919 6922 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888180643320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6935] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6935/stat : 6935 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888179590920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6936] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6936/stat : 6936 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888178539408 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6937] ppid=6919 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/6922/task/6937/stat : 6937 (java) S 6919 6922 3589 0 -1 4202560 4258 0 0 0 44 0 0 0 20 0 19 0 4404404 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888177486008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6938] ppid=6919 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6922/task/6938/stat : 6938 (java) S 6919 6922 3589 0 -1 4202560 6099 0 0 0 56 2 0 0 20 0 19 0 4404404 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888176433208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6939] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6939/stat : 6939 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888175381112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6940] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6940/stat : 6940 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404405 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888174328520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6941] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6941/stat : 6941 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404430 9856040960 29908 33554432000 1073741824 1073778376 140735556523408 139888173274536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.25 2.29 2.27 3/213 6941
/proc/meminfo: memFree=25608120/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9625040 CPUtime=7.4 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 14240 0 1 0 732 8 0 0 20 0 19 0 4404397 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2406260 48257 2280 9 0 2396937 0
[pid=6922/tid=6924] ppid=6919 vsize=9625040 CPUtime=6.2 cores=1,3,5,7
/proc/6922/task/6924/stat : 6924 (java) R 6919 6922 3589 0 -1 4202560 2529 0 1 0 618 2 0 0 20 0 19 0 4404399 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888357789360 139888298396670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6925/stat : 6925 (java) S 6919 6922 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888296528680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6926] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6926/stat : 6926 (java) S 6919 6922 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888295475880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6927] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6927/stat : 6927 (java) S 6919 6922 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888294423592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6928] ppid=6919 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6922/task/6928/stat : 6928 (java) S 6919 6922 3589 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888198106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6929] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6929/stat : 6929 (java) S 6919 6922 3589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888197052712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6930] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6930/stat : 6930 (java) S 6919 6922 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888195999912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6931] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6931/stat : 6931 (java) S 6919 6922 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888194947624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6932] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6932/stat : 6932 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404400 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888193894824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6933] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6933/stat : 6933 (java) S 6919 6922 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4404401 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888181697256 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6934] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6934/stat : 6934 (java) S 6919 6922 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888180643320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6935] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6935/stat : 6935 (java) S 6919 6922 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888179590920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6936] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6936/stat : 6936 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888178539408 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6937] ppid=6919 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/6922/task/6937/stat : 6937 (java) S 6919 6922 3589 0 -1 4202560 4264 0 0 0 47 0 0 0 20 0 19 0 4404404 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888177486008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6938] ppid=6919 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6922/task/6938/stat : 6938 (java) S 6919 6922 3589 0 -1 4202560 6100 0 0 0 57 2 0 0 20 0 19 0 4404404 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888176433208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6939] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6939/stat : 6939 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888175381112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6940] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6940/stat : 6940 (java) S 6919 6922 3589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4404405 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888174328520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6941] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6941/stat : 6941 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404430 9856040960 48257 33554432000 1073741824 1073778376 140735556523408 139888173274536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9625040


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

[pid=6922/tid=6941] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6941/stat : 6941 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404430 9856040960 68493 33554432000 1073741824 1073778376 140735556523408 139888173274536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1685.8
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.12 2.33 2.33 3/213 7049
/proc/meminfo: memFree=24953180/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9625040 CPUtime=1746.66 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 36209 0 1 0 174486 180 0 0 20 0 19 0 4404397 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2406260 74300 2289 9 0 2396937 0
[pid=6922/tid=6924] ppid=6919 vsize=9625040 CPUtime=1703.24 cores=1,3,5,7
/proc/6922/task/6924/stat : 6924 (java) R 6919 6922 3589 0 -1 4202560 3346 0 1 0 170294 30 0 0 20 0 19 0 4404399 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888357797072 139888298077648 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=9625040 CPUtime=4.06 cores=1,3,5,7
/proc/6922/task/6925/stat : 6925 (java) S 6919 6922 3589 0 -1 4202560 2550 0 0 0 390 16 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888296528680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6926] ppid=6919 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/6922/task/6926/stat : 6926 (java) S 6919 6922 3589 0 -1 4202560 1654 0 0 0 420 15 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888295475880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6927] ppid=6919 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/6922/task/6927/stat : 6927 (java) S 6919 6922 3589 0 -1 4202560 2530 0 0 0 374 19 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888294423592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6928] ppid=6919 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/6922/task/6928/stat : 6928 (java) S 6919 6922 3589 0 -1 4202560 2549 0 0 0 413 19 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888198106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6929] ppid=6919 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/6922/task/6929/stat : 6929 (java) S 6919 6922 3589 0 -1 4202560 1929 0 0 0 408 19 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888197052712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6930] ppid=6919 vsize=9625040 CPUtime=4.34 cores=1,3,5,7
/proc/6922/task/6930/stat : 6930 (java) S 6919 6922 3589 0 -1 4202560 2911 0 0 0 414 20 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888195999912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6931] ppid=6919 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/6922/task/6931/stat : 6931 (java) S 6919 6922 3589 0 -1 4202560 2245 0 0 0 393 19 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888194947624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6932] ppid=6919 vsize=9625040 CPUtime=4.21 cores=1,3,5,7
/proc/6922/task/6932/stat : 6932 (java) S 6919 6922 3589 0 -1 4202560 3456 0 0 0 401 20 0 0 20 0 19 0 4404400 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888193894824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6922/tid=6933] ppid=6919 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/6922/task/6933/stat : 6933 (java) S 6919 6922 3589 0 -1 4202560 1309 0 0 0 396 9 0 0 20 0 19 0 4404401 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888181697256 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6934] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6934/stat : 6934 (java) S 6919 6922 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888180643320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6935] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6935/stat : 6935 (java) S 6919 6922 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888179590920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6936] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6936/stat : 6936 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888178539408 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6937] ppid=6919 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6922/task/6937/stat : 6937 (java) S 6919 6922 3589 0 -1 4202560 4273 0 0 0 50 0 0 0 20 0 19 0 4404404 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888177486008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6938] ppid=6919 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6922/task/6938/stat : 6938 (java) S 6919 6922 3589 0 -1 4202560 6100 0 0 0 57 2 0 0 20 0 19 0 4404404 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888176433208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6939] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6939/stat : 6939 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888175381112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6940] ppid=6919 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/6922/task/6940/stat : 6940 (java) S 6919 6922 3589 0 -1 4202560 100 0 0 0 20 25 0 0 20 0 19 0 4404405 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888174328520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6941] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6941/stat : 6941 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404430 9856040960 74300 33554432000 1073741824 1073778376 140735556523408 139888173274536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1746.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.9 s]
/proc/loadavg: 2.22 2.32 2.33 4/213 7050
/proc/meminfo: memFree=24971896/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 36386 0 1 0 179814 188 0 0 20 0 19 0 4404397 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2406260 82543 2289 9 0 2396937 0
[pid=6922/tid=6924] ppid=6919 vsize=9625040 CPUtime=1755.16 cores=1,3,5,7
/proc/6922/task/6924/stat : 6924 (java) R 6919 6922 3589 0 -1 4202560 3369 0 1 0 175485 31 0 0 20 0 19 0 4404399 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888357797072 139888298077624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=9625040 CPUtime=4.2 cores=1,3,5,7
/proc/6922/task/6925/stat : 6925 (java) S 6919 6922 3589 0 -1 4202560 2561 0 0 0 403 17 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888296528680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6926] ppid=6919 vsize=9625040 CPUtime=4.52 cores=1,3,5,7
/proc/6922/task/6926/stat : 6926 (java) S 6919 6922 3589 0 -1 4202560 1671 0 0 0 436 16 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888295475880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6927] ppid=6919 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/6922/task/6927/stat : 6927 (java) S 6919 6922 3589 0 -1 4202560 2532 0 0 0 385 19 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888294423592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6928] ppid=6919 vsize=9625040 CPUtime=4.48 cores=1,3,5,7
/proc/6922/task/6928/stat : 6928 (java) S 6919 6922 3589 0 -1 4202560 2564 0 0 0 428 20 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888198106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6929] ppid=6919 vsize=9625040 CPUtime=4.42 cores=1,3,5,7
/proc/6922/task/6929/stat : 6929 (java) S 6919 6922 3589 0 -1 4202560 1941 0 0 0 422 20 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888197052712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6930] ppid=6919 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/6922/task/6930/stat : 6930 (java) S 6919 6922 3589 0 -1 4202560 2919 0 0 0 429 20 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888195999912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6931] ppid=6919 vsize=9625040 CPUtime=4.24 cores=1,3,5,7
/proc/6922/task/6931/stat : 6931 (java) S 6919 6922 3589 0 -1 4202560 2251 0 0 0 405 19 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888194947624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6932] ppid=6919 vsize=9625040 CPUtime=4.33 cores=1,3,5,7
/proc/6922/task/6932/stat : 6932 (java) S 6919 6922 3589 0 -1 4202560 3472 0 0 0 412 21 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888193894824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6933] ppid=6919 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/6922/task/6933/stat : 6933 (java) S 6919 6922 3589 0 -1 4202560 1372 0 0 0 416 9 0 0 20 0 19 0 4404401 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888181697256 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6934] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6934/stat : 6934 (java) S 6919 6922 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888180643320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6935] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6935/stat : 6935 (java) S 6919 6922 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888179590920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6936] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6936/stat : 6936 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888178539408 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6937] ppid=6919 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6922/task/6937/stat : 6937 (java) S 6919 6922 3589 0 -1 4202560 4273 0 0 0 50 0 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888177486008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6938] ppid=6919 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6922/task/6938/stat : 6938 (java) S 6919 6922 3589 0 -1 4202560 6100 0 0 0 57 2 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888176433208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6939] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6939/stat : 6939 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888175381112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6940] ppid=6919 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/6922/task/6940/stat : 6940 (java) S 6919 6922 3589 0 -1 4202560 104 0 0 0 21 25 0 0 20 0 19 0 4404405 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888174328520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6941] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6941/stat : 6941 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404430 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888173274536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 6922 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1774.9 s]
/proc/loadavg: 2.22 2.32 2.33 4/213 7050
/proc/meminfo: memFree=24971896/32872528 swapFree=1588980/1719796
[pid=6922] ppid=6919 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/6922/stat : 6922 (java) S 6919 6922 3589 0 -1 4202496 36386 0 1 0 179814 188 0 0 20 0 19 0 4404397 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 140735556514544 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6922/statm: 2406260 82543 2289 9 0 2396937 0
[pid=6922/tid=6924] ppid=6919 vsize=9625040 CPUtime=1755.16 cores=1,3,5,7
/proc/6922/task/6924/stat : 6924 (java) R 6919 6922 3589 0 -1 4202560 3369 0 1 0 175485 31 0 0 20 0 19 0 4404399 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888357797072 139888298077624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6925] ppid=6919 vsize=9625040 CPUtime=4.2 cores=1,3,5,7
/proc/6922/task/6925/stat : 6925 (java) S 6919 6922 3589 0 -1 4202560 2561 0 0 0 403 17 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888296528680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6926] ppid=6919 vsize=9625040 CPUtime=4.52 cores=1,3,5,7
/proc/6922/task/6926/stat : 6926 (java) S 6919 6922 3589 0 -1 4202560 1671 0 0 0 436 16 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888295475880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6927] ppid=6919 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/6922/task/6927/stat : 6927 (java) S 6919 6922 3589 0 -1 4202560 2532 0 0 0 385 19 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888294423592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6928] ppid=6919 vsize=9625040 CPUtime=4.48 cores=1,3,5,7
/proc/6922/task/6928/stat : 6928 (java) S 6919 6922 3589 0 -1 4202560 2564 0 0 0 428 20 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888198106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6929] ppid=6919 vsize=9625040 CPUtime=4.42 cores=1,3,5,7
/proc/6922/task/6929/stat : 6929 (java) S 6919 6922 3589 0 -1 4202560 1941 0 0 0 422 20 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888197052712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6930] ppid=6919 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/6922/task/6930/stat : 6930 (java) S 6919 6922 3589 0 -1 4202560 2919 0 0 0 429 20 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888195999912 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6931] ppid=6919 vsize=9625040 CPUtime=4.24 cores=1,3,5,7
/proc/6922/task/6931/stat : 6931 (java) S 6919 6922 3589 0 -1 4202560 2251 0 0 0 405 19 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888194947624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6932] ppid=6919 vsize=9625040 CPUtime=4.33 cores=1,3,5,7
/proc/6922/task/6932/stat : 6932 (java) S 6919 6922 3589 0 -1 4202560 3472 0 0 0 412 21 0 0 20 0 19 0 4404400 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888193894824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6933] ppid=6919 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/6922/task/6933/stat : 6933 (java) S 6919 6922 3589 0 -1 4202560 1372 0 0 0 416 9 0 0 20 0 19 0 4404401 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888181697256 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6934] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6934/stat : 6934 (java) S 6919 6922 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888180643320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6935] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6935/stat : 6935 (java) S 6919 6922 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4404402 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888179590920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6936] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6936/stat : 6936 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888178539408 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6937] ppid=6919 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6922/task/6937/stat : 6937 (java) S 6919 6922 3589 0 -1 4202560 4273 0 0 0 50 0 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888177486008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6938] ppid=6919 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/6922/task/6938/stat : 6938 (java) S 6919 6922 3589 0 -1 4202560 6100 0 0 0 57 2 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888176433208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6922/tid=6939] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6939/stat : 6939 (java) S 6919 6922 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4404404 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888175381112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6922/tid=6940] ppid=6919 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/6922/task/6940/stat : 6940 (java) S 6919 6922 3589 0 -1 4202560 104 0 0 0 21 25 0 0 20 0 19 0 4404405 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888174328520 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6922/tid=6941] ppid=6919 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6922/task/6941/stat : 6941 (java) S 6919 6922 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4404430 9856040960 82543 33554432000 1073741824 1073778376 140735556523408 139888173274536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6922 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=668320
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=331645
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1774.94
CPU time (s): 1800.02
CPU user time (s): 1798.14
CPU system time (s): 1.88
CPU usage (%): 101.413
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 2.33164
maximum resident set size= 638420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36432
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63187
involuntary context switches= 73274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2054 second user time and 12.971 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-29 23:07:39
IDJOB=4118731
IDBENCH=111526
IDSOLVER=2546
FILE ID=node120/4118731-1467234459
RUNJOBID= node120-1467209132-3607
PBS_JOBID= 19997582
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118731-1467234459/watcher-4118731-1467234459 -o /tmp/evaluation-result-4118731-1467234459/solver-4118731-1467234459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3607 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118731-1467234459.opb

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

MD5SUM BENCH= a7d9543d8c07cdfb6b28ca0f9f48637d
RANDOM SEED=1277428988

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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:        25794520 kB
Buffers:           72084 kB
Cached:          4103164 kB
SwapCached:            0 kB
Active:           546188 kB
Inactive:        4090488 kB
Active(anon):     462720 kB
Inactive(anon):     1404 kB
Active(file):      83468 kB
Inactive(file):  4089084 kB
Unevictable:     1719796 kB
Mlocked:         1588980 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       2181336 kB
Mapped:            22100 kB
Shmem:               204 kB
Slab:             586500 kB
SReclaimable:      30700 kB
SUnreclaim:       555800 kB
KernelStack:        1656 kB
PageTables:         8860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2303768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 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= 71668 MiB
End job on node120 at 2016-06-29 23:37:14