Trace number 3689149

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)30 1800.05 1790.85

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMb155444c97f18a8f3025da7494a3d01e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark49.9814
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3689149-1337889854.opb
0.10/0.11	c reading problem ... 
0.71/0.43	c ... done. Wall clock time 0.319s.
0.71/0.43	c declared #vars     584
0.71/0.43	c internal #vars     2990
0.71/0.43	c #constraints  5064
0.71/0.43	c constraints type 
0.71/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
0.71/0.43	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
0.71/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 436
0.71/0.43	c ignored satisfied constraints => 602
0.71/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
0.71/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
0.71/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
0.71/0.43	c 5666 constraints processed.
0.71/0.43	c objective function length is 182 literals
1.31/0.75	c cleaning 2501 clauses out of 5002 with flag 5002/5002
1.73/0.93	c cleaning 4246 clauses out of 8499 with flag 11000/11000
1.90/1.06	c cleaning 5625 clauses out of 11253 with flag 18000/18000
2.12/1.25	c cleaning 6814 clauses out of 13628 with flag 26000/26000
2.34/1.49	c cleaning 7910 clauses out of 15819 with flag 35005/35005
2.65/1.75	c cleaning 8954 clauses out of 17911 with flag 45007/45007
2.96/2.04	c cleaning 9975 clauses out of 19952 with flag 56002/56002
3.27/2.34	c cleaning 10984 clauses out of 21975 with flag 68000/68000
3.67/2.71	c cleaning 11998 clauses out of 23996 with flag 81005/81005
3.89/2.99	c SATISFIABLE
3.89/2.99	c OPTIMIZING...
3.89/2.99	c Got one! Elapsed wall clock time (in seconds):2.883
3.89/2.99	o 71
4.37/3.35	c cleaning 12840 clauses out of 25679 with flag 5003/94686
4.94/3.66	c cleaning 9417 clauses out of 18836 with flag 11000/100683
5.35/3.94	c cleaning 8207 clauses out of 16420 with flag 18001/107684
5.92/4.22	c cleaning 8103 clauses out of 16215 with flag 26003/115686
6.12/4.42	c Got one! Elapsed wall clock time (in seconds):4.312
6.12/4.42	o 69
6.45/4.74	c cleaning 10354 clauses out of 20718 with flag 5001/128292
6.86/5.12	c cleaning 8182 clauses out of 16363 with flag 11000/134291
7.36/5.66	c cleaning 7587 clauses out of 15181 with flag 18000/141291
7.66/5.94	c Got one! Elapsed wall clock time (in seconds):5.835
7.66/5.94	o 67
7.76/6.09	c cleaning 6774 clauses out of 13559 with flag 2001/147256
8.26/6.54	c cleaning 6389 clauses out of 12785 with flag 8001/153256
8.57/6.81	c cleaning 6698 clauses out of 13395 with flag 15000/160255
8.89/7.12	c cleaning 7347 clauses out of 14697 with flag 23000/168255
9.09/7.36	c cleaning 8170 clauses out of 16350 with flag 32000/177255
9.29/7.57	c Got one! Elapsed wall clock time (in seconds):7.457
9.29/7.57	o 66
9.79/8.00	c cleaning 9759 clauses out of 19521 with flag 5000/188596
10.09/8.32	c cleaning 7871 clauses out of 15762 with flag 11000/194596
10.69/8.64	c cleaning 7436 clauses out of 14891 with flag 18000/201596
10.98/8.90	c Got one! Elapsed wall clock time (in seconds):8.789
10.98/8.90	o 64
11.30/9.19	c cleaning 9531 clauses out of 19069 with flag 5002/213210
11.60/9.42	c cleaning 7759 clauses out of 15536 with flag 11000/219208
11.81/9.68	c cleaning 7383 clauses out of 14777 with flag 18000/226208
12.22/10.01	c Got one! Elapsed wall clock time (in seconds):9.904
12.22/10.01	o 63
12.62/10.45	c cleaning 9388 clauses out of 18779 with flag 5003/237593
13.02/10.88	c cleaning 7692 clauses out of 15389 with flag 11001/243591
13.53/11.31	c cleaning 7348 clauses out of 14696 with flag 18000/250590
13.93/11.79	c cleaning 7668 clauses out of 15348 with flag 26000/258590
14.53/12.36	c cleaning 8336 clauses out of 16680 with flag 35000/267590
15.36/13.13	c Got one! Elapsed wall clock time (in seconds):13.025
15.36/13.13	o 61
15.76/13.56	c cleaning 11443 clauses out of 22893 with flag 5000/282139
16.16/13.92	c cleaning 8720 clauses out of 17451 with flag 11001/288140
16.47/14.23	c cleaning 7860 clauses out of 15730 with flag 18000/295139
16.97/14.72	c Got one! Elapsed wall clock time (in seconds):14.607
16.97/14.72	o 59
17.27/15.07	c cleaning 9759 clauses out of 19520 with flag 5001/306789
17.78/15.52	c cleaning 7875 clauses out of 15761 with flag 11001/312789
18.07/15.90	c cleaning 7441 clauses out of 14889 with flag 18004/319792
18.47/16.24	c cleaning 7718 clauses out of 15444 with flag 26000/327788
18.78/16.57	c cleaning 8365 clauses out of 16732 with flag 35006/336794
19.18/16.96	c cleaning 9179 clauses out of 18361 with flag 45000/346788
20.48/18.25	c cleaning 10074 clauses out of 20182 with flag 56000/357788
21.60/19.39	c Got one! Elapsed wall clock time (in seconds):19.282
21.60/19.39	o 58
22.00/19.70	c cleaning 12274 clauses out of 24547 with flag 5000/372227
22.21/19.99	c cleaning 9133 clauses out of 18274 with flag 11001/378228
22.43/20.18	c cleaning 8060 clauses out of 16140 with flag 18000/385227
22.63/20.35	c cleaning 8034 clauses out of 16080 with flag 26000/393227
22.83/20.58	c cleaning 8519 clauses out of 17046 with flag 35000/402227
23.44/21.12	c Got one! Elapsed wall clock time (in seconds):21.015
23.44/21.12	o 57
23.54/21.26	c cleaning 9369 clauses out of 18754 with flag 5000/412454
23.74/21.44	c cleaning 7686 clauses out of 15386 with flag 11001/418455
24.04/21.70	c cleaning 7345 clauses out of 14699 with flag 18000/425454
24.24/21.95	c Got one! Elapsed wall clock time (in seconds):21.838
24.24/21.95	o 56
24.35/22.06	c cleaning 8797 clauses out of 17610 with flag 5000/435710
24.55/22.20	c cleaning 7403 clauses out of 14816 with flag 11003/441713
24.67/22.36	c cleaning 7197 clauses out of 14412 with flag 18002/448712
24.77/22.40	c Got one! Elapsed wall clock time (in seconds):22.29
24.77/22.40	o 55
24.88/22.57	c cleaning 6341 clauses out of 12689 with flag 5000/454186
25.08/22.72	c cleaning 6168 clauses out of 12348 with flag 11000/460186
25.18/22.88	c cleaning 6588 clauses out of 13182 with flag 18002/467188
25.38/23.07	c cleaning 7291 clauses out of 14594 with flag 26002/475188
26.21/23.87	c cleaning 8140 clauses out of 16302 with flag 35001/484187
26.51/24.16	c Got one! Elapsed wall clock time (in seconds):24.052
26.51/24.16	o 54
26.72/24.35	c cleaning 6873 clauses out of 13769 with flag 4000/489794
26.91/24.54	c cleaning 6439 clauses out of 12899 with flag 10003/495797
27.11/24.70	c cleaning 6729 clauses out of 13457 with flag 17000/502794
27.22/24.89	c cleaning 7363 clauses out of 14729 with flag 25001/510795
27.52/25.11	c cleaning 8179 clauses out of 16367 with flag 34002/519796
27.83/25.43	c cleaning 9089 clauses out of 18186 with flag 44000/529794
28.22/25.88	c cleaning 10043 clauses out of 20097 with flag 55000/540794
28.83/26.45	c cleaning 11019 clauses out of 22056 with flag 67002/552796
29.43/27.03	c cleaning 12016 clauses out of 24037 with flag 80002/565796
30.04/27.61	c cleaning 13005 clauses out of 26019 with flag 94000/579794
30.34/27.97	c Got one! Elapsed wall clock time (in seconds):27.857
30.34/27.97	o 53
30.94/28.52	c cleaning 13434 clauses out of 26883 with flag 5000/593663
31.15/28.74	c Got one! Elapsed wall clock time (in seconds):28.628
31.15/28.74	o 52
31.26/28.88	c cleaning 9653 clauses out of 19315 with flag 4000/599529
31.47/29.08	c cleaning 7823 clauses out of 15662 with flag 10000/605529
31.67/29.23	c cleaning 7413 clauses out of 14839 with flag 17000/612529
31.77/29.37	c Got one! Elapsed wall clock time (in seconds):29.261
31.77/29.37	o 50
31.97/29.52	c cleaning 6499 clauses out of 13011 with flag 4000/618114
32.08/29.69	c cleaning 6248 clauses out of 12512 with flag 10000/624114
32.39/29.93	c Got one! Elapsed wall clock time (in seconds):29.822
32.39/29.93	o 48
32.49/30.07	c cleaning 8157 clauses out of 16328 with flag 5000/634178
32.69/30.21	c cleaning 7076 clauses out of 14172 with flag 11001/640179
32.90/30.46	c cleaning 7039 clauses out of 14096 with flag 18001/647179
33.81/31.37	c cleaning 7524 clauses out of 15057 with flag 26001/655179
34.71/32.25	c Got one! Elapsed wall clock time (in seconds):32.139
34.71/32.25	o 47
34.93/32.40	c cleaning 10188 clauses out of 20390 with flag 5002/668036
35.04/32.56	c cleaning 8087 clauses out of 16202 with flag 11002/674036
35.34/32.81	c cleaning 7552 clauses out of 15115 with flag 18002/681036
35.55/33.06	c cleaning 7779 clauses out of 15563 with flag 26002/689036
35.84/33.31	c cleaning 8387 clauses out of 16783 with flag 35001/698035
36.04/33.57	c cleaning 9198 clauses out of 18397 with flag 45002/708036
36.34/33.88	c cleaning 10097 clauses out of 20199 with flag 56002/719036
36.55/34.06	c Got one! Elapsed wall clock time (in seconds):33.95
36.55/34.06	o 46
36.66/34.18	c cleaning 7694 clauses out of 15421 with flag 4001/724355
36.86/34.34	c cleaning 6853 clauses out of 13730 with flag 10004/730358
37.06/34.53	c cleaning 6928 clauses out of 13880 with flag 17007/737361
37.28/34.73	c cleaning 7459 clauses out of 14948 with flag 25003/745357
37.49/34.96	c cleaning 8234 clauses out of 16489 with flag 34003/754357
37.81/35.23	c cleaning 9116 clauses out of 18255 with flag 44003/764357
38.13/35.58	c cleaning 10059 clauses out of 20137 with flag 55001/775355
38.53/35.95	c cleaning 11032 clauses out of 22077 with flag 67000/787354
39.34/36.75	c cleaning 12011 clauses out of 24046 with flag 80001/800355
40.24/37.63	c Got one! Elapsed wall clock time (in seconds):37.52
40.24/37.63	o 44
40.34/37.78	c cleaning 11716 clauses out of 23447 with flag 5001/811767
40.54/37.92	c cleaning 8854 clauses out of 17731 with flag 11001/817767
40.64/38.09	c cleaning 7930 clauses out of 15877 with flag 18001/824767
40.84/38.27	c cleaning 7969 clauses out of 15947 with flag 26001/832767
41.03/38.49	c cleaning 8480 clauses out of 16977 with flag 35000/841766
41.33/38.75	c cleaning 9246 clauses out of 18499 with flag 45002/851768
41.64/39.03	c cleaning 10117 clauses out of 20251 with flag 56000/862766
41.94/39.36	c cleaning 11060 clauses out of 22137 with flag 68003/874769
43.04/40.48	c cleaning 12032 clauses out of 24074 with flag 81000/887766
44.07/41.49	c cleaning 13018 clauses out of 26042 with flag 95000/901766
45.27/42.69	c cleaning 14014 clauses out of 28027 with flag 110003/916769
46.78/44.16	c cleaning 14993 clauses out of 30011 with flag 126001/932767
48.09/45.40	c cleaning 16000 clauses out of 32019 with flag 143002/949768
48.90/46.26	c cleaning 17000 clauses out of 34019 with flag 161002/967768
51.20/48.56	c cleaning 17995 clauses out of 36018 with flag 180001/986767
54.70/52.07	c cleaning 19002 clauses out of 38023 with flag 200001/1006767
57.10/54.46	c cleaning 20005 clauses out of 40023 with flag 221003/1027769
58.53/55.87	c cleaning 20998 clauses out of 42017 with flag 243002/1049768
59.75/57.00	c cleaning 22002 clauses out of 44018 with flag 266001/1072767
62.16/59.45	c cleaning 23000 clauses out of 46016 with flag 290001/1096767
65.88/63.11	c cleaning 23994 clauses out of 48015 with flag 315000/1121766
69.70/66.98	c cleaning 24996 clauses out of 50022 with flag 341001/1147767
73.83/71.09	c cleaning 25995 clauses out of 52025 with flag 368000/1174766
77.76/74.93	c cleaning 27009 clauses out of 54030 with flag 396000/1202766
80.16/77.36	c cleaning 28002 clauses out of 56021 with flag 425000/1231766
82.99/80.12	c cleaning 29001 clauses out of 58020 with flag 455001/1261767
88.10/85.21	c cleaning 29992 clauses out of 60019 with flag 486001/1292767
92.93/90.00	c cleaning 31004 clauses out of 62029 with flag 518003/1324769
96.45/93.58	c cleaning 32003 clauses out of 64022 with flag 551000/1357766
99.45/96.58	c cleaning 33009 clauses out of 66020 with flag 585001/1391767
103.75/100.80	c cleaning 34000 clauses out of 68011 with flag 620001/1426767
107.87/104.90	c cleaning 34999 clauses out of 70010 with flag 656000/1462766
111.28/108.31	c Got one! Elapsed wall clock time (in seconds):108.198
111.28/108.31	o 43
111.48/108.56	c cleaning 31441 clauses out of 62924 with flag 5002/1490679
111.69/108.77	c cleaning 18730 clauses out of 37483 with flag 11002/1496679
111.89/108.97	c cleaning 12862 clauses out of 25752 with flag 18001/1503678
112.19/109.21	c cleaning 10431 clauses out of 20890 with flag 26001/1511678
112.39/109.48	c cleaning 9716 clauses out of 19459 with flag 35001/1520678
112.79/109.89	c cleaning 9861 clauses out of 19742 with flag 45000/1530677
113.99/111.04	c cleaning 10428 clauses out of 20881 with flag 56000/1541677
115.39/112.49	c cleaning 11216 clauses out of 22453 with flag 68000/1553677
117.11/114.13	c cleaning 12097 clauses out of 24237 with flag 81000/1566677
118.95/115.99	c cleaning 13058 clauses out of 26140 with flag 95000/1580677
120.45/117.45	c cleaning 14022 clauses out of 28082 with flag 110000/1595677
122.67/119.64	c cleaning 15011 clauses out of 30061 with flag 126001/1611678
125.28/122.27	c cleaning 16022 clauses out of 32052 with flag 143003/1628680
127.27/124.22	c cleaning 17007 clauses out of 34028 with flag 161001/1646678
128.69/125.62	c cleaning 18003 clauses out of 36022 with flag 180002/1665679
130.20/127.18	c cleaning 19000 clauses out of 38019 with flag 200002/1685679
132.52/129.42	c cleaning 20001 clauses out of 40019 with flag 221002/1706679
134.54/131.49	c cleaning 20997 clauses out of 42017 with flag 243001/1728678
137.14/134.07	c cleaning 22001 clauses out of 44019 with flag 266000/1751677
140.36/137.23	c Got one! Elapsed wall clock time (in seconds):137.124
140.36/137.23	o 42
140.67/137.54	c cleaning 24572 clauses out of 49162 with flag 5000/1778821
140.90/137.76	c cleaning 15292 clauses out of 30596 with flag 11006/1784827
141.12/137.93	c cleaning 11142 clauses out of 22298 with flag 18000/1791821
141.34/138.14	c cleaning 9574 clauses out of 19157 with flag 26001/1799822
141.57/138.38	c cleaning 9282 clauses out of 18582 with flag 35000/1808821
141.88/138.63	c cleaning 9644 clauses out of 19301 with flag 45001/1818822
142.18/138.94	c cleaning 10320 clauses out of 20657 with flag 56001/1829822
142.50/139.28	c cleaning 11163 clauses out of 22336 with flag 68000/1841821
142.91/139.68	c cleaning 12080 clauses out of 24175 with flag 81002/1854823
143.43/140.15	c cleaning 13041 clauses out of 26097 with flag 95004/1868825
143.95/140.64	c cleaning 14021 clauses out of 28054 with flag 110002/1883823
144.46/141.14	c cleaning 15004 clauses out of 30034 with flag 126003/1899824
144.96/141.65	c cleaning 16007 clauses out of 32029 with flag 143002/1916823
145.58/142.23	c cleaning 17003 clauses out of 34020 with flag 161000/1934821
146.40/143.02	c cleaning 18002 clauses out of 36018 with flag 180001/1953822
147.00/143.69	c cleaning 18997 clauses out of 38017 with flag 200002/1973823
147.80/144.49	c cleaning 20005 clauses out of 40018 with flag 221000/1994821
149.51/146.16	c cleaning 21005 clauses out of 42015 with flag 243002/2016823
151.53/148.17	c cleaning 21992 clauses out of 44009 with flag 266001/2039822
154.06/150.70	c cleaning 22999 clauses out of 46018 with flag 290002/2063823
156.57/153.10	c cleaning 24005 clauses out of 48017 with flag 315000/2088821
159.79/156.31	c cleaning 24994 clauses out of 50012 with flag 341000/2114821
160.49/157.08	c Got one! Elapsed wall clock time (in seconds):156.968
160.49/157.08	o 41
161.19/157.71	c cleaning 17847 clauses out of 35706 with flag 5000/2125509
162.29/158.81	c cleaning 11909 clauses out of 23859 with flag 11000/2131509
163.20/159.76	c cleaning 9457 clauses out of 18951 with flag 18001/2138510
164.52/161.06	c cleaning 8736 clauses out of 17494 with flag 26001/2146510
165.82/162.38	c cleaning 8866 clauses out of 17757 with flag 35000/2155509
167.52/164.06	c cleaning 9438 clauses out of 18892 with flag 45001/2165510
169.52/166.06	c cleaning 10215 clauses out of 20453 with flag 56000/2176509
171.62/168.11	c cleaning 11113 clauses out of 22239 with flag 68001/2188510
172.32/168.81	c cleaning 12057 clauses out of 24129 with flag 81004/2201513
173.13/169.62	c cleaning 13025 clauses out of 26069 with flag 95001/2215510
174.43/170.99	c cleaning 14019 clauses out of 28043 with flag 110000/2230509
175.44/171.97	c cleaning 15010 clauses out of 30029 with flag 126005/2246514
176.75/173.24	c cleaning 15997 clauses out of 32015 with flag 143001/2263510
178.06/174.54	c cleaning 16999 clauses out of 34020 with flag 161003/2281512
179.76/176.24	c cleaning 17987 clauses out of 36018 with flag 180000/2300509
182.87/179.31	c cleaning 18971 clauses out of 38032 with flag 200001/2320510
185.37/181.85	c cleaning 19990 clauses out of 40061 with flag 221001/2341510
188.18/184.64	c cleaning 21021 clauses out of 42070 with flag 243000/2363509
191.18/187.66	c cleaning 22012 clauses out of 44050 with flag 266001/2386510
194.79/191.24	c cleaning 23000 clauses out of 46037 with flag 290000/2410509
198.40/194.88	c cleaning 24014 clauses out of 48039 with flag 315002/2435511
201.20/197.66	c cleaning 25007 clauses out of 50023 with flag 341000/2461509
204.51/200.98	c cleaning 26004 clauses out of 52016 with flag 368000/2488509
208.52/204.91	c cleaning 26998 clauses out of 54012 with flag 396000/2516509
213.16/209.57	c cleaning 27996 clauses out of 56014 with flag 425000/2545509
217.58/213.97	c cleaning 29005 clauses out of 58021 with flag 455003/2575512
221.80/218.10	c cleaning 29995 clauses out of 60013 with flag 486000/2606509
228.30/224.65	c cleaning 30998 clauses out of 62019 with flag 518001/2638510
234.21/230.57	c cleaning 31996 clauses out of 64020 with flag 551000/2671509
241.82/238.17	c cleaning 32995 clauses out of 66024 with flag 585000/2705509
249.67/245.98	c cleaning 34001 clauses out of 68031 with flag 620002/2740511
258.18/254.48	c cleaning 35001 clauses out of 70029 with flag 656001/2776510
267.50/263.70	c cleaning 35990 clauses out of 72027 with flag 693000/2813509
273.00/269.22	c Got one! Elapsed wall clock time (in seconds):269.112
273.00/269.22	o 40
273.31/269.55	c cleaning 32174 clauses out of 64355 with flag 5000/2841827
273.52/269.73	c cleaning 19081 clauses out of 38181 with flag 11000/2847827
273.73/269.90	c cleaning 13032 clauses out of 26100 with flag 18000/2854827
273.97/270.11	c cleaning 10516 clauses out of 21068 with flag 26000/2862827
274.19/270.35	c cleaning 9757 clauses out of 19552 with flag 35000/2871827
274.41/270.59	c cleaning 9887 clauses out of 19795 with flag 45000/2881827
274.72/270.85	c cleaning 10443 clauses out of 20910 with flag 56002/2892829
275.04/271.16	c cleaning 11220 clauses out of 22465 with flag 68000/2904827
275.44/271.52	c cleaning 12111 clauses out of 24248 with flag 81003/2917830
275.86/271.94	c cleaning 13056 clauses out of 26134 with flag 95000/2931827
276.37/272.42	c cleaning 14027 clauses out of 28078 with flag 110000/2946827
276.88/272.91	c cleaning 15012 clauses out of 30051 with flag 126000/2962827
277.38/273.46	c cleaning 16011 clauses out of 32039 with flag 143000/2979827
278.48/274.57	c cleaning 17014 clauses out of 34028 with flag 161000/2997827
281.29/277.36	c cleaning 17997 clauses out of 36014 with flag 180000/3016827
284.69/280.76	c cleaning 19001 clauses out of 38017 with flag 200000/3036827
285.50/281.53	c cleaning 20005 clauses out of 40016 with flag 221000/3057827
286.40/282.44	c cleaning 21005 clauses out of 42011 with flag 243000/3079827
287.41/283.43	c cleaning 22002 clauses out of 44008 with flag 266002/3102829
288.42/284.43	c cleaning 22999 clauses out of 46004 with flag 290000/3126827
289.54/285.54	c cleaning 23992 clauses out of 48006 with flag 315001/3151828
291.76/287.72	c cleaning 24999 clauses out of 50018 with flag 341005/3177832
294.58/290.56	c cleaning 25984 clauses out of 52014 with flag 368000/3204827
297.90/293.83	c cleaning 26975 clauses out of 54030 with flag 396000/3232827
301.63/297.53	c cleaning 27983 clauses out of 56055 with flag 425000/3261827
304.93/300.84	c cleaning 29027 clauses out of 58074 with flag 455002/3291829
311.04/306.93	c cleaning 30015 clauses out of 60045 with flag 486000/3322827
317.15/313.08	c cleaning 31004 clauses out of 62032 with flag 518002/3354829
323.55/319.41	c cleaning 32002 clauses out of 64026 with flag 551000/3387827
329.86/325.75	c cleaning 33004 clauses out of 66024 with flag 585000/3421827
334.08/329.95	c cleaning 34002 clauses out of 68020 with flag 620000/3456827
337.00/332.86	c cleaning 34996 clauses out of 70018 with flag 656000/3492827
339.84/335.63	c cleaning 36003 clauses out of 72023 with flag 693001/3529828
342.63/338.48	c cleaning 36995 clauses out of 74020 with flag 731001/3567828
345.54/341.32	c cleaning 37999 clauses out of 76025 with flag 770001/3606828
348.74/344.51	c cleaning 38997 clauses out of 78026 with flag 810001/3646828
354.64/350.48	c cleaning 40000 clauses out of 80028 with flag 851000/3687827
361.96/357.70	c cleaning 40973 clauses out of 82028 with flag 893000/3729827
370.68/366.46	c cleaning 41999 clauses out of 84055 with flag 936000/3772827
379.30/375.10	c cleaning 43005 clauses out of 86058 with flag 980002/3816829
387.82/383.51	c cleaning 43999 clauses out of 88051 with flag 1025000/3861827
396.75/392.48	c cleaning 44996 clauses out of 90052 with flag 1071000/3907827
406.86/402.55	c cleaning 46003 clauses out of 92056 with flag 1118000/3954827
409.07/404.79	c Got one! Elapsed wall clock time (in seconds):404.683
409.07/404.79	o 39
409.37/405.04	c cleaning 31593 clauses out of 63201 with flag 5000/3971975
409.59/405.27	c cleaning 18797 clauses out of 37611 with flag 11003/3977978
409.81/405.49	c cleaning 12894 clauses out of 25812 with flag 18001/3984976
411.03/406.66	c cleaning 10444 clauses out of 20917 with flag 26000/3992975
412.83/408.43	c cleaning 9722 clauses out of 19473 with flag 35000/4001975
414.56/410.17	c cleaning 9863 clauses out of 19752 with flag 45001/4011976
416.57/412.18	c cleaning 10431 clauses out of 20888 with flag 56000/4022975
418.68/414.25	c cleaning 11217 clauses out of 22459 with flag 68002/4034977
421.39/416.93	c cleaning 12111 clauses out of 24242 with flag 81002/4047977
424.48/420.03	c cleaning 13044 clauses out of 26130 with flag 95001/4061976
425.39/420.92	c Got one! Elapsed wall clock time (in seconds):420.807
425.39/420.92	o 38
425.59/421.14	c cleaning 12017 clauses out of 24039 with flag 5002/4072929
425.80/421.32	c cleaning 9001 clauses out of 18020 with flag 11000/4078927
425.90/421.49	c cleaning 8001 clauses out of 16020 with flag 18001/4085928
426.10/421.69	c cleaning 8004 clauses out of 16019 with flag 26001/4093928
426.41/421.91	c cleaning 8503 clauses out of 17015 with flag 35001/4102928
426.61/422.16	c cleaning 9249 clauses out of 18511 with flag 45000/4112927
426.92/422.47	c cleaning 10125 clauses out of 20262 with flag 56000/4123927
427.32/422.80	c cleaning 11068 clauses out of 22139 with flag 68002/4135929
427.63/423.19	c cleaning 12031 clauses out of 24070 with flag 81001/4148928
428.15/423.61	c cleaning 13014 clauses out of 26038 with flag 95000/4162927
428.55/424.06	c cleaning 14007 clauses out of 28024 with flag 110000/4177927
429.05/424.57	c cleaning 15005 clauses out of 30020 with flag 126003/4193930
429.76/425.20	c cleaning 16007 clauses out of 32016 with flag 143004/4210931
430.38/425.84	c cleaning 17000 clauses out of 34005 with flag 161000/4228927
431.09/426.55	c cleaning 18001 clauses out of 36007 with flag 180002/4247929
431.90/427.35	c cleaning 18992 clauses out of 38004 with flag 200000/4267927
432.72/428.17	c cleaning 20005 clauses out of 40013 with flag 221001/4288928
433.53/428.97	c cleaning 21001 clauses out of 42010 with flag 243003/4310930
434.55/429.93	c cleaning 22005 clauses out of 44014 with flag 266008/4333935
435.46/430.87	c cleaning 22997 clauses out of 46005 with flag 290004/4357931
436.57/431.91	c cleaning 24000 clauses out of 48004 with flag 315000/4382927
437.68/433.06	c cleaning 25001 clauses out of 50007 with flag 341003/4408930
438.88/434.25	c cleaning 25997 clauses out of 52004 with flag 368001/4435928
440.29/435.66	c cleaning 26999 clauses out of 54008 with flag 396002/4463929
441.79/437.13	c cleaning 28005 clauses out of 56009 with flag 425002/4492929
444.40/439.71	c cleaning 28989 clauses out of 58002 with flag 455000/4522927
446.81/442.14	c cleaning 29998 clauses out of 60016 with flag 486003/4553930
450.72/446.08	c cleaning 31000 clauses out of 62017 with flag 518002/4585929
454.83/450.14	c cleaning 32003 clauses out of 64015 with flag 551000/4618927
462.66/457.90	c cleaning 32993 clauses out of 66012 with flag 585000/4652927
467.68/462.94	c cleaning 34000 clauses out of 68020 with flag 620001/4687928
473.99/469.22	c cleaning 34996 clauses out of 70019 with flag 656000/4723927
480.12/475.37	c cleaning 35987 clauses out of 72023 with flag 693000/4760927
480.81/476.08	c Got one! Elapsed wall clock time (in seconds):475.972
480.81/476.08	o 37
480.93/476.17	c cleaning 20836 clauses out of 41680 with flag 1001/4766571
481.14/476.38	c cleaning 13411 clauses out of 26845 with flag 7002/4772572
481.35/476.59	c cleaning 10208 clauses out of 20432 with flag 14000/4779570
481.55/476.80	c cleaning 9110 clauses out of 18227 with flag 22003/4787573
481.86/477.01	c cleaning 9051 clauses out of 18117 with flag 31003/4796573
482.06/477.28	c cleaning 9525 clauses out of 19063 with flag 41000/4806570
482.37/477.58	c cleaning 10264 clauses out of 20540 with flag 52002/4817572
482.77/477.95	c cleaning 11133 clauses out of 22277 with flag 64003/4829573
483.17/478.37	c cleaning 12067 clauses out of 24143 with flag 77002/4842572
483.77/478.92	c cleaning 13029 clauses out of 26074 with flag 91000/4856570
484.38/479.54	c cleaning 14020 clauses out of 28046 with flag 106001/4871571
485.09/480.23	c cleaning 15008 clauses out of 30025 with flag 122000/4887570
486.01/481.19	c cleaning 16005 clauses out of 32017 with flag 139000/4904570
486.82/481.97	c cleaning 17004 clauses out of 34015 with flag 157003/4922573
487.74/482.82	c Got one! Elapsed wall clock time (in seconds):482.716
487.74/482.82	o 36
487.95/483.03	c cleaning 17208 clauses out of 34439 with flag 5001/4940001
488.15/483.22	c cleaning 11597 clauses out of 23230 with flag 11000/4946000
488.35/483.44	c cleaning 9297 clauses out of 18634 with flag 18001/4953001
488.55/483.68	c cleaning 8649 clauses out of 17339 with flag 26003/4961003
488.87/483.99	c cleaning 8822 clauses out of 17687 with flag 35000/4970000
489.28/484.32	c cleaning 9417 clauses out of 18866 with flag 45001/4980001
489.70/484.70	c cleaning 10209 clauses out of 20450 with flag 56002/4991002
490.12/485.12	c cleaning 11107 clauses out of 22239 with flag 68000/5003000
490.51/485.56	c cleaning 12049 clauses out of 24132 with flag 81000/5016000
491.01/486.08	c cleaning 13028 clauses out of 26084 with flag 95001/5030001
491.61/486.69	c cleaning 14015 clauses out of 28059 with flag 110004/5045004
492.32/487.34	c cleaning 15005 clauses out of 30041 with flag 126001/5061001
492.92/487.98	c cleaning 16008 clauses out of 32039 with flag 143004/5078004
493.61/488.68	c cleaning 16997 clauses out of 34030 with flag 161003/5096003
494.32/489.38	c cleaning 18002 clauses out of 36030 with flag 180000/5115000
495.12/490.17	c cleaning 19001 clauses out of 38028 with flag 200000/5135000
496.42/491.48	c cleaning 20008 clauses out of 40030 with flag 221003/5156003
499.65/494.63	c cleaning 20975 clauses out of 42019 with flag 243000/5178000
503.85/498.80	c cleaning 22014 clauses out of 44044 with flag 266000/5201000
507.57/502.50	c cleaning 22998 clauses out of 46031 with flag 290001/5225001
508.27/503.23	c Got one! Elapsed wall clock time (in seconds):503.123
508.27/503.23	o 35
508.67/503.66	c cleaning 17023 clauses out of 34082 with flag 5000/5236050
508.89/503.87	c cleaning 11517 clauses out of 23060 with flag 11001/5242051
509.09/504.07	c cleaning 9258 clauses out of 18545 with flag 18003/5249053
509.30/504.29	c cleaning 8625 clauses out of 17284 with flag 26000/5257050
509.61/504.53	c cleaning 8827 clauses out of 17666 with flag 35007/5266057
509.93/504.80	c cleaning 9406 clauses out of 18832 with flag 45000/5276050
510.23/505.14	c cleaning 10205 clauses out of 20430 with flag 56004/5287054
510.54/505.49	c cleaning 11101 clauses out of 22222 with flag 68001/5299051
510.94/505.89	c cleaning 12051 clauses out of 24123 with flag 81003/5312053
511.46/506.36	c cleaning 13024 clauses out of 26069 with flag 95000/5326050
511.96/506.83	c cleaning 14014 clauses out of 28047 with flag 110002/5341052
512.58/507.44	c cleaning 15008 clauses out of 30033 with flag 126002/5357052
513.18/508.02	c cleaning 16002 clauses out of 32025 with flag 143002/5374052
513.90/508.73	c cleaning 17001 clauses out of 34024 with flag 161003/5392053
514.72/509.51	c cleaning 17996 clauses out of 36020 with flag 180000/5411050
515.52/510.30	c cleaning 19004 clauses out of 38024 with flag 200000/5431050
516.37/511.11	c cleaning 20003 clauses out of 40025 with flag 221005/5452055
517.17/511.95	c cleaning 20998 clauses out of 42017 with flag 243000/5474050
519.09/513.87	c cleaning 21996 clauses out of 44019 with flag 266000/5497050
524.79/519.50	c cleaning 23003 clauses out of 46027 with flag 290004/5521054
531.92/526.64	c cleaning 23999 clauses out of 48022 with flag 315002/5546052
535.14/529.80	c Got one! Elapsed wall clock time (in seconds):529.693
535.14/529.80	o 34
535.34/530.02	c cleaning 20214 clauses out of 40447 with flag 5002/5562476
535.56/530.24	c cleaning 13107 clauses out of 26234 with flag 11003/5568477
535.77/530.47	c cleaning 10057 clauses out of 20127 with flag 18003/5575477
536.09/530.74	c cleaning 9029 clauses out of 18071 with flag 26004/5583478
536.39/531.02	c cleaning 9010 clauses out of 18040 with flag 35002/5592476
536.70/531.34	c cleaning 9503 clauses out of 19029 with flag 45001/5602475
537.10/531.71	c cleaning 10256 clauses out of 20527 with flag 56002/5613476
537.52/532.14	c cleaning 11122 clauses out of 22270 with flag 68001/5625475
538.04/532.62	c cleaning 12066 clauses out of 24147 with flag 81000/5638474
538.54/533.18	c cleaning 13033 clauses out of 26082 with flag 95001/5652475
539.15/533.79	c cleaning 14012 clauses out of 28049 with flag 110001/5667475
539.85/534.44	c cleaning 15007 clauses out of 30036 with flag 126000/5683474
540.57/535.18	c cleaning 16007 clauses out of 32029 with flag 143000/5700474
541.37/535.98	c cleaning 17000 clauses out of 34024 with flag 161002/5718476
542.18/536.80	c cleaning 18002 clauses out of 36026 with flag 180004/5737478
543.18/537.75	c cleaning 19003 clauses out of 38021 with flag 200001/5757475
544.08/538.68	c cleaning 20002 clauses out of 40018 with flag 221001/5778475
545.19/539.73	c cleaning 21000 clauses out of 42017 with flag 243002/5800476
546.29/540.85	c cleaning 21995 clauses out of 44015 with flag 266000/5823474
547.71/542.26	c cleaning 22998 clauses out of 46020 with flag 290000/5847474
549.13/543.65	c cleaning 24001 clauses out of 48022 with flag 315000/5872474
550.65/545.12	c cleaning 25001 clauses out of 50023 with flag 341002/5898476
552.36/546.81	c cleaning 26000 clauses out of 52020 with flag 368000/5925474
554.18/548.63	c cleaning 27002 clauses out of 54020 with flag 396000/5953474
555.81/550.23	c cleaning 28009 clauses out of 56018 with flag 425000/5982474
557.32/551.74	c cleaning 29005 clauses out of 58010 with flag 455001/6012475
559.65/554.00	c cleaning 30002 clauses out of 60004 with flag 486000/6043474
562.16/556.52	c cleaning 31000 clauses out of 62002 with flag 518000/6075474
564.57/558.93	c cleaning 32001 clauses out of 64004 with flag 551002/6108476
567.29/561.68	c cleaning 32999 clauses out of 66002 with flag 585001/6142475
569.50/563.81	c cleaning 33997 clauses out of 68002 with flag 620000/6177474
571.61/565.90	c cleaning 35006 clauses out of 70011 with flag 656006/6213480
573.61/567.94	c cleaning 35996 clauses out of 72003 with flag 693004/6250478
575.81/570.12	c cleaning 36998 clauses out of 74004 with flag 731001/6288475
577.91/572.21	c cleaning 37998 clauses out of 76005 with flag 770000/6327474
580.22/574.54	c cleaning 39003 clauses out of 78009 with flag 810002/6367476
582.63/576.90	c cleaning 39998 clauses out of 80005 with flag 851001/6408475
585.45/579.76	c cleaning 40999 clauses out of 82006 with flag 893000/6450474
588.36/582.67	c cleaning 42003 clauses out of 84009 with flag 936002/6493476
591.27/585.51	c cleaning 42998 clauses out of 86004 with flag 980000/6537474
594.40/588.69	c cleaning 44002 clauses out of 88006 with flag 1025000/6582474
597.30/591.53	c cleaning 45001 clauses out of 90004 with flag 1071000/6628474
601.93/596.10	c cleaning 45989 clauses out of 92004 with flag 1118002/6675476
608.65/602.88	c cleaning 46995 clauses out of 94015 with flag 1166002/6723476
615.75/609.95	c cleaning 48000 clauses out of 96019 with flag 1215001/6772475
623.57/617.78	c cleaning 49003 clauses out of 98018 with flag 1265000/6822474
632.10/626.23	c cleaning 49997 clauses out of 100015 with flag 1316000/6873474
640.06/634.15	c cleaning 51000 clauses out of 102018 with flag 1368000/6925474
649.47/643.60	c cleaning 51988 clauses out of 104019 with flag 1421001/6978475
658.39/652.45	c cleaning 52995 clauses out of 106032 with flag 1475002/7032476
668.22/662.25	c cleaning 54003 clauses out of 108035 with flag 1530000/7087474
678.23/672.22	c cleaning 55000 clauses out of 110032 with flag 1586000/7143474
688.73/682.77	c cleaning 56000 clauses out of 112032 with flag 1643000/7200474
699.66/693.64	c cleaning 56999 clauses out of 114032 with flag 1701000/7258474
709.97/703.96	c cleaning 58006 clauses out of 116035 with flag 1760002/7317476
719.83/713.74	c cleaning 58993 clauses out of 118028 with flag 1820001/7377475
728.44/722.34	c cleaning 60007 clauses out of 120034 with flag 1881000/7438474
741.75/735.61	c cleaning 60995 clauses out of 122028 with flag 1943001/7500475
753.98/747.85	c cleaning 62002 clauses out of 124032 with flag 2006000/7563474
762.81/756.65	c cleaning 62971 clauses out of 126030 with flag 2070000/7627474
775.92/769.77	c cleaning 64016 clauses out of 128059 with flag 2135000/7692474
785.55/779.32	c cleaning 65009 clauses out of 130045 with flag 2201002/7758476
795.38/789.19	c cleaning 66005 clauses out of 132037 with flag 2268003/7825477
807.12/800.88	c cleaning 66976 clauses out of 134031 with flag 2336002/7893476
819.13/812.83	c cleaning 67990 clauses out of 136055 with flag 2405002/7962476
829.77/823.47	c cleaning 68997 clauses out of 138064 with flag 2475001/8032475
841.19/834.88	c cleaning 70028 clauses out of 140068 with flag 2546002/8103476
856.49/850.16	c cleaning 71007 clauses out of 142038 with flag 2618000/8175474
876.72/870.34	c cleaning 72000 clauses out of 144031 with flag 2691000/8248474
895.26/888.81	c cleaning 73000 clauses out of 146032 with flag 2765001/8322475
913.49/907.02	c cleaning 73993 clauses out of 148031 with flag 2840000/8397474
927.24/920.71	c cleaning 74989 clauses out of 150040 with flag 2916002/8473476
942.27/935.72	c cleaning 75993 clauses out of 152049 with flag 2993000/8550474
958.24/951.62	c cleaning 76996 clauses out of 154056 with flag 3071000/8628474
974.25/967.64	c cleaning 77999 clauses out of 156061 with flag 3150001/8707475
990.27/983.60	c cleaning 78995 clauses out of 158064 with flag 3230003/8787477
1007.12/1000.43	c cleaning 79996 clauses out of 160067 with flag 3311001/8868475
1031.93/1025.26	c cleaning 81025 clauses out of 162070 with flag 3393000/8950474
1061.36/1054.67	c cleaning 82003 clauses out of 164046 with flag 3476001/9033475
1079.09/1072.39	c Got one! Elapsed wall clock time (in seconds):1072.285
1079.09/1072.39	o 32
1079.89/1073.11	c cleaning 73432 clauses out of 146883 with flag 5001/9098315
1080.52/1073.72	c cleaning 39715 clauses out of 79454 with flag 11004/9104318
1080.83/1074.06	c cleaning 23360 clauses out of 46738 with flag 18003/9111317
1081.16/1074.36	c cleaning 15675 clauses out of 31375 with flag 26000/9119314
1081.48/1074.67	c cleaning 12340 clauses out of 24703 with flag 35003/9128317
1081.89/1075.00	c cleaning 11167 clauses out of 22360 with flag 45000/9138314
1082.20/1075.34	c cleaning 11085 clauses out of 22195 with flag 56002/9149316
1082.60/1075.70	c cleaning 11545 clauses out of 23108 with flag 68000/9161314
1083.01/1076.15	c cleaning 12268 clauses out of 24563 with flag 81000/9174314
1083.51/1076.64	c cleaning 13141 clauses out of 26297 with flag 95002/9188316
1084.02/1077.17	c cleaning 14070 clauses out of 28158 with flag 110004/9203318
1084.63/1077.75	c cleaning 15036 clauses out of 30085 with flag 126001/9219315
1085.23/1078.36	c cleaning 16016 clauses out of 32048 with flag 143000/9236314
1085.83/1078.95	c cleaning 17009 clauses out of 34034 with flag 161002/9254316
1086.54/1079.67	c cleaning 18004 clauses out of 36029 with flag 180006/9273320
1087.34/1080.43	c cleaning 19002 clauses out of 38019 with flag 200000/9293314
1088.15/1081.26	c cleaning 19996 clauses out of 40018 with flag 221001/9314315
1089.07/1082.19	c cleaning 21001 clauses out of 42021 with flag 243000/9336314
1090.10/1083.17	c cleaning 22003 clauses out of 44020 with flag 266000/9359314
1090.91/1083.98	c cleaning 23006 clauses out of 46022 with flag 290005/9383319
1091.91/1084.96	c cleaning 23996 clauses out of 48013 with flag 315002/9408316
1093.02/1086.07	c cleaning 24996 clauses out of 50015 with flag 341000/9434314
1094.12/1087.17	c cleaning 26000 clauses out of 52019 with flag 368000/9461314
1095.43/1088.47	c cleaning 27002 clauses out of 54022 with flag 396003/9489317
1096.84/1089.83	c cleaning 28000 clauses out of 56019 with flag 425002/9518316
1098.27/1091.24	c cleaning 28997 clauses out of 58017 with flag 455000/9548314
1099.97/1092.91	c cleaning 30005 clauses out of 60022 with flag 486002/9579316
1101.61/1094.55	c cleaning 30998 clauses out of 62016 with flag 518001/9611315
1103.72/1096.70	c cleaning 31986 clauses out of 64017 with flag 551000/9644314
1108.26/1101.11	c cleaning 32997 clauses out of 66033 with flag 585002/9678316
1115.67/1108.56	c cleaning 34005 clauses out of 68035 with flag 620001/9713315
1123.60/1116.40	c cleaning 34973 clauses out of 70030 with flag 656001/9749315
1132.52/1125.32	c cleaning 36013 clauses out of 72057 with flag 693001/9786315
1142.43/1135.23	c cleaning 36987 clauses out of 74043 with flag 731000/9824314
1149.83/1142.64	c cleaning 38015 clauses out of 76057 with flag 770001/9863315
1155.85/1148.69	c cleaning 38993 clauses out of 78041 with flag 810000/9903314
1163.78/1156.52	c cleaning 39991 clauses out of 80048 with flag 851000/9944314
1171.38/1164.17	c cleaning 41006 clauses out of 82057 with flag 893000/9986314
1181.19/1173.95	c cleaning 41988 clauses out of 84052 with flag 936001/10029315
1190.00/1182.76	c cleaning 43013 clauses out of 86064 with flag 980001/10073315
1201.75/1194.49	c cleaning 43981 clauses out of 88052 with flag 1025002/10118316
1212.56/1205.23	c cleaning 45015 clauses out of 90070 with flag 1071001/10164315
1222.49/1215.15	c cleaning 46012 clauses out of 92055 with flag 1118001/10211315
1235.31/1227.97	c cleaning 46996 clauses out of 94043 with flag 1166001/10259315
1245.43/1238.06	c cleaning 47994 clauses out of 96048 with flag 1215002/10308316
1256.15/1248.72	c cleaning 48976 clauses out of 98053 with flag 1265001/10358315
1270.36/1262.92	c cleaning 50012 clauses out of 100076 with flag 1316000/10409314
1285.28/1277.83	c cleaning 51011 clauses out of 102064 with flag 1368000/10461314
1287.18/1279.71	c Got one! Elapsed wall clock time (in seconds):1279.599
1287.18/1279.71	o 31
1287.38/1279.98	c cleaning 31712 clauses out of 63442 with flag 5000/10473703
1287.58/1280.17	c cleaning 18855 clauses out of 37731 with flag 11001/10479704
1287.79/1280.38	c cleaning 12931 clauses out of 25876 with flag 18001/10486704
1288.08/1280.60	c cleaning 10460 clauses out of 20945 with flag 26001/10494704
1288.29/1280.83	c cleaning 9726 clauses out of 19484 with flag 35000/10503703
1288.60/1281.10	c cleaning 9871 clauses out of 19759 with flag 45001/10513704
1288.90/1281.41	c cleaning 10435 clauses out of 20888 with flag 56001/10524704
1289.21/1281.73	c cleaning 11216 clauses out of 22453 with flag 68001/10536704
1289.64/1282.12	c cleaning 12110 clauses out of 24237 with flag 81001/10549704
1290.04/1282.51	c cleaning 13056 clauses out of 26126 with flag 95000/10563703
1290.45/1282.96	c cleaning 14026 clauses out of 28073 with flag 110003/10578706
1290.96/1283.45	c cleaning 15015 clauses out of 30048 with flag 126004/10594707
1291.56/1284.01	c cleaning 16004 clauses out of 32029 with flag 143000/10611703
1292.16/1284.62	c cleaning 17004 clauses out of 34025 with flag 161000/10629703
1292.86/1285.35	c cleaning 18000 clauses out of 36022 with flag 180001/10648704
1293.57/1286.08	c cleaning 18999 clauses out of 38022 with flag 200001/10668704
1294.47/1286.93	c cleaning 20005 clauses out of 40027 with flag 221005/10689708
1295.27/1287.79	c cleaning 20999 clauses out of 42019 with flag 243002/10711705
1296.38/1288.80	c cleaning 22000 clauses out of 44018 with flag 266000/10734703
1297.40/1289.90	c cleaning 23005 clauses out of 46023 with flag 290005/10758708
1299.40/1291.85	c cleaning 23994 clauses out of 48014 with flag 315001/10783704
1301.41/1293.80	c cleaning 25009 clauses out of 50019 with flag 341000/10809703
1304.04/1296.43	c cleaning 26003 clauses out of 52011 with flag 368001/10836704
1305.96/1298.36	c cleaning 26996 clauses out of 54008 with flag 396001/10864704
1308.99/1301.38	c cleaning 27978 clauses out of 56011 with flag 425000/10893703
1312.51/1304.85	c cleaning 28979 clauses out of 58037 with flag 455004/10923707
1316.63/1308.97	c cleaning 29999 clauses out of 60055 with flag 486001/10954704
1318.55/1310.87	c cleaning 31020 clauses out of 62059 with flag 518004/10986707
1320.47/1312.73	c cleaning 32011 clauses out of 64035 with flag 551000/11019703
1323.42/1315.69	c cleaning 33005 clauses out of 66025 with flag 585001/11053704
1326.15/1318.30	c cleaning 34001 clauses out of 68021 with flag 620002/11088705
1328.45/1320.62	c cleaning 35005 clauses out of 70020 with flag 656002/11124705
1332.17/1324.31	c cleaning 36002 clauses out of 72015 with flag 693002/11161705
1335.51/1327.66	c cleaning 36989 clauses out of 74012 with flag 731001/11199704
1340.93/1333.06	c cleaning 38006 clauses out of 76025 with flag 770003/11238706
1346.46/1338.55	c cleaning 38998 clauses out of 78016 with flag 810000/11278703
1350.57/1342.66	c cleaning 40001 clauses out of 80019 with flag 851001/11319704
1355.41/1347.40	c cleaning 41000 clauses out of 82017 with flag 893000/11361703
1360.74/1352.79	c cleaning 41996 clauses out of 84018 with flag 936001/11404704
1366.66/1358.63	c cleaning 42973 clauses out of 86022 with flag 980001/11448704
1373.27/1365.22	c cleaning 43988 clauses out of 88048 with flag 1025000/11493703
1380.60/1372.58	c cleaning 44992 clauses out of 90060 with flag 1071000/11539703
1388.82/1380.79	c cleaning 45996 clauses out of 92069 with flag 1118001/11586704
1397.13/1389.00	c cleaning 47002 clauses out of 94072 with flag 1166000/11634703
1405.77/1397.66	c cleaning 48010 clauses out of 96070 with flag 1215000/11683703
1414.21/1406.02	c cleaning 48999 clauses out of 98061 with flag 1265001/11733704
1424.02/1415.85	c cleaning 50025 clauses out of 100062 with flag 1316001/11784704
1437.63/1429.43	c cleaning 51012 clauses out of 102036 with flag 1368000/11836703
1444.76/1436.54	c cleaning 52003 clauses out of 104026 with flag 1421002/11889705
1453.78/1445.52	c Got one! Elapsed wall clock time (in seconds):1445.41
1453.78/1445.52	o 30
1454.38/1446.10	c cleaning 45942 clauses out of 91898 with flag 5004/11929580
1454.59/1446.35	c cleaning 25969 clauses out of 51953 with flag 11001/11935577
1454.82/1446.55	c cleaning 16485 clauses out of 32988 with flag 18005/11942581
1455.02/1446.79	c cleaning 12237 clauses out of 24498 with flag 26000/11950576
1455.33/1447.00	c cleaning 10622 clauses out of 21262 with flag 35001/11959577
1455.55/1447.24	c cleaning 10305 clauses out of 20641 with flag 45002/11969578
1455.86/1447.52	c cleaning 10657 clauses out of 21336 with flag 56002/11980578
1456.17/1447.84	c cleaning 11330 clauses out of 22678 with flag 68001/11992577
1456.57/1448.20	c cleaning 12166 clauses out of 24347 with flag 81000/12005576
1456.87/1448.58	c cleaning 13081 clauses out of 26181 with flag 95000/12019576
1457.38/1449.01	c cleaning 14043 clauses out of 28103 with flag 110003/12034579
1457.79/1449.48	c cleaning 15021 clauses out of 30057 with flag 126000/12050576
1458.39/1450.04	c cleaning 16010 clauses out of 32038 with flag 143002/12067578
1458.99/1450.64	c cleaning 17002 clauses out of 34026 with flag 161000/12085576
1459.60/1451.28	c cleaning 18008 clauses out of 36026 with flag 180002/12104578
1460.30/1451.98	c cleaning 18998 clauses out of 38016 with flag 200000/12124576
1461.10/1452.77	c cleaning 19999 clauses out of 40020 with flag 221002/12145578
1462.11/1453.74	c cleaning 20996 clauses out of 42019 with flag 243000/12167576
1463.12/1454.73	c cleaning 22002 clauses out of 44028 with flag 266005/12190581
1464.13/1455.70	c cleaning 23000 clauses out of 46024 with flag 290003/12214579
1465.04/1456.65	c cleaning 24005 clauses out of 48021 with flag 315000/12239576
1466.75/1458.39	c cleaning 24997 clauses out of 50018 with flag 341002/12265578
1470.37/1461.96	c cleaning 25993 clauses out of 52020 with flag 368001/12292577
1474.19/1465.78	c cleaning 27011 clauses out of 54027 with flag 396001/12320577
1478.92/1470.44	c cleaning 27992 clauses out of 56016 with flag 425001/12349577
1482.83/1474.30	c cleaning 29004 clauses out of 58024 with flag 455001/12379577
1486.66/1478.19	c cleaning 29995 clauses out of 60020 with flag 486001/12410577
1491.21/1482.66	c cleaning 30997 clauses out of 62025 with flag 518001/12442577
1495.82/1487.24	c cleaning 32004 clauses out of 64027 with flag 551000/12475576
1499.62/1491.06	c cleaning 33001 clauses out of 66027 with flag 585004/12509580
1503.76/1495.15	c cleaning 33998 clauses out of 68022 with flag 620000/12544576
1508.69/1500.10	c cleaning 35003 clauses out of 70027 with flag 656003/12580579
1515.41/1506.79	c cleaning 35994 clauses out of 72021 with flag 693000/12617576
1521.93/1513.23	c cleaning 36994 clauses out of 74028 with flag 731001/12655577
1528.76/1520.05	c cleaning 38000 clauses out of 76034 with flag 770001/12694577
1536.17/1527.49	c cleaning 38999 clauses out of 78037 with flag 810004/12734580
1543.67/1534.95	c cleaning 39999 clauses out of 80035 with flag 851001/12775577
1551.88/1543.11	c cleaning 41000 clauses out of 82036 with flag 893001/12817577
1561.20/1552.48	c cleaning 42003 clauses out of 84036 with flag 936001/12860577
1569.52/1560.74	c cleaning 43008 clauses out of 86033 with flag 980001/12904577
1578.23/1569.40	c cleaning 43997 clauses out of 88024 with flag 1025000/12949576
1585.64/1576.89	c cleaning 45001 clauses out of 90027 with flag 1071000/12995576
1591.75/1582.99	c cleaning 46010 clauses out of 92028 with flag 1118002/13042578
1600.17/1591.38	c cleaning 46968 clauses out of 94016 with flag 1166000/13090576
1608.87/1600.08	c cleaning 47981 clauses out of 96050 with flag 1215002/13139578
1616.98/1608.19	c cleaning 49024 clauses out of 98068 with flag 1265001/13189577
1626.19/1617.38	c cleaning 50004 clauses out of 100044 with flag 1316001/13240577
1636.70/1627.89	c cleaning 50995 clauses out of 102041 with flag 1368002/13292578
1648.64/1639.74	c cleaning 52008 clauses out of 104044 with flag 1421000/13345576
1660.35/1651.44	c cleaning 52977 clauses out of 106038 with flag 1475002/13399578
1670.37/1661.41	c cleaning 53993 clauses out of 108060 with flag 1530001/13454577
1679.10/1670.12	c cleaning 54999 clauses out of 110068 with flag 1586002/13510578
1688.52/1679.56	c cleaning 55989 clauses out of 112068 with flag 1643001/13567577
1701.44/1692.49	c cleaning 56981 clauses out of 114079 with flag 1701001/13625577
1713.65/1704.67	c cleaning 57999 clauses out of 116098 with flag 1760001/13684577
1725.47/1716.46	c cleaning 59035 clauses out of 118098 with flag 1820000/13744576
1739.10/1730.05	c cleaning 60011 clauses out of 120063 with flag 1881000/13805576
1752.53/1743.42	c cleaning 61010 clauses out of 122052 with flag 1943000/13867576
1767.66/1758.58	c cleaning 61980 clauses out of 124042 with flag 2006000/13930576
1781.31/1772.19	c cleaning 62991 clauses out of 126062 with flag 2070000/13994576
1794.73/1785.59	c cleaning 63995 clauses out of 128072 with flag 2135001/14059577
1800.05/1790.82	c starts		: 357
1800.05/1790.82	c conflicts		: 14086873
1800.05/1790.82	c decisions		: 16022396
1800.05/1790.82	c propagations		: 1258942818
1800.05/1790.82	c inspects		: 21643238670
1800.05/1790.82	c shortcuts		: 0
1800.05/1790.82	c learnt literals	: 1
1800.05/1790.82	c learnt binary clauses	: 51
1800.05/1790.82	c learnt ternary clauses	: 104
1800.05/1790.82	c learnt constraints	: 14086873
1800.05/1790.82	c ignored constraints	: 0
1800.05/1790.82	c root simplifications	: 0
1800.05/1790.82	c removed literals (reason simplification)	: 0
1800.05/1790.82	c reason swapping (by a shorter reason)	: 0
1800.05/1790.82	c Calls to reduceDB	: 578
1800.05/1790.82	c number of reductions to clauses (during analyze)	: 0
1800.05/1790.82	c number of learned constraints concerned by reduction	: 0
1800.05/1790.82	c number of learning phase by resolution	: 0
1800.05/1790.82	c number of learning phase by cutting planes	: 0
1800.05/1790.82	c speed (assignments/second)	: 703170.3469820111
1800.05/1790.82	c non guided choices	5054
1800.05/1790.84	c learnt constraints type 
1800.05/1790.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 51
1800.05/1790.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91412
1800.05/1790.84	c constraints type 
1800.05/1790.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
1800.05/1790.84	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
1800.05/1790.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 437
1800.05/1790.84	c ignored satisfied constraints => 602
1800.05/1790.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
1800.05/1790.84	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
1800.05/1790.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
1800.05/1790.84	c 5667 constraints processed.
1800.05/1790.84	s SATISFIABLE
1800.05/1790.85	v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 x98 -x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 -x217 x218 -x219 x220 x221 -x222 -x223 x224 x225 -x226 x227 -x228 x229 x230 -x231 x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 x262 x263 -x264 -x265 -x266 x267 -x268 -x269 x270 -x271 x272 x273 x274 -x275 x276 -x277 -x278 x279 x280 -x281 -x282 x283 -x284 -x285 x286 -x287 -x288 x289 x290 x291 -x292 x293 x294 -x295 -x296 x297 -x298 x299 x300 -x301 x302 x303 x304 x305 -x306 x307 x308 -x309 x310 x311 x312 x313 x314 x315 -x316 x317 -x318 x319 -x320 x321 x322 x323 -x324 -x325 x326 -x327 x328 x329 x330 x331 -x332 -x333 x334 -x335 x336 -x337 -x338 -x339 x340 x341 x342 x343 x344 x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 x358 x359 x360 -x361 x362 -x363 -x364 -x365 -x366 x367 x368 -x369 x370 -x371 -x372 x373 -x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 x386 x387 x388 x389 -x390 x391 x392 x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 x402 x403 x404 x405 -x406 -x407 -x408 -x409 x410 x411 x412 x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 x423 -x424 -x425 -x426 -x427 x428 x429 x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 x439 -x440 -x441 x442 x443 -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 x452 x453 x454 x455 -x456 x457 -x458 x459 x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 -x473 -x474 -x475 -x476 x477 x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 -x497 x498 x499 x500 -x501 -x502 -x503 x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 x516 x517 x518 -x519 x520 x521 x522 x523 x524 -x525 x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 x541 -x542 x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
1800.05/1790.85	c objective function=30
1800.05/1790.85	c Total wall clock time (in seconds): 1790.737

