Trace number 3710538

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 specific settings 2.3.2 snapshotSAT (TO)1523 1800.55 1792.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM303eaeab4b7ccd67c7fab31d13d20bc2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1523
Best CPU time to get the best result obtained on this benchmark0.200968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of variables201
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint67
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.07	c version 2.3.2.v20120418
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		501472288
0.03/0.07	c Max memory 		7480803328
0.03/0.07	c Total memory 		504102912
0.03/0.07	c Number of processors 	8
0.11/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.11	c configuring ORDERS
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=true
0.11/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3710538-1338136709.opb
0.11/0.11	c reading problem ... 
0.11/0.18	c ... done. Wall clock time 0.074s.
0.11/0.18	c declared #vars     201
0.11/0.18	c #constraints  133
0.11/0.18	c constraints type 
0.11/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
0.11/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 80
0.11/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33
0.11/0.18	c 133 constraints processed.
0.27/0.25	c SATISFIABLE
0.27/0.25	c OPTIMIZING...
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.14
0.27/0.25	o 2676
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.156
0.27/0.26	o 2585
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.168
0.27/0.28	o 1994
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.182
0.27/0.29	o 1974
0.55/0.32	c Got one! Elapsed wall clock time (in seconds):0.212
0.55/0.32	o 1971
0.55/0.35	c Got one! Elapsed wall clock time (in seconds):0.244
0.55/0.35	o 1968
0.55/0.36	c Got one! Elapsed wall clock time (in seconds):0.249
0.55/0.36	o 1919
0.55/0.36	c Got one! Elapsed wall clock time (in seconds):0.254
0.55/0.36	o 1916
0.55/0.38	c Got one! Elapsed wall clock time (in seconds):0.267
0.55/0.38	o 1910
0.55/0.38	c Got one! Elapsed wall clock time (in seconds):0.276
0.55/0.38	o 1900
0.84/0.42	c Got one! Elapsed wall clock time (in seconds):0.317
0.84/0.42	o 1890
0.84/0.44	c Got one! Elapsed wall clock time (in seconds):0.33
0.84/0.44	o 1800
0.84/0.46	c Got one! Elapsed wall clock time (in seconds):0.347
0.84/0.46	o 1798
1.08/0.51	c Got one! Elapsed wall clock time (in seconds):0.4
1.08/0.51	o 1794
1.21/0.67	c cleaning 3919 clauses out of 7844 with flag 4001/7844
1.36/0.70	c Got one! Elapsed wall clock time (in seconds):0.595
1.36/0.70	o 1785
1.36/0.76	c Got one! Elapsed wall clock time (in seconds):0.648
1.36/0.76	o 1779
1.48/0.85	c Got one! Elapsed wall clock time (in seconds):0.745
1.48/0.85	o 1777
1.58/0.93	c cleaning 5333 clauses out of 10670 with flag 2000/14589
1.58/0.98	c Got one! Elapsed wall clock time (in seconds):0.869
1.58/0.98	o 1772
1.79/1.12	c cleaning 5292 clauses out of 10591 with flag 4000/19843
2.00/1.34	c cleaning 5647 clauses out of 11301 with flag 10002/25845
2.22/1.54	c Got one! Elapsed wall clock time (in seconds):1.434
2.22/1.54	o 1768
2.22/1.55	c Got one! Elapsed wall clock time (in seconds):1.439
2.22/1.55	o 1766
2.32/1.69	c Got one! Elapsed wall clock time (in seconds):1.579
2.32/1.69	o 1763
2.43/1.71	c Got one! Elapsed wall clock time (in seconds):1.604
2.43/1.71	o 1756
2.43/1.74	c Got one! Elapsed wall clock time (in seconds):1.632
2.43/1.74	o 1751
2.53/1.83	c cleaning 9038 clauses out of 18088 with flag 2003/38279
2.75/2.08	c cleaning 7518 clauses out of 15048 with flag 8001/44277
2.98/2.30	c Got one! Elapsed wall clock time (in seconds):2.187
2.98/2.30	o 1746
3.17/2.42	c Got one! Elapsed wall clock time (in seconds):2.31
3.17/2.42	o 1740
3.27/2.50	c cleaning 9433 clauses out of 18880 with flag 2001/55627
3.37/2.64	c Got one! Elapsed wall clock time (in seconds):2.532
3.37/2.64	o 1736
3.49/2.73	c cleaning 7607 clauses out of 15232 with flag 2001/61412
3.49/2.74	c Got one! Elapsed wall clock time (in seconds):2.633
3.49/2.74	o 1735
3.69/2.93	c cleaning 6345 clauses out of 12698 with flag 5000/66485
3.89/3.17	c cleaning 6165 clauses out of 12353 with flag 11000/72485
4.10/3.32	c Got one! Elapsed wall clock time (in seconds):3.209
4.10/3.32	o 1731
4.10/3.34	c Got one! Elapsed wall clock time (in seconds):3.229
4.10/3.34	o 1721
4.20/3.42	c cleaning 6299 clauses out of 12612 with flag 2001/78909
4.40/3.64	c cleaning 6153 clauses out of 12313 with flag 8001/84909
4.62/3.89	c cleaning 6575 clauses out of 13159 with flag 15000/91908
5.03/4.22	c cleaning 7289 clauses out of 14587 with flag 23003/99911
5.33/4.56	c cleaning 8139 clauses out of 16297 with flag 32002/108910
5.74/4.96	c cleaning 9074 clauses out of 18156 with flag 42000/118908
5.84/5.07	c Got one! Elapsed wall clock time (in seconds):4.962
5.84/5.07	o 1720
5.94/5.19	c cleaning 7336 clauses out of 14682 with flag 3001/124508
6.14/5.34	c Got one! Elapsed wall clock time (in seconds):5.229
6.14/5.34	o 1719
6.14/5.39	c cleaning 6240 clauses out of 12494 with flag 1001/129656
6.25/5.41	c Got one! Elapsed wall clock time (in seconds):5.304
6.25/5.41	o 1717
6.25/5.45	c Got one! Elapsed wall clock time (in seconds):5.338
6.25/5.45	o 1714
6.44/5.64	c cleaning 6331 clauses out of 12668 with flag 5000/136070
6.64/5.88	c cleaning 6162 clauses out of 12338 with flag 11001/142071
6.74/5.97	c Got one! Elapsed wall clock time (in seconds):5.865
6.74/5.97	o 1709
6.84/6.09	c cleaning 5710 clauses out of 11435 with flag 3001/147330
7.14/6.36	c cleaning 5857 clauses out of 11725 with flag 9001/153330
7.45/6.64	c cleaning 6431 clauses out of 12869 with flag 16002/160331
7.75/6.96	c cleaning 7209 clauses out of 14438 with flag 24002/168331
7.95/7.16	c Got one! Elapsed wall clock time (in seconds):7.053
7.95/7.16	o 1695
7.95/7.19	c Got one! Elapsed wall clock time (in seconds):7.084
7.95/7.19	o 1686
8.05/7.24	c cleaning 6990 clauses out of 13983 with flag 1001/175085
8.25/7.49	c cleaning 6489 clauses out of 12992 with flag 7000/181084
8.46/7.61	c Got one! Elapsed wall clock time (in seconds):7.503
8.46/7.61	o 1678
8.46/7.70	c cleaning 5805 clauses out of 11622 with flag 2000/186203
8.76/7.94	c cleaning 5902 clauses out of 11818 with flag 8001/192204
8.98/8.20	c cleaning 6445 clauses out of 12915 with flag 15000/199203
9.38/8.52	c cleaning 7228 clauses out of 14470 with flag 23000/207203
9.69/8.88	c cleaning 8109 clauses out of 16242 with flag 32000/216203
9.90/9.06	c Got one! Elapsed wall clock time (in seconds):8.951
9.90/9.06	o 1671
10.00/9.11	c cleaning 6819 clauses out of 13651 with flag 1000/221721
10.21/9.36	c cleaning 6407 clauses out of 12835 with flag 7003/227724
10.52/9.64	c cleaning 6703 clauses out of 13425 with flag 14000/234721
10.83/9.95	c cleaning 7355 clauses out of 14722 with flag 22000/242721
11.22/10.32	c cleaning 8171 clauses out of 16368 with flag 31001/251722
11.43/10.54	c Got one! Elapsed wall clock time (in seconds):10.435
11.43/10.54	o 1665
11.53/10.68	c Got one! Elapsed wall clock time (in seconds):10.572
11.53/10.68	o 1662
11.63/10.78	c cleaning 9281 clauses out of 18572 with flag 2000/262097
11.94/11.02	c cleaning 7641 clauses out of 15292 with flag 8001/268098
12.15/11.29	c cleaning 7316 clauses out of 14650 with flag 15000/275097
12.45/11.58	c Got one! Elapsed wall clock time (in seconds):11.472
12.45/11.58	o 1656
12.76/11.80	c cleaning 10016 clauses out of 20046 with flag 5000/287809
12.99/12.07	c cleaning 8007 clauses out of 16032 with flag 11002/293811
13.30/12.35	c cleaning 7504 clauses out of 15024 with flag 18001/300810
13.42/12.42	c Got one! Elapsed wall clock time (in seconds):12.307
13.42/12.42	o 1649
13.52/12.57	c cleaning 6357 clauses out of 12725 with flag 4001/306015
13.84/12.83	c cleaning 6176 clauses out of 12367 with flag 10000/312014
13.95/12.98	c Got one! Elapsed wall clock time (in seconds):12.869
13.95/12.98	o 1644
14.05/13.06	c cleaning 5876 clauses out of 11757 with flag 2000/317580
14.35/13.32	c cleaning 5935 clauses out of 11882 with flag 8001/323581
14.66/13.61	c cleaning 6457 clauses out of 12946 with flag 15000/330580
14.96/13.93	c cleaning 7233 clauses out of 14489 with flag 23000/338580
15.27/14.29	c cleaning 8122 clauses out of 16256 with flag 32000/347580
15.37/14.37	c Got one! Elapsed wall clock time (in seconds):14.258
15.37/14.37	o 1639
15.46/14.49	c Got one! Elapsed wall clock time (in seconds):14.383
15.46/14.49	o 1635
15.57/14.54	c cleaning 7091 clauses out of 14191 with flag 1002/353637
15.78/14.78	c cleaning 6542 clauses out of 13100 with flag 7002/359637
16.08/15.06	c cleaning 6771 clauses out of 13556 with flag 14000/366635
16.39/15.37	c cleaning 7381 clauses out of 14786 with flag 22001/374636
16.68/15.64	c Got one! Elapsed wall clock time (in seconds):15.529
16.68/15.64	o 1634
16.88/15.87	c cleaning 9697 clauses out of 19410 with flag 5000/386641
17.08/16.09	c Got one! Elapsed wall clock time (in seconds):15.982
17.08/16.09	o 1633
17.38/16.30	c cleaning 10039 clauses out of 20094 with flag 5000/397022
17.59/16.55	c cleaning 8019 clauses out of 16055 with flag 11000/403022
17.89/16.84	c cleaning 7511 clauses out of 15036 with flag 18000/410022
18.21/17.15	c cleaning 7758 clauses out of 15527 with flag 26002/418024
18.31/17.23	c Got one! Elapsed wall clock time (in seconds):17.123
18.31/17.23	o 1623
18.51/17.40	c cleaning 6786 clauses out of 13588 with flag 4003/423843
18.72/17.64	c Got one! Elapsed wall clock time (in seconds):17.529
18.72/17.64	o 1619
18.91/17.85	c cleaning 8631 clauses out of 17280 with flag 5001/434321
19.23/18.11	c cleaning 7311 clauses out of 14649 with flag 11001/440321
19.53/18.40	c cleaning 7161 clauses out of 14338 with flag 18001/447321
19.84/18.72	c cleaning 7582 clauses out of 15177 with flag 26001/455321
20.03/18.91	c Got one! Elapsed wall clock time (in seconds):18.799
20.03/18.91	o 1613
20.03/18.96	c cleaning 6653 clauses out of 13324 with flag 1001/461050
20.35/19.20	c cleaning 6329 clauses out of 12670 with flag 7000/467049
20.65/19.51	c cleaning 6662 clauses out of 13341 with flag 14000/474049
20.96/19.84	c cleaning 7331 clauses out of 14682 with flag 22003/482052
21.35/20.23	c cleaning 8163 clauses out of 16348 with flag 31000/491049
21.75/20.64	c cleaning 9080 clauses out of 18186 with flag 41001/501050
22.27/21.15	c cleaning 10040 clauses out of 20106 with flag 52001/512050
22.78/21.64	c cleaning 11025 clauses out of 22066 with flag 64001/524050
23.28/22.14	c cleaning 12008 clauses out of 24040 with flag 77000/537049
23.88/22.70	c cleaning 13002 clauses out of 26032 with flag 91000/551049
24.50/23.34	c cleaning 14005 clauses out of 28030 with flag 106000/566049
25.11/23.99	c cleaning 15002 clauses out of 30025 with flag 122000/582049
25.91/24.72	c cleaning 16009 clauses out of 32024 with flag 139001/599050
26.73/25.57	c cleaning 16999 clauses out of 34015 with flag 157001/617050
27.53/26.38	c cleaning 18000 clauses out of 36015 with flag 176000/636049
28.43/27.21	c cleaning 18996 clauses out of 38015 with flag 196000/656049
29.33/28.14	c cleaning 20005 clauses out of 40021 with flag 217002/677051
30.33/29.11	c cleaning 21003 clauses out of 42015 with flag 239001/699050
31.45/30.22	c cleaning 21997 clauses out of 44011 with flag 262000/722049
32.76/31.53	c cleaning 22998 clauses out of 46015 with flag 286001/746050
34.06/32.83	c cleaning 23991 clauses out of 48016 with flag 311000/771049
35.37/34.10	c cleaning 25007 clauses out of 50026 with flag 337001/797050
36.70/35.45	c cleaning 26000 clauses out of 52020 with flag 364002/824051
38.10/36.81	c cleaning 26994 clauses out of 54019 with flag 392001/852050
39.61/38.37	c cleaning 28001 clauses out of 56024 with flag 421000/881049
40.62/39.34	c Got one! Elapsed wall clock time (in seconds):39.231
40.62/39.34	o 1609
40.98/39.68	c cleaning 27531 clauses out of 55080 with flag 5000/908106
41.27/39.95	c cleaning 16768 clauses out of 33549 with flag 11000/914106
41.58/40.25	c cleaning 11881 clauses out of 23784 with flag 18003/921109
41.89/40.58	c cleaning 9938 clauses out of 19900 with flag 26000/929106
42.29/40.95	c cleaning 9472 clauses out of 18963 with flag 35001/938107
42.69/41.36	c cleaning 9733 clauses out of 19490 with flag 45000/948106
43.20/41.85	c cleaning 10372 clauses out of 20757 with flag 56000/959106
43.70/42.36	c cleaning 11182 clauses out of 22385 with flag 68000/971106
44.00/42.68	c Got one! Elapsed wall clock time (in seconds):42.572
44.00/42.68	o 1603
44.31/42.91	c cleaning 11844 clauses out of 23714 with flag 5000/983617
44.50/43.20	c cleaning 8929 clauses out of 17871 with flag 11001/989618
44.93/43.54	c cleaning 7962 clauses out of 15941 with flag 18000/996617
45.34/43.91	c cleaning 7982 clauses out of 15979 with flag 26000/1004617
45.63/44.27	c cleaning 8491 clauses out of 16997 with flag 35000/1013617
46.05/44.65	c Got one! Elapsed wall clock time (in seconds):44.543
46.05/44.65	o 1595
46.25/44.87	c cleaning 11442 clauses out of 22904 with flag 5002/1028015
46.57/45.14	c cleaning 8718 clauses out of 17461 with flag 11001/1034014
46.90/45.46	c cleaning 7863 clauses out of 15746 with flag 18004/1041017
47.31/45.81	c cleaning 7934 clauses out of 15880 with flag 26001/1049014
47.62/46.17	c cleaning 8447 clauses out of 16945 with flag 35000/1058013
48.12/46.60	c cleaning 9237 clauses out of 18499 with flag 45001/1068014
48.53/47.07	c cleaning 10118 clauses out of 20262 with flag 56001/1079014
48.76/47.21	c Got one! Elapsed wall clock time (in seconds):47.102
48.76/47.21	o 1587
48.76/47.30	c cleaning 7676 clauses out of 15365 with flag 2000/1084235
49.07/47.56	c cleaning 6831 clauses out of 13690 with flag 8001/1090236
49.38/47.86	c cleaning 6922 clauses out of 13858 with flag 15000/1097235
49.69/48.16	c cleaning 7455 clauses out of 14937 with flag 23001/1105236
50.13/48.55	c cleaning 8224 clauses out of 16481 with flag 32000/1114235
50.53/48.95	c cleaning 9113 clauses out of 18257 with flag 42000/1124235
51.06/49.44	c cleaning 10065 clauses out of 20145 with flag 53001/1135236
51.66/50.01	c cleaning 11031 clauses out of 22079 with flag 65000/1147235
52.27/50.61	c cleaning 12015 clauses out of 24049 with flag 78001/1160236
52.86/51.21	c cleaning 13007 clauses out of 26033 with flag 92000/1174235
53.46/51.87	c cleaning 14005 clauses out of 28028 with flag 107002/1189237
54.28/52.63	c cleaning 15003 clauses out of 30021 with flag 123000/1205235
55.08/53.48	c cleaning 15999 clauses out of 32019 with flag 140001/1222236
55.99/54.35	c cleaning 16999 clauses out of 34019 with flag 158000/1240235
56.91/55.21	c cleaning 18002 clauses out of 36022 with flag 177002/1259237
57.72/56.10	c cleaning 19001 clauses out of 38018 with flag 197000/1279235
58.63/56.99	c cleaning 19989 clauses out of 40017 with flag 218000/1300235
59.63/57.95	c cleaning 20994 clauses out of 42031 with flag 240003/1322238
60.04/58.36	c Got one! Elapsed wall clock time (in seconds):58.253
60.04/58.36	o 1583
60.34/58.61	c cleaning 17825 clauses out of 35671 with flag 5000/1336872
60.56/58.85	c cleaning 11919 clauses out of 23846 with flag 11000/1342872
60.88/59.16	c cleaning 9455 clauses out of 18928 with flag 18001/1349873
61.19/59.46	c cleaning 8724 clauses out of 17472 with flag 26000/1357872
61.40/59.61	c Got one! Elapsed wall clock time (in seconds):59.5
61.40/59.61	o 1575
61.40/59.69	c cleaning 7213 clauses out of 14440 with flag 2001/1363564
61.71/59.94	c cleaning 6606 clauses out of 13227 with flag 8001/1369564
62.04/60.22	c cleaning 6801 clauses out of 13620 with flag 15000/1376563
62.14/60.34	c Got one! Elapsed wall clock time (in seconds):60.233
62.14/60.34	o 1573
62.25/60.47	c cleaning 6333 clauses out of 12684 with flag 3001/1382428
62.45/60.69	c cleaning 6168 clauses out of 12350 with flag 9000/1388427
62.75/60.95	c cleaning 6582 clauses out of 13182 with flag 16000/1395427
63.07/61.24	c cleaning 7287 clauses out of 14600 with flag 24000/1403427
63.39/61.58	c cleaning 8144 clauses out of 16313 with flag 33000/1412427
63.88/62.01	c cleaning 9071 clauses out of 18169 with flag 43000/1422427
64.28/62.45	c cleaning 10042 clauses out of 20100 with flag 54002/1433429
64.78/62.94	c cleaning 11022 clauses out of 22057 with flag 66001/1445428
65.29/63.49	c cleaning 12013 clauses out of 24035 with flag 79001/1458428
66.00/64.10	c cleaning 13003 clauses out of 26022 with flag 93001/1472428
66.61/64.73	c cleaning 13997 clauses out of 28018 with flag 108000/1487427
67.31/65.45	c cleaning 14999 clauses out of 30024 with flag 124003/1503430
68.11/66.22	c cleaning 16000 clauses out of 32022 with flag 141000/1520427
68.82/66.99	c cleaning 16997 clauses out of 34025 with flag 159003/1538430
69.72/67.84	c cleaning 18001 clauses out of 36025 with flag 178000/1557427
70.64/68.78	c cleaning 19000 clauses out of 38025 with flag 198001/1577428
71.64/69.74	c cleaning 20001 clauses out of 40025 with flag 219001/1598428
71.76/69.88	c Got one! Elapsed wall clock time (in seconds):69.772
71.76/69.88	o 1565
71.86/69.99	c cleaning 12632 clauses out of 25274 with flag 2001/1603678
72.16/70.26	c cleaning 9315 clauses out of 18643 with flag 8002/1609679
72.46/70.58	c cleaning 8152 clauses out of 16327 with flag 15001/1616678
72.88/70.91	c cleaning 8079 clauses out of 16174 with flag 23000/1624677
73.29/71.30	c cleaning 8537 clauses out of 17095 with flag 32000/1633677
73.69/71.74	c cleaning 9273 clauses out of 18561 with flag 42003/1643680
74.13/72.19	c cleaning 10132 clauses out of 20287 with flag 53002/1654679
74.63/72.68	c cleaning 11070 clauses out of 22155 with flag 65002/1666679
75.24/73.20	c cleaning 12035 clauses out of 24085 with flag 78002/1679679
75.84/73.81	c cleaning 13009 clauses out of 26049 with flag 92001/1693678
76.45/74.42	c cleaning 14012 clauses out of 28039 with flag 107000/1708677
77.05/75.09	c cleaning 15003 clauses out of 30029 with flag 123002/1724679
77.85/75.83	c cleaning 16001 clauses out of 32025 with flag 140001/1741678
78.66/76.70	c cleaning 16996 clauses out of 34023 with flag 158000/1759677
79.48/77.47	c cleaning 18010 clauses out of 36027 with flag 177000/1778677
80.28/78.28	c cleaning 18999 clauses out of 38017 with flag 197000/1798677
81.20/79.12	c cleaning 20003 clauses out of 40019 with flag 218001/1819678
81.99/79.98	c cleaning 21002 clauses out of 42016 with flag 240001/1841678
82.99/80.96	c cleaning 21989 clauses out of 44014 with flag 263001/1864678
84.10/82.02	c cleaning 23002 clauses out of 46024 with flag 287000/1888677
85.20/83.15	c cleaning 23997 clauses out of 48023 with flag 312001/1913678
86.31/84.26	c cleaning 25002 clauses out of 50026 with flag 338001/1939678
87.56/85.48	c cleaning 26000 clauses out of 52024 with flag 365001/1966678
88.97/86.87	c cleaning 27005 clauses out of 54023 with flag 393000/1994677
90.28/88.18	c cleaning 27998 clauses out of 56018 with flag 422000/2023677
90.70/88.51	c Got one! Elapsed wall clock time (in seconds):88.398
90.70/88.51	o 1555
90.90/88.78	c cleaning 19972 clauses out of 39967 with flag 5000/2035624
91.22/89.05	c cleaning 12985 clauses out of 25999 with flag 11004/2041628
91.52/89.36	c cleaning 9991 clauses out of 20010 with flag 18000/2048624
91.94/89.70	c cleaning 9002 clauses out of 18020 with flag 26001/2056625
92.24/90.06	c cleaning 9003 clauses out of 18017 with flag 35000/2065624
92.65/90.45	c cleaning 9505 clauses out of 19015 with flag 45001/2075625
93.17/90.91	c cleaning 10248 clauses out of 20510 with flag 56001/2086625
93.67/91.44	c cleaning 11118 clauses out of 22263 with flag 68002/2098626
94.28/92.08	c cleaning 12062 clauses out of 24144 with flag 81001/2111625
94.89/92.70	c cleaning 13032 clauses out of 26083 with flag 95002/2125626
95.70/93.41	c cleaning 14013 clauses out of 28049 with flag 110000/2140624
96.40/94.11	c cleaning 15005 clauses out of 30036 with flag 126000/2156624
97.12/94.84	c cleaning 16002 clauses out of 32031 with flag 143000/2173624
97.93/95.61	c cleaning 17002 clauses out of 34030 with flag 161001/2191625
98.73/96.44	c cleaning 17997 clauses out of 36027 with flag 180000/2210624
99.64/97.36	c cleaning 19003 clauses out of 38031 with flag 200001/2230625
100.65/98.38	c cleaning 19997 clauses out of 40027 with flag 221000/2251624
101.65/99.38	c cleaning 21007 clauses out of 42030 with flag 243000/2273624
102.75/100.42	c cleaning 22001 clauses out of 44023 with flag 266000/2296624
103.86/101.50	c cleaning 22998 clauses out of 46022 with flag 290000/2320624
104.96/102.62	c cleaning 23996 clauses out of 48024 with flag 315000/2345624
106.17/103.81	c cleaning 25003 clauses out of 50029 with flag 341001/2371625
107.38/105.08	c cleaning 25994 clauses out of 52026 with flag 368001/2398625
108.78/106.45	c cleaning 27002 clauses out of 54034 with flag 396003/2426627
110.19/107.85	c cleaning 28005 clauses out of 56029 with flag 425000/2455624
110.69/108.38	c Got one! Elapsed wall clock time (in seconds):108.27
110.69/108.38	o 1547
110.99/108.67	c cleaning 22275 clauses out of 44568 with flag 5001/2472168
111.30/108.96	c cleaning 14137 clauses out of 28293 with flag 11001/2478168
111.61/109.29	c cleaning 10562 clauses out of 21156 with flag 18001/2485168
112.01/109.64	c cleaning 9286 clauses out of 18594 with flag 26001/2493168
112.43/110.05	c cleaning 9149 clauses out of 18307 with flag 35000/2502167
112.83/110.47	c cleaning 9561 clauses out of 19158 with flag 45000/2512167
113.33/110.96	c cleaning 10287 clauses out of 20598 with flag 56001/2523168
113.93/111.54	c cleaning 11141 clauses out of 22311 with flag 68001/2535168
114.54/112.18	c cleaning 12078 clauses out of 24170 with flag 81001/2548168
115.24/112.83	c cleaning 13034 clauses out of 26091 with flag 95000/2562167
115.94/113.55	c cleaning 14015 clauses out of 28058 with flag 110001/2577168
116.76/114.38	c cleaning 15006 clauses out of 30043 with flag 126001/2593168
117.66/115.25	c cleaning 15997 clauses out of 32036 with flag 143000/2610167
118.56/116.18	c cleaning 17009 clauses out of 34039 with flag 161000/2628167
119.57/117.15	c cleaning 18008 clauses out of 36033 with flag 180003/2647170
120.47/118.02	c cleaning 18998 clauses out of 38023 with flag 200001/2667168
121.39/118.93	c cleaning 20004 clauses out of 40025 with flag 221001/2688168
122.40/119.99	c cleaning 20999 clauses out of 42021 with flag 243001/2710168
123.50/121.07	c cleaning 22001 clauses out of 44021 with flag 266000/2733167
124.70/122.24	c cleaning 22998 clauses out of 46020 with flag 290000/2757167
125.80/123.34	c cleaning 24001 clauses out of 48023 with flag 315001/2782168
127.00/124.52	c cleaning 25001 clauses out of 50022 with flag 341001/2808168
127.72/125.20	c Got one! Elapsed wall clock time (in seconds):125.094
127.72/125.20	o 1545
128.02/125.50	c cleaning 23450 clauses out of 46915 with flag 5000/2830062
128.24/125.79	c cleaning 14724 clauses out of 29465 with flag 11000/2836062
128.56/126.09	c cleaning 10861 clauses out of 21741 with flag 18000/2843062
128.97/126.43	c cleaning 9430 clauses out of 18880 with flag 26000/2851062
129.27/126.79	c cleaning 9214 clauses out of 18450 with flag 35000/2860062
129.77/127.22	c cleaning 9602 clauses out of 19237 with flag 45001/2870063
130.30/127.71	c cleaning 10308 clauses out of 20635 with flag 56001/2881063
130.82/128.26	c cleaning 11156 clauses out of 22327 with flag 68001/2893063
131.42/128.85	c cleaning 12069 clauses out of 24171 with flag 81001/2906063
132.03/129.45	c cleaning 13041 clauses out of 26103 with flag 95002/2920064
132.64/130.08	c cleaning 14023 clauses out of 28061 with flag 110001/2935063
133.35/130.74	c cleaning 15007 clauses out of 30038 with flag 126001/2951063
134.17/131.51	c cleaning 16002 clauses out of 32032 with flag 143002/2968064
134.88/132.26	c cleaning 17004 clauses out of 34029 with flag 161001/2986063
135.70/133.09	c cleaning 18003 clauses out of 36025 with flag 180001/3005063
136.50/133.90	c cleaning 19005 clauses out of 38021 with flag 200000/3025062
137.50/134.83	c cleaning 19999 clauses out of 40016 with flag 221000/3046062
138.50/135.81	c cleaning 20996 clauses out of 42018 with flag 243001/3068063
139.40/136.74	c cleaning 22004 clauses out of 44022 with flag 266001/3091063
140.42/137.74	c cleaning 22996 clauses out of 46017 with flag 290000/3115062
141.44/138.79	c cleaning 24005 clauses out of 48024 with flag 315003/3140065
142.64/139.95	c cleaning 24997 clauses out of 50016 with flag 341000/3166062
143.95/141.21	c cleaning 26003 clauses out of 52019 with flag 368000/3193062
145.35/142.64	c cleaning 26995 clauses out of 54021 with flag 396005/3221067
146.66/144.00	c cleaning 27996 clauses out of 56022 with flag 425001/3250063
148.17/145.45	c cleaning 29000 clauses out of 58026 with flag 455001/3280063
149.47/146.76	c cleaning 29997 clauses out of 60025 with flag 486000/3311062
151.07/148.30	c cleaning 31001 clauses out of 62028 with flag 518000/3343062
152.48/149.79	c cleaning 32001 clauses out of 64027 with flag 551000/3376062
152.68/149.92	c Got one! Elapsed wall clock time (in seconds):149.811
152.68/149.92	o 1543
152.78/150.06	c cleaning 18643 clauses out of 37293 with flag 2000/3381329
153.08/150.35	c cleaning 12318 clauses out of 24650 with flag 8000/3387329
153.39/150.70	c cleaning 9658 clauses out of 19333 with flag 15001/3394330
153.79/151.06	c cleaning 8826 clauses out of 17675 with flag 23001/3402330
154.19/151.45	c cleaning 8912 clauses out of 17848 with flag 32000/3411329
154.69/151.90	c cleaning 9460 clauses out of 18936 with flag 42000/3421329
155.20/152.40	c cleaning 10232 clauses out of 20478 with flag 53002/3432331
155.70/152.93	c cleaning 11106 clauses out of 22244 with flag 65000/3444329
156.30/153.50	c cleaning 12056 clauses out of 24139 with flag 78001/3457330
156.90/154.14	c cleaning 13027 clauses out of 26083 with flag 92001/3471330
157.61/154.82	c cleaning 14012 clauses out of 28056 with flag 107001/3486330
158.31/155.56	c cleaning 15010 clauses out of 30043 with flag 123000/3502329
159.12/156.36	c cleaning 16008 clauses out of 32034 with flag 140001/3519330
159.92/157.18	c cleaning 16999 clauses out of 34026 with flag 158001/3537330
160.83/158.06	c cleaning 18001 clauses out of 36026 with flag 177000/3556329
161.73/158.98	c cleaning 18991 clauses out of 38026 with flag 197001/3576330
162.73/159.95	c cleaning 20008 clauses out of 40035 with flag 218001/3597330
163.74/160.98	c cleaning 20994 clauses out of 42027 with flag 240001/3619330
164.86/162.06	c cleaning 22005 clauses out of 44033 with flag 263001/3642330
165.96/163.12	c cleaning 23007 clauses out of 46027 with flag 287000/3666329
167.07/164.28	c cleaning 23995 clauses out of 48020 with flag 312000/3691329
168.27/165.42	c cleaning 25002 clauses out of 50026 with flag 338001/3717330
169.49/166.60	c cleaning 26001 clauses out of 52024 with flag 365001/3744330
170.69/167.88	c cleaning 26995 clauses out of 54023 with flag 393001/3772330
172.20/169.32	c cleaning 27999 clauses out of 56027 with flag 422000/3801329
173.59/170.75	c cleaning 28991 clauses out of 58028 with flag 452000/3831329
175.09/172.20	c cleaning 30004 clauses out of 60037 with flag 483000/3862329
176.61/173.76	c cleaning 31006 clauses out of 62033 with flag 515000/3894329
178.21/175.35	c cleaning 31999 clauses out of 64027 with flag 548000/3927329
180.02/177.15	c cleaning 32998 clauses out of 66029 with flag 582001/3961330
181.71/178.89	c cleaning 34006 clauses out of 68034 with flag 617004/3996333
183.72/180.87	c cleaning 34999 clauses out of 70024 with flag 653000/4032329
185.74/182.87	c cleaning 36003 clauses out of 72026 with flag 690001/4069330
187.78/184.88	c cleaning 36999 clauses out of 74023 with flag 728001/4107330
189.77/186.81	c cleaning 38000 clauses out of 76023 with flag 767000/4146329
191.69/188.71	c cleaning 39002 clauses out of 78024 with flag 807001/4186330
193.62/190.68	c cleaning 39999 clauses out of 80021 with flag 848000/4227329
195.82/192.84	c cleaning 40993 clauses out of 82022 with flag 890000/4269329
198.13/195.13	c cleaning 42003 clauses out of 84030 with flag 933001/4312330
200.43/197.42	c cleaning 42996 clauses out of 86026 with flag 977000/4356329
202.94/199.91	c cleaning 43990 clauses out of 88030 with flag 1022000/4401329
205.24/202.29	c cleaning 44999 clauses out of 90040 with flag 1068000/4447329
207.85/204.85	c cleaning 46014 clauses out of 92042 with flag 1115001/4494330
210.46/207.46	c cleaning 47005 clauses out of 94027 with flag 1163000/4542329
213.08/210.00	c cleaning 48001 clauses out of 96023 with flag 1212001/4591330
215.47/212.49	c cleaning 49001 clauses out of 98022 with flag 1262001/4641330
218.30/215.25	c cleaning 50001 clauses out of 100021 with flag 1313001/4692330
221.33/218.23	c cleaning 51002 clauses out of 102020 with flag 1365001/4744330
224.18/221.04	c cleaning 52001 clauses out of 104018 with flag 1418001/4797330
224.29/221.10	c Got one! Elapsed wall clock time (in seconds):220.995
224.29/221.10	o 1535
224.58/221.42	c cleaning 28851 clauses out of 57724 with flag 5000/4803037
224.89/221.71	c cleaning 17428 clauses out of 34873 with flag 11000/4809037
225.18/222.02	c cleaning 12210 clauses out of 24445 with flag 18000/4816037
225.50/222.35	c cleaning 10108 clauses out of 20237 with flag 26002/4824039
225.92/222.72	c cleaning 9550 clauses out of 19127 with flag 35000/4833037
226.33/223.11	c cleaning 9782 clauses out of 19577 with flag 45000/4843037
226.73/223.58	c cleaning 10391 clauses out of 20795 with flag 56000/4854037
227.23/224.07	c cleaning 11186 clauses out of 22405 with flag 68001/4866038
227.83/224.61	c cleaning 12096 clauses out of 24220 with flag 81002/4879039
228.43/225.21	c cleaning 13051 clauses out of 26122 with flag 95000/4893037
229.04/225.89	c cleaning 14025 clauses out of 28072 with flag 110001/4908038
229.75/226.59	c cleaning 15012 clauses out of 30046 with flag 126000/4924037
230.65/227.40	c cleaning 16007 clauses out of 32034 with flag 143000/4941037
231.55/228.36	c cleaning 17000 clauses out of 34028 with flag 161001/4959038
232.47/229.28	c cleaning 18002 clauses out of 36028 with flag 180001/4978038
233.47/230.25	c cleaning 18999 clauses out of 38025 with flag 200000/4998037
234.49/231.22	c cleaning 20003 clauses out of 40028 with flag 221002/5019039
235.51/232.28	c cleaning 21004 clauses out of 42025 with flag 243002/5041039
236.71/233.43	c cleaning 21997 clauses out of 44019 with flag 266000/5064037
237.81/234.58	c cleaning 22998 clauses out of 46023 with flag 290001/5088038
239.11/235.81	c cleaning 23998 clauses out of 48025 with flag 315001/5113038
240.32/237.07	c cleaning 24990 clauses out of 50028 with flag 341002/5139039
241.62/238.32	c cleaning 26005 clauses out of 52036 with flag 368000/5166037
242.82/239.55	c cleaning 27006 clauses out of 54031 with flag 396000/5194037
244.14/240.88	c cleaning 28004 clauses out of 56025 with flag 425000/5223037
245.56/242.26	c cleaning 28999 clauses out of 58023 with flag 455002/5253039
247.16/243.80	c cleaning 29998 clauses out of 60024 with flag 486002/5284039
247.16/243.85	c Got one! Elapsed wall clock time (in seconds):243.747
247.16/243.85	o 1533
247.48/244.12	c cleaning 17921 clauses out of 35862 with flag 5000/5289875
247.77/244.41	c cleaning 11958 clauses out of 23944 with flag 11003/5295878
248.08/244.73	c cleaning 9478 clauses out of 18983 with flag 18000/5302875
248.48/245.11	c cleaning 8736 clauses out of 17506 with flag 26001/5310876
248.79/245.50	c cleaning 8876 clauses out of 17769 with flag 35000/5319875
249.29/245.91	c cleaning 9434 clauses out of 18893 with flag 45000/5329875
249.70/246.38	c cleaning 10217 clauses out of 20460 with flag 56001/5340876
250.29/246.92	c cleaning 11109 clauses out of 22242 with flag 68000/5352875
250.90/247.52	c cleaning 12064 clauses out of 24135 with flag 81002/5365877
251.52/248.19	c cleaning 13021 clauses out of 26069 with flag 95000/5379875
252.33/248.90	c cleaning 14016 clauses out of 28051 with flag 110003/5394878
253.15/249.71	c cleaning 14999 clauses out of 30033 with flag 126001/5410876
253.95/250.57	c cleaning 16005 clauses out of 32034 with flag 143001/5427876
254.85/251.45	c cleaning 17003 clauses out of 34029 with flag 161001/5445876
255.76/252.31	c cleaning 18001 clauses out of 36026 with flag 180001/5464876
256.66/253.22	c cleaning 19004 clauses out of 38024 with flag 200000/5484875
257.57/254.11	c cleaning 20007 clauses out of 40021 with flag 221001/5505876
258.48/255.07	c cleaning 20996 clauses out of 42014 with flag 243001/5527876
259.48/256.03	c cleaning 21995 clauses out of 44018 with flag 266001/5550876
260.60/257.12	c cleaning 22991 clauses out of 46022 with flag 290000/5574875
261.70/258.21	c cleaning 24005 clauses out of 48031 with flag 315000/5599875
262.90/259.47	c cleaning 25005 clauses out of 50027 with flag 341001/5625876
264.31/260.83	c cleaning 25998 clauses out of 52022 with flag 368001/5652876
265.52/262.08	c cleaning 27001 clauses out of 54025 with flag 396002/5680877
266.82/263.37	c cleaning 27995 clauses out of 56024 with flag 425002/5709877
268.12/264.69	c cleaning 29002 clauses out of 58029 with flag 455002/5739877
269.64/266.11	c cleaning 30007 clauses out of 60025 with flag 486000/5770875
270.25/266.72	c Got one! Elapsed wall clock time (in seconds):266.607
270.25/266.72	o 1523
270.55/267.00	c cleaning 24656 clauses out of 49323 with flag 5001/5790180
270.77/267.30	c cleaning 15319 clauses out of 30666 with flag 11000/5796179
271.18/267.62	c cleaning 11167 clauses out of 22348 with flag 18001/5803180
271.49/267.97	c cleaning 9581 clauses out of 19181 with flag 26001/5811180
271.92/268.33	c cleaning 9296 clauses out of 18599 with flag 35000/5820179
272.32/268.75	c cleaning 9640 clauses out of 19303 with flag 45000/5830179
272.83/269.22	c cleaning 10320 clauses out of 20663 with flag 56000/5841179
273.35/269.74	c cleaning 11161 clauses out of 22344 with flag 68001/5853180
273.87/270.28	c cleaning 12076 clauses out of 24182 with flag 81000/5866179
274.48/270.89	c cleaning 13032 clauses out of 26106 with flag 95000/5880179
275.19/271.52	c cleaning 14022 clauses out of 28074 with flag 110000/5895179
275.89/272.23	c cleaning 15020 clauses out of 30052 with flag 126000/5911179
276.69/273.03	c cleaning 16005 clauses out of 32033 with flag 143001/5928180
277.50/273.83	c cleaning 17002 clauses out of 34027 with flag 161000/5946179
278.40/274.73	c cleaning 17998 clauses out of 36026 with flag 180001/5965180
279.30/275.62	c cleaning 19004 clauses out of 38028 with flag 200001/5985180
280.22/276.56	c cleaning 20005 clauses out of 40023 with flag 221000/6006179
281.24/277.51	c cleaning 20997 clauses out of 42019 with flag 243001/6028180
282.24/278.53	c cleaning 22000 clauses out of 44023 with flag 266002/6051181
283.36/279.63	c cleaning 22984 clauses out of 46022 with flag 290001/6075180
284.57/280.82	c cleaning 24004 clauses out of 48037 with flag 315000/6100179
285.77/282.01	c cleaning 25003 clauses out of 50033 with flag 341000/6126179
286.98/283.26	c cleaning 26007 clauses out of 52030 with flag 368000/6153179
288.29/284.51	c cleaning 27003 clauses out of 54024 with flag 396001/6181180
289.59/285.85	c cleaning 27987 clauses out of 56020 with flag 425000/6210179
291.00/287.27	c cleaning 29004 clauses out of 58033 with flag 455000/6240179
292.51/288.74	c cleaning 30007 clauses out of 60029 with flag 486000/6271179
294.01/290.25	c cleaning 30997 clauses out of 62024 with flag 518002/6303181
295.63/291.80	c cleaning 31988 clauses out of 64025 with flag 551000/6336179
297.24/293.41	c cleaning 33002 clauses out of 66037 with flag 585000/6370179
298.96/295.15	c cleaning 34002 clauses out of 68036 with flag 620001/6405180
300.79/296.92	c cleaning 35003 clauses out of 70034 with flag 656001/6441180
302.50/298.60	c cleaning 36006 clauses out of 72034 with flag 693004/6478183
304.23/300.36	c cleaning 36994 clauses out of 74025 with flag 731001/6516180
306.04/302.18	c cleaning 37994 clauses out of 76030 with flag 770000/6555179
307.96/304.05	c cleaning 38989 clauses out of 78036 with flag 810000/6595179
309.96/306.05	c cleaning 40006 clauses out of 80048 with flag 851001/6636180
311.97/308.05	c cleaning 40996 clauses out of 82041 with flag 893000/6678179
314.08/310.15	c cleaning 42004 clauses out of 84047 with flag 936002/6721181
316.28/312.36	c cleaning 43004 clauses out of 86041 with flag 980000/6765179
318.68/314.73	c cleaning 44009 clauses out of 88037 with flag 1025000/6810179
321.19/317.23	c cleaning 44996 clauses out of 90028 with flag 1071000/6856179
323.61/319.64	c cleaning 45998 clauses out of 92032 with flag 1118000/6903179
325.93/321.98	c cleaning 47006 clauses out of 94036 with flag 1166002/6951181
328.56/324.55	c cleaning 47999 clauses out of 96028 with flag 1215000/7000179
331.27/327.23	c cleaning 49006 clauses out of 98030 with flag 1265001/7050180
334.17/330.18	c cleaning 50002 clauses out of 100023 with flag 1316000/7101179
337.19/333.10	c cleaning 50999 clauses out of 102023 with flag 1368002/7153181
340.11/336.05	c cleaning 51998 clauses out of 104023 with flag 1421001/7206180
342.94/338.90	c cleaning 52997 clauses out of 106025 with flag 1475001/7260180
345.95/341.83	c cleaning 54001 clauses out of 108028 with flag 1530001/7315180
348.77/344.61	c cleaning 54998 clauses out of 110026 with flag 1586000/7371179
351.88/347.73	c cleaning 56003 clauses out of 112029 with flag 1643001/7428180
355.58/351.41	c cleaning 57002 clauses out of 114026 with flag 1701001/7486180
358.89/354.70	c cleaning 57991 clauses out of 116024 with flag 1760001/7545180
362.51/358.31	c cleaning 58998 clauses out of 118033 with flag 1820001/7605180
366.03/361.88	c cleaning 60011 clauses out of 120035 with flag 1881001/7666180
370.13/365.93	c cleaning 61005 clauses out of 122024 with flag 1943001/7728180
374.26/370.03	c cleaning 61994 clauses out of 124019 with flag 2006001/7791180
377.98/373.71	c cleaning 63002 clauses out of 126026 with flag 2070002/7855181
381.40/377.20	c cleaning 63999 clauses out of 128022 with flag 2135000/7920179
385.12/380.87	c cleaning 65002 clauses out of 130023 with flag 2201000/7986179
389.02/384.71	c cleaning 66004 clauses out of 132022 with flag 2268001/8053180
392.64/388.35	c cleaning 66999 clauses out of 134019 with flag 2336002/8121181
396.35/392.01	c cleaning 68004 clauses out of 136018 with flag 2405000/8190179
400.28/395.97	c cleaning 68993 clauses out of 138014 with flag 2475000/8260179
404.38/400.08	c cleaning 69994 clauses out of 140022 with flag 2546001/8331180
408.99/404.67	c cleaning 71002 clauses out of 142027 with flag 2618000/8403179
413.51/409.12	c cleaning 71999 clauses out of 144026 with flag 2691001/8476180
417.62/413.24	c cleaning 72992 clauses out of 146026 with flag 2765000/8550179
421.75/417.30	c cleaning 74005 clauses out of 148036 with flag 2840002/8625181
426.15/421.77	c cleaning 75003 clauses out of 150032 with flag 2916003/8701182
430.67/426.22	c cleaning 76003 clauses out of 152026 with flag 2993000/8778179
435.19/430.79	c cleaning 76999 clauses out of 154023 with flag 3071000/8856179
440.50/436.00	c cleaning 77999 clauses out of 156025 with flag 3150001/8935180
444.82/440.35	c cleaning 79000 clauses out of 158026 with flag 3230001/9015180
449.95/445.41	c cleaning 80001 clauses out of 160025 with flag 3311000/9096179
455.37/450.81	c cleaning 80995 clauses out of 162024 with flag 3393000/9178179
460.80/456.24	c cleaning 82002 clauses out of 164031 with flag 3476002/9261181
466.31/461.77	c cleaning 83005 clauses out of 166027 with flag 3560000/9345179
471.52/466.95	c cleaning 83986 clauses out of 168022 with flag 3645000/9430179
476.83/472.25	c cleaning 85005 clauses out of 170036 with flag 3731000/9516179
482.18/477.51	c cleaning 86006 clauses out of 172032 with flag 3818001/9603180
487.59/482.98	c cleaning 86994 clauses out of 174025 with flag 3906000/9691179
493.15/488.49	c cleaning 88000 clauses out of 176031 with flag 3995000/9780179
498.56/493.86	c cleaning 88997 clauses out of 178031 with flag 4085000/9870179
504.77/500.02	c cleaning 89994 clauses out of 180035 with flag 4176001/9961180
511.38/506.69	c cleaning 90999 clauses out of 182040 with flag 4268000/10053179
518.52/513.72	c cleaning 92009 clauses out of 184041 with flag 4361000/10146179
525.45/520.69	c cleaning 93007 clauses out of 186032 with flag 4455000/10240179
531.85/527.08	c cleaning 94002 clauses out of 188026 with flag 4550001/10335180
537.98/533.18	c cleaning 95002 clauses out of 190025 with flag 4646002/10431181
544.40/539.57	c cleaning 95998 clauses out of 192021 with flag 4743000/10528179
552.84/547.95	c cleaning 97007 clauses out of 194024 with flag 4841001/10626180
560.55/555.67	c cleaning 97986 clauses out of 196016 with flag 4940000/10725179
567.26/562.30	c cleaning 99009 clauses out of 198031 with flag 5040001/10825180
573.53/568.60	c cleaning 99993 clauses out of 200022 with flag 5141001/10926180
579.85/574.80	c cleaning 101012 clauses out of 202030 with flag 5243002/11028181
586.78/581.75	c cleaning 101987 clauses out of 204016 with flag 5346000/11131179
594.81/589.73	c cleaning 103006 clauses out of 206030 with flag 5450001/11235180
602.32/597.27	c cleaning 103995 clauses out of 208023 with flag 5555000/11340179
610.54/605.46	c cleaning 105001 clauses out of 210028 with flag 5661000/11446179
618.07/612.97	c cleaning 105994 clauses out of 212027 with flag 5768000/11553179
625.29/620.15	c cleaning 107006 clauses out of 214033 with flag 5876000/11661179
633.33/628.12	c cleaning 108000 clauses out of 216028 with flag 5985001/11770180
641.45/636.24	c cleaning 108998 clauses out of 218027 with flag 6095000/11880179
649.58/644.39	c cleaning 110002 clauses out of 220030 with flag 6206001/11991180
657.78/652.56	c cleaning 111007 clauses out of 222028 with flag 6318001/12103180
666.21/660.95	c cleaning 111999 clauses out of 224020 with flag 6431000/12216179
673.42/668.19	c cleaning 113000 clauses out of 226022 with flag 6545001/12330180
682.35/677.08	c cleaning 113996 clauses out of 228021 with flag 6660000/12445179
690.26/684.96	c cleaning 114997 clauses out of 230025 with flag 6776000/12561179
697.99/692.60	c cleaning 116005 clauses out of 232028 with flag 6893000/12678179
706.60/701.27	c cleaning 116998 clauses out of 234023 with flag 7011000/12796179
714.51/709.16	c cleaning 117993 clauses out of 236026 with flag 7130001/12915180
722.62/717.23	c cleaning 118994 clauses out of 238033 with flag 7250001/13035180
730.75/725.37	c cleaning 120008 clauses out of 240043 with flag 7371005/13156184
739.68/734.22	c cleaning 120999 clauses out of 242031 with flag 7493001/13278180
748.11/742.66	c cleaning 122006 clauses out of 244031 with flag 7616000/13401179
757.34/751.83	c cleaning 123006 clauses out of 246028 with flag 7740003/13525182
765.86/760.31	c cleaning 124002 clauses out of 248019 with flag 7865000/13650179
774.96/769.42	c cleaning 124994 clauses out of 250018 with flag 7991001/13776180
783.42/777.88	c cleaning 125991 clauses out of 252023 with flag 8118000/13903179
792.35/786.73	c cleaning 126998 clauses out of 254032 with flag 8246000/14031179
800.96/795.31	c cleaning 128008 clauses out of 256036 with flag 8375002/14160181
810.58/804.97	c cleaning 128990 clauses out of 258026 with flag 8505000/14290179
819.80/814.10	c cleaning 129995 clauses out of 260036 with flag 8636000/14421179
829.83/824.16	c cleaning 131004 clauses out of 262042 with flag 8768001/14553180
839.75/834.00	c cleaning 131997 clauses out of 264037 with flag 8901000/14686179
849.28/843.52	c cleaning 132996 clauses out of 266040 with flag 9035000/14820179
859.80/854.02	c cleaning 134008 clauses out of 268044 with flag 9170000/14955179
871.44/865.62	c cleaning 135003 clauses out of 270037 with flag 9306001/15091180
883.14/877.38	c cleaning 136005 clauses out of 272034 with flag 9443001/15228180
894.68/888.83	c cleaning 137004 clauses out of 274029 with flag 9581001/15366180
906.60/900.71	c cleaning 138002 clauses out of 276028 with flag 9720004/15505183
918.01/912.18	c cleaning 139001 clauses out of 278022 with flag 9860000/15645179
928.32/922.40	c cleaning 139992 clauses out of 280021 with flag 10001000/15786179
940.55/934.61	c cleaning 140999 clauses out of 282029 with flag 10143000/15928179
952.98/947.05	c cleaning 141994 clauses out of 284030 with flag 10286000/16071179
965.30/959.39	c cleaning 142996 clauses out of 286036 with flag 10430000/16215179
977.43/971.48	c cleaning 144007 clauses out of 288040 with flag 10575000/16360179
989.03/983.02	c cleaning 145002 clauses out of 290033 with flag 10721000/16506179
1001.17/995.19	c cleaning 146006 clauses out of 292031 with flag 10868000/16653179
1014.00/1007.99	c cleaning 147001 clauses out of 294025 with flag 11016000/16801179
1027.43/1021.31	c cleaning 148001 clauses out of 296026 with flag 11165002/16950181
1042.29/1036.14	c cleaning 148997 clauses out of 298023 with flag 11315000/17100179
1055.31/1049.19	c cleaning 150000 clauses out of 300027 with flag 11466001/17251180
1069.14/1062.91	c cleaning 151000 clauses out of 302026 with flag 11618000/17403179
1081.85/1075.68	c cleaning 151992 clauses out of 304026 with flag 11771000/17556179
1095.86/1089.64	c cleaning 153001 clauses out of 306035 with flag 11925001/17710180
1109.10/1102.82	c cleaning 154002 clauses out of 308034 with flag 12080001/17865180
1122.03/1115.70	c cleaning 155006 clauses out of 310033 with flag 12236002/18021181
1134.74/1128.49	c cleaning 156001 clauses out of 312026 with flag 12393001/18178180
1147.75/1141.44	c cleaning 156999 clauses out of 314024 with flag 12551000/18336179
1160.69/1154.33	c cleaning 157996 clauses out of 316027 with flag 12710002/18495181
1175.45/1169.04	c cleaning 159009 clauses out of 318029 with flag 12870000/18655179
1190.28/1183.81	c cleaning 159991 clauses out of 320021 with flag 13031001/18816180
1203.71/1197.29	c cleaning 160996 clauses out of 322030 with flag 13193001/18978180
1218.23/1211.73	c cleaning 162005 clauses out of 324034 with flag 13356001/19141180
1233.58/1227.06	c cleaning 162997 clauses out of 326028 with flag 13520000/19305179
1248.71/1242.12	c cleaning 163989 clauses out of 328031 with flag 13685000/19470179
1261.92/1255.35	c cleaning 165010 clauses out of 330043 with flag 13851001/19636180
1276.84/1270.25	c cleaning 166007 clauses out of 332032 with flag 14018000/19803179
1292.76/1286.17	c cleaning 167001 clauses out of 334027 with flag 14186002/19971181
1308.90/1302.25	c cleaning 168001 clauses out of 336025 with flag 14355001/20140180
1324.92/1318.30	c cleaning 169000 clauses out of 338023 with flag 14525000/20310179
1343.25/1336.57	c cleaning 170004 clauses out of 340023 with flag 14696000/20481179
1358.87/1352.19	c cleaning 170989 clauses out of 342019 with flag 14868000/20653179
1375.80/1369.06	c cleaning 172008 clauses out of 344031 with flag 15041001/20826180
1390.65/1383.81	c cleaning 172991 clauses out of 346022 with flag 15215000/21000179
1406.37/1399.57	c cleaning 174004 clauses out of 348031 with flag 15390000/21175179
1421.98/1415.11	c cleaning 174996 clauses out of 350028 with flag 15566001/21351180
1437.51/1430.70	c cleaning 175993 clauses out of 352031 with flag 15743000/21528179
1450.85/1443.94	c cleaning 177002 clauses out of 354039 with flag 15921001/21706180
1465.80/1458.84	c cleaning 177985 clauses out of 356036 with flag 16100000/21885179
1482.24/1475.22	c cleaning 179013 clauses out of 358051 with flag 16280000/22065179
1500.55/1493.56	c cleaning 179995 clauses out of 360039 with flag 16461001/22246180
1517.71/1510.69	c cleaning 181004 clauses out of 362044 with flag 16643001/22428180
1535.32/1528.22	c cleaning 182008 clauses out of 364040 with flag 16826001/22611180
1557.08/1549.92	c cleaning 183008 clauses out of 366032 with flag 17010001/22795180
1575.90/1568.76	c cleaning 183987 clauses out of 368024 with flag 17195001/22980180
1592.72/1585.52	c cleaning 185006 clauses out of 370036 with flag 17381000/23166179
1612.74/1605.52	c cleaning 186000 clauses out of 372031 with flag 17568001/23353180
1627.57/1620.37	c cleaning 186998 clauses out of 374030 with flag 17756000/23541179
1644.08/1636.83	c cleaning 188005 clauses out of 376032 with flag 17945000/23730179
1664.81/1657.53	c cleaning 188996 clauses out of 378028 with flag 18135001/23920180
1682.94/1675.63	c cleaning 190002 clauses out of 380032 with flag 18326001/24111180
1702.67/1695.30	c cleaning 191006 clauses out of 382031 with flag 18518002/24303181
1720.29/1712.94	c cleaning 191998 clauses out of 384023 with flag 18711000/24496179
1740.72/1733.34	c cleaning 192998 clauses out of 386027 with flag 18905002/24690181
1760.95/1753.55	c cleaning 193997 clauses out of 388028 with flag 19100001/24885180
1780.50/1773.10	c cleaning 195003 clauses out of 390031 with flag 19296001/25081180
1800.02/1792.51	c starts		: 440
1800.02/1792.51	c conflicts		: 25278179
1800.02/1792.51	c decisions		: 29922310
1800.02/1792.51	c propagations		: 298284611
1800.02/1792.51	c inspects		: 16028861484
1800.02/1792.51	c shortcuts		: 0
1800.02/1792.51	c learnt literals	: 0
1800.02/1792.51	c learnt binary clauses	: 514
1800.02/1792.51	c learnt ternary clauses	: 558
1800.02/1792.51	c learnt constraints	: 25278179
1800.02/1792.51	c ignored constraints	: 0
1800.02/1792.51	c root simplifications	: 440
1800.02/1792.51	c removed literals (reason simplification)	: 169549069
1800.02/1792.51	c reason swapping (by a shorter reason)	: 0
1800.02/1792.51	c Calls to reduceDB	: 547
1800.02/1792.51	c number of reductions to clauses (during analyze)	: 0
1800.02/1792.51	c number of learned constraints concerned by reduction	: 0
1800.02/1792.51	c number of learning phase by resolution	: 0
1800.02/1792.51	c number of learning phase by cutting planes	: 0
1800.02/1792.51	c speed (assignments/second)	: 166423.19031247662
1800.02/1792.51	c non guided choices	175
1800.02/1792.55	c learnt constraints type 
1800.02/1792.55	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 514
1800.02/1792.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 391513
1800.02/1792.55	c constraints type 
1800.02/1792.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
1800.02/1792.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 80
1800.02/1792.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34
1800.02/1792.55	c 134 constraints processed.
1800.02/1792.55	s SATISFIABLE
1800.02/1792.55	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 
1800.02/1792.55	c objective function=1523
1800.02/1792.55	c Total wall clock time (in seconds): 1792.439

