Trace number 3688225

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)7 1800.09 1793.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1791.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3688225-1337880889.opb
0.07/0.12	c reading problem ... 
0.07/0.16	c ... done. Wall clock time 0.039s.
0.07/0.16	c declared #vars     146
0.07/0.16	c #constraints  12
0.07/0.16	c constraints type 
0.07/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.07/0.16	c 12 constraints processed.
0.07/0.16	c objective function length is 96 literals
0.24/0.21	c SATISFIABLE
0.24/0.21	c OPTIMIZING...
0.24/0.21	c Got one! Elapsed wall clock time (in seconds):0.093
0.24/0.21	o 384
0.24/0.23	c Got one! Elapsed wall clock time (in seconds):0.111
0.24/0.23	o 362
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.128
0.24/0.25	o 354
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.137
0.24/0.26	o 153
0.47/0.31	c Got one! Elapsed wall clock time (in seconds):0.189
0.47/0.31	o 152
0.47/0.32	c Got one! Elapsed wall clock time (in seconds):0.197
0.47/0.32	o 147
0.47/0.32	c Got one! Elapsed wall clock time (in seconds):0.203
0.47/0.32	o 144
0.47/0.34	c Got one! Elapsed wall clock time (in seconds):0.215
0.47/0.34	o 142
0.72/0.52	c cleaning 3027 clauses out of 6057 with flag 4001/6057
0.98/0.70	c Got one! Elapsed wall clock time (in seconds):0.581
0.98/0.70	o 140
0.98/0.74	c Got one! Elapsed wall clock time (in seconds):0.616
0.98/0.74	o 139
0.98/0.78	c cleaning 4846 clauses out of 9705 with flag 1001/12732
1.09/0.81	c Got one! Elapsed wall clock time (in seconds):0.686
1.09/0.81	o 137
1.09/0.81	c Got one! Elapsed wall clock time (in seconds):0.693
1.09/0.81	o 120
1.09/0.82	c Got one! Elapsed wall clock time (in seconds):0.702
1.09/0.82	o 118
1.20/0.91	c Got one! Elapsed wall clock time (in seconds):0.788
1.20/0.91	o 117
1.20/0.93	c Got one! Elapsed wall clock time (in seconds):0.811
1.20/0.93	o 116
1.20/0.99	c Got one! Elapsed wall clock time (in seconds):0.866
1.20/0.99	o 115
1.30/1.09	c cleaning 6189 clauses out of 12386 with flag 2000/20259
1.41/1.12	c Got one! Elapsed wall clock time (in seconds):1.001
1.41/1.12	o 114
1.41/1.13	c Got one! Elapsed wall clock time (in seconds):1.008
1.41/1.13	o 108
1.41/1.14	c Got one! Elapsed wall clock time (in seconds):1.021
1.41/1.14	o 105
1.51/1.25	c Got one! Elapsed wall clock time (in seconds):1.126
1.51/1.25	o 103
1.66/1.37	c cleaning 6716 clauses out of 13443 with flag 3000/27505
1.85/1.41	c Got one! Elapsed wall clock time (in seconds):1.29
1.85/1.41	o 102
2.07/1.62	c cleaning 6283 clauses out of 12575 with flag 5002/33353
2.17/1.70	c Got one! Elapsed wall clock time (in seconds):1.577
2.17/1.70	o 101
2.17/1.70	c Got one! Elapsed wall clock time (in seconds):1.58
2.17/1.70	o 93
2.17/1.77	c Got one! Elapsed wall clock time (in seconds):1.648
2.17/1.77	o 92
2.37/1.91	c cleaning 6497 clauses out of 13004 with flag 3001/40065
2.47/2.01	c Got one! Elapsed wall clock time (in seconds):1.888
2.47/2.01	o 90
2.58/2.10	c Got one! Elapsed wall clock time (in seconds):1.982
2.58/2.10	o 89
2.58/2.16	c cleaning 6256 clauses out of 12528 with flag 1001/46086
2.77/2.34	c Got one! Elapsed wall clock time (in seconds):2.222
2.77/2.34	o 85
2.77/2.35	c Got one! Elapsed wall clock time (in seconds):2.229
2.77/2.35	o 83
2.77/2.39	c Got one! Elapsed wall clock time (in seconds):2.266
2.77/2.39	o 82
2.87/2.45	c cleaning 6268 clauses out of 12560 with flag 1000/52374
2.97/2.56	c Got one! Elapsed wall clock time (in seconds):2.442
2.97/2.56	o 80
3.17/2.70	c cleaning 6085 clauses out of 12196 with flag 3000/58278
3.17/2.72	c Got one! Elapsed wall clock time (in seconds):2.602
3.17/2.72	o 76
3.31/2.82	c Got one! Elapsed wall clock time (in seconds):2.699
3.31/2.82	o 75
3.41/2.98	c cleaning 5931 clauses out of 11894 with flag 3001/64061
3.62/3.14	c Got one! Elapsed wall clock time (in seconds):3.021
3.62/3.14	o 74
3.72/3.21	c cleaning 5563 clauses out of 11153 with flag 1001/69251
3.92/3.47	c cleaning 5795 clauses out of 11590 with flag 7001/75251
4.02/3.56	c Got one! Elapsed wall clock time (in seconds):3.442
4.02/3.56	o 73
4.13/3.69	c cleaning 5690 clauses out of 11390 with flag 3000/80846
4.33/3.82	c Got one! Elapsed wall clock time (in seconds):3.7
4.33/3.82	o 72
4.43/3.94	c cleaning 5458 clauses out of 10919 with flag 2002/86065
4.43/3.97	c Got one! Elapsed wall clock time (in seconds):3.846
4.43/3.97	o 71
4.74/4.20	c cleaning 5530 clauses out of 11071 with flag 5002/91675
4.74/4.23	c Got one! Elapsed wall clock time (in seconds):4.108
4.74/4.23	o 70
4.94/4.45	c cleaning 5523 clauses out of 11058 with flag 5001/97192
5.24/4.71	c cleaning 5757 clauses out of 11534 with flag 11000/103191
5.34/4.86	c Got one! Elapsed wall clock time (in seconds):4.736
5.34/4.86	o 69
5.44/4.97	c cleaning 5793 clauses out of 11602 with flag 2000/109016
5.74/5.24	c cleaning 5900 clauses out of 11812 with flag 8003/115019
5.84/5.31	c Got one! Elapsed wall clock time (in seconds):5.189
5.84/5.31	o 68
5.95/5.48	c cleaning 5724 clauses out of 11456 with flag 4000/120563
6.05/5.52	c Got one! Elapsed wall clock time (in seconds):5.4
6.05/5.52	o 66
6.24/5.72	c Got one! Elapsed wall clock time (in seconds):5.594
6.24/5.72	o 65
6.24/5.78	c cleaning 6185 clauses out of 12384 with flag 1000/127215
6.54/6.03	c cleaning 6094 clauses out of 12200 with flag 7001/133216
6.54/6.04	c Got one! Elapsed wall clock time (in seconds):5.917
6.54/6.04	o 64
6.75/6.27	c cleaning 5573 clauses out of 11164 with flag 5002/138274
6.85/6.34	c Got one! Elapsed wall clock time (in seconds):6.222
6.85/6.34	o 63
7.05/6.54	c cleaning 5775 clauses out of 11562 with flag 4002/144245
7.25/6.79	c cleaning 5879 clauses out of 11785 with flag 10000/150243
7.35/6.89	c Got one! Elapsed wall clock time (in seconds):6.766
7.35/6.89	o 61
7.55/7.04	c cleaning 5832 clauses out of 11687 with flag 3002/156024
7.77/7.29	c cleaning 5919 clauses out of 11855 with flag 9002/162024
8.07/7.58	c cleaning 6461 clauses out of 12934 with flag 16000/169022
8.29/7.75	c Got one! Elapsed wall clock time (in seconds):7.626
8.29/7.75	o 59
8.29/7.79	c Got one! Elapsed wall clock time (in seconds):7.664
8.29/7.79	o 57
8.38/7.85	c cleaning 6302 clauses out of 12610 with flag 1001/175159
8.38/7.87	c Got one! Elapsed wall clock time (in seconds):7.751
8.38/7.87	o 56
8.58/8.06	c Got one! Elapsed wall clock time (in seconds):7.939
8.58/8.06	o 54
8.68/8.13	c cleaning 6229 clauses out of 12477 with flag 1006/181328
8.78/8.26	c Got one! Elapsed wall clock time (in seconds):8.134
8.78/8.26	o 53
8.99/8.42	c cleaning 6044 clauses out of 12111 with flag 3001/187191
9.09/8.57	c Got one! Elapsed wall clock time (in seconds):8.444
9.09/8.57	o 51
9.19/8.70	c cleaning 5970 clauses out of 11950 with flag 2003/193074
9.49/8.93	c Got one! Elapsed wall clock time (in seconds):8.808
9.49/8.93	o 49
9.80/9.21	c cleaning 8425 clauses out of 16874 with flag 5001/203968
10.10/9.51	c cleaning 7216 clauses out of 14451 with flag 11003/209970
10.10/9.59	c Got one! Elapsed wall clock time (in seconds):9.473
10.10/9.59	o 48
10.32/9.79	c cleaning 6593 clauses out of 13203 with flag 4000/215938
10.62/10.07	c cleaning 6296 clauses out of 12610 with flag 10000/221938
10.93/10.36	c cleaning 6653 clauses out of 13317 with flag 17003/228941
11.23/10.66	c cleaning 7329 clauses out of 14661 with flag 25000/236938
11.64/11.03	c cleaning 8167 clauses out of 16334 with flag 34002/245940
12.13/11.51	c cleaning 9079 clauses out of 18165 with flag 44000/255938
12.64/12.05	c cleaning 10037 clauses out of 20086 with flag 55000/266938
12.75/12.18	c Got one! Elapsed wall clock time (in seconds):12.057
12.75/12.18	o 46
12.84/12.27	c Got one! Elapsed wall clock time (in seconds):12.15
12.84/12.27	o 45
13.04/12.40	c cleaning 8263 clauses out of 16535 with flag 2004/273424
13.25/12.60	c Got one! Elapsed wall clock time (in seconds):12.482
13.25/12.60	o 42
13.25/12.68	c cleaning 6793 clauses out of 13603 with flag 1001/278755
13.55/12.98	c cleaning 6394 clauses out of 12811 with flag 7002/284756
13.76/13.18	c Got one! Elapsed wall clock time (in seconds):13.06
13.76/13.18	o 40
14.15/13.50	c cleaning 8381 clauses out of 16772 with flag 5010/295111
14.45/13.80	c cleaning 7186 clauses out of 14381 with flag 11000/301101
14.45/13.87	c Got one! Elapsed wall clock time (in seconds):13.748
14.45/13.87	o 38
14.65/14.09	c cleaning 6369 clauses out of 12767 with flag 4000/306673
14.96/14.37	c cleaning 6189 clauses out of 12400 with flag 10002/312675
15.25/14.67	c cleaning 6601 clauses out of 13209 with flag 17000/319673
15.35/14.76	c Got one! Elapsed wall clock time (in seconds):14.643
15.35/14.76	o 37
15.55/14.93	c cleaning 6000 clauses out of 12014 with flag 3006/325079
15.75/15.20	c cleaning 6002 clauses out of 12013 with flag 9005/331078
16.17/15.51	c cleaning 6494 clauses out of 13006 with flag 16000/338073
16.47/15.89	c cleaning 7246 clauses out of 14512 with flag 24000/346073
16.88/16.29	c cleaning 8133 clauses out of 16267 with flag 33001/355074
17.48/16.80	c cleaning 9065 clauses out of 18133 with flag 43000/365073
17.68/17.07	c Got one! Elapsed wall clock time (in seconds):16.947
17.68/17.07	o 35
18.08/17.43	c cleaning 9575 clauses out of 19161 with flag 5002/375166
18.40/17.77	c cleaning 7790 clauses out of 15584 with flag 11000/381164
18.80/18.11	c cleaning 7387 clauses out of 14796 with flag 18002/388166
19.10/18.44	c cleaning 7702 clauses out of 15409 with flag 26002/396166
19.50/18.83	c cleaning 8350 clauses out of 16706 with flag 35001/405165
19.71/19.02	c Got one! Elapsed wall clock time (in seconds):18.895
19.71/19.02	o 34
19.71/19.09	c cleaning 7065 clauses out of 14149 with flag 1004/410958
20.01/19.35	c cleaning 6539 clauses out of 13083 with flag 7003/416957
20.31/19.65	c cleaning 6764 clauses out of 13542 with flag 14001/423955
20.51/19.89	c Got one! Elapsed wall clock time (in seconds):19.765
20.51/19.89	o 30
20.81/20.14	c cleaning 8421 clauses out of 16857 with flag 5000/434034
21.03/20.38	c cleaning 7219 clauses out of 14439 with flag 11003/440037
21.33/20.67	c cleaning 7103 clauses out of 14217 with flag 18000/447034
21.43/20.73	c Got one! Elapsed wall clock time (in seconds):20.604
21.43/20.73	o 28
21.54/20.89	c cleaning 6286 clauses out of 12593 with flag 4003/452513
21.75/21.03	c Got one! Elapsed wall clock time (in seconds):20.906
21.75/21.03	o 27
21.85/21.14	c cleaning 6041 clauses out of 12087 with flag 2005/458293
22.15/21.41	c cleaning 6006 clauses out of 12042 with flag 8001/464289
22.46/21.72	c cleaning 6510 clauses out of 13035 with flag 15000/471288
22.79/22.09	c cleaning 7263 clauses out of 14525 with flag 23000/479288
22.89/22.11	c Got one! Elapsed wall clock time (in seconds):21.987
22.89/22.11	o 23
23.09/22.35	c cleaning 6144 clauses out of 12312 with flag 5005/484338
23.40/22.65	c cleaning 6068 clauses out of 12164 with flag 11001/490334
23.70/23.00	c cleaning 6536 clauses out of 13095 with flag 18000/497333
24.21/23.46	c cleaning 7275 clauses out of 14560 with flag 26001/505334
24.71/23.94	c cleaning 8131 clauses out of 16285 with flag 35001/514334
25.21/24.46	c cleaning 9075 clauses out of 18153 with flag 45000/524333
25.71/24.97	c cleaning 10041 clauses out of 20081 with flag 56003/535336
26.31/25.53	c cleaning 11016 clauses out of 22037 with flag 68000/547333
26.92/26.14	c cleaning 12013 clauses out of 24026 with flag 81005/560338
27.62/26.82	c cleaning 12999 clauses out of 26008 with flag 95000/574333
28.34/27.59	c cleaning 13996 clauses out of 28009 with flag 110000/589333
29.23/28.43	c cleaning 15007 clauses out of 30014 with flag 126001/605334
30.13/29.36	c cleaning 16004 clauses out of 32007 with flag 143001/622334
30.13/29.39	c Got one! Elapsed wall clock time (in seconds):29.268
30.13/29.39	o 22
30.44/29.69	c cleaning 10661 clauses out of 21330 with flag 5001/627661
30.75/29.97	c cleaning 8327 clauses out of 16668 with flag 11000/633660
31.05/30.28	c cleaning 7658 clauses out of 15341 with flag 18000/640660
31.45/30.62	c cleaning 7837 clauses out of 15684 with flag 26001/648661
31.76/30.99	c cleaning 8422 clauses out of 16846 with flag 35000/657660
32.06/31.30	c Got one! Elapsed wall clock time (in seconds):31.174
32.06/31.30	o 20
32.46/31.64	c cleaning 10538 clauses out of 21096 with flag 5003/670332
32.77/31.95	c cleaning 8272 clauses out of 16556 with flag 11001/676330
32.87/32.05	c Got one! Elapsed wall clock time (in seconds):31.928
32.87/32.05	o 19
33.06/32.22	c cleaning 6998 clauses out of 14008 with flag 3002/682054
33.37/32.51	c cleaning 6494 clauses out of 13009 with flag 9001/688053
33.67/32.81	c cleaning 6750 clauses out of 13516 with flag 16002/695054
33.97/33.18	c cleaning 7374 clauses out of 14765 with flag 24001/703053
34.47/33.66	c cleaning 8185 clauses out of 16390 with flag 33000/712052
34.99/34.16	c cleaning 9105 clauses out of 18210 with flag 43005/722057
35.49/34.67	c cleaning 10051 clauses out of 20101 with flag 54001/733053
36.11/35.23	c cleaning 11024 clauses out of 22050 with flag 66001/745053
36.70/35.83	c cleaning 12010 clauses out of 24027 with flag 79002/758054
37.40/36.59	c cleaning 13006 clauses out of 26015 with flag 93000/772052
38.23/37.35	c cleaning 14004 clauses out of 28010 with flag 108001/787053
39.03/38.16	c cleaning 15000 clauses out of 30006 with flag 124001/803053
39.93/39.07	c cleaning 16003 clauses out of 32007 with flag 141002/820054
40.94/40.05	c cleaning 17001 clauses out of 34005 with flag 159003/838055
42.04/41.18	c cleaning 17996 clauses out of 36001 with flag 178000/857052
43.24/42.35	c cleaning 19005 clauses out of 38009 with flag 198004/877056
44.45/43.54	c cleaning 19995 clauses out of 40000 with flag 219000/898052
45.75/44.89	c cleaning 20998 clauses out of 42005 with flag 241000/920052
47.25/46.34	c cleaning 22001 clauses out of 44007 with flag 264000/943052
48.75/47.86	c cleaning 22997 clauses out of 46007 with flag 288001/967053
50.37/49.46	c cleaning 24004 clauses out of 48010 with flag 313001/992053
51.96/51.08	c cleaning 25002 clauses out of 50008 with flag 339003/1018055
53.87/52.93	c cleaning 26002 clauses out of 52006 with flag 366003/1045055
55.82/54.87	c cleaning 27000 clauses out of 54003 with flag 394002/1073054
56.14/55.16	c Got one! Elapsed wall clock time (in seconds):55.041
56.14/55.16	o 18
56.64/55.65	c cleaning 19040 clauses out of 38093 with flag 5000/1084144
57.05/56.03	c cleaning 12517 clauses out of 25053 with flag 11000/1090144
57.35/56.37	c cleaning 9759 clauses out of 19536 with flag 18000/1097144
57.75/56.72	c cleaning 8887 clauses out of 17782 with flag 26005/1105149
58.05/57.07	c cleaning 8942 clauses out of 17893 with flag 35003/1114147
58.47/57.48	c cleaning 9470 clauses out of 18948 with flag 45000/1124144
58.97/57.98	c cleaning 10238 clauses out of 20480 with flag 56002/1135146
59.50/58.49	c cleaning 11113 clauses out of 22240 with flag 68000/1147144
60.10/59.04	c cleaning 12061 clauses out of 24127 with flag 81000/1160144
60.70/59.64	c cleaning 13024 clauses out of 26066 with flag 95000/1174144
61.40/60.38	c cleaning 14021 clauses out of 28042 with flag 110000/1189144
62.22/61.12	c cleaning 15003 clauses out of 30021 with flag 126000/1205144
62.92/61.89	c cleaning 16003 clauses out of 32019 with flag 143001/1222145
63.83/62.78	c cleaning 17006 clauses out of 34015 with flag 161000/1240144
64.83/63.75	c cleaning 18005 clauses out of 36010 with flag 180001/1259145
65.83/64.78	c cleaning 18998 clauses out of 38005 with flag 200001/1279145
67.13/66.06	c cleaning 19995 clauses out of 40006 with flag 221000/1300144
68.53/67.44	c cleaning 21009 clauses out of 42017 with flag 243006/1322150
69.84/68.72	c cleaning 22002 clauses out of 44003 with flag 266001/1345145
71.14/70.07	c cleaning 22993 clauses out of 46000 with flag 290000/1369144
72.64/71.52	c cleaning 23997 clauses out of 48008 with flag 315001/1394145
74.14/73.02	c cleaning 25002 clauses out of 50011 with flag 341001/1420145
75.75/74.61	c cleaning 25998 clauses out of 52008 with flag 368000/1447144
76.65/75.56	c Got one! Elapsed wall clock time (in seconds):75.439
76.65/75.56	o 16
77.26/76.14	c cleaning 24563 clauses out of 49144 with flag 5000/1470278
77.67/76.56	c cleaning 15289 clauses out of 30583 with flag 11002/1476280
78.08/76.95	c cleaning 11138 clauses out of 22293 with flag 18001/1483279
78.47/77.36	c cleaning 9566 clauses out of 19155 with flag 26001/1491279
78.99/77.82	c cleaning 9282 clauses out of 18589 with flag 35001/1500279
79.59/78.40	c cleaning 9646 clauses out of 19310 with flag 45004/1510282
80.20/79.01	c cleaning 10324 clauses out of 20664 with flag 56004/1521282
80.70/79.53	c cleaning 11166 clauses out of 22336 with flag 68000/1533278
81.20/80.09	c cleaning 12083 clauses out of 24173 with flag 81003/1546281
81.90/80.79	c cleaning 13045 clauses out of 26091 with flag 95004/1560282
82.61/81.48	c cleaning 14022 clauses out of 28044 with flag 110002/1575280
83.41/82.20	c cleaning 15002 clauses out of 30021 with flag 126001/1591279
84.21/83.00	c cleaning 16006 clauses out of 32018 with flag 143000/1608278
85.13/83.91	c cleaning 16995 clauses out of 34012 with flag 161000/1626278
86.13/84.93	c cleaning 18008 clauses out of 36017 with flag 180000/1645278
87.14/85.90	c cleaning 19001 clauses out of 38010 with flag 200001/1665279
88.25/87.00	c cleaning 20000 clauses out of 40008 with flag 221000/1686278
89.38/88.13	c cleaning 20996 clauses out of 42008 with flag 243000/1708278
90.60/89.39	c cleaning 22006 clauses out of 44014 with flag 266002/1731280
92.00/90.76	c cleaning 23000 clauses out of 46007 with flag 290001/1755279
93.33/92.02	c cleaning 23996 clauses out of 48009 with flag 315003/1780281
94.93/93.61	c cleaning 25004 clauses out of 50013 with flag 341003/1806281
96.43/95.18	c cleaning 26000 clauses out of 52008 with flag 368002/1833280
96.94/95.61	c Got one! Elapsed wall clock time (in seconds):95.491
96.94/95.61	o 14
97.46/96.15	c cleaning 20927 clauses out of 41872 with flag 5002/1849144
97.86/96.53	c cleaning 13463 clauses out of 26944 with flag 11001/1855143
98.26/96.90	c cleaning 10230 clauses out of 20480 with flag 18000/1862142
98.57/97.29	c cleaning 9120 clauses out of 18252 with flag 26002/1870144
99.07/97.73	c cleaning 9052 clauses out of 18130 with flag 35000/1879142
99.57/98.25	c cleaning 9530 clauses out of 19080 with flag 45002/1889144
100.17/98.82	c cleaning 10268 clauses out of 20549 with flag 56001/1900143
100.87/99.51	c cleaning 11135 clauses out of 22283 with flag 68003/1912145
101.49/100.16	c cleaning 12067 clauses out of 24148 with flag 81003/1925145
102.19/100.89	c cleaning 13028 clauses out of 26078 with flag 95000/1939142
103.10/101.72	c cleaning 14014 clauses out of 28051 with flag 110001/1954143
103.91/102.59	c cleaning 15008 clauses out of 30038 with flag 126002/1970144
104.82/103.49	c cleaning 16004 clauses out of 32030 with flag 143002/1987144
105.71/104.36	c cleaning 17013 clauses out of 34025 with flag 161001/2005143
106.62/105.29	c cleaning 18005 clauses out of 36011 with flag 180000/2024142
107.62/106.25	c cleaning 19004 clauses out of 38010 with flag 200004/2044146
108.62/107.21	c cleaning 20000 clauses out of 40003 with flag 221001/2065143
109.63/108.27	c cleaning 20997 clauses out of 42004 with flag 243002/2087144
110.83/109.47	c cleaning 22004 clauses out of 44009 with flag 266004/2110146
112.13/110.73	c cleaning 23006 clauses out of 46011 with flag 290010/2134152
113.34/111.97	c cleaning 23994 clauses out of 47996 with flag 315001/2159143
114.65/113.28	c cleaning 24996 clauses out of 50001 with flag 341000/2185142
116.05/114.64	c cleaning 25996 clauses out of 52005 with flag 368000/2212142
117.55/116.14	c cleaning 27000 clauses out of 54010 with flag 396001/2240143
119.26/117.80	c cleaning 28005 clauses out of 56009 with flag 425000/2269142
120.86/119.45	c cleaning 29002 clauses out of 58006 with flag 455002/2299144
122.97/121.51	c cleaning 29996 clauses out of 60002 with flag 486000/2330142
125.07/123.63	c cleaning 31001 clauses out of 62006 with flag 518000/2362142
127.29/125.85	c cleaning 32000 clauses out of 64005 with flag 551000/2395142
129.52/128.08	c cleaning 33004 clauses out of 66007 with flag 585002/2429144
132.02/130.52	c cleaning 33994 clauses out of 68002 with flag 620001/2464143
134.54/133.07	c cleaning 35003 clauses out of 70007 with flag 656000/2500142
136.94/135.48	c cleaning 36002 clauses out of 72004 with flag 693000/2537142
139.65/138.18	c cleaning 37001 clauses out of 74003 with flag 731001/2575143
142.31/140.76	c cleaning 38002 clauses out of 76003 with flag 770002/2614144
144.81/143.20	c cleaning 38997 clauses out of 78002 with flag 810003/2654145
147.62/146.01	c cleaning 39999 clauses out of 80002 with flag 851000/2695142
150.24/148.63	c cleaning 40998 clauses out of 82004 with flag 893001/2737143
153.37/151.70	c cleaning 42000 clauses out of 84007 with flag 936002/2780144
156.69/155.05	c cleaning 43002 clauses out of 86006 with flag 980001/2824143
159.82/158.14	c cleaning 43999 clauses out of 88003 with flag 1025000/2869142
163.14/161.43	c cleaning 44996 clauses out of 90004 with flag 1071000/2915142
166.55/164.81	c cleaning 45998 clauses out of 92008 with flag 1118000/2962142
171.07/169.30	c cleaning 47004 clauses out of 94010 with flag 1166000/3010142
176.98/175.21	c cleaning 48000 clauses out of 96006 with flag 1215000/3059142
181.39/179.64	c cleaning 48998 clauses out of 98007 with flag 1265001/3109143
182.40/180.64	c Got one! Elapsed wall clock time (in seconds):180.518
182.40/180.64	o 12
183.21/181.47	c cleaning 35627 clauses out of 71270 with flag 5000/3131404
183.71/181.97	c cleaning 20814 clauses out of 41643 with flag 11000/3137404
184.11/182.39	c cleaning 13903 clauses out of 27829 with flag 18000/3144404
184.62/182.81	c cleaning 10948 clauses out of 21927 with flag 26001/3152405
185.02/183.25	c cleaning 9985 clauses out of 19987 with flag 35009/3161413
185.45/183.70	c cleaning 9984 clauses out of 19993 with flag 45000/3171404
186.07/184.20	c cleaning 10496 clauses out of 21013 with flag 56004/3182408
186.47/184.70	c cleaning 11255 clauses out of 22516 with flag 68003/3194407
187.08/185.23	c cleaning 12131 clauses out of 24261 with flag 81003/3207407
187.70/185.83	c cleaning 13065 clauses out of 26129 with flag 95002/3221406
188.40/186.51	c cleaning 14032 clauses out of 28063 with flag 110001/3236405
189.11/187.24	c cleaning 15015 clauses out of 30031 with flag 126001/3252405
189.93/188.06	c cleaning 16002 clauses out of 32015 with flag 143000/3269404
190.82/188.94	c cleaning 17005 clauses out of 34013 with flag 161000/3287404
191.82/189.91	c cleaning 18000 clauses out of 36008 with flag 180000/3306404
192.95/191.08	c cleaning 18999 clauses out of 38008 with flag 200000/3326404
194.05/192.17	c cleaning 20001 clauses out of 40010 with flag 221001/3347405
195.48/193.51	c cleaning 21003 clauses out of 42008 with flag 243000/3369404
196.68/194.72	c cleaning 21997 clauses out of 44006 with flag 266001/3392405
198.17/196.22	c cleaning 23004 clauses out of 46011 with flag 290003/3416407
199.48/197.51	c cleaning 24003 clauses out of 48010 with flag 315006/3441410
200.18/198.25	c Got one! Elapsed wall clock time (in seconds):198.129
200.18/198.25	o 11
200.78/198.83	c cleaning 22792 clauses out of 45609 with flag 5000/3463012
201.18/199.24	c cleaning 14402 clauses out of 28817 with flag 11000/3469012
201.48/199.58	c cleaning 10694 clauses out of 21415 with flag 18000/3476012
201.88/199.98	c cleaning 9353 clauses out of 18721 with flag 26000/3484012
202.39/200.41	c cleaning 9176 clauses out of 18369 with flag 35001/3493013
202.89/200.90	c cleaning 9590 clauses out of 19194 with flag 45002/3503014
203.39/201.43	c cleaning 10288 clauses out of 20603 with flag 56001/3514013
203.99/202.05	c cleaning 11151 clauses out of 22316 with flag 68002/3526014
204.59/202.68	c cleaning 12073 clauses out of 24165 with flag 81002/3539014
205.40/203.41	c cleaning 13036 clauses out of 26090 with flag 95000/3553012
206.20/204.20	c cleaning 14015 clauses out of 28054 with flag 110000/3568012
207.00/205.07	c cleaning 15012 clauses out of 30040 with flag 126001/3584013
208.01/206.00	c cleaning 16001 clauses out of 32029 with flag 143002/3601014
209.11/207.10	c cleaning 17007 clauses out of 34028 with flag 161002/3619014
210.21/208.28	c cleaning 17996 clauses out of 36021 with flag 180002/3638014
211.41/209.40	c cleaning 19012 clauses out of 38023 with flag 200000/3658012
212.42/210.49	c cleaning 20002 clauses out of 40012 with flag 221001/3679013
213.64/211.64	c cleaning 21004 clauses out of 42009 with flag 243000/3701012
214.96/212.90	c cleaning 22003 clauses out of 44006 with flag 266001/3724013
216.17/214.19	c cleaning 23003 clauses out of 46005 with flag 290003/3748015
217.47/215.43	c cleaning 23998 clauses out of 48001 with flag 315002/3773014
218.78/216.74	c cleaning 24999 clauses out of 50003 with flag 341002/3799014
220.39/218.30	c cleaning 26000 clauses out of 52002 with flag 368000/3826012
221.89/219.88	c cleaning 27001 clauses out of 54003 with flag 396001/3854013
223.71/221.60	c cleaning 27999 clauses out of 56001 with flag 425000/3883012
225.74/223.61	c cleaning 29001 clauses out of 58003 with flag 455001/3913013
227.65/225.59	c cleaning 29999 clauses out of 60001 with flag 486000/3944012
229.76/227.62	c cleaning 31001 clauses out of 62006 with flag 518004/3976016
232.07/229.91	c cleaning 32000 clauses out of 64003 with flag 551002/4009014
234.47/232.35	c cleaning 33001 clauses out of 66002 with flag 585001/4043013
236.79/234.61	c cleaning 33995 clauses out of 68000 with flag 620000/4078012
239.69/237.53	c cleaning 34999 clauses out of 70005 with flag 656000/4114012
242.39/240.21	c cleaning 35997 clauses out of 72006 with flag 693000/4151012
244.71/242.53	c cleaning 37000 clauses out of 74010 with flag 731001/4189013
247.52/245.35	c cleaning 38004 clauses out of 76011 with flag 770002/4228014
250.62/248.44	c cleaning 38998 clauses out of 78005 with flag 810000/4268012
253.56/251.32	c cleaning 40004 clauses out of 80007 with flag 851000/4309012
256.27/254.07	c cleaning 40999 clauses out of 82005 with flag 893002/4351014
259.17/256.93	c cleaning 42001 clauses out of 84004 with flag 936000/4394012
262.10/259.86	c cleaning 43000 clauses out of 86006 with flag 980003/4438015
265.21/262.94	c cleaning 43997 clauses out of 88003 with flag 1025000/4483012
269.40/267.15	c cleaning 44998 clauses out of 90007 with flag 1071001/4529013
272.82/270.58	c cleaning 45996 clauses out of 92008 with flag 1118000/4576012
276.22/273.98	c cleaning 46998 clauses out of 94016 with flag 1166004/4624016
279.81/277.53	c cleaning 48006 clauses out of 96014 with flag 1215000/4673012
284.03/281.71	c cleaning 49001 clauses out of 98010 with flag 1265002/4723014
288.46/286.16	c cleaning 50000 clauses out of 100007 with flag 1316000/4774012
293.08/290.73	c cleaning 51002 clauses out of 102008 with flag 1368001/4826013
297.39/295.05	c cleaning 51996 clauses out of 104007 with flag 1421002/4879014
302.20/299.80	c cleaning 52996 clauses out of 106009 with flag 1475000/4933012
306.93/304.58	c cleaning 53999 clauses out of 108013 with flag 1530000/4988012
311.77/309.32	c cleaning 54998 clauses out of 110014 with flag 1586000/5044012
316.70/314.29	c cleaning 56007 clauses out of 112017 with flag 1643001/5101013
321.81/319.34	c cleaning 57000 clauses out of 114011 with flag 1701002/5159014
326.32/323.84	c cleaning 57998 clauses out of 116010 with flag 1760001/5218013
331.03/328.58	c cleaning 59003 clauses out of 118012 with flag 1820001/5278013
336.13/333.68	c cleaning 60000 clauses out of 120008 with flag 1881000/5339012
341.26/338.76	c cleaning 60994 clauses out of 122008 with flag 1943000/5401012
346.78/344.25	c cleaning 62002 clauses out of 124015 with flag 2006001/5464013
351.97/349.42	c cleaning 62999 clauses out of 126012 with flag 2070000/5528012
358.78/356.23	c cleaning 64004 clauses out of 128015 with flag 2135002/5593014
365.70/363.12	c cleaning 65000 clauses out of 130009 with flag 2201000/5659012
371.92/369.33	c cleaning 66003 clauses out of 132010 with flag 2268001/5726013
378.27/375.66	c cleaning 66993 clauses out of 134006 with flag 2336000/5794012
385.08/382.43	c cleaning 68000 clauses out of 136014 with flag 2405001/5863013
392.00/389.37	c cleaning 69004 clauses out of 138014 with flag 2475001/5933013
399.91/397.26	c cleaning 70002 clauses out of 140009 with flag 2546000/6004012
407.31/404.64	c cleaning 70998 clauses out of 142007 with flag 2618000/6076012
415.03/412.39	c cleaning 72001 clauses out of 144010 with flag 2691001/6149013
420.06/417.36	c Got one! Elapsed wall clock time (in seconds):417.236
420.06/417.36	o 10
422.76/420.02	c cleaning 70127 clauses out of 140275 with flag 5000/6217279
423.89/421.15	c cleaning 38060 clauses out of 76149 with flag 11001/6223280
424.51/421.77	c cleaning 22537 clauses out of 45088 with flag 18000/6230279
425.01/422.25	c cleaning 15269 clauses out of 30552 with flag 26001/6238280
425.52/422.76	c cleaning 12132 clauses out of 24282 with flag 35000/6247279
426.02/423.26	c cleaning 11071 clauses out of 22152 with flag 45002/6257281
426.63/423.86	c cleaning 11031 clauses out of 22079 with flag 56000/6268279
427.24/424.45	c cleaning 11521 clauses out of 23048 with flag 68000/6280279
427.86/425.04	c cleaning 12254 clauses out of 24527 with flag 81000/6293279
428.59/425.77	c cleaning 13124 clauses out of 26273 with flag 95000/6307279
429.41/426.53	c cleaning 14072 clauses out of 28158 with flag 110009/6322288
430.21/427.32	c cleaning 15031 clauses out of 30080 with flag 126003/6338282
431.01/428.19	c cleaning 16012 clauses out of 32046 with flag 143000/6355279
432.02/429.18	c cleaning 17009 clauses out of 34041 with flag 161007/6373286
433.23/430.33	c cleaning 17999 clauses out of 36026 with flag 180001/6392280
434.33/431.46	c cleaning 19004 clauses out of 38026 with flag 200000/6412279
435.44/432.56	c cleaning 20003 clauses out of 40025 with flag 221003/6433282
436.65/433.73	c cleaning 21000 clauses out of 42023 with flag 243004/6455283
438.06/435.12	c cleaning 22001 clauses out of 44020 with flag 266001/6478280
439.36/436.49	c cleaning 23001 clauses out of 46020 with flag 290002/6502281
440.97/438.04	c cleaning 23996 clauses out of 48020 with flag 315003/6527282
442.58/439.66	c cleaning 24998 clauses out of 50022 with flag 341001/6553280
444.48/441.52	c cleaning 26005 clauses out of 52024 with flag 368001/6580280
446.50/443.55	c cleaning 26997 clauses out of 54018 with flag 396000/6608279
448.62/445.65	c cleaning 28000 clauses out of 56022 with flag 425001/6637280
450.73/447.73	c cleaning 28999 clauses out of 58023 with flag 455002/6667281
452.93/449.99	c cleaning 29997 clauses out of 60022 with flag 486000/6698279
455.23/452.25	c cleaning 31011 clauses out of 62026 with flag 518001/6730280
457.93/454.97	c cleaning 32009 clauses out of 64018 with flag 551004/6763283
461.05/458.09	c cleaning 32998 clauses out of 66008 with flag 585003/6797282
464.17/461.19	c cleaning 34005 clauses out of 68010 with flag 620003/6832282
467.67/464.63	c cleaning 35000 clauses out of 70002 with flag 656000/6868279
471.18/468.17	c cleaning 35998 clauses out of 72002 with flag 693000/6905279
474.89/471.82	c cleaning 37000 clauses out of 74007 with flag 731003/6943282
478.60/475.58	c cleaning 37999 clauses out of 76005 with flag 770001/6982280
482.41/479.38	c cleaning 39002 clauses out of 78005 with flag 810000/7022279
486.43/483.36	c cleaning 39998 clauses out of 80003 with flag 851000/7063279
490.34/487.24	c cleaning 41004 clauses out of 82007 with flag 893002/7105281
494.36/491.24	c cleaning 42000 clauses out of 84005 with flag 936004/7148283
498.59/495.44	c cleaning 42998 clauses out of 86001 with flag 980000/7192279
503.32/500.16	c cleaning 44001 clauses out of 88005 with flag 1025002/7237281
508.04/504.83	c cleaning 45001 clauses out of 90003 with flag 1071001/7283280
512.24/509.08	c cleaning 45992 clauses out of 92001 with flag 1118000/7330279
516.74/513.54	c cleaning 47005 clauses out of 94011 with flag 1166002/7378281
521.96/518.79	c cleaning 48002 clauses out of 96005 with flag 1215001/7427280
527.77/524.51	c cleaning 48997 clauses out of 98002 with flag 1265000/7477279
533.58/530.39	c cleaning 49999 clauses out of 100007 with flag 1316002/7528281
539.62/536.32	c cleaning 51000 clauses out of 102008 with flag 1368002/7580281
545.25/541.92	c cleaning 52002 clauses out of 104009 with flag 1421003/7633282
550.87/547.57	c cleaning 53002 clauses out of 106005 with flag 1475001/7687280
556.48/553.18	c cleaning 53991 clauses out of 108002 with flag 1530000/7742279
563.10/559.74	c cleaning 55000 clauses out of 110011 with flag 1586000/7798279
568.64/565.30	c cleaning 56000 clauses out of 112011 with flag 1643000/7855279
574.56/571.16	c cleaning 57000 clauses out of 114011 with flag 1701000/7913279
582.21/578.77	c cleaning 58004 clauses out of 116012 with flag 1760001/7972280
589.51/586.01	c cleaning 59000 clauses out of 118010 with flag 1820003/8032282
596.71/593.20	c cleaning 60001 clauses out of 120007 with flag 1881000/8093279
605.35/601.85	c cleaning 61001 clauses out of 122007 with flag 1943001/8155280
614.38/610.80	c cleaning 62005 clauses out of 124009 with flag 2006004/8218283
622.68/619.16	c cleaning 62998 clauses out of 126001 with flag 2070001/8282280
630.30/626.77	c cleaning 64002 clauses out of 128003 with flag 2135001/8347280
639.01/635.43	c cleaning 64998 clauses out of 130001 with flag 2201001/8413280
646.43/642.83	c cleaning 66003 clauses out of 132009 with flag 2268007/8480286
655.35/651.74	c cleaning 66999 clauses out of 134000 with flag 2336001/8548280
663.98/660.33	c cleaning 67999 clauses out of 136003 with flag 2405003/8617282
672.20/668.59	c cleaning 69000 clauses out of 138002 with flag 2475001/8687280
679.93/676.21	c cleaning 70002 clauses out of 140005 with flag 2546004/8758283
688.45/684.75	c cleaning 71003 clauses out of 142006 with flag 2618007/8830286
698.46/694.75	c cleaning 72001 clauses out of 144002 with flag 2691006/8903285
708.09/704.32	c cleaning 72998 clauses out of 145996 with flag 2765001/8977280
717.40/713.60	c cleaning 73996 clauses out of 148000 with flag 2840003/9052282
725.22/721.46	c cleaning 74993 clauses out of 150002 with flag 2916001/9128280
733.52/729.74	c cleaning 76000 clauses out of 152008 with flag 2993000/9205279
742.13/738.35	c cleaning 77003 clauses out of 154008 with flag 3071000/9283279
752.64/748.80	c cleaning 78003 clauses out of 156006 with flag 3150001/9362280
762.46/758.68	c cleaning 78994 clauses out of 158003 with flag 3230001/9442280
771.68/767.83	c cleaning 79997 clauses out of 160008 with flag 3311000/9523279
781.08/777.24	c cleaning 81004 clauses out of 162011 with flag 3393000/9605279
790.61/786.79	c cleaning 81992 clauses out of 164008 with flag 3476001/9688280
802.02/798.12	c cleaning 83006 clauses out of 166018 with flag 3560003/9772282
811.14/807.23	c cleaning 84006 clauses out of 168012 with flag 3645003/9857282
822.78/818.80	c cleaning 84999 clauses out of 170005 with flag 3731002/9943281
833.61/829.69	c cleaning 85998 clauses out of 172006 with flag 3818002/10030281
846.94/842.90	c cleaning 86999 clauses out of 174007 with flag 3906001/10118280
858.98/854.95	c cleaning 88003 clauses out of 176014 with flag 3995007/10207286
870.80/866.71	c cleaning 88999 clauses out of 178004 with flag 4085000/10297279
882.91/878.81	c cleaning 89993 clauses out of 180007 with flag 4176002/10388281
895.81/891.78	c cleaning 91003 clauses out of 182013 with flag 4268001/10480280
909.76/905.64	c cleaning 92004 clauses out of 184009 with flag 4361000/10573279
922.29/918.10	c cleaning 92998 clauses out of 186005 with flag 4455000/10667279
934.49/930.34	c cleaning 94001 clauses out of 188009 with flag 4550002/10762281
948.22/944.03	c cleaning 94999 clauses out of 190007 with flag 4646001/10858280
961.08/956.82	c cleaning 96001 clauses out of 192008 with flag 4743001/10955280
975.04/970.72	c cleaning 96997 clauses out of 194009 with flag 4841003/11053282
988.37/984.01	c cleaning 97999 clauses out of 196009 with flag 4940000/11152279
1004.39/1000.01	c cleaning 99002 clauses out of 198010 with flag 5040000/11252279
1019.38/1014.96	c cleaning 100004 clauses out of 200010 with flag 5141002/11353281
1034.72/1030.21	c cleaning 101002 clauses out of 202005 with flag 5243001/11455280
1047.98/1043.44	c cleaning 101996 clauses out of 204005 with flag 5346003/11558282
1060.92/1056.30	c cleaning 102997 clauses out of 206007 with flag 5450001/11662280
1076.93/1072.39	c cleaning 104004 clauses out of 208010 with flag 5555001/11767280
1089.24/1084.63	c cleaning 104996 clauses out of 210006 with flag 5661001/11873280
1104.26/1099.62	c cleaning 106001 clauses out of 212009 with flag 5768000/11980279
1118.51/1113.88	c cleaning 107001 clauses out of 214011 with flag 5876003/12088282
1132.45/1127.77	c cleaning 107994 clauses out of 216007 with flag 5985000/12197279
1146.57/1141.81	c cleaning 109003 clauses out of 218014 with flag 6095001/12307280
1162.10/1157.36	c cleaning 110003 clauses out of 220011 with flag 6206001/12418280
1179.53/1174.73	c cleaning 111005 clauses out of 222010 with flag 6318003/12530282
1198.75/1193.90	c cleaning 111999 clauses out of 224006 with flag 6431004/12643283
1215.02/1210.13	c cleaning 113000 clauses out of 226003 with flag 6545000/12757279
1233.14/1228.26	c cleaning 113994 clauses out of 228003 with flag 6660000/12872279
1249.89/1244.96	c cleaning 115000 clauses out of 230010 with flag 6776001/12988280
1265.42/1260.49	c cleaning 116005 clauses out of 232010 with flag 6893001/13105280
1281.43/1276.45	c cleaning 116998 clauses out of 234006 with flag 7011002/13223281
1299.18/1294.15	c cleaning 117999 clauses out of 236006 with flag 7130000/13342279
1318.40/1313.37	c cleaning 119001 clauses out of 238010 with flag 7250003/13462282
1342.50/1337.47	c cleaning 119996 clauses out of 240007 with flag 7371001/13583280
1361.47/1356.32	c cleaning 121001 clauses out of 242011 with flag 7493001/13705280
1379.51/1374.31	c cleaning 121998 clauses out of 244009 with flag 7616000/13828279
1400.32/1395.17	c cleaning 123002 clauses out of 246015 with flag 7740004/13952283
1418.28/1413.07	c cleaning 123995 clauses out of 248011 with flag 7865002/14077281
1428.90/1423.61	c Got one! Elapsed wall clock time (in seconds):1423.486
1428.90/1423.61	o 9
1433.80/1428.50	c cleaning 110005 clauses out of 220030 with flag 5003/14173295
1435.22/1430.00	c cleaning 58005 clauses out of 116022 with flag 11000/14179292
1436.03/1430.73	c cleaning 32504 clauses out of 65017 with flag 18000/14186292
1436.54/1431.27	c cleaning 20248 clauses out of 40514 with flag 26001/14194293
1437.16/1431.83	c cleaning 14622 clauses out of 29266 with flag 35001/14203293
1437.79/1432.44	c cleaning 12312 clauses out of 24643 with flag 45000/14213292
1438.50/1433.14	c cleaning 11655 clauses out of 23332 with flag 56001/14224293
1439.23/1433.80	c cleaning 11832 clauses out of 23676 with flag 68000/14236292
1439.86/1434.44	c cleaning 12415 clauses out of 24845 with flag 81001/14249293
1440.55/1435.16	c cleaning 13210 clauses out of 26432 with flag 95003/14263295
1441.46/1436.02	c cleaning 14103 clauses out of 28220 with flag 110001/14278293
1442.37/1436.95	c cleaning 15046 clauses out of 30116 with flag 126000/14294292
1443.39/1437.99	c cleaning 16030 clauses out of 32073 with flag 143003/14311295
1444.51/1439.07	c cleaning 17015 clauses out of 34041 with flag 161001/14329293
1445.72/1440.24	c cleaning 18003 clauses out of 36030 with flag 180005/14348297
1446.82/1441.33	c cleaning 19004 clauses out of 38022 with flag 200000/14368292
1447.93/1442.42	c cleaning 19992 clauses out of 40018 with flag 221000/14389292
1449.23/1443.78	c cleaning 21005 clauses out of 42027 with flag 243001/14411293
1450.75/1445.26	c cleaning 22004 clauses out of 44026 with flag 266005/14434297
1452.17/1446.67	c cleaning 22994 clauses out of 46017 with flag 290000/14458292
1453.79/1448.24	c cleaning 24007 clauses out of 48025 with flag 315002/14483294
1455.40/1449.87	c cleaning 25002 clauses out of 50017 with flag 341001/14509293
1457.00/1451.46	c cleaning 25996 clauses out of 52015 with flag 368001/14536293
1459.11/1453.58	c cleaning 27000 clauses out of 54019 with flag 396001/14564293
1461.21/1455.60	c cleaning 28001 clauses out of 56022 with flag 425004/14593296
1463.43/1457.84	c cleaning 28999 clauses out of 58021 with flag 455004/14623296
1465.64/1460.02	c cleaning 29995 clauses out of 60019 with flag 486001/14654293
1467.86/1462.27	c cleaning 31001 clauses out of 62025 with flag 518002/14686294
1470.38/1464.75	c cleaning 32006 clauses out of 64027 with flag 551005/14719297
1473.19/1467.50	c cleaning 32997 clauses out of 66020 with flag 585004/14753296
1475.89/1470.26	c cleaning 33998 clauses out of 68020 with flag 620001/14788293
1478.52/1472.83	c cleaning 35000 clauses out of 70021 with flag 656000/14824292
1481.32/1475.62	c cleaning 36004 clauses out of 72021 with flag 693000/14861292
1484.64/1478.95	c cleaning 37006 clauses out of 74022 with flag 731005/14899297
1487.76/1482.07	c cleaning 38001 clauses out of 76013 with flag 770002/14938294
1490.68/1484.94	c cleaning 38996 clauses out of 78012 with flag 810002/14978294
1494.09/1488.31	c cleaning 39994 clauses out of 80014 with flag 851000/15019292
1497.60/1491.85	c cleaning 40999 clauses out of 82022 with flag 893002/15061294
1501.61/1495.83	c cleaning 42004 clauses out of 84022 with flag 936001/15104293
1505.32/1499.59	c cleaning 43006 clauses out of 86017 with flag 980000/15148292
1508.24/1502.45	c Got one! Elapsed wall clock time (in seconds):1502.334
1508.24/1502.45	o 7
1509.45/1503.69	c cleaning 43409 clauses out of 86843 with flag 5003/15192124
1510.16/1504.37	c cleaning 24707 clauses out of 49433 with flag 11002/15198123
1510.69/1504.87	c cleaning 15863 clauses out of 31728 with flag 18004/15205125
1511.20/1505.30	c cleaning 11926 clauses out of 23862 with flag 26001/15213122
1511.62/1505.76	c cleaning 10461 clauses out of 20935 with flag 35000/15222121
1512.15/1506.24	c cleaning 10227 clauses out of 20475 with flag 45001/15232122
1512.66/1506.75	c cleaning 10622 clauses out of 21248 with flag 56001/15243122
1513.28/1507.32	c cleaning 11308 clauses out of 22626 with flag 68001/15255122
1513.89/1507.93	c cleaning 12160 clauses out of 24319 with flag 81002/15268123
1514.51/1508.60	c cleaning 13073 clauses out of 26157 with flag 95000/15282121
1515.32/1509.34	c cleaning 14041 clauses out of 28088 with flag 110004/15297125
1516.04/1510.05	c cleaning 15023 clauses out of 30048 with flag 126005/15313126
1516.86/1510.85	c cleaning 16010 clauses out of 32020 with flag 143000/15330121
1517.77/1511.77	c cleaning 17000 clauses out of 34011 with flag 161001/15348122
1518.79/1512.72	c cleaning 18000 clauses out of 36010 with flag 180000/15367121
1519.81/1513.71	c cleaning 19000 clauses out of 38010 with flag 200000/15387121
1520.83/1514.77	c cleaning 19999 clauses out of 40012 with flag 221002/15408123
1522.03/1515.90	c cleaning 21006 clauses out of 42014 with flag 243003/15430124
1523.24/1517.12	c cleaning 21999 clauses out of 44006 with flag 266001/15453122
1524.55/1518.44	c cleaning 22993 clauses out of 46006 with flag 290000/15477121
1526.16/1520.01	c cleaning 24007 clauses out of 48013 with flag 315000/15502121
1527.79/1521.60	c cleaning 24999 clauses out of 50007 with flag 341001/15528122
1529.30/1523.16	c cleaning 26005 clauses out of 52009 with flag 368002/15555123
1531.02/1524.87	c cleaning 26999 clauses out of 54003 with flag 396001/15583122
1532.83/1526.66	c cleaning 28002 clauses out of 56004 with flag 425001/15612122
1535.04/1528.80	c cleaning 29001 clauses out of 58003 with flag 455002/15642123
1537.05/1530.82	c cleaning 29996 clauses out of 60000 with flag 486000/15673121
1538.96/1532.79	c cleaning 31001 clauses out of 62006 with flag 518002/15705123
1541.37/1535.17	c cleaning 32001 clauses out of 64003 with flag 551000/15738121
1543.58/1537.36	c cleaning 32999 clauses out of 66002 with flag 585000/15772121
1545.89/1539.63	c cleaning 34001 clauses out of 68006 with flag 620003/15807124
1548.59/1542.30	c cleaning 34997 clauses out of 70004 with flag 656002/15843123
1551.00/1544.76	c cleaning 35998 clauses out of 72005 with flag 693000/15880121
1553.61/1547.31	c cleaning 37003 clauses out of 74007 with flag 731000/15918121
1556.62/1550.34	c cleaning 38001 clauses out of 76005 with flag 770001/15957122
1559.33/1553.09	c cleaning 38996 clauses out of 78003 with flag 810000/15997121
1562.53/1556.25	c cleaning 40000 clauses out of 80009 with flag 851002/16038123
1565.67/1559.39	c cleaning 41004 clauses out of 82011 with flag 893004/16080125
1569.39/1563.09	c cleaning 42000 clauses out of 84003 with flag 936000/16123121
1572.80/1566.47	c cleaning 43000 clauses out of 86005 with flag 980002/16167123
1576.20/1569.80	c cleaning 43994 clauses out of 88004 with flag 1025001/16212122
1580.00/1573.61	c cleaning 45005 clauses out of 90010 with flag 1071001/16258122
1583.22/1576.85	c cleaning 45999 clauses out of 92005 with flag 1118001/16305122
1586.93/1580.50	c cleaning 47002 clauses out of 94007 with flag 1166002/16353123
1590.83/1584.49	c cleaning 47999 clauses out of 96004 with flag 1215001/16402122
1594.95/1588.51	c cleaning 48998 clauses out of 98005 with flag 1265001/16452122
1598.87/1592.43	c cleaning 50003 clauses out of 100007 with flag 1316001/16503122
1602.78/1596.31	c cleaning 51001 clauses out of 102004 with flag 1368001/16555122
1607.30/1600.81	c cleaning 51999 clauses out of 104003 with flag 1421001/16608122
1612.43/1605.95	c cleaning 52997 clauses out of 106003 with flag 1475000/16662121
1617.33/1610.82	c cleaning 54002 clauses out of 108006 with flag 1530000/16717121
1622.15/1615.66	c cleaning 55000 clauses out of 110004 with flag 1586000/16773121
1627.37/1620.87	c cleaning 56000 clauses out of 112004 with flag 1643000/16830121
1632.01/1625.49	c cleaning 56995 clauses out of 114004 with flag 1701000/16888121
1636.84/1630.29	c cleaning 57999 clauses out of 116010 with flag 1760001/16947122
1641.74/1635.12	c cleaning 59002 clauses out of 118010 with flag 1820000/17007121
1647.35/1640.78	c cleaning 60002 clauses out of 120008 with flag 1881000/17068121
1653.17/1646.53	c cleaning 60998 clauses out of 122008 with flag 1943002/17130123
1658.58/1651.98	c cleaning 62001 clauses out of 124010 with flag 2006002/17193123
1664.51/1657.83	c cleaning 62998 clauses out of 126009 with flag 2070002/17257123
1670.63/1663.93	c cleaning 64002 clauses out of 128009 with flag 2135000/17322121
1676.57/1669.82	c cleaning 65002 clauses out of 130007 with flag 2201000/17388121
1683.48/1676.77	c cleaning 65997 clauses out of 132005 with flag 2268000/17455121
1689.90/1683.18	c cleaning 66993 clauses out of 134010 with flag 2336002/17523123
1696.21/1689.42	c cleaning 68009 clauses out of 136021 with flag 2405006/17592127
1703.33/1696.55	c cleaning 68995 clauses out of 138007 with flag 2475001/17662122
1710.69/1703.87	c cleaning 70003 clauses out of 140012 with flag 2546001/17733122
1718.09/1711.27	c cleaning 70998 clauses out of 142012 with flag 2618004/17805125
1725.70/1718.88	c cleaning 72007 clauses out of 144013 with flag 2691003/17878124
1734.01/1727.19	c cleaning 72998 clauses out of 146007 with flag 2765004/17952125
1740.53/1733.61	c cleaning 73999 clauses out of 148005 with flag 2840000/18027121
1746.83/1739.98	c cleaning 74999 clauses out of 150007 with flag 2916001/18103122
1755.74/1748.82	c cleaning 76004 clauses out of 152007 with flag 2993000/18180121
1763.39/1756.49	c cleaning 76999 clauses out of 154003 with flag 3071000/18258121
1772.21/1765.29	c cleaning 78002 clauses out of 156006 with flag 3150002/18337123
1780.23/1773.20	c cleaning 78997 clauses out of 158002 with flag 3230000/18417121
1788.75/1781.71	c cleaning 80001 clauses out of 160005 with flag 3311000/18498121
1800.09/1793.01	c starts		: 425
1800.09/1793.01	c conflicts		: 18580122
1800.09/1793.01	c decisions		: 19179836
1800.09/1793.01	c propagations		: 152535174
1800.09/1793.01	c inspects		: 22866576876
1800.09/1793.01	c shortcuts		: 0
1800.09/1793.01	c learnt literals	: 0
1800.09/1793.01	c learnt binary clauses	: 0
1800.09/1793.01	c learnt ternary clauses	: 0
1800.09/1793.01	c learnt constraints	: 18580122
1800.09/1793.01	c ignored constraints	: 0
1800.09/1793.01	c root simplifications	: 0
1800.09/1793.01	c removed literals (reason simplification)	: 0
1800.09/1793.01	c reason swapping (by a shorter reason)	: 0
1800.09/1793.01	c Calls to reduceDB	: 536
1800.09/1793.01	c number of reductions to clauses (during analyze)	: 0
1800.09/1793.01	c number of learned constraints concerned by reduction	: 0
1800.09/1793.01	c number of learning phase by resolution	: 0
1800.09/1793.01	c number of learning phase by cutting planes	: 0
1800.09/1793.01	c speed (assignments/second)	: 85079.71888334217
1800.09/1793.01	c non guided choices	1727
1800.09/1793.04	c learnt constraints type 
1800.09/1793.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 162005
1800.09/1793.04	c constraints type 
1800.09/1793.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13
1800.09/1793.04	c 13 constraints processed.
1800.09/1793.04	s SATISFIABLE
1800.09/1793.04	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 -x103 x104 x105 -x106 x107 -x108 -x109 x110 -x111 -x112 x113 x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 x124 x125 x126 x127 -x128 -x129 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 x145 -x146 
1800.09/1793.04	c objective function=7
1800.09/1793.04	c Total wall clock time (in seconds): 1792.924