Verifier Data

OK	30

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.07 3.75 3.79 3/175 31259
/proc/meminfo: memFree=29183552/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/31259/stat : 31259 (java) R 31257 31259 25418 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 255109882 278528 33 33554432000 1073741824 1073778376 140736303756704 140733610282328 212064103605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 68 33 25 9 0 25 0

[startup+0.105867 s]
/proc/loadavg: 3.07 3.75 3.79 3/175 31259
/proc/meminfo: memFree=29183552/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 4410 0 1 0 9 1 0 0 20 0 18 0 255109882 9787813888 6107 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2389603 6107 2123 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.200192 s]
/proc/loadavg: 3.07 3.75 3.79 3/175 31259
/proc/meminfo: memFree=29183552/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9558412 CPUtime=0.26 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 4924 0 1 0 25 1 0 0 20 0 18 0 255109882 9787813888 6514 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2389603 6514 2200 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558412

[startup+0.300192 s]
/proc/loadavg: 3.07 3.75 3.79 3/175 31259
/proc/meminfo: memFree=29183552/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 6804 0 1 0 50 1 0 0 20 0 18 0 255109882 9787813888 8716 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2389603 8716 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.700173 s]
/proc/loadavg: 3.07 3.75 3.79 3/175 31259
/proc/meminfo: memFree=29183552/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 7977 0 1 0 129 2 0 0 20 0 19 0 255109882 9855975424 12998 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2406244 12998 2245 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976