Verifier Data 

OK	1523

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710538-1338136709/watcher-3710538-1338136709 -o /tmp/evaluation-result-3710538-1338136709/solver-3710538-1338136709 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710538-1338136709.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2588
/proc/meminfo: memFree=28866672/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 279796365 95129600 927 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 23528 931 705 9 0 16769 0
[pid=2588/tid=2589] ppid=2586 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 279796365 98570240 977 33554432000 1073741824 1073778376 140733970398128 140077438746152 270707541376 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.050303 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2588
/proc/meminfo: memFree=28866672/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9558440 CPUtime=0.03 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 3183 0 1 0 3 0 0 0 20 0 18 0 279796365 9787842560 4391 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2389610 4391 1761 9 0 2380296 0
[pid=2588/tid=2589] ppid=2586 vsize=9558440 CPUtime=0.03 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 1973 0 1 0 3 0 0 0 20 0 18 0 279796365 9787842560 4391 33554432000 1073741824 1073778376 140733970398128 140077438753440 270710924557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558440

[startup+0.100315 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2588
/proc/meminfo: memFree=28866672/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9558440 CPUtime=0.11 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 4378 0 1 0 10 1 0 0 20 0 18 0 279796365 9787842560 6094 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2389610 6102 2131 9 0 2380296 0
[pid=2588/tid=2589] ppid=2586 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 2492 0 1 0 8 0 0 0 20 0 18 0 279796365 9787842560 6102 33554432000 1073741824 1073778376 140733970398128 140077438727544 270710924557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.300249 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2588
/proc/meminfo: memFree=28866672/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 6630 0 1 0 54 1 0 0 20 0 19 0 279796365 9856004096 8500 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 8500 2242 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 2514 0 1 0 28 0 0 0 20 0 19 0 279796365 9856004096 8500 33554432000 1073741824 1073778376 140733970398128 140077438750792 140077288252400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9625004

[startup+0.70026 s]
/proc/loadavg: 2.07 2.02 2.00 3/194 2588
/proc/meminfo: memFree=28866672/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 10522 0 1 0 134 2 0 0 20 0 19 0 279796365 9856004096 12708 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 12708 2276 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 2520 0 1 0 65 2 0 0 20 0 19 0 279796365 9856004096 12708 33554432000 1073741824 1073778376 140733970398128 140077438751144 140077288671083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625004

[startup+1.50069 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 2607
/proc/meminfo: memFree=28821948/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=2.22 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 10539 0 1 0 220 2 0 0 20 0 19 0 279796365 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 13231 2277 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 2523 0 1 0 142 2 0 0 20 0 19 0 279796365 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077438751024 140077288608524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2591] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2591/stat : 2591 (java) S 2586 2588 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077411203624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2592] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2592/stat : 2592 (java) S 2586 2588 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077410150824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2593] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2593/stat : 2593 (java) S 2586 2588 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077409098024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2594] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2594/stat : 2594 (java) S 2586 2588 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077408045224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2595] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2595/stat : 2595 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077406993448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2596] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2596/stat : 2596 (java) S 2586 2588 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077277162408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2597] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2597/stat : 2597 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077276109608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2598] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2598/stat : 2598 (java) S 2586 2588 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140077275056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2599] ppid=2586 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/2588/task/2599/stat : 2599 (java) S 2586 2588 32120 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 279796367 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076792109544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2600] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2600/stat : 2600 (java) S 2586 2588 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076791055608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2601] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2601/stat : 2601 (java) S 2586 2588 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076790002696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2602] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2602/stat : 2602 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796369 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076788951184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2603] ppid=2586 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/2588/task/2603/stat : 2603 (java) S 2586 2588 32120 0 -1 4202560 2451 0 0 0 30 0 0 0 20 0 19 0 279796370 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076787899320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2604] ppid=2586 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/2588/task/2604/stat : 2604 (java) S 2586 2588 32120 0 -1 4202560 4317 0 0 0 40 0 0 0 20 0 19 0 279796370 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076786846520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2605] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2605/stat : 2605 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076785793912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2606] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2606/stat : 2606 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076784741320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2607] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2607/stat : 2607 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796384 9856004096 13231 33554432000 1073741824 1073778376 140733970398128 140076783686824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625004