Verifier Data 

OK	7

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-3688225-1337880889/watcher-3688225-1337880889 -o /tmp/evaluation-result-3688225-1337880889/solver-3688225-1337880889 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688225-1337880889.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: 1.99 1.98 1.99 2/195 23754
/proc/meminfo: memFree=28387508/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/23754/stat : 23754 (java) D 23752 23754 22635 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 254215738 2560000 46 33554432000 1073741824 1073778376 140737457850032 140737457847160 213183982887 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 625 46 37 9 0 29 0

[startup+0.086436 s]
/proc/loadavg: 1.99 1.98 1.99 2/195 23754
/proc/meminfo: memFree=28387508/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 3354 0 1 0 4 0 0 0 20 0 18 0 254215738 9787813888 4053 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2389603 4053 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412

[startup+0.100201 s]
/proc/loadavg: 1.99 1.98 1.99 2/195 23754
/proc/meminfo: memFree=28387508/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 4123 0 1 0 6 1 0 0 20 0 18 0 254215738 9787813888 4812 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2389603 4814 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300159 s]
/proc/loadavg: 1.99 1.98 1.99 2/195 23754
/proc/meminfo: memFree=28387508/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 6347 0 1 0 46 1 0 0 20 0 19 0 254215738 9855975424 6760 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 6760 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9624976