[startup+1.50055 s]
/proc/loadavg: 3.07 3.75 3.79 3/212 31353
/proc/meminfo: memFree=29089284/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9624976 CPUtime=2.45 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 13122 0 1 0 242 3 0 0 20 0 19 0 255109882 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2406244 19715 2278 9 0 2396937 0
[pid=31259/tid=31263] ppid=31257 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/31259/task/31263/stat : 31263 (java) S 31257 31259 25418 0 -1 4202560 2465 0 1 0 136 2 0 0 20 0 19 0 255109883 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317960438168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31264/stat : 31264 (java) S 31257 31259 25418 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317932890792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31265/stat : 31265 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317931838248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31266/stat : 31266 (java) S 31257 31259 25418 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317930785704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31268/stat : 31268 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317929733160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31269/stat : 31269 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317928679592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31271/stat : 31271 (java) S 31257 31259 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317927627048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31273/stat : 31273 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317926574504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31275/stat : 31275 (java) S 31257 31259 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317925521960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/31259/task/31280/stat : 31280 (java) R 31257 31259 25418 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 19 0 255109885 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317313435120 140317966564413 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31282/stat : 31282 (java) S 31257 31259 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317312382584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31283/stat : 31283 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317311329928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31286/stat : 31286 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317310278672 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/31259/task/31287/stat : 31287 (java) S 31257 31259 25418 0 -1 4202560 2943 0 0 0 44 0 0 0 20 0 19 0 255109888 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317309225016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/31259/task/31288/stat : 31288 (java) S 31257 31259 25418 0 -1 4202560 6417 0 0 0 49 0 0 0 20 0 19 0 255109888 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317308172472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31289/stat : 31289 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317307120120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31290/stat : 31290 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317306067784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31296] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31296/stat : 31296 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109926 9855975424 19715 33554432000 1073741824 1073778376 140736303756704 140317305013544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9624976