[startup+3.10071 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 2607
/proc/meminfo: memFree=28817356/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=3.89 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 10555 0 1 0 387 2 0 0 20 0 19 0 279796365 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 14262 2279 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=2.97 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 2528 0 1 0 295 2 0 0 20 0 19 0 279796365 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077438751024 140077288671758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2591] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2591/stat : 2591 (java) S 2586 2588 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077411203624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2592] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2592/stat : 2592 (java) S 2586 2588 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077410150824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2593] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2593/stat : 2593 (java) S 2586 2588 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077409098024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2594] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2594/stat : 2594 (java) S 2586 2588 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077408045224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2595] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2595/stat : 2595 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077406993448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2596] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2596/stat : 2596 (java) S 2586 2588 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077277162408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2597] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2597/stat : 2597 (java) S 2586 2588 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077276109608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2598] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2598/stat : 2598 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140077275056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2599] ppid=2586 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/2588/task/2599/stat : 2599 (java) S 2586 2588 32120 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 279796367 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076792109544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2600] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2600/stat : 2600 (java) S 2586 2588 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076791055608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2601] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2601/stat : 2601 (java) S 2586 2588 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076790002696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2602] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2602/stat : 2602 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796369 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076788951184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2603] ppid=2586 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/2588/task/2603/stat : 2603 (java) S 2586 2588 32120 0 -1 4202560 2451 0 0 0 30 0 0 0 20 0 19 0 279796370 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076787899320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2604] ppid=2586 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/2588/task/2604/stat : 2604 (java) S 2586 2588 32120 0 -1 4202560 4319 0 0 0 43 0 0 0 20 0 19 0 279796370 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076786846520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2605] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2605/stat : 2605 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076785793912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2606] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2606/stat : 2606 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076784741320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2607] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2607/stat : 2607 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796384 9856004096 14262 33554432000 1073741824 1073778376 140733970398128 140076783686824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9625004