[startup+0.700163 s]
/proc/loadavg: 1.99 1.98 1.99 2/195 23754
/proc/meminfo: memFree=28387508/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=0.98 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 7247 0 1 0 96 2 0 0 20 0 19 0 254215738 9855975424 8884 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 8884 2266 9 0 2396937 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9624976

[startup+1.50067 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 23773
/proc/meminfo: memFree=28358184/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=1.97 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 10518 0 1 0 194 3 0 0 20 0 19 0 254215738 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 12177 2268 9 0 2396937 0
[pid=23754/tid=23756] ppid=23752 vsize=9624976 CPUtime=1.4 cores=0,2,4,6
/proc/23754/task/23756/stat : 23756 (java) R 23752 23754 22635 0 -1 4202560 2511 0 1 0 140 0 0 0 20 0 19 0 254215740 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165385261504 140165325380113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 22635 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165323991848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165322939048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165321886760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 22635 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165320833960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165319780648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 22635 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165223495848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165222443560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165221390760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 22635 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 254215742 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165209193192 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165208139256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165207086856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165206035344 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 22635 0 -1 4202560 2225 0 0 0 20 0 0 0 20 0 19 0 254215745 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165204981944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=9624976 CPUtime=0.25 cores=0,2,4,6
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 22635 0 -1 4202560 4526 0 0 0 25 0 0 0 20 0 19 0 254215745 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165203929144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165202877048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165201824456 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215755 9855975424 12177 33554432000 1073741824 1073778376 140734011124816 140165200770472 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9624976

[startup+3.10068 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 23773
/proc/meminfo: memFree=28347268/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=3.62 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 10537 0 1 0 359 3 0 0 20 0 19 0 254215738 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 12190 2269 9 0 2396937 0
[pid=23754/tid=23756] ppid=23752 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/23754/task/23756/stat : 23756 (java) R 23752 23754 22635 0 -1 4202560 2517 0 1 0 293 1 0 0 20 0 19 0 254215740 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165385261448 140165325453314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 22635 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165323991848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165322939048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 22635 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165321886760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 22635 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165320833960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165319780648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165223495848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165222443560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165221390760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 22635 0 -1 4202560 30 0 0 0 7 0 0 0 20 0 19 0 254215742 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165209193192 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165208139256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165207086856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165206035344 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 22635 0 -1 4202560 2225 0 0 0 20 0 0 0 20 0 19 0 254215745 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165204981944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 22635 0 -1 4202560 4532 0 0 0 29 0 0 0 20 0 19 0 254215745 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165203929144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165202877048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165201824456 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215755 9855975424 12190 33554432000 1073741824 1073778376 140734011124816 140165200770472 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 9624976

[startup+6.30064 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 23773
/proc/meminfo: memFree=28342556/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=6.85 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 10562 0 1 0 682 3 0 0 20 0 19 0 254215738 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 12121 2269 9 0 2396937 0
[pid=23754/tid=23756] ppid=23752 vsize=9624976 CPUtime=6.01 cores=0,2,4,6
/proc/23754/task/23756/stat : 23756 (java) R 23752 23754 22635 0 -1 4202560 2531 0 1 0 600 1 0 0 20 0 19 0 254215740 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165385261328 140165325375541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 22635 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165323991848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165322939048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 22635 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165321886760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 22635 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165320833960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165319780648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 22635 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165223495848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 22635 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165222443560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215741 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165221390760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=9624976 CPUtime=0.17 cores=0,2,4,6
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 22635 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 19 0 254215742 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165209193192 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165208139256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165207086856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165206035344 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=9624976 CPUtime=0.2 cores=0,2,4,6
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 22635 0 -1 4202560 2225 0 0 0 20 0 0 0 20 0 19 0 254215745 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165204981944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 22635 0 -1 4202560 4533 0 0 0 30 0 0 0 20 0 19 0 254215745 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165203929144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165202877048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165201824456 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215755 9855975424 12121 33554432000 1073741824 1073778376 140734011124816 140165200770472 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=23754/tid=23769] ppid=23752 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 22635 0 -1 4202560 2225 0 0 0 21 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165204981944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 22635 0 -1 4202560 4571 0 0 0 38 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165203929144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165202877048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 22635 0 -1 4202560 96 0 0 0 20 20 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165201824456 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215755 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165200770472 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1669.03
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.93 2.02 2.00 2/193 23814
/proc/meminfo: memFree=28328016/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=1729.21 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 13094 0 1 0 172882 39 0 0 20 0 19 0 254215738 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 38004 2270 9 0 2396937 0
[pid=23754/tid=23756] ppid=23752 vsize=9624976 CPUtime=1703.64 cores=0,2,4,6
/proc/23754/task/23756/stat : 23756 (java) R 23752 23754 22635 0 -1 4202560 3044 0 1 0 170335 29 0 0 20 0 19 0 254215740 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165385261328 140165325390567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=9624976 CPUtime=1.15 cores=0,2,4,6
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 22635 0 -1 4202560 271 0 0 0 113 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165323991848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 22635 0 -1 4202560 200 0 0 0 113 0 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165322939048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 22635 0 -1 4202560 183 0 0 0 114 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165321886760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=9624976 CPUtime=1.14 cores=0,2,4,6
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 22635 0 -1 4202560 272 0 0 0 112 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165320833960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=9624976 CPUtime=1.24 cores=0,2,4,6
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 22635 0 -1 4202560 208 0 0 0 121 3 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165319780648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=9624976 CPUtime=1.17 cores=0,2,4,6
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 22635 0 -1 4202560 243 0 0 0 115 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165223495848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 22635 0 -1 4202560 265 0 0 0 111 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165222443560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=9624976 CPUtime=1.14 cores=0,2,4,6
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 22635 0 -1 4202560 184 0 0 0 112 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165221390760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=9624976 CPUtime=11.12 cores=0,2,4,6
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 22635 0 -1 4202560 151 0 0 0 1109 3 0 0 20 0 19 0 254215742 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165209193192 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165208139256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165207086856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165206035344 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 22635 0 -1 4202560 2225 0 0 0 21 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165204981944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 22635 0 -1 4202560 4571 0 0 0 38 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165203929144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165202877048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 22635 0 -1 4202560 98 0 0 0 20 21 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165201824456 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215755 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165200770472 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1729.21
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 23870
/proc/meminfo: memFree=28005288/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=1789.37 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 13110 0 1 0 178896 41 0 0 20 0 19 0 254215738 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 38004 2270 9 0 2396937 0
[pid=23754/tid=23756] ppid=23752 vsize=9624976 CPUtime=1763.11 cores=0,2,4,6
/proc/23754/task/23756/stat : 23756 (java) R 23752 23754 22635 0 -1 4202560 3052 0 1 0 176280 31 0 0 20 0 19 0 254215740 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165385261448 140165325406712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=9624976 CPUtime=1.19 cores=0,2,4,6
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 22635 0 -1 4202560 271 0 0 0 117 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165323991848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 22635 0 -1 4202560 200 0 0 0 114 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165322939048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=9624976 CPUtime=1.18 cores=0,2,4,6
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 22635 0 -1 4202560 183 0 0 0 116 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165321886760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 22635 0 -1 4202560 272 0 0 0 114 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165320833960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=9624976 CPUtime=1.25 cores=0,2,4,6
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 22635 0 -1 4202560 208 0 0 0 122 3 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165319780648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=9624976 CPUtime=1.2 cores=0,2,4,6
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 22635 0 -1 4202560 243 0 0 0 118 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165223495848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=9624976 CPUtime=1.17 cores=0,2,4,6
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 22635 0 -1 4202560 265 0 0 0 115 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165222443560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=9624976 CPUtime=1.17 cores=0,2,4,6
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 22635 0 -1 4202560 184 0 0 0 115 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165221390760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=9624976 CPUtime=11.43 cores=0,2,4,6
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 22635 0 -1 4202560 155 0 0 0 1140 3 0 0 20 0 19 0 254215742 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165209193192 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165208139256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165207086856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165206035344 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 22635 0 -1 4202560 2225 0 0 0 21 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165204981944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 22635 0 -1 4202560 4571 0 0 0 38 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165203929144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165202877048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 22635 0 -1 4202560 102 0 0 0 21 22 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165201824456 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215755 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165200770472 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1789.37
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.01 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 23870
/proc/meminfo: memFree=27994060/32873648 swapFree=6848/6848
[pid=23754] ppid=23752 vsize=9624976 CPUtime=1800.09 cores=0,2,4,6
/proc/23754/stat : 23754 (java) S 23752 23754 22635 0 -1 4202496 13110 0 1 0 179968 41 0 0 20 0 19 0 254215738 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140734011115952 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23754/statm: 2406244 38004 2270 9 0 2396937 0
[pid=23754/tid=23756] ppid=23752 vsize=9624976 CPUtime=1773.79 cores=0,2,4,6
/proc/23754/task/23756/stat : 23756 (java) R 23752 23754 22635 0 -1 4202560 3052 0 1 0 177348 31 0 0 20 0 19 0 254215740 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165385261328 140165325547700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23757] ppid=23752 vsize=9624976 CPUtime=1.19 cores=0,2,4,6
/proc/23754/task/23757/stat : 23757 (java) S 23752 23754 22635 0 -1 4202560 271 0 0 0 117 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165323991848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23758] ppid=23752 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/23754/task/23758/stat : 23758 (java) S 23752 23754 22635 0 -1 4202560 200 0 0 0 114 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165322939048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23759] ppid=23752 vsize=9624976 CPUtime=1.18 cores=0,2,4,6
/proc/23754/task/23759/stat : 23759 (java) S 23752 23754 22635 0 -1 4202560 183 0 0 0 116 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165321886760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23760] ppid=23752 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/23754/task/23760/stat : 23760 (java) S 23752 23754 22635 0 -1 4202560 272 0 0 0 114 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165320833960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23761] ppid=23752 vsize=9624976 CPUtime=1.25 cores=0,2,4,6
/proc/23754/task/23761/stat : 23761 (java) S 23752 23754 22635 0 -1 4202560 208 0 0 0 122 3 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165319780648 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23762] ppid=23752 vsize=9624976 CPUtime=1.2 cores=0,2,4,6
/proc/23754/task/23762/stat : 23762 (java) S 23752 23754 22635 0 -1 4202560 243 0 0 0 118 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165223495848 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23763] ppid=23752 vsize=9624976 CPUtime=1.17 cores=0,2,4,6
/proc/23754/task/23763/stat : 23763 (java) S 23752 23754 22635 0 -1 4202560 265 0 0 0 115 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165222443560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23754/tid=23764] ppid=23752 vsize=9624976 CPUtime=1.17 cores=0,2,4,6
/proc/23754/task/23764/stat : 23764 (java) S 23752 23754 22635 0 -1 4202560 184 0 0 0 115 2 0 0 20 0 19 0 254215741 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165221390760 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23765] ppid=23752 vsize=9624976 CPUtime=11.43 cores=0,2,4,6
/proc/23754/task/23765/stat : 23765 (java) S 23752 23754 22635 0 -1 4202560 155 0 0 0 1140 3 0 0 20 0 19 0 254215742 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165209193192 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23766] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23766/stat : 23766 (java) S 23752 23754 22635 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165208139256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23767] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23767/stat : 23767 (java) S 23752 23754 22635 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254215743 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165207086856 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23768] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23768/stat : 23768 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165206035344 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23769] ppid=23752 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/23754/task/23769/stat : 23769 (java) S 23752 23754 22635 0 -1 4202560 2225 0 0 0 21 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165204981944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23754/tid=23770] ppid=23752 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/23754/task/23770/stat : 23770 (java) S 23752 23754 22635 0 -1 4202560 4571 0 0 0 38 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165203929144 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23771] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23771/stat : 23771 (java) S 23752 23754 22635 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165202877048 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23754/tid=23772] ppid=23752 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/23754/task/23772/stat : 23772 (java) S 23752 23754 22635 0 -1 4202560 102 0 0 0 21 22 0 0 20 0 19 0 254215745 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165201824456 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23754/tid=23773] ppid=23752 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23754/task/23773/stat : 23773 (java) S 23752 23754 22635 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254215755 9855975424 38004 33554432000 1073741824 1073778376 140734011124816 140165200770472 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23754 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=198088
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=871867
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.05
CPU time (s): 1800.09
CPU user time (s): 1799.68
CPU system time (s): 0.41
CPU usage (%): 100.393
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.2
system time used= 0.871867
maximum resident set size= 152176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13153
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52453
involuntary context switches= 29183

runsolver used 8.39072 second user time and 11.4933 second system time

The end

Launcher Data 

Begin job on node113 at 2012-05-24 19:34:49
IDJOB=3688225
IDBENCH=2910
IDSOLVER=2269
FILE ID=node113/3688225-1337880889
RUNJOBID= node113-1337871880-22652
PBS_JOBID= 14620091
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1191204051

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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:        28388300 kB
Buffers:          215144 kB
Cached:          3375392 kB
SwapCached:            0 kB
Active:           698172 kB
Inactive:        3014404 kB
Active(anon):     124752 kB
Inactive(anon):        0 kB
Active(file):     573420 kB
Inactive(file):  3014404 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               464 kB
Writeback:             0 kB
AnonPages:        130932 kB
Mapped:            22480 kB
Shmem:               200 kB
Slab:             633392 kB
SReclaimable:      77740 kB
SUnreclaim:       555652 kB
KernelStack:        1608 kB
PageTables:         4076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 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= 71676 MiB
End job on node113 at 2012-05-24 20:04:44