[startup+3.10069 s]
/proc/loadavg: 2.98 3.72 3.78 3/192 31418
/proc/meminfo: memFree=29112172/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9624976 CPUtime=4.1 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 13140 0 1 0 406 4 0 0 20 0 19 0 255109882 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2406244 20239 2278 9 0 2396937 0
[pid=31259/tid=31263] ppid=31257 vsize=9624976 CPUtime=2.9 cores=1,3,5,7
/proc/31259/task/31263/stat : 31263 (java) R 31257 31259 25418 0 -1 4202560 2471 0 1 0 288 2 0 0 20 0 19 0 255109883 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317960438280 140317807196154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31264/stat : 31264 (java) S 31257 31259 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317932890792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31265/stat : 31265 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317931838248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31266/stat : 31266 (java) S 31257 31259 25418 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317930785704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31268/stat : 31268 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317929733160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31269/stat : 31269 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317928679592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31271/stat : 31271 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317927627048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31273/stat : 31273 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317926574504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31275/stat : 31275 (java) S 31257 31259 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317925521960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/31259/task/31280/stat : 31280 (java) S 31257 31259 25418 0 -1 4202560 42 0 0 0 12 0 0 0 20 0 19 0 255109885 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317313436264 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31282/stat : 31282 (java) S 31257 31259 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317312382584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31283/stat : 31283 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317311329928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31286/stat : 31286 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317310278672 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/31259/task/31287/stat : 31287 (java) S 31257 31259 25418 0 -1 4202560 2943 0 0 0 47 0 0 0 20 0 19 0 255109888 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317309225016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/31259/task/31288/stat : 31288 (java) S 31257 31259 25418 0 -1 4202560 6417 0 0 0 49 0 0 0 20 0 19 0 255109888 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317308172472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31289/stat : 31289 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317307120120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31290/stat : 31290 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317306067784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31296] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31296/stat : 31296 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109926 9855975424 20239 33554432000 1073741824 1073778376 140736303756704 140317305013544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9624976