[startup+6.30067 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 2607
/proc/meminfo: memFree=28819340/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=7.14 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 10575 0 1 0 711 3 0 0 20 0 19 0 279796365 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 13565 2279 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=6.03 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 2541 0 1 0 601 2 0 0 20 0 19 0 279796365 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077438751024 140077288616003 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2591] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2591/stat : 2591 (java) S 2586 2588 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077411203624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2592] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2592/stat : 2592 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077410150824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2593] ppid=2586 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/2588/task/2593/stat : 2593 (java) S 2586 2588 32120 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077409098024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2594] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2594/stat : 2594 (java) S 2586 2588 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077408045224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2595] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2595/stat : 2595 (java) S 2586 2588 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077406993448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2596] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2596/stat : 2596 (java) S 2586 2588 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077277162408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2597] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2597/stat : 2597 (java) S 2586 2588 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077276109608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2598] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2598/stat : 2598 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796366 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140077275056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2599] ppid=2586 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/2588/task/2599/stat : 2599 (java) S 2586 2588 32120 0 -1 4202560 32 0 0 0 18 0 0 0 20 0 19 0 279796367 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140076792109544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2600] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2600/stat : 2600 (java) S 2586 2588 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140076791055608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2601] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2601/stat : 2601 (java) S 2586 2588 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140076790002696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2602] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2602/stat : 2602 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796369 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140076788951184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2603] ppid=2586 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/2588/task/2603/stat : 2603 (java) S 2586 2588 32120 0 -1 4202560 2451 0 0 0 30 0 0 0 20 0 19 0 279796370 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140076787899320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2604] ppid=2586 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/2588/task/2604/stat : 2604 (java) S 2586 2588 32120 0 -1 4202560 4319 0 0 0 43 0 0 0 20 0 19 0 279796370 9856004096 13565 33554432000 1073741824 1073778376 140733970398128 140076786846520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=2588/tid=2596] ppid=2586 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/2588/task/2596/stat : 2596 (java) S 2586 2588 32120 0 -1 4202560 90 0 0 0 116 1 0 0 20 0 19 0 279796366 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140077277162408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2597] ppid=2586 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/2588/task/2597/stat : 2597 (java) S 2586 2588 32120 0 -1 4202560 65 0 0 0 114 2 0 0 20 0 19 0 279796366 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140077276109608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2598] ppid=2586 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/2588/task/2598/stat : 2598 (java) S 2586 2588 32120 0 -1 4202560 68 0 0 0 120 3 0 0 20 0 19 0 279796366 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140077275056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2599] ppid=2586 vsize=9625004 CPUtime=12.08 cores=0,2,4,6
/proc/2588/task/2599/stat : 2599 (java) S 2586 2588 32120 0 -1 4202560 149 0 0 0 1204 4 0 0 20 0 19 0 279796367 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076792109544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2600] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2600/stat : 2600 (java) S 2586 2588 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076791055608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2601] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2601/stat : 2601 (java) S 2586 2588 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076790002696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2602] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2602/stat : 2602 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796369 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076788951184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2603] ppid=2586 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/2588/task/2603/stat : 2603 (java) S 2586 2588 32120 0 -1 4202560 2651 0 0 0 38 0 0 0 20 0 19 0 279796370 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076787899320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2604] ppid=2586 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/2588/task/2604/stat : 2604 (java) S 2586 2588 32120 0 -1 4202560 4323 0 0 0 48 0 0 0 20 0 19 0 279796370 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076786846520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2605] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2605/stat : 2605 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076785793912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2606] ppid=2586 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/2588/task/2606/stat : 2606 (java) S 2586 2588 32120 0 -1 4202560 99 0 0 0 23 21 0 0 20 0 19 0 279796370 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076784741320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2607] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2607/stat : 2607 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796384 9856004096 42819 33554432000 1073741824 1073778376 140733970398128 140076783686824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1729.71
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 3045
/proc/meminfo: memFree=28717304/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=1789.81 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 12425 0 1 0 178935 46 0 0 20 0 19 0 279796365 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 43331 2282 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=1767.17 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 3084 0 1 0 176686 31 0 0 20 0 19 0 279796365 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077438751024 140077288593954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2591] ppid=2586 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/2588/task/2591/stat : 2591 (java) S 2586 2588 32120 0 -1 4202560 80 0 0 0 107 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077411203624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2592] ppid=2586 vsize=9625004 CPUtime=1.15 cores=0,2,4,6
/proc/2588/task/2592/stat : 2592 (java) S 2586 2588 32120 0 -1 4202560 92 0 0 0 114 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077410150824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2593] ppid=2586 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/2588/task/2593/stat : 2593 (java) S 2586 2588 32120 0 -1 4202560 176 0 0 0 110 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077409098024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2594] ppid=2586 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/2588/task/2594/stat : 2594 (java) S 2586 2588 32120 0 -1 4202560 273 0 0 0 108 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077408045224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2595] ppid=2586 vsize=9625004 CPUtime=1.13 cores=0,2,4,6
/proc/2588/task/2595/stat : 2595 (java) S 2586 2588 32120 0 -1 4202560 85 0 0 0 112 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077406993448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2596] ppid=2586 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/2588/task/2596/stat : 2596 (java) S 2586 2588 32120 0 -1 4202560 90 0 0 0 117 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077277162408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2597] ppid=2586 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/2588/task/2597/stat : 2597 (java) S 2586 2588 32120 0 -1 4202560 65 0 0 0 115 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077276109608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2598] ppid=2586 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/2588/task/2598/stat : 2598 (java) S 2586 2588 32120 0 -1 4202560 68 0 0 0 122 3 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077275056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2599] ppid=2586 vsize=9625004 CPUtime=12.3 cores=0,2,4,6
/proc/2588/task/2599/stat : 2599 (java) S 2586 2588 32120 0 -1 4202560 154 0 0 0 1226 4 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076792109544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2600] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2600/stat : 2600 (java) S 2586 2588 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076791055608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2601] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2601/stat : 2601 (java) S 2586 2588 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076790002696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2602] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2602/stat : 2602 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796369 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076788951184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2603] ppid=2586 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/2588/task/2603/stat : 2603 (java) S 2586 2588 32120 0 -1 4202560 2651 0 0 0 38 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076787899320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2604] ppid=2586 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/2588/task/2604/stat : 2604 (java) S 2586 2588 32120 0 -1 4202560 4323 0 0 0 48 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076786846520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2605] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2605/stat : 2605 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076785793912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2606] ppid=2586 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/2588/task/2606/stat : 2606 (java) S 2586 2588 32120 0 -1 4202560 103 0 0 0 24 22 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076784741320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2607] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2607/stat : 2607 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796384 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076783686824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1789.81
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 3045
/proc/meminfo: memFree=28717304/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 12425 0 1 0 179956 46 0 0 20 0 19 0 279796365 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 43331 2282 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=1777.38 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 3084 0 1 0 177706 32 0 0 20 0 19 0 279796365 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077438751024 140077288396738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2591] ppid=2586 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/2588/task/2591/stat : 2591 (java) S 2586 2588 32120 0 -1 4202560 80 0 0 0 107 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077411203624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2592] ppid=2586 vsize=9625004 CPUtime=1.15 cores=0,2,4,6
/proc/2588/task/2592/stat : 2592 (java) S 2586 2588 32120 0 -1 4202560 92 0 0 0 114 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077410150824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2593] ppid=2586 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/2588/task/2593/stat : 2593 (java) S 2586 2588 32120 0 -1 4202560 176 0 0 0 110 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077409098024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2594] ppid=2586 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/2588/task/2594/stat : 2594 (java) S 2586 2588 32120 0 -1 4202560 273 0 0 0 108 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077408045224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2595] ppid=2586 vsize=9625004 CPUtime=1.13 cores=0,2,4,6
/proc/2588/task/2595/stat : 2595 (java) S 2586 2588 32120 0 -1 4202560 85 0 0 0 112 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077406993448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2596] ppid=2586 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/2588/task/2596/stat : 2596 (java) S 2586 2588 32120 0 -1 4202560 90 0 0 0 117 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077277162408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2597] ppid=2586 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/2588/task/2597/stat : 2597 (java) S 2586 2588 32120 0 -1 4202560 65 0 0 0 115 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077276109608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2598] ppid=2586 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/2588/task/2598/stat : 2598 (java) S 2586 2588 32120 0 -1 4202560 68 0 0 0 122 3 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077275056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2599] ppid=2586 vsize=9625004 CPUtime=12.3 cores=0,2,4,6
/proc/2588/task/2599/stat : 2599 (java) S 2586 2588 32120 0 -1 4202560 154 0 0 0 1226 4 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076792109544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2600] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2600/stat : 2600 (java) S 2586 2588 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076791055608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2601] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2601/stat : 2601 (java) S 2586 2588 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076790002696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2602] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2602/stat : 2602 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796369 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076788951184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2603] ppid=2586 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/2588/task/2603/stat : 2603 (java) S 2586 2588 32120 0 -1 4202560 2651 0 0 0 38 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076787899320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2604] ppid=2586 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/2588/task/2604/stat : 2604 (java) S 2586 2588 32120 0 -1 4202560 4323 0 0 0 48 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076786846520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2605] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2605/stat : 2605 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076785793912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2606] ppid=2586 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/2588/task/2606/stat : 2606 (java) S 2586 2588 32120 0 -1 4202560 103 0 0 0 24 22 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076784741320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2607] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2607/stat : 2607 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796384 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076783686824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1792.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 3045
/proc/meminfo: memFree=28717304/32873648 swapFree=6864/6864
[pid=2588] ppid=2586 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/2588/stat : 2588 (java) S 2586 2588 32120 0 -1 4202496 12425 0 1 0 179956 46 0 0 20 0 19 0 279796365 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140733970389264 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2588/statm: 2406251 43331 2282 9 0 2396937 0
[pid=2588/tid=2589] ppid=2586 vsize=9625004 CPUtime=1777.38 cores=0,2,4,6
/proc/2588/task/2589/stat : 2589 (java) R 2586 2588 32120 0 -1 4202560 3084 0 1 0 177706 32 0 0 20 0 19 0 279796365 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077438751024 140077288396738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2591] ppid=2586 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/2588/task/2591/stat : 2591 (java) S 2586 2588 32120 0 -1 4202560 80 0 0 0 107 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077411203624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2592] ppid=2586 vsize=9625004 CPUtime=1.15 cores=0,2,4,6
/proc/2588/task/2592/stat : 2592 (java) S 2586 2588 32120 0 -1 4202560 92 0 0 0 114 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077410150824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2593] ppid=2586 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/2588/task/2593/stat : 2593 (java) S 2586 2588 32120 0 -1 4202560 176 0 0 0 110 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077409098024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2594] ppid=2586 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/2588/task/2594/stat : 2594 (java) S 2586 2588 32120 0 -1 4202560 273 0 0 0 108 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077408045224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2595] ppid=2586 vsize=9625004 CPUtime=1.13 cores=0,2,4,6
/proc/2588/task/2595/stat : 2595 (java) S 2586 2588 32120 0 -1 4202560 85 0 0 0 112 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077406993448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2596] ppid=2586 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/2588/task/2596/stat : 2596 (java) S 2586 2588 32120 0 -1 4202560 90 0 0 0 117 1 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077277162408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2597] ppid=2586 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/2588/task/2597/stat : 2597 (java) S 2586 2588 32120 0 -1 4202560 65 0 0 0 115 2 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077276109608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2598] ppid=2586 vsize=9625004 CPUtime=1.25 cores=0,2,4,6
/proc/2588/task/2598/stat : 2598 (java) S 2586 2588 32120 0 -1 4202560 68 0 0 0 122 3 0 0 20 0 19 0 279796366 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140077275056808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2599] ppid=2586 vsize=9625004 CPUtime=12.3 cores=0,2,4,6
/proc/2588/task/2599/stat : 2599 (java) S 2586 2588 32120 0 -1 4202560 154 0 0 0 1226 4 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076792109544 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2600] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2600/stat : 2600 (java) S 2586 2588 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076791055608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2601] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2601/stat : 2601 (java) S 2586 2588 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279796367 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076790002696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2602] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2602/stat : 2602 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796369 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076788951184 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2603] ppid=2586 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/2588/task/2603/stat : 2603 (java) S 2586 2588 32120 0 -1 4202560 2651 0 0 0 38 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076787899320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2588/tid=2604] ppid=2586 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/2588/task/2604/stat : 2604 (java) S 2586 2588 32120 0 -1 4202560 4323 0 0 0 48 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076786846520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2588/tid=2605] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2605/stat : 2605 (java) S 2586 2588 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076785793912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2588/tid=2606] ppid=2586 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/2588/task/2606/stat : 2606 (java) S 2586 2588 32120 0 -1 4202560 103 0 0 0 24 22 0 0 20 0 19 0 279796370 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076784741320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2588/tid=2607] ppid=2586 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/2588/task/2607/stat : 2607 (java) S 2586 2588 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279796384 9856004096 43331 33554432000 1073741824 1073778376 140733970398128 140076783686824 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1792.55
CPU time (s): 1800.55
CPU user time (s): 1799.69
CPU system time (s): 0.860869
CPU usage (%): 100.446
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.860869
maximum resident set size= 179632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12471
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52944
involuntary context switches= 30110

runsolver used 6.22005 second user time and 14.4348 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-27 18:38:29
IDJOB=3710538
IDBENCH=1858
IDSOLVER=2289
FILE ID=node125/3710538-1338136709
RUNJOBID= node125-1338125514-32136
PBS_JOBID= 14624515
Free space on /tmp= 71260 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710538-1338136709/watcher-3710538-1338136709 -o /tmp/evaluation-result-3710538-1338136709/solver-3710538-1338136709 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710538-1338136709.opb

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

MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2
RANDOM SEED=193103100

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28866928 kB
Buffers:          449412 kB
Cached:          2432812 kB
SwapCached:         2308 kB
Active:          1661872 kB
Inactive:        1500192 kB
Active(anon):     271840 kB
Inactive(anon):     9556 kB
Active(file):    1390032 kB
Inactive(file):  1490636 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102612 kB
Dirty:              1040 kB
Writeback:             0 kB
AnonPages:        308436 kB
Mapped:            22576 kB
Shmem:               104 kB
Slab:             703660 kB
SReclaimable:     147112 kB
SUnreclaim:       556548 kB
KernelStack:        1760 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     648580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71256 MiB
End job on node125 at 2012-05-27 19:08:24