[startup+6.30071 s]
/proc/loadavg: 2.98 3.72 3.78 5/212 31694
/proc/meminfo: memFree=29073380/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9624976 CPUtime=8.06 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 21811 0 1 0 800 6 0 0 20 0 19 0 255109882 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2406244 22631 2278 9 0 2396937 0
[pid=31259/tid=31263] ppid=31257 vsize=9624976 CPUtime=5.95 cores=1,3,5,7
/proc/31259/task/31263/stat : 31263 (java) R 31257 31259 25418 0 -1 4202560 2477 0 1 0 593 2 0 0 20 0 19 0 255109883 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317960438168 140317806961584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31264/stat : 31264 (java) S 31257 31259 25418 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317932890792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31265/stat : 31265 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317931838248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31266/stat : 31266 (java) S 31257 31259 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317930785704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31268/stat : 31268 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317929733160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31269/stat : 31269 (java) S 31257 31259 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317928679592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31271/stat : 31271 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317927627048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31273/stat : 31273 (java) S 31257 31259 25418 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317926574504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31275/stat : 31275 (java) S 31257 31259 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255109884 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317925521960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/31259/task/31280/stat : 31280 (java) S 31257 31259 25418 0 -1 4202560 53 0 0 0 25 0 0 0 20 0 19 0 255109885 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317313436264 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31282/stat : 31282 (java) S 31257 31259 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317312382584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31283/stat : 31283 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317311329928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31286/stat : 31286 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317310278672 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/31259/task/31287/stat : 31287 (java) S 31257 31259 25418 0 -1 4202560 11593 0 0 0 116 2 0 0 20 0 19 0 255109888 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317309225016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/31259/task/31288/stat : 31288 (java) S 31257 31259 25418 0 -1 4202560 6417 0 0 0 53 0 0 0 20 0 19 0 255109888 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317308172472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31289/stat : 31289 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317307120120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31290/stat : 31290 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317306067784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31296] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31296/stat : 31296 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109926 9855975424 22631 33554432000 1073741824 1073778376 140736303756704 140317305013544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=31259/tid=31287] ppid=31257 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/31259/task/31287/stat : 31287 (java) S 31257 31259 25418 0 -1 4202560 11596 0 0 0 126 2 0 0 20 0 19 0 255109888 9855975424 44302 33554432000 1073741824 1073778376 140736303756704 140317309225016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/31259/task/31288/stat : 31288 (java) S 31257 31259 25418 0 -1 4202560 10050 0 0 0 99 2 0 0 20 0 19 0 255109888 9855975424 44302 33554432000 1073741824 1073778376 140736303756704 140317308172472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31289/stat : 31289 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 44302 33554432000 1073741824 1073778376 140736303756704 140317307120120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/31259/task/31290/stat : 31290 (java) S 31257 31259 25418 0 -1 4202560 97 0 0 0 18 24 0 0 20 0 19 0 255109888 9855975424 44302 33554432000 1073741824 1073778376 140736303756704 140317306067784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31296] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31296/stat : 31296 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109926 9855975424 44302 33554432000 1073741824 1073778376 140736303756704 140317305013544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.39
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/213 31881
/proc/meminfo: memFree=28176904/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9624976 CPUtime=1791.53 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 27639 0 1 0 179101 52 0 0 20 0 19 0 255109882 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2406244 44836 2279 9 0 2396937 0
[pid=31259/tid=31263] ppid=31257 vsize=9624976 CPUtime=1759.47 cores=1,3,5,7
/proc/31259/task/31263/stat : 31263 (java) R 31257 31259 25418 0 -1 4202560 3042 0 1 0 175918 29 0 0 20 0 19 0 255109883 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317960438112 140317806973067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/31259/task/31264/stat : 31264 (java) S 31257 31259 25418 0 -1 4202560 247 0 0 0 120 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317932890792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=9624976 CPUtime=1.26 cores=1,3,5,7
/proc/31259/task/31265/stat : 31265 (java) S 31257 31259 25418 0 -1 4202560 419 0 0 0 123 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317931838248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/31259/task/31266/stat : 31266 (java) S 31257 31259 25418 0 -1 4202560 173 0 0 0 132 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317930785704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/31259/task/31268/stat : 31268 (java) S 31257 31259 25418 0 -1 4202560 83 0 0 0 122 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317929733160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/31259/task/31269/stat : 31269 (java) S 31257 31259 25418 0 -1 4202560 153 0 0 0 119 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317928679592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/31259/task/31271/stat : 31271 (java) S 31257 31259 25418 0 -1 4202560 102 0 0 0 127 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317927627048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/31259/task/31273/stat : 31273 (java) S 31257 31259 25418 0 -1 4202560 285 0 0 0 124 4 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317926574504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/31259/task/31275/stat : 31275 (java) S 31257 31259 25418 0 -1 4202560 35 0 0 0 121 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317925521960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=9624976 CPUtime=14.81 cores=1,3,5,7
/proc/31259/task/31280/stat : 31280 (java) S 31257 31259 25418 0 -1 4202560 167 0 0 0 1477 4 0 0 20 0 19 0 255109885 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317313436264 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31282/stat : 31282 (java) S 31257 31259 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317312382584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31283/stat : 31283 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317311329928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31286/stat : 31286 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317310278672 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/31259/task/31287/stat : 31287 (java) S 31257 31259 25418 0 -1 4202560 11596 0 0 0 126 2 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317309225016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/31259/task/31288/stat : 31288 (java) S 31257 31259 25418 0 -1 4202560 10050 0 0 0 99 2 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317308172472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31289/stat : 31289 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317307120120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31259/task/31290/stat : 31290 (java) S 31257 31259 25418 0 -1 4202560 101 0 0 0 20 25 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317306067784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31296] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31296/stat : 31296 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109926 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317305013544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.8 s]
/proc/loadavg: 2.00 2.00 2.24 3/213 31881
/proc/meminfo: memFree=28176780/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 27642 0 1 0 179953 52 0 0 20 0 19 0 255109882 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2406244 44836 2279 9 0 2396937 0
[pid=31259/tid=31263] ppid=31257 vsize=9624976 CPUtime=1767.92 cores=1,3,5,7
/proc/31259/task/31263/stat : 31263 (java) R 31257 31259 25418 0 -1 4202560 3043 0 1 0 176763 29 0 0 20 0 19 0 255109883 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317960438112 140317806972996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/31259/task/31264/stat : 31264 (java) S 31257 31259 25418 0 -1 4202560 247 0 0 0 120 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317932890792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/31259/task/31265/stat : 31265 (java) S 31257 31259 25418 0 -1 4202560 419 0 0 0 124 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317931838248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/31259/task/31266/stat : 31266 (java) S 31257 31259 25418 0 -1 4202560 173 0 0 0 132 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317930785704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/31259/task/31268/stat : 31268 (java) S 31257 31259 25418 0 -1 4202560 83 0 0 0 122 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317929733160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/31259/task/31269/stat : 31269 (java) S 31257 31259 25418 0 -1 4202560 153 0 0 0 119 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317928679592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/31259/task/31271/stat : 31271 (java) S 31257 31259 25418 0 -1 4202560 102 0 0 0 127 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317927627048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/31259/task/31273/stat : 31273 (java) S 31257 31259 25418 0 -1 4202560 285 0 0 0 124 4 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317926574504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/31259/task/31275/stat : 31275 (java) S 31257 31259 25418 0 -1 4202560 35 0 0 0 121 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317925521960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=9624976 CPUtime=14.85 cores=1,3,5,7
/proc/31259/task/31280/stat : 31280 (java) S 31257 31259 25418 0 -1 4202560 169 0 0 0 1481 4 0 0 20 0 19 0 255109885 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317313436264 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31282/stat : 31282 (java) S 31257 31259 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317312382584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31283/stat : 31283 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317311329928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31286/stat : 31286 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317310278672 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/31259/task/31287/stat : 31287 (java) S 31257 31259 25418 0 -1 4202560 11596 0 0 0 126 2 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317309225016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/31259/task/31288/stat : 31288 (java) S 31257 31259 25418 0 -1 4202560 10050 0 0 0 99 2 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317308172472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31289/stat : 31289 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317307120120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31259/task/31290/stat : 31290 (java) S 31257 31259 25418 0 -1 4202560 101 0 0 0 20 25 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317306067784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31296] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31296/stat : 31296 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109926 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317305013544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1790.8 s]
/proc/loadavg: 2.00 2.00 2.24 3/213 31881
/proc/meminfo: memFree=28176780/32873648 swapFree=6596/6596
[pid=31259] ppid=31257 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/31259/stat : 31259 (java) S 31257 31259 25418 0 -1 4202496 27642 0 1 0 179953 52 0 0 20 0 19 0 255109882 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140736303747840 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31259/statm: 2406244 44836 2279 9 0 2396937 0
[pid=31259/tid=31263] ppid=31257 vsize=9624976 CPUtime=1767.92 cores=1,3,5,7
/proc/31259/task/31263/stat : 31263 (java) R 31257 31259 25418 0 -1 4202560 3043 0 1 0 176763 29 0 0 20 0 19 0 255109883 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317960438112 140317806972996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/31259/task/31264/stat : 31264 (java) S 31257 31259 25418 0 -1 4202560 247 0 0 0 120 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317932890792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/31259/task/31265/stat : 31265 (java) S 31257 31259 25418 0 -1 4202560 419 0 0 0 124 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317931838248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/31259/task/31266/stat : 31266 (java) S 31257 31259 25418 0 -1 4202560 173 0 0 0 132 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317930785704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/31259/task/31268/stat : 31268 (java) S 31257 31259 25418 0 -1 4202560 83 0 0 0 122 3 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317929733160 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/31259/task/31269/stat : 31269 (java) S 31257 31259 25418 0 -1 4202560 153 0 0 0 119 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317928679592 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=9624976 CPUtime=1.29 cores=1,3,5,7
/proc/31259/task/31271/stat : 31271 (java) S 31257 31259 25418 0 -1 4202560 102 0 0 0 127 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317927627048 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/31259/task/31273/stat : 31273 (java) S 31257 31259 25418 0 -1 4202560 285 0 0 0 124 4 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317926574504 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/31259/task/31275/stat : 31275 (java) S 31257 31259 25418 0 -1 4202560 35 0 0 0 121 2 0 0 20 0 19 0 255109884 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317925521960 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=9624976 CPUtime=14.85 cores=1,3,5,7
/proc/31259/task/31280/stat : 31280 (java) S 31257 31259 25418 0 -1 4202560 169 0 0 0 1481 4 0 0 20 0 19 0 255109885 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317313436264 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31282/stat : 31282 (java) S 31257 31259 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317312382584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31283/stat : 31283 (java) S 31257 31259 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255109886 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317311329928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31286/stat : 31286 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317310278672 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=9624976 CPUtime=1.28 cores=1,3,5,7
/proc/31259/task/31287/stat : 31287 (java) S 31257 31259 25418 0 -1 4202560 11596 0 0 0 126 2 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317309225016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/31259/task/31288/stat : 31288 (java) S 31257 31259 25418 0 -1 4202560 10050 0 0 0 99 2 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317308172472 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31289/stat : 31289 (java) S 31257 31259 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317307120120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31259/task/31290/stat : 31290 (java) S 31257 31259 25418 0 -1 4202560 101 0 0 0 20 25 0 0 20 0 19 0 255109888 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317306067784 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31259/tid=31296] ppid=31257 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31259/task/31296/stat : 31296 (java) S 31257 31259 25418 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255109926 9855975424 44836 33554432000 1073741824 1073778376 140736303756704 140317305013544 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31259 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=979121
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=971852
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1790.85
CPU time (s): 1800.05
CPU user time (s): 1799.53
CPU system time (s): 0.52
CPU usage (%): 100.514
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 0.971852
maximum resident set size= 179472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27676
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53551
involuntary context switches= 35369

runsolver used 6.37003 second user time and 13.7749 second system time

The end

Launcher Data

Begin job on node148 at 2012-05-24 22:04:14
IDJOB=3689149
IDBENCH=72485
IDSOLVER=2269
FILE ID=node148/3689149-1337889854
RUNJOBID= node148-1337889854-31233
PBS_JOBID= 14620056
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689149-1337889854/watcher-3689149-1337889854 -o /tmp/evaluation-result-3689149-1337889854/solver-3689149-1337889854 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689149-1337889854.opb

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

MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e
RANDOM SEED=989422091

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29184460 kB
Buffers:          248908 kB
Cached:          2644688 kB
SwapCached:            0 kB
Active:           450776 kB
Inactive:        2453136 kB
Active(anon):      13156 kB
Inactive(anon):        0 kB
Active(file):     437620 kB
Inactive(file):  2453136 kB
Unevictable:        6596 kB
Mlocked:            6596 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               792 kB
Writeback:             0 kB
AnonPages:         17240 kB
Mapped:            13556 kB
Shmem:               200 kB
Slab:             646396 kB
SReclaimable:      90788 kB
SUnreclaim:       555608 kB
KernelStack:        1392 kB
PageTables:         4112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     105196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71696 MiB
End job on node148 at 2012-05-24 22:34:07