Trace number 4101229

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-23 1800.58 1795.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb
MD5SUM7ba66e72f7a10b492134dc7de6859631
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark242.948
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -19
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints48
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524372
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-4101229-1466221987.opb
0.07/0.12	c reading problem ... 
0.07/0.12	c  objective function found
0.24/0.23	c ... done. Wall clock time 0.104s.
0.24/0.23	c declared #vars     1440
0.24/0.23	c #constraints  68
0.24/0.23	c constraints type 
0.24/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 68
0.24/0.23	c 68 constraints processed.
0.24/0.23	c objective function length is 30 literals
1.07/0.65	c cleaning 2499 clauses out of 4998 with flag 11445/5000
1.58/1.06	c cleaning 4251 clauses out of 8501 with flag 24151/11002
2.08/1.59	c cleaning 5623 clauses out of 11248 with flag 38569/18000
2.99/2.48	c cleaning 6813 clauses out of 13625 with flag 55251/26000
3.58/2.91	c cleaning 7895 clauses out of 15812 with flag 76879/35000
4.39/3.70	c cleaning 8955 clauses out of 17917 with flag 100555/45000
5.29/4.65	c cleaning 9982 clauses out of 19963 with flag 127159/56001
6.39/5.72	c cleaning 10987 clauses out of 21981 with flag 155362/68001
6.39/5.78	c SATISFIABLE
6.39/5.78	c OPTIMIZING...
6.39/5.78	c Got one! Elapsed wall clock time (in seconds):5.66
6.39/5.78	o -3
6.58/5.94	c cleaning 8117 clauses out of 16240 with flag 8683/73249
6.93/6.21	c cleaning 7055 clauses out of 14119 with flag 21657/79249
7.56/6.66	c cleaning 7029 clauses out of 14064 with flag 36440/86249
8.21/6.95	c cleaning 7518 clauses out of 15038 with flag 54710/94254
9.13/7.52	c cleaning 8255 clauses out of 16514 with flag 74298/103250
9.96/7.95	c cleaning 9110 clauses out of 18260 with flag 96666/113252
10.36/8.32	c cleaning 10065 clauses out of 20146 with flag 121628/124250
10.76/8.80	c cleaning 11037 clauses out of 22080 with flag 150510/136249
11.36/9.33	c cleaning 12013 clauses out of 24041 with flag 179436/149249
11.97/9.96	c cleaning 13013 clauses out of 26029 with flag 211334/163250
13.07/11.04	c cleaning 14006 clauses out of 28016 with flag 252263/178250
13.46/11.43	c Got one! Elapsed wall clock time (in seconds):11.311
13.46/11.43	o -4
13.66/11.61	c cleaning 14915 clauses out of 29839 with flag 10628/194082
13.86/11.88	c cleaning 10454 clauses out of 20922 with flag 25359/200081
14.17/12.12	c cleaning 8733 clauses out of 17469 with flag 43783/207082
14.56/12.51	c cleaning 8361 clauses out of 16736 with flag 66106/215082
15.06/13.04	c cleaning 8676 clauses out of 17374 with flag 91196/224081
15.66/13.63	c cleaning 9346 clauses out of 18698 with flag 118851/234081
16.47/14.46	c cleaning 10170 clauses out of 20356 with flag 149802/245085
16.96/14.99	c cleaning 11091 clauses out of 22181 with flag 182529/257081
17.47/15.49	c cleaning 12040 clauses out of 24091 with flag 216145/270082
18.07/16.01	c cleaning 13020 clauses out of 26050 with flag 253326/284081
19.27/17.21	c cleaning 14015 clauses out of 28030 with flag 294594/299081
20.17/18.15	c cleaning 15002 clauses out of 30015 with flag 340832/315081
21.27/19.24	c cleaning 15990 clauses out of 32014 with flag 392618/332082
22.47/20.44	c cleaning 17000 clauses out of 34025 with flag 435432/350084
23.87/21.85	c cleaning 18008 clauses out of 36025 with flag 499011/369084
26.17/24.16	c cleaning 19005 clauses out of 38016 with flag 562126/389083
28.36/26.39	c cleaning 19997 clauses out of 40010 with flag 637648/410082
30.77/28.76	c cleaning 21004 clauses out of 42014 with flag 711254/432083
33.46/31.42	c cleaning 21991 clauses out of 44008 with flag 783285/455081
35.67/33.66	c cleaning 22999 clauses out of 46020 with flag 852242/479084
37.38/35.32	c cleaning 24004 clauses out of 48016 with flag 917687/504082
40.58/38.56	c cleaning 24997 clauses out of 50012 with flag 984596/530082
43.78/41.77	c cleaning 26004 clauses out of 52015 with flag 1062725/557082
46.40/44.38	c cleaning 26996 clauses out of 54010 with flag 1136641/585081
47.90/45.81	c Got one! Elapsed wall clock time (in seconds):45.69
47.90/45.81	o -5
48.11/46.05	c cleaning 23686 clauses out of 47376 with flag 13934/605444
48.42/46.36	c cleaning 14846 clauses out of 29691 with flag 29197/611445
48.81/46.74	c cleaning 10917 clauses out of 21844 with flag 44905/618444
49.11/47.00	c cleaning 9462 clauses out of 18926 with flag 61927/626444
49.31/47.27	c cleaning 9231 clauses out of 18463 with flag 87294/635445
49.61/47.58	c cleaning 9600 clauses out of 19230 with flag 117285/645443
49.81/47.74	c Got one! Elapsed wall clock time (in seconds):47.615
49.81/47.74	o -6
49.91/47.85	c cleaning 10359 clauses out of 20723 with flag 11208/656536
50.11/48.04	c cleaning 8177 clauses out of 16363 with flag 26385/662536
50.21/48.12	c Got one! Elapsed wall clock time (in seconds):47.994
50.21/48.12	o -7
50.21/48.16	c cleaning 6829 clauses out of 13668 with flag 4497/668018
50.41/48.39	c cleaning 6412 clauses out of 12840 with flag 19140/674019
50.71/48.65	c cleaning 6707 clauses out of 13428 with flag 41153/681019
51.01/48.91	c cleaning 7361 clauses out of 14722 with flag 62125/689020
51.01/48.96	c Got one! Elapsed wall clock time (in seconds):48.841
51.01/48.96	o -8
51.12/49.04	c cleaning 6346 clauses out of 12707 with flag 6981/694366
51.32/49.29	c cleaning 6177 clauses out of 12361 with flag 21313/700366
51.63/49.53	c cleaning 6591 clauses out of 13187 with flag 42642/707369
51.92/49.83	c cleaning 7296 clauses out of 14596 with flag 65582/715369
52.42/50.37	c cleaning 8146 clauses out of 16300 with flag 90136/724369
53.14/51.05	c cleaning 9074 clauses out of 18152 with flag 116024/734367
53.95/51.83	c cleaning 10039 clauses out of 20077 with flag 142380/745366
54.44/52.38	c cleaning 11009 clauses out of 22035 with flag 172398/757366
55.24/53.15	c cleaning 12002 clauses out of 24026 with flag 206242/770366
56.05/53.98	c cleaning 13007 clauses out of 26024 with flag 241030/784366
56.64/54.50	c cleaning 13998 clauses out of 28017 with flag 279292/799367
56.64/54.57	c Got one! Elapsed wall clock time (in seconds):54.444
56.64/54.57	o -9
56.77/54.69	c cleaning 9550 clauses out of 19105 with flag 6962/804453
57.07/54.94	c cleaning 7773 clauses out of 15555 with flag 24868/810453
57.28/55.18	c cleaning 7386 clauses out of 14782 with flag 44748/817453
57.67/55.53	c cleaning 7693 clauses out of 15396 with flag 65978/825453
58.17/56.02	c cleaning 8347 clauses out of 16703 with flag 91050/834454
58.47/56.31	c cleaning 9178 clauses out of 18355 with flag 115250/844453
58.87/56.78	c cleaning 10088 clauses out of 20177 with flag 143649/855455
59.38/57.26	c cleaning 11044 clauses out of 22091 with flag 180859/867457
59.67/57.54	c Got one! Elapsed wall clock time (in seconds):57.413
59.67/57.54	o -10
59.90/57.77	c cleaning 13675 clauses out of 27351 with flag 14862/883761
60.30/58.13	c cleaning 9832 clauses out of 19676 with flag 32964/889761
60.70/58.59	c cleaning 8419 clauses out of 16847 with flag 54769/896764
61.10/58.94	c cleaning 8205 clauses out of 16425 with flag 76540/904761
61.61/59.44	c cleaning 8603 clauses out of 17221 with flag 99224/913762
62.20/60.05	c cleaning 9304 clauses out of 18617 with flag 124746/923761
62.60/60.42	c cleaning 10152 clauses out of 20314 with flag 152298/934762
63.00/60.83	c cleaning 11078 clauses out of 22163 with flag 186034/946763
63.60/61.43	c cleaning 12035 clauses out of 24085 with flag 216247/959763
64.00/61.88	c cleaning 13014 clauses out of 26048 with flag 250749/973761
64.70/62.51	c cleaning 14013 clauses out of 28035 with flag 284135/988763
65.40/63.23	c cleaning 15001 clauses out of 30021 with flag 320273/1004762
66.70/64.52	c cleaning 16006 clauses out of 32019 with flag 369066/1021761
68.10/65.95	c cleaning 17002 clauses out of 34014 with flag 420206/1039762
68.50/66.38	c Got one! Elapsed wall clock time (in seconds):66.257
68.50/66.38	o -11
68.80/66.64	c cleaning 17289 clauses out of 34591 with flag 14427/1057341
69.10/66.98	c cleaning 11644 clauses out of 23301 with flag 33008/1063340
69.50/67.30	c cleaning 9325 clauses out of 18659 with flag 52219/1070342
69.80/67.68	c cleaning 8657 clauses out of 17333 with flag 74197/1078341
70.20/68.05	c cleaning 8828 clauses out of 17675 with flag 100832/1087340
70.70/68.53	c cleaning 9418 clauses out of 18849 with flag 133322/1097342
71.30/69.15	c cleaning 10211 clauses out of 20429 with flag 165571/1108340
71.70/69.57	c cleaning 11100 clauses out of 22218 with flag 199613/1120340
72.30/70.15	c cleaning 12052 clauses out of 24118 with flag 233562/1133340
73.50/71.34	c cleaning 13030 clauses out of 26066 with flag 271415/1147340
74.20/72.07	c cleaning 14014 clauses out of 28038 with flag 306182/1162342
74.80/72.69	c cleaning 15009 clauses out of 30024 with flag 345965/1178342
75.10/72.95	c Got one! Elapsed wall clock time (in seconds):72.826
75.10/72.95	o -12
75.30/73.18	c cleaning 13239 clauses out of 26492 with flag 13398/1189819
75.60/73.48	c cleaning 9625 clauses out of 19253 with flag 29777/1195819
75.90/73.76	c cleaning 8305 clauses out of 16626 with flag 50985/1202817
76.30/74.14	c cleaning 8154 clauses out of 16322 with flag 77802/1210818
76.70/74.54	c cleaning 8575 clauses out of 17168 with flag 104974/1219818
77.20/75.08	c cleaning 9291 clauses out of 18592 with flag 137568/1229817
77.60/75.40	c cleaning 10150 clauses out of 20302 with flag 163492/1240818
78.10/75.92	c cleaning 11072 clauses out of 22152 with flag 191994/1252818
78.40/76.26	c cleaning 12041 clauses out of 24082 with flag 221530/1265821
78.80/76.67	c cleaning 13012 clauses out of 26038 with flag 252311/1279818
80.10/77.97	c cleaning 14011 clauses out of 28026 with flag 283192/1294818
80.79/78.63	c cleaning 15000 clauses out of 30018 with flag 317741/1310821
81.42/79.30	c cleaning 16002 clauses out of 32014 with flag 354979/1327817
82.21/80.01	c cleaning 17005 clauses out of 34015 with flag 405892/1345820
82.81/80.65	c cleaning 17983 clauses out of 36006 with flag 455571/1364817
83.72/81.53	c cleaning 19007 clauses out of 38023 with flag 511963/1384817
84.72/82.56	c cleaning 20006 clauses out of 40016 with flag 569156/1405817
86.51/84.31	c cleaning 20999 clauses out of 42010 with flag 619401/1427817
87.31/85.18	c cleaning 22003 clauses out of 44014 with flag 681253/1450820
88.71/86.56	c cleaning 23000 clauses out of 46008 with flag 740829/1474818
89.71/87.57	c cleaning 23998 clauses out of 48007 with flag 802881/1499817
91.21/89.05	c cleaning 24993 clauses out of 50009 with flag 883350/1525817
92.52/90.34	c cleaning 26002 clauses out of 52016 with flag 943112/1552817
93.71/91.53	c cleaning 26998 clauses out of 54014 with flag 1010951/1580817
95.21/93.06	c cleaning 28005 clauses out of 56018 with flag 1080655/1609820
96.92/94.74	c cleaning 28990 clauses out of 58010 with flag 1167312/1639817
98.51/96.30	c cleaning 29999 clauses out of 60020 with flag 1247300/1670817
100.71/98.55	c cleaning 31000 clauses out of 62021 with flag 1332786/1702817
102.81/100.65	c cleaning 32005 clauses out of 64022 with flag 1430213/1735818
107.40/105.20	c cleaning 33002 clauses out of 66016 with flag 1521449/1769817
111.00/108.83	c cleaning 34005 clauses out of 68014 with flag 1625754/1804817
114.60/112.44	c cleaning 34990 clauses out of 70009 with flag 1731833/1840817
116.90/114.79	c cleaning 36006 clauses out of 72019 with flag 1831742/1877817
122.00/119.81	c cleaning 37001 clauses out of 74013 with flag 1951019/1915817
123.80/121.67	c cleaning 38000 clauses out of 76012 with flag 2047516/1954817
128.22/126.03	c cleaning 39000 clauses out of 78016 with flag 2169049/1994821
128.83/126.60	c Got one! Elapsed wall clock time (in seconds):126.481
128.83/126.60	o -13
129.02/126.83	c cleaning 28919 clauses out of 57845 with flag 13280/2013650
129.32/127.12	c cleaning 17459 clauses out of 34926 with flag 27960/2019650
129.62/127.46	c cleaning 12223 clauses out of 24467 with flag 46595/2026650
130.02/127.83	c cleaning 10112 clauses out of 20245 with flag 67302/2034651
130.42/128.29	c cleaning 9556 clauses out of 19134 with flag 89918/2043652
131.03/128.82	c cleaning 9780 clauses out of 19577 with flag 117044/2053651
131.52/129.35	c cleaning 10393 clauses out of 20799 with flag 148367/2064653
131.92/129.79	c cleaning 11196 clauses out of 22405 with flag 181787/2076652
132.32/130.17	c cleaning 12099 clauses out of 24211 with flag 214616/2089654
133.02/130.88	c cleaning 13041 clauses out of 26108 with flag 259152/2103650
133.92/131.74	c cleaning 14020 clauses out of 28067 with flag 306520/2118650
134.92/132.71	c cleaning 15017 clauses out of 30049 with flag 357717/2134652
136.32/134.17	c cleaning 16010 clauses out of 32035 with flag 408603/2151655
137.72/135.53	c cleaning 17000 clauses out of 34020 with flag 461501/2169650
138.02/135.85	c Got one! Elapsed wall clock time (in seconds):135.724
138.02/135.85	o -14
138.25/136.08	c cleaning 15245 clauses out of 30489 with flag 13861/2183119
138.55/136.34	c cleaning 10614 clauses out of 21244 with flag 30459/2189119
138.85/136.63	c cleaning 8809 clauses out of 17629 with flag 53287/2196118
139.15/136.94	c cleaning 8400 clauses out of 16820 with flag 81173/2204118
139.55/137.33	c cleaning 8704 clauses out of 17421 with flag 107753/2213119
139.86/137.69	c cleaning 9355 clauses out of 18718 with flag 133983/2223120
140.55/138.35	c cleaning 10169 clauses out of 20361 with flag 157032/2234118
141.25/139.05	c cleaning 11096 clauses out of 22197 with flag 182943/2246123
142.25/140.02	c cleaning 12037 clauses out of 24097 with flag 209948/2259119
143.35/141.12	c cleaning 13025 clauses out of 26061 with flag 239635/2273120
144.75/142.54	c cleaning 14012 clauses out of 28035 with flag 271468/2288119
146.25/144.00	c cleaning 15002 clauses out of 30022 with flag 306314/2304118
148.35/146.11	c cleaning 16002 clauses out of 32020 with flag 342017/2321118
150.25/148.08	c cleaning 17000 clauses out of 34018 with flag 380592/2339118
151.65/149.42	c cleaning 18005 clauses out of 36019 with flag 423752/2358119
153.15/150.92	c cleaning 19004 clauses out of 38014 with flag 468939/2378119
153.95/151.70	c cleaning 19995 clauses out of 40012 with flag 514373/2399121
154.75/152.54	c cleaning 20999 clauses out of 42017 with flag 566502/2421121
155.85/153.69	c cleaning 22007 clauses out of 44015 with flag 619208/2444118
157.05/154.81	c cleaning 22994 clauses out of 46008 with flag 684800/2468118
159.74/157.51	c cleaning 24004 clauses out of 48013 with flag 745648/2493118
161.54/159.39	c cleaning 24997 clauses out of 50010 with flag 823237/2519119
165.24/163.05	c cleaning 26005 clauses out of 52013 with flag 893417/2546119
169.55/167.39	c cleaning 26995 clauses out of 54008 with flag 988228/2574119
172.24/170.04	c cleaning 28002 clauses out of 56012 with flag 1076812/2603118
175.05/172.81	c cleaning 28998 clauses out of 58011 with flag 1173286/2633119
177.05/174.88	c cleaning 29993 clauses out of 60013 with flag 1243791/2664119
179.05/176.88	c cleaning 31005 clauses out of 62019 with flag 1316141/2696118
181.37/179.17	c cleaning 32002 clauses out of 64014 with flag 1394155/2729118
183.27/181.00	c cleaning 32990 clauses out of 66013 with flag 1491458/2763119
186.56/184.38	c cleaning 34006 clauses out of 68023 with flag 1603407/2798119
189.46/187.29	c cleaning 35005 clauses out of 70017 with flag 1704420/2834119
191.87/189.60	c cleaning 36000 clauses out of 72012 with flag 1801937/2871119
196.47/194.20	c cleaning 37005 clauses out of 74018 with flag 1918355/2909125
198.97/196.79	c cleaning 37997 clauses out of 76006 with flag 2018884/2948119
199.18/196.92	c Got one! Elapsed wall clock time (in seconds):196.797
199.18/196.92	o -15
199.18/197.00	c cleaning 21885 clauses out of 43785 with flag 2924/2953895
199.57/197.30	c cleaning 13943 clauses out of 27901 with flag 19423/2959896
199.87/197.60	c cleaning 10472 clauses out of 20958 with flag 37697/2966896
200.17/197.94	c cleaning 9235 clauses out of 18485 with flag 57937/2974895
200.57/198.39	c cleaning 9112 clauses out of 18251 with flag 87459/2983896
200.97/198.74	c cleaning 9561 clauses out of 19139 with flag 116411/2993896
201.57/199.38	c cleaning 10283 clauses out of 20577 with flag 146594/3004895
202.07/199.89	c cleaning 11141 clauses out of 22294 with flag 177973/3016895
203.17/200.98	c cleaning 12072 clauses out of 24155 with flag 205031/3029897
203.87/201.67	c cleaning 13033 clauses out of 26082 with flag 239644/3043896
204.87/202.62	c cleaning 14020 clauses out of 28050 with flag 288329/3058897
205.77/203.53	c cleaning 15012 clauses out of 30028 with flag 336611/3074895
206.57/204.38	c cleaning 16001 clauses out of 32019 with flag 377256/3091898
208.37/206.14	c cleaning 16999 clauses out of 34015 with flag 415800/3109895
209.57/207.34	c cleaning 18002 clauses out of 36018 with flag 457241/3128897
211.87/209.63	c cleaning 19007 clauses out of 38015 with flag 503884/3148896
213.47/211.24	c cleaning 20003 clauses out of 40008 with flag 552946/3169896
214.67/212.48	c cleaning 20994 clauses out of 42007 with flag 620106/3191898
215.67/213.49	c cleaning 21990 clauses out of 44010 with flag 679147/3214895
216.97/214.74	c cleaning 23007 clauses out of 46022 with flag 740828/3238897
217.57/215.37	c Got one! Elapsed wall clock time (in seconds):215.247
217.57/215.37	o -16
217.87/215.63	c cleaning 23024 clauses out of 46067 with flag 14971/3261949
218.07/215.85	c cleaning 14512 clauses out of 29043 with flag 33255/3267949
218.27/216.10	c cleaning 10751 clauses out of 21531 with flag 56323/3274949
218.67/216.40	c cleaning 9379 clauses out of 18780 with flag 80854/3282949
219.07/216.83	c cleaning 9198 clauses out of 18402 with flag 101810/3291950
219.36/217.14	c cleaning 9589 clauses out of 19204 with flag 125423/3301950
219.76/217.55	c cleaning 10296 clauses out of 20616 with flag 153611/3312951
220.26/218.07	c cleaning 11154 clauses out of 22320 with flag 182351/3324951
220.86/218.66	c cleaning 12076 clauses out of 24164 with flag 216183/3337949
221.76/219.52	c cleaning 13041 clauses out of 26088 with flag 261732/3351949
222.56/220.36	c cleaning 14021 clauses out of 28047 with flag 307160/3366949
223.16/220.97	c cleaning 15004 clauses out of 30027 with flag 342121/3382950
223.86/221.64	c cleaning 16009 clauses out of 32022 with flag 382546/3399949
224.60/222.33	c cleaning 17000 clauses out of 34013 with flag 426172/3417949
225.89/223.60	c cleaning 18003 clauses out of 36013 with flag 486960/3436949
226.59/224.36	c cleaning 18989 clauses out of 38010 with flag 536683/3456949
227.49/225.23	c cleaning 19997 clauses out of 40021 with flag 584742/3477949
228.29/226.05	c cleaning 21003 clauses out of 42024 with flag 636399/3499949
230.19/227.93	c cleaning 21996 clauses out of 44021 with flag 715512/3522949
232.09/229.90	c cleaning 22998 clauses out of 46026 with flag 790072/3546950
233.89/231.67	c cleaning 24006 clauses out of 48027 with flag 856296/3571949
237.49/235.30	c cleaning 25004 clauses out of 50025 with flag 944533/3597953
241.09/238.86	c cleaning 26004 clauses out of 52018 with flag 1033564/3624950
242.69/240.49	c cleaning 26998 clauses out of 54013 with flag 1112756/3652949
245.39/243.13	c cleaning 27996 clauses out of 56015 with flag 1173681/3681949
247.28/245.01	c cleaning 29006 clauses out of 58018 with flag 1241310/3711949
250.68/248.46	c cleaning 29995 clauses out of 60012 with flag 1315995/3742949
253.88/251.62	c cleaning 31006 clauses out of 62018 with flag 1386612/3774950
257.18/254.93	c cleaning 31994 clauses out of 64011 with flag 1483189/3807949
257.88/255.61	c Got one! Elapsed wall clock time (in seconds):255.485
257.88/255.61	o -17
258.08/255.88	c cleaning 27036 clauses out of 54083 with flag 14580/3830015
258.38/256.19	c cleaning 16519 clauses out of 33047 with flag 28981/3836015
258.78/256.51	c cleaning 11759 clauses out of 23529 with flag 46795/3843016
259.08/256.87	c cleaning 9875 clauses out of 19768 with flag 67688/3851014
259.58/257.32	c cleaning 9439 clauses out of 18894 with flag 91041/3860015
260.08/257.88	c cleaning 9722 clauses out of 19454 with flag 117641/3870014
260.79/258.59	c cleaning 10367 clauses out of 20736 with flag 147305/3881018
261.68/259.41	c cleaning 11175 clauses out of 22366 with flag 180096/3893015
262.28/260.09	c cleaning 12090 clauses out of 24192 with flag 213699/3906016
262.99/260.79	c cleaning 13043 clauses out of 26100 with flag 243904/3920014
264.38/262.15	c cleaning 14020 clauses out of 28058 with flag 280818/3935015
265.68/263.45	c cleaning 15008 clauses out of 30037 with flag 322021/3951014
267.28/265.00	c cleaning 16010 clauses out of 32029 with flag 366033/3968014
268.08/265.82	c cleaning 17001 clauses out of 34021 with flag 416577/3986016
269.28/267.02	c cleaning 18003 clauses out of 36020 with flag 476633/4005016
270.98/268.76	c cleaning 18997 clauses out of 38015 with flag 537976/4025014
272.88/270.61	c cleaning 20002 clauses out of 40019 with flag 602820/4046015
274.48/272.20	c cleaning 20998 clauses out of 42016 with flag 668327/4068014
276.19/273.96	c cleaning 22002 clauses out of 44018 with flag 716789/4091014
279.22/276.98	c cleaning 23005 clauses out of 46017 with flag 767732/4115015
280.72/278.42	c cleaning 24000 clauses out of 48011 with flag 836530/4140014
281.82/279.57	c cleaning 24995 clauses out of 50014 with flag 902302/4166017
283.11/280.81	c cleaning 26000 clauses out of 52019 with flag 969570/4193017
284.61/282.33	c cleaning 27004 clauses out of 54016 with flag 1047163/4221014
287.41/285.17	c cleaning 28001 clauses out of 56014 with flag 1127029/4250016
288.61/286.33	c cleaning 28996 clauses out of 58012 with flag 1196316/4280015
290.41/288.16	c cleaning 30004 clauses out of 60015 with flag 1289486/4311014
292.82/290.52	c cleaning 30997 clauses out of 62013 with flag 1388311/4343016
295.61/293.39	c cleaning 31996 clauses out of 64014 with flag 1483657/4376014
299.61/297.31	c cleaning 33004 clauses out of 66018 with flag 1585154/4410014
302.41/300.17	c cleaning 34002 clauses out of 68015 with flag 1665696/4445015
305.01/302.76	c cleaning 34999 clauses out of 70012 with flag 1772770/4481014
308.22/305.91	c cleaning 36007 clauses out of 72015 with flag 1876101/4518016
311.01/308.76	c cleaning 36994 clauses out of 74006 with flag 1972658/4556014
313.91/311.69	c cleaning 37999 clauses out of 76012 with flag 2074135/4595014
315.81/313.53	c cleaning 38999 clauses out of 78013 with flag 2170670/4635014
318.21/315.95	c cleaning 40004 clauses out of 80016 with flag 2276428/4676016
322.70/320.50	c cleaning 40996 clauses out of 82010 with flag 2382988/4718014
325.50/323.23	c cleaning 42002 clauses out of 84015 with flag 2490152/4761015
330.16/327.88	c cleaning 43006 clauses out of 86013 with flag 2626646/4805015
333.46/331.20	c cleaning 44002 clauses out of 88012 with flag 2750070/4850020
336.86/334.52	c cleaning 44990 clauses out of 90008 with flag 2877811/4896018
341.65/339.31	c cleaning 45997 clauses out of 92014 with flag 3019151/4943014
345.25/342.94	c cleaning 46995 clauses out of 94017 with flag 3156496/4991014
348.35/346.04	c cleaning 48008 clauses out of 96022 with flag 3281878/5040014
348.75/346.42	c Got one! Elapsed wall clock time (in seconds):346.296
348.75/346.42	o -19
349.35/347.08	c cleaning 32186 clauses out of 64381 with flag 13717/5056381
349.85/347.50	c cleaning 19084 clauses out of 38192 with flag 30340/5062378
350.15/347.88	c cleaning 13045 clauses out of 26108 with flag 49473/5069378
350.55/348.27	c cleaning 10523 clauses out of 21067 with flag 70826/5077382
350.95/348.69	c cleaning 9763 clauses out of 19540 with flag 93606/5086378
351.45/349.10	c cleaning 9875 clauses out of 19777 with flag 120709/5096378
351.95/349.60	c cleaning 10449 clauses out of 20903 with flag 148120/5107379
352.55/350.24	c cleaning 11220 clauses out of 22453 with flag 180754/5119378
353.45/351.19	c cleaning 12113 clauses out of 24233 with flag 221122/5132378
354.55/352.30	c cleaning 13057 clauses out of 26122 with flag 262384/5146380
355.85/353.53	c cleaning 14027 clauses out of 28063 with flag 305515/5161378
357.45/355.11	c cleaning 15017 clauses out of 30037 with flag 348683/5177379
359.05/356.78	c cleaning 16006 clauses out of 32020 with flag 396627/5194379
360.75/358.42	c cleaning 17003 clauses out of 34014 with flag 446767/5212379
362.45/360.13	c cleaning 18004 clauses out of 36013 with flag 501255/5231381
364.65/362.33	c cleaning 19000 clauses out of 38006 with flag 548940/5251378
366.85/364.59	c cleaning 20000 clauses out of 40006 with flag 607765/5272378
369.65/367.31	c cleaning 20999 clauses out of 42007 with flag 673125/5294379
373.06/370.71	c cleaning 22000 clauses out of 44007 with flag 739344/5317378
376.46/374.11	c cleaning 23001 clauses out of 46007 with flag 809143/5341378
380.45/378.10	c cleaning 23998 clauses out of 48006 with flag 881951/5366378
384.55/382.28	c cleaning 25003 clauses out of 50009 with flag 958216/5392379
389.15/386.86	c cleaning 25999 clauses out of 52005 with flag 1033947/5419378
391.25/388.98	c cleaning 26997 clauses out of 54006 with flag 1116905/5447378
393.65/391.34	c cleaning 28002 clauses out of 56009 with flag 1208734/5476378
396.75/394.49	c cleaning 28995 clauses out of 58007 with flag 1325708/5506378
401.02/398.66	c cleaning 30003 clauses out of 60012 with flag 1405357/5537378
406.23/403.83	c cleaning 31003 clauses out of 62010 with flag 1491091/5569379
412.22/409.81	c cleaning 31998 clauses out of 64008 with flag 1587514/5602380
418.02/415.67	c cleaning 32998 clauses out of 66008 with flag 1679350/5636378
424.22/421.80	c cleaning 34001 clauses out of 68010 with flag 1782387/5671378
426.62/424.21	c cleaning 35002 clauses out of 70009 with flag 1888705/5707378
429.02/426.63	c cleaning 35997 clauses out of 72008 with flag 1983642/5744379
432.82/430.44	c cleaning 36999 clauses out of 74010 with flag 2095489/5782378
436.32/433.99	c cleaning 37996 clauses out of 76011 with flag 2183304/5821378
442.42/440.08	c cleaning 39004 clauses out of 78016 with flag 2271234/5861379
445.02/442.68	c cleaning 40000 clauses out of 80011 with flag 2383126/5902378
449.32/446.97	c cleaning 41001 clauses out of 82012 with flag 2491521/5944379
453.02/450.70	c cleaning 41993 clauses out of 84010 with flag 2629257/5987378
455.82/453.41	c cleaning 43009 clauses out of 86022 with flag 2739814/6031383
458.72/456.31	c cleaning 43999 clauses out of 88008 with flag 2855516/6076378
462.82/460.40	c cleaning 44992 clauses out of 90009 with flag 2955751/6122378
466.22/463.89	c cleaning 46010 clauses out of 92019 with flag 3095595/6169380
470.01/467.58	c cleaning 46995 clauses out of 94008 with flag 3235408/6217379
473.71/471.27	c cleaning 48007 clauses out of 96019 with flag 3373353/6266385
473.81/471.33	c Got one! Elapsed wall clock time (in seconds):471.203
473.81/471.33	o -20
474.11/471.63	c cleaning 26631 clauses out of 53273 with flag 10744/6271646
474.41/471.99	c cleaning 16317 clauses out of 32644 with flag 29392/6277648
474.81/472.37	c cleaning 11652 clauses out of 23324 with flag 50511/6284645
475.21/472.78	c cleaning 9830 clauses out of 19672 with flag 72365/6292645
475.71/473.25	c cleaning 9413 clauses out of 18843 with flag 98337/6301646
476.31/473.84	c cleaning 9711 clauses out of 19429 with flag 124745/6311645
477.01/474.50	c cleaning 10355 clauses out of 20718 with flag 152082/6322645
477.82/475.35	c cleaning 11180 clauses out of 22364 with flag 185149/6334646
478.31/475.84	c cleaning 12087 clauses out of 24183 with flag 224776/6347645
479.21/476.76	c cleaning 13040 clauses out of 26098 with flag 268173/6361647
480.21/477.71	c cleaning 14028 clauses out of 28056 with flag 313201/6376645
480.81/478.31	c cleaning 15014 clauses out of 30031 with flag 349989/6392648
481.81/479.37	c cleaning 16004 clauses out of 32014 with flag 397661/6409645
482.81/480.37	c cleaning 16998 clauses out of 34010 with flag 452443/6427645
483.71/481.21	c cleaning 18003 clauses out of 36015 with flag 494079/6446648
484.51/482.02	c cleaning 18989 clauses out of 38009 with flag 541657/6466645
486.11/483.62	c cleaning 20007 clauses out of 40020 with flag 593575/6487645
488.01/485.58	c cleaning 21002 clauses out of 42013 with flag 652125/6509645
490.61/488.13	c cleaning 21999 clauses out of 44013 with flag 713764/6532647
493.01/490.57	c cleaning 22998 clauses out of 46012 with flag 778063/6556645
494.71/492.24	c cleaning 23999 clauses out of 48014 with flag 846556/6581645
496.51/494.02	c cleaning 25003 clauses out of 50018 with flag 926652/6607648
497.91/495.45	c cleaning 26001 clauses out of 52012 with flag 995010/6634645
499.31/496.80	c cleaning 26993 clauses out of 54011 with flag 1070482/6662645
500.91/498.43	c cleaning 28007 clauses out of 56019 with flag 1152991/6691646
504.00/501.59	c cleaning 29007 clauses out of 58015 with flag 1244121/6721649
506.60/504.11	c cleaning 29996 clauses out of 60004 with flag 1335824/6752645
510.60/508.20	c cleaning 31001 clauses out of 62012 with flag 1419624/6784649
513.50/511.03	c cleaning 31994 clauses out of 64007 with flag 1508240/6817645
516.17/513.69	c cleaning 33005 clauses out of 66014 with flag 1601535/6851646
520.17/517.60	c cleaning 33992 clauses out of 68010 with flag 1697111/6886647
525.47/522.95	c cleaning 34999 clauses out of 70020 with flag 1798076/6922649
530.47/528.00	c cleaning 36001 clauses out of 72017 with flag 1902438/6959645
534.17/531.64	c cleaning 37001 clauses out of 74019 with flag 2007999/6997648
536.97/534.42	c cleaning 38010 clauses out of 76021 with flag 2115093/7036651
539.48/536.97	c cleaning 38994 clauses out of 78007 with flag 2226377/7076647
544.17/541.62	c cleaning 39985 clauses out of 80011 with flag 2336176/7117645
551.77/549.21	c cleaning 40997 clauses out of 82027 with flag 2451347/7159646
557.17/554.65	c cleaning 42009 clauses out of 84029 with flag 2569121/7202645
562.47/559.99	c cleaning 43009 clauses out of 86021 with flag 2682862/7246646
565.77/563.21	c cleaning 44004 clauses out of 88012 with flag 2799169/7291647
569.57/567.05	c cleaning 45002 clauses out of 90009 with flag 2935792/7337648
576.87/574.31	c cleaning 45992 clauses out of 92004 with flag 3088395/7384645
581.27/578.76	c cleaning 46998 clauses out of 94012 with flag 3234437/7432645
586.88/584.30	c cleaning 48001 clauses out of 96015 with flag 3367993/7481646
595.78/593.18	c cleaning 49002 clauses out of 98016 with flag 3478152/7531648
607.18/604.59	c cleaning 49997 clauses out of 100013 with flag 3588764/7582647
611.58/608.98	c cleaning 51003 clauses out of 102014 with flag 3728034/7634645
614.97/612.30	c cleaning 51995 clauses out of 104012 with flag 3866303/7687646
619.88/617.24	c cleaning 53005 clauses out of 106018 with flag 4002936/7741647
630.97/628.34	c cleaning 54008 clauses out of 108015 with flag 4160535/7796649
642.27/639.67	c cleaning 55002 clauses out of 110004 with flag 4316368/7852646
654.37/651.74	c cleaning 55995 clauses out of 112002 with flag 4476675/7909646
659.77/657.15	c cleaning 56999 clauses out of 114006 with flag 4627384/7967645
666.37/663.74	c cleaning 57997 clauses out of 116007 with flag 4776498/8026646
671.86/669.27	c cleaning 58999 clauses out of 118009 with flag 4953647/8086645
679.48/676.78	c cleaning 59997 clauses out of 120010 with flag 5096474/8147645
686.68/683.96	c cleaning 61001 clauses out of 122013 with flag 5266686/8209645
698.98/696.20	c cleaning 62000 clauses out of 124013 with flag 5454122/8272646
712.08/709.39	c cleaning 62998 clauses out of 126013 with flag 5662518/8336646
717.97/715.25	c cleaning 64001 clauses out of 128016 with flag 5860438/8401647
720.47/717.79	c Got one! Elapsed wall clock time (in seconds):717.663
720.47/717.79	o -21
720.97/718.28	c cleaning 50730 clauses out of 101472 with flag 14426/8439104
721.37/718.67	c cleaning 28358 clauses out of 56741 with flag 30238/8445103
721.67/718.95	c cleaning 17685 clauses out of 35385 with flag 50241/8452105
722.07/719.30	c cleaning 12845 clauses out of 25698 with flag 72811/8460103
722.47/719.74	c cleaning 10919 clauses out of 21853 with flag 97773/8469103
723.07/720.34	c cleaning 10461 clauses out of 20935 with flag 125430/8479104
723.87/721.12	c cleaning 10734 clauses out of 21474 with flag 154664/8490104
724.77/722.04	c cleaning 11368 clauses out of 22739 with flag 189585/8502103
725.87/723.10	c cleaning 12184 clauses out of 24371 with flag 224545/8515103
726.37/723.64	c cleaning 13085 clauses out of 26188 with flag 264127/8529104
727.37/724.64	c cleaning 14046 clauses out of 28104 with flag 305787/8544105
728.07/725.37	c cleaning 15020 clauses out of 30057 with flag 352780/8560104
728.67/726.00	c cleaning 16016 clauses out of 32041 with flag 398317/8577108
729.47/726.75	c cleaning 17004 clauses out of 34020 with flag 440422/8595103
730.07/727.31	c cleaning 18008 clauses out of 36016 with flag 487271/8614103
730.87/728.16	c cleaning 19000 clauses out of 38009 with flag 534515/8634104
732.57/729.85	c cleaning 19999 clauses out of 40008 with flag 589811/8655103
733.47/730.72	c cleaning 21003 clauses out of 42009 with flag 650011/8677103
734.51/731.64	c cleaning 22001 clauses out of 44006 with flag 708833/8700103
736.20/733.31	c cleaning 22994 clauses out of 46006 with flag 760152/8724104
739.70/736.83	c cleaning 23998 clauses out of 48011 with flag 816756/8749103
743.20/740.35	c cleaning 24997 clauses out of 50014 with flag 875277/8775104
745.29/742.44	c cleaning 26003 clauses out of 52016 with flag 955289/8802103
747.79/745.00	c cleaning 27005 clauses out of 54015 with flag 1033278/8830105
749.19/746.34	c cleaning 27992 clauses out of 56009 with flag 1107458/8859104
751.09/748.23	c cleaning 29003 clauses out of 58019 with flag 1192031/8889106
752.69/749.84	c cleaning 30004 clauses out of 60014 with flag 1275434/8920104
754.39/751.55	c cleaning 31001 clauses out of 62009 with flag 1359605/8952103
757.09/754.23	c cleaning 32002 clauses out of 64010 with flag 1432514/8985105
759.29/756.46	c cleaning 32989 clauses out of 66007 with flag 1522067/9019104
761.29/758.48	c cleaning 34004 clauses out of 68021 with flag 1614162/9054107
764.49/761.62	c cleaning 35005 clauses out of 70013 with flag 1721858/9090103
767.39/764.55	c cleaning 36006 clauses out of 72013 with flag 1836128/9127108
769.99/767.10	c cleaning 36996 clauses out of 74002 with flag 1934643/9165103
772.28/769.43	c cleaning 37997 clauses out of 76008 with flag 2028978/9204105
775.20/772.31	c cleaning 39000 clauses out of 78009 with flag 2124083/9244103
781.69/778.90	c cleaning 39999 clauses out of 80009 with flag 2239173/9285103
786.11/783.10	c cleaning 41001 clauses out of 82012 with flag 2356045/9327105
793.01/790.01	c cleaning 41995 clauses out of 84009 with flag 2509025/9370103
795.71/792.79	c cleaning 43001 clauses out of 86015 with flag 2623746/9414104
799.21/796.27	c cleaning 44006 clauses out of 88018 with flag 2749749/9459108
802.00/799.08	c cleaning 44994 clauses out of 90007 with flag 2869014/9505103
804.10/801.13	c Got one! Elapsed wall clock time (in seconds):801.012
804.10/801.13	o -22
804.50/801.55	c cleaning 42163 clauses out of 84339 with flag 13876/9544429
804.91/801.91	c cleaning 24079 clauses out of 48177 with flag 30905/9550430
805.20/802.23	c cleaning 15538 clauses out of 31098 with flag 48662/9557430
805.50/802.59	c cleaning 11770 clauses out of 23559 with flag 71176/9565429
806.11/803.12	c cleaning 10384 clauses out of 20789 with flag 96887/9574429
806.70/803.70	c cleaning 10192 clauses out of 20405 with flag 125296/9584429
807.22/804.27	c cleaning 10589 clauses out of 21213 with flag 153439/9595429
807.71/804.80	c cleaning 11307 clauses out of 22624 with flag 181866/9607429
808.41/805.48	c cleaning 12151 clauses out of 24317 with flag 216270/9620429
809.21/806.28	c cleaning 13082 clauses out of 26168 with flag 254443/9634431
809.91/806.98	c cleaning 14039 clauses out of 28084 with flag 298225/9649429
810.71/807.79	c cleaning 15020 clauses out of 30046 with flag 342456/9665430
812.31/809.37	c cleaning 16010 clauses out of 32025 with flag 377537/9682429
813.21/810.24	c cleaning 17000 clauses out of 34015 with flag 425745/9700429
814.71/811.70	c cleaning 18008 clauses out of 36015 with flag 483758/9719429
815.61/812.70	c cleaning 18999 clauses out of 38006 with flag 532415/9739429
817.91/814.99	c cleaning 19999 clauses out of 40007 with flag 587756/9760429
819.41/816.40	c cleaning 21000 clauses out of 42009 with flag 644941/9782430
820.71/817.71	c cleaning 21991 clauses out of 44008 with flag 695438/9805429
822.79/819.80	c cleaning 23001 clauses out of 46018 with flag 745887/9829430
825.29/822.27	c cleaning 23995 clauses out of 48016 with flag 798688/9854429
828.20/825.15	c cleaning 25002 clauses out of 50021 with flag 852134/9880429
829.39/826.32	c cleaning 26002 clauses out of 52020 with flag 914326/9907430
831.19/828.15	c cleaning 27007 clauses out of 54017 with flag 992979/9935429
833.49/830.42	c cleaning 27993 clauses out of 56010 with flag 1064956/9964429
837.99/835.00	c cleaning 29002 clauses out of 58017 with flag 1128268/9994429
842.39/839.40	c cleaning 29997 clauses out of 60016 with flag 1206185/10025430
845.99/842.93	c cleaning 31002 clauses out of 62019 with flag 1293653/10057430
847.90/844.85	c cleaning 32001 clauses out of 64019 with flag 1382313/10090432
850.89/847.80	c cleaning 33007 clauses out of 66017 with flag 1481334/10124431
852.99/849.96	c cleaning 33994 clauses out of 68008 with flag 1577743/10159429
855.49/852.46	c cleaning 34998 clauses out of 70014 with flag 1680200/10195429
859.79/856.73	c cleaning 36008 clauses out of 72018 with flag 1784431/10232431
864.58/861.59	c cleaning 36994 clauses out of 74011 with flag 1891057/10270432
868.48/865.42	c cleaning 38000 clauses out of 76015 with flag 2007288/10309430
874.57/871.45	c cleaning 39003 clauses out of 78014 with flag 2137369/10349429
881.26/878.15	c cleaning 40002 clauses out of 80012 with flag 2259863/10390430
885.36/882.24	c cleaning 40998 clauses out of 82010 with flag 2378822/10432430
888.26/885.11	c cleaning 41994 clauses out of 84012 with flag 2490341/10475430
891.16/888.04	c cleaning 42993 clauses out of 86017 with flag 2594202/10519429
895.27/892.15	c cleaning 44007 clauses out of 88024 with flag 2730280/10564429
899.56/896.47	c cleaning 45005 clauses out of 90017 with flag 2862713/10610429
903.76/900.65	c cleaning 46000 clauses out of 92012 with flag 3001597/10657430
912.25/909.10	c cleaning 47003 clauses out of 94014 with flag 3162815/10705432
920.45/917.31	c cleaning 48002 clauses out of 96012 with flag 3315298/10754433
930.16/927.05	c cleaning 48999 clauses out of 98006 with flag 3471127/10804429
940.55/937.48	c cleaning 49999 clauses out of 100007 with flag 3635482/10855429
952.15/949.07	c cleaning 51000 clauses out of 102009 with flag 3810950/10907430
966.14/962.92	c cleaning 51996 clauses out of 104008 with flag 3967380/10960429
982.43/979.25	c cleaning 53002 clauses out of 106012 with flag 4112338/11014429
989.33/986.14	c cleaning 53990 clauses out of 108009 with flag 4248813/11069429
995.53/992.38	c cleaning 55007 clauses out of 110021 with flag 4421361/11125431
1001.53/998.40	c cleaning 56002 clauses out of 112012 with flag 4593040/11182429
1013.82/1010.63	c cleaning 56999 clauses out of 114012 with flag 4743806/11240431
1020.22/1017.01	c cleaning 58002 clauses out of 116013 with flag 4901514/11299431
1036.82/1033.69	c cleaning 59002 clauses out of 118010 with flag 5028351/11359430
1055.62/1052.45	c cleaning 60001 clauses out of 120007 with flag 5160047/11420429
1062.12/1058.94	c cleaning 60998 clauses out of 122008 with flag 5331389/11482431
1067.02/1063.73	c cleaning 61993 clauses out of 124008 with flag 5490895/11545429
1073.42/1070.19	c cleaning 62998 clauses out of 126015 with flag 5645559/11609429
1084.21/1080.92	c cleaning 64002 clauses out of 128018 with flag 5825013/11674430
1097.31/1094.08	c cleaning 65004 clauses out of 130018 with flag 6008358/11740432
1111.71/1108.41	c cleaning 66001 clauses out of 132012 with flag 6201355/11807430
1117.31/1114.03	c cleaning 66989 clauses out of 134010 with flag 6383878/11875429
1124.31/1121.01	c cleaning 68004 clauses out of 136023 with flag 6564784/11944431
1134.01/1130.79	c cleaning 69003 clauses out of 138021 with flag 6787728/12014433
1149.83/1146.44	c cleaning 70001 clauses out of 140016 with flag 7019147/12085431
1161.83/1158.46	c cleaning 71003 clauses out of 142016 with flag 7230701/12157432
1174.13/1170.70	c cleaning 71997 clauses out of 144011 with flag 7433151/12230430
1199.32/1195.94	c cleaning 72998 clauses out of 146013 with flag 7630316/12304429
1207.93/1204.54	c cleaning 73994 clauses out of 148015 with flag 7833852/12379429
1224.72/1221.38	c cleaning 75002 clauses out of 150021 with flag 7999959/12455429
1231.22/1227.86	c cleaning 75997 clauses out of 152019 with flag 8197052/12532429
1242.91/1239.33	c cleaning 77000 clauses out of 154022 with flag 8417317/12610429
1251.90/1248.35	c cleaning 78006 clauses out of 156023 with flag 8635368/12689430
1260.50/1256.93	c cleaning 79003 clauses out of 158015 with flag 8870965/12769429
1271.10/1267.53	c cleaning 79998 clauses out of 160012 with flag 9091442/12850429
1281.70/1278.15	c cleaning 81001 clauses out of 162014 with flag 9318067/12932429
1288.80/1285.22	c cleaning 81999 clauses out of 164013 with flag 9549279/13015429
1300.11/1296.50	c cleaning 83002 clauses out of 166015 with flag 9792394/13099430
1310.51/1306.85	c cleaning 84000 clauses out of 168012 with flag 10022337/13184429
1324.01/1320.32	c cleaning 84998 clauses out of 170012 with flag 10318402/13270429
1338.11/1334.48	c cleaning 85996 clauses out of 172014 with flag 10569093/13357429
1368.02/1364.33	c cleaning 86998 clauses out of 174018 with flag 10760709/13445429
1397.12/1393.45	c cleaning 88000 clauses out of 176021 with flag 10952396/13534430
1428.72/1424.96	c cleaning 88997 clauses out of 178020 with flag 11144352/13624429
1439.33/1435.54	c cleaning 90012 clauses out of 180023 with flag 11410836/13715429
1451.43/1447.69	c cleaning 91000 clauses out of 182013 with flag 11656576/13807431
1461.83/1458.06	c cleaning 91999 clauses out of 184011 with flag 11905810/13900429
1476.22/1472.49	c cleaning 92999 clauses out of 186012 with flag 12188271/13994429
1508.03/1504.16	c cleaning 94004 clauses out of 188013 with flag 12507475/14089429
1518.94/1515.07	c cleaning 95003 clauses out of 190009 with flag 12746693/14185429
1532.14/1528.26	c cleaning 95997 clauses out of 192007 with flag 13034640/14282430
1542.74/1538.85	c cleaning 97000 clauses out of 194009 with flag 13306857/14380429
1555.93/1551.91	c cleaning 97994 clauses out of 196009 with flag 13586329/14479429
1565.33/1561.36	c cleaning 99000 clauses out of 198017 with flag 13844566/14579431
1580.94/1576.91	c cleaning 99999 clauses out of 200018 with flag 14120231/14680432
1590.44/1586.45	c Got one! Elapsed wall clock time (in seconds):1586.329
1590.44/1586.45	o -23
1591.75/1587.76	c cleaning 96295 clauses out of 192603 with flag 12870/14773016
1592.55/1588.51	c cleaning 51142 clauses out of 102306 with flag 30563/14779014
1593.05/1589.00	c cleaning 29072 clauses out of 58165 with flag 51665/14786015
1593.45/1589.47	c cleaning 18540 clauses out of 37092 with flag 75278/14794014
1593.95/1589.96	c cleaning 13765 clauses out of 27552 with flag 101020/14803014
1594.35/1590.30	c cleaning 11886 clauses out of 23787 with flag 129384/14813014
1594.84/1590.85	c cleaning 11437 clauses out of 22901 with flag 155021/14824014
1595.55/1591.51	c cleaning 11723 clauses out of 23466 with flag 182849/14836016
1596.44/1592.42	c cleaning 12365 clauses out of 24741 with flag 210681/14849014
1597.65/1593.64	c cleaning 13183 clauses out of 26376 with flag 240467/14863014
1598.66/1594.52	c cleaning 14090 clauses out of 28194 with flag 273705/14878015
1599.36/1595.22	c cleaning 15045 clauses out of 30103 with flag 308662/14894014
1600.86/1596.74	c cleaning 16029 clauses out of 32060 with flag 349711/14911016
1602.36/1598.25	c cleaning 17011 clauses out of 34031 with flag 391179/14929016
1603.36/1599.27	c cleaning 18003 clauses out of 36018 with flag 434458/14948014
1605.77/1601.69	c cleaning 19000 clauses out of 38015 with flag 476287/14968014
1608.26/1604.16	c cleaning 19999 clauses out of 40015 with flag 521585/14989014
1610.76/1606.69	c cleaning 20999 clauses out of 42016 with flag 568717/15011014
1613.76/1609.63	c cleaning 21997 clauses out of 44017 with flag 617549/15034014
1615.77/1611.65	c cleaning 23001 clauses out of 46020 with flag 681361/15058014
1617.87/1613.77	c cleaning 23990 clauses out of 48022 with flag 758490/15083017
1619.26/1615.11	c cleaning 25009 clauses out of 50030 with flag 826578/15109015
1620.76/1616.61	c cleaning 26002 clauses out of 52020 with flag 902245/15136014
1623.96/1619.82	c cleaning 27001 clauses out of 54018 with flag 974083/15164014
1626.16/1622.04	c cleaning 27997 clauses out of 56017 with flag 1054115/15193014
1628.36/1624.28	c cleaning 29011 clauses out of 58023 with flag 1126543/15223017
1630.66/1626.58	c cleaning 30002 clauses out of 60016 with flag 1203660/15254021
1634.66/1630.50	c cleaning 31000 clauses out of 62007 with flag 1275615/15286014
1637.16/1633.00	c cleaning 32003 clauses out of 64008 with flag 1365822/15319015
1641.51/1637.32	c cleaning 32991 clauses out of 66004 with flag 1462727/15353014
1643.21/1639.04	c cleaning 34001 clauses out of 68013 with flag 1550499/15388014
1647.10/1642.99	c cleaning 34998 clauses out of 70014 with flag 1627021/15424016
1649.60/1645.40	c cleaning 36003 clauses out of 72016 with flag 1731934/15461016
1651.60/1647.45	c cleaning 36999 clauses out of 74013 with flag 1826803/15499016
1654.50/1650.32	c cleaning 37997 clauses out of 76012 with flag 1936961/15538014
1659.00/1654.87	c cleaning 39002 clauses out of 78018 with flag 2044322/15578017
1665.10/1660.91	c cleaning 40000 clauses out of 80014 with flag 2156656/15619015
1672.70/1668.52	c cleaning 41003 clauses out of 82013 with flag 2283064/15661014
1677.50/1673.39	c cleaning 42000 clauses out of 84010 with flag 2382403/15704014
1681.40/1677.14	c cleaning 42998 clauses out of 86011 with flag 2499187/15748015
1687.10/1682.90	c cleaning 43999 clauses out of 88017 with flag 2632336/15793019
1690.70/1686.43	c cleaning 44999 clauses out of 90013 with flag 2754983/15839014
1693.69/1689.45	c cleaning 46000 clauses out of 92014 with flag 2876709/15886014
1699.29/1695.04	c cleaning 46999 clauses out of 94017 with flag 3024687/15934017
1703.59/1699.34	c cleaning 48004 clauses out of 96017 with flag 3177334/15983016
1707.39/1703.15	c cleaning 48999 clauses out of 98011 with flag 3313885/16033014
1715.69/1711.42	c cleaning 50004 clauses out of 100013 with flag 3444277/16084015
1720.49/1716.26	c cleaning 50993 clauses out of 102009 with flag 3590039/16136015
1728.26/1723.95	c cleaning 51996 clauses out of 104015 with flag 3743468/16189014
1731.06/1726.74	c cleaning 53002 clauses out of 106019 with flag 3885130/16243014
1736.06/1731.77	c cleaning 54008 clauses out of 108020 with flag 4051040/16298017
1739.86/1735.56	c cleaning 55000 clauses out of 110011 with flag 4209416/16354016
1743.96/1739.66	c cleaning 55996 clauses out of 112009 with flag 4376871/16411014
1748.75/1744.40	c cleaning 56995 clauses out of 114017 with flag 4537979/16469018
1753.95/1749.63	c cleaning 58002 clauses out of 116018 with flag 4706965/16528014
1760.23/1755.89	c cleaning 59004 clauses out of 118016 with flag 4859563/16588014
1772.63/1768.26	c cleaning 60000 clauses out of 120012 with flag 5003024/16649014
1790.03/1785.64	c cleaning 61002 clauses out of 122014 with flag 5137369/16711016
1798.12/1793.71	c cleaning 61992 clauses out of 124011 with flag 5283014/16774015
1800.01/1795.60	c starts		: 35453
1800.01/1795.60	c conflicts		: 16798766
1800.01/1795.60	c decisions		: 22850124
1800.01/1795.60	c propagations		: 202649911
1800.01/1795.60	c inspects		: 40216003626
1800.01/1795.60	c shortcuts		: 0
1800.01/1795.60	c learnt literals	: 52
1800.01/1795.60	c learnt binary clauses	: 75
1800.01/1795.60	c learnt ternary clauses	: 130
1800.01/1795.60	c learnt constraints	: 16798714
1800.01/1795.60	c ignored constraints	: 0
1800.01/1795.60	c root simplifications	: 0
1800.01/1795.60	c removed literals (reason simplification)	: 0
1800.01/1795.60	c reason swapping (by a shorter reason)	: 0
1800.01/1795.60	c Calls to reduceDB	: 583
1800.01/1795.60	c Number of update (reduction) of LBD	: 1843764
1800.01/1795.60	c Imported unit clauses	: 0
1800.01/1795.60	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.60	c number of learned constraints concerned by reduction	: 0
1800.01/1795.60	c number of learning phase by resolution	: 0
1800.01/1795.60	c number of learning phase by cutting planes	: 0
1800.01/1795.60	c speed (assignments/second)	: 112873.55705311046
1800.01/1795.60	c non guided choices	417126
1800.01/1795.63	c learnt constraints type 
1800.01/1795.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 75
1800.01/1795.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 86695
1800.01/1795.63	s SATISFIABLE
1800.01/1795.63	c Found 20 solution(s)
1800.01/1795.63	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 x39 x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 -x64 x65 x66 x67 x68 x69 -x70 -x71 x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132 x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 x184 x185 x186 -x187 -x188 x189 x190 -x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 x216 x217 x218 -x219 x220 x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 x273 x274 x275 x276 x277 -x278 -x279 x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 x393 x394 -x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 x424 -x425 -x426 -x427 -x428 x429 x430 -x431 x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 x455 x456 x457 x458 -x459 x460 x461 x462 -x463 x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 -x515 -x516 -x517 x518 x519 x520 x521 -x522 -x523 -x524 x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 x546 -x547 x548 -x549 -x550 -x551 x552 x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 x603 -x604 x605 -x606 x607 x608 -x609 x610 x611 x612 x613 x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 x642 -x643 x644 x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 x760 x761 x762 -x763 x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 -x784 x785 -x786 -x787 -x788 -x789 x790 x791 -x792 x793 x794 x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 x814 -x815 -x816 x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 x844 -x845 -x846 x847 x848 -x849 x850 x851 x852 x853 x854 x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 x904 -x905 -x906 -x907 x908 x909 x910 -x911 x912 x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 -x935 x936 x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 x969 -x970 x971 -x972 x973 -x974 -x975 x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 x1083 -x1084 x1085 x1086 x1087 x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 x1113 x1114 x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 x1125 x1126 x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 x1240 x1241 x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 x1264 x1265 -x1266 -x1267 -x1268 x1269 -x1270 x1271 -x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 -x1294 x1295 x1296 x1297 x1298 -x1299 x1300 x1301 -x1302 x1303 -x1304 x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 -x1332 x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 
1800.01/1795.64	c objective function=-23
1800.01/1795.64	c Total wall clock time (in seconds): 1795.514

Verifier Data 

OK	-23

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101229-1466221987/watcher-4101229-1466221987 -o /tmp/evaluation-result-4101229-1466221987/solver-4101229-1466221987 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25994 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101229-1466221987.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.22 2.19 2/194 28952
/proc/meminfo: memFree=30252144/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/28952/stat : 28952 (java) D 28949 28952 25977 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 24247299 2560000 46 33554432000 1073741824 1073778376 140734821930192 140734821927320 272877317415 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/28952/statm: 625 46 37 9 0 29 0

[startup+0.100059 s]
/proc/loadavg: 2.28 2.22 2.19 2/194 28952
/proc/meminfo: memFree=30252144/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 4296 0 1 0 7 0 0 0 20 0 18 0 24247299 9787879424 5425 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2389619 5427 2093 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 2.28 2.22 2.19 2/194 28952
/proc/meminfo: memFree=30252144/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 4820 0 1 0 23 1 0 0 20 0 18 0 24247299 9787879424 6844 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2389619 6844 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300236 s]
/proc/loadavg: 2.28 2.22 2.19 2/194 28952
/proc/meminfo: memFree=30252144/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 10236 0 1 0 52 2 0 0 20 0 19 0 24247299 9856040960 11163 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 11163 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700298 s]
/proc/loadavg: 2.28 2.22 2.19 2/194 28952
/proc/meminfo: memFree=30252144/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 10605 0 1 0 118 2 0 0 20 0 19 0 24247299 9856040960 11721 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 11721 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.33 2.23 2.19 3/213 28971
/proc/meminfo: memFree=30212512/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 10614 0 1 0 206 2 0 0 20 0 19 0 24247299 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 12240 2257 9 0 2396937 0
[pid=28952/tid=28954] ppid=28949 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/28952/task/28954/stat : 28954 (java) R 28949 28952 25977 0 -1 4202560 2427 0 1 0 144 2 0 0 20 0 19 0 24247301 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614898278904 140614763594546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28955] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28955/stat : 28955 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614887341096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28956] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28956/stat : 28956 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614886288296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28957] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28957/stat : 28957 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614885235496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28958] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28958/stat : 28958 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614884182696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28959] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28959/stat : 28959 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614883129896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28960] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28960/stat : 28960 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614882077096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28961] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28961/stat : 28961 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614735444264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28962] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28962/stat : 28962 (java) S 28949 28952 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614734391464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28963] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28963/stat : 28963 (java) S 28949 28952 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24247303 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614722194408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28964] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28964/stat : 28964 (java) S 28949 28952 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614721140472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28965] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28965/stat : 28965 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614720087560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28966] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28966/stat : 28966 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614719036048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28967] ppid=28949 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/28952/task/28967/stat : 28967 (java) S 28949 28952 25977 0 -1 4202560 3891 0 0 0 31 0 0 0 20 0 19 0 24247306 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614717983160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28968] ppid=28949 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/28952/task/28968/stat : 28968 (java) S 28949 28952 25977 0 -1 4202560 3024 0 0 0 29 0 0 0 20 0 19 0 24247306 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614716930360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28969] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28969/stat : 28969 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614715877752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28970] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28970/stat : 28970 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614714825160 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28971] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28971/stat : 28971 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247323 9856040960 12240 33554432000 1073741824 1073778376 140734922874736 140614712784552 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.33 2.23 2.19 3/213 28971
/proc/meminfo: memFree=30210092/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 10921 0 1 0 376 3 0 0 20 0 19 0 24247299 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 13778 2258 9 0 2396937 0
[pid=28952/tid=28954] ppid=28949 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/28952/task/28954/stat : 28954 (java) R 28949 28952 25977 0 -1 4202560 2430 0 1 0 304 2 0 0 20 0 19 0 24247301 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614898276800 140614763630712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28955] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28955/stat : 28955 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614887341096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28956] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28956/stat : 28956 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614886288296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28957] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28957/stat : 28957 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614885235496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28958] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28958/stat : 28958 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614884182696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28959] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28959/stat : 28959 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614883129896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28960] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28960/stat : 28960 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614882077096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28961] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28961/stat : 28961 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614735444264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28962] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28962/stat : 28962 (java) S 28949 28952 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614734391464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28963] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28963/stat : 28963 (java) S 28949 28952 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24247303 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614722194408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28964] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28964/stat : 28964 (java) S 28949 28952 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614721140472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28965] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28965/stat : 28965 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614720087560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28966] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28966/stat : 28966 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614719036048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28967] ppid=28949 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28952/task/28967/stat : 28967 (java) S 28949 28952 25977 0 -1 4202560 3892 0 0 0 34 0 0 0 20 0 19 0 24247306 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614717983160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28968] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28968/stat : 28968 (java) S 28949 28952 25977 0 -1 4202560 3327 0 0 0 36 0 0 0 20 0 19 0 24247306 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614716930360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28969] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28969/stat : 28969 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614715877752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28970] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28970/stat : 28970 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614714825160 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28971] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28971/stat : 28971 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247323 9856040960 13778 33554432000 1073741824 1073778376 140734922874736 140614712784552 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.31 2.23 2.19 3/213 28971
/proc/meminfo: memFree=30197600/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=7.14 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 15475 0 1 0 710 4 0 0 20 0 19 0 24247299 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 19333 2262 9 0 2396937 0
[pid=28952/tid=28954] ppid=28949 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/28952/task/28954/stat : 28954 (java) R 28949 28952 25977 0 -1 4202560 2439 0 1 0 623 2 0 0 20 0 19 0 24247301 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614898278632 140614763507653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28955] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28955/stat : 28955 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614887341096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28956] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28956/stat : 28956 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614886288296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28957] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28957/stat : 28957 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614885235496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28958] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28958/stat : 28958 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614884182696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28959] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28959/stat : 28959 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614883129896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28960] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28960/stat : 28960 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614882077096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28961] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28961/stat : 28961 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614735444264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28962] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28962/stat : 28962 (java) S 28949 28952 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24247302 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614734391464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28963] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28963/stat : 28963 (java) S 28949 28952 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24247303 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614722194408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28964] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28964/stat : 28964 (java) S 28949 28952 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614721140472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28965] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28965/stat : 28965 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614720087560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28966] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28966/stat : 28966 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614719036048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28967] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28967/stat : 28967 (java) S 28949 28952 25977 0 -1 4202560 3905 0 0 0 36 0 0 0 20 0 19 0 24247306 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614717983160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28968] ppid=28949 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/28952/task/28968/stat : 28968 (java) R 28949 28952 25977 0 -1 4202560 7858 0 0 0 48 2 0 0 20 0 19 0 24247306 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614716917928 140614901184600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28969] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28969/stat : 28969 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614715877752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28970] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28970/stat : 28970 (java) S 28949 28952 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614714825160 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28971] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28971/stat : 28971 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247323 9856040960 19333 33554432000 1073741824 1073778376 140734922874736 140614712784552 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9625040


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

[pid=28952/tid=28964] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28964/stat : 28964 (java) S 28949 28952 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614721140472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28965] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28965/stat : 28965 (java) S 28949 28952 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614720087560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28966] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28966/stat : 28966 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614719036048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28967] ppid=28949 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/28952/task/28967/stat : 28967 (java) S 28949 28952 25977 0 -1 4202560 4135 0 0 0 67 0 0 0 20 0 19 0 24247306 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614717983160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28968] ppid=28949 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/28952/task/28968/stat : 28968 (java) S 28949 28952 25977 0 -1 4202560 12691 0 0 0 155 3 0 0 20 0 19 0 24247306 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614716930360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28969] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28969/stat : 28969 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614715877752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28970] ppid=28949 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/28952/task/28970/stat : 28970 (java) S 28949 28952 25977 0 -1 4202560 96 0 0 0 9 20 0 0 20 0 19 0 24247306 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614714825160 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28971] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28971/stat : 28971 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247323 9856040960 105890 33554432000 1073741824 1073778376 140734922874736 140614712784552 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.5
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.21 2.25 2.23 3/213 29103
/proc/meminfo: memFree=29631780/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=1726.66 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 22319 0 1 0 172605 61 0 0 20 0 19 0 24247299 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 104640 2285 9 0 2396937 0
[pid=28952/tid=28954] ppid=28949 vsize=9625040 CPUtime=1721.2 cores=1,3,5,7
/proc/28952/task/28954/stat : 28954 (java) R 28949 28952 25977 0 -1 4202560 2526 0 1 0 172087 33 0 0 20 0 19 0 24247301 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614898277616 140614763839843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28955] ppid=28949 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/28952/task/28955/stat : 28955 (java) S 28949 28952 25977 0 -1 4202560 185 0 0 0 29 3 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614887341096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28956] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28956/stat : 28956 (java) S 28949 28952 25977 0 -1 4202560 234 0 0 0 32 4 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614886288296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28957] ppid=28949 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/28952/task/28957/stat : 28957 (java) S 28949 28952 25977 0 -1 4202560 166 0 0 0 34 4 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614885235496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28958] ppid=28949 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/28952/task/28958/stat : 28958 (java) S 28949 28952 25977 0 -1 4202560 150 0 0 0 39 4 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614884182696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28959] ppid=28949 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/28952/task/28959/stat : 28959 (java) S 28949 28952 25977 0 -1 4202560 258 0 0 0 40 4 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614883129896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28960] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28960/stat : 28960 (java) S 28949 28952 25977 0 -1 4202560 93 0 0 0 32 4 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614882077096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28961] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28961/stat : 28961 (java) S 28949 28952 25977 0 -1 4202560 220 0 0 0 33 3 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614735444264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28962] ppid=28949 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/28952/task/28962/stat : 28962 (java) S 28949 28952 25977 0 -1 4202560 204 0 0 0 32 3 0 0 20 0 19 0 24247302 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614734391464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28963] ppid=28949 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/28952/task/28963/stat : 28963 (java) S 28949 28952 25977 0 -1 4202560 99 0 0 0 7 2 0 0 20 0 19 0 24247303 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614722194408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28964] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28964/stat : 28964 (java) S 28949 28952 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614721140472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28965] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28965/stat : 28965 (java) S 28949 28952 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614720087560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28966] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28966/stat : 28966 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614719036048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28967] ppid=28949 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/28952/task/28967/stat : 28967 (java) S 28949 28952 25977 0 -1 4202560 4135 0 0 0 67 0 0 0 20 0 19 0 24247306 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614717983160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28968] ppid=28949 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/28952/task/28968/stat : 28968 (java) S 28949 28952 25977 0 -1 4202560 12691 0 0 0 155 3 0 0 20 0 19 0 24247306 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614716930360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28969] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28969/stat : 28969 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614715877752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28970] ppid=28949 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/28952/task/28970/stat : 28970 (java) S 28949 28952 25977 0 -1 4202560 100 0 0 0 9 21 0 0 20 0 19 0 24247306 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614714825160 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28971] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28971/stat : 28971 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247323 9856040960 104640 33554432000 1073741824 1073778376 140734922874736 140614712784552 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.66
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.23 2.25 2.22 3/213 29104
/proc/meminfo: memFree=29630476/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=1786.73 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 22326 0 1 0 178611 62 0 0 20 0 19 0 24247299 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 103870 2285 9 0 2396937 0
[pid=28952/tid=28954] ppid=28949 vsize=9625040 CPUtime=1781.17 cores=1,3,5,7
/proc/28952/task/28954/stat : 28954 (java) R 28949 28952 25977 0 -1 4202560 2527 0 1 0 178083 34 0 0 20 0 19 0 24247301 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614898269920 140614763594508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28955] ppid=28949 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28952/task/28955/stat : 28955 (java) S 28949 28952 25977 0 -1 4202560 185 0 0 0 31 3 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614887341096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28956] ppid=28949 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/28952/task/28956/stat : 28956 (java) S 28949 28952 25977 0 -1 4202560 234 0 0 0 33 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614886288296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28957] ppid=28949 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/28952/task/28957/stat : 28957 (java) S 28949 28952 25977 0 -1 4202560 166 0 0 0 36 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614885235496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28958] ppid=28949 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/28952/task/28958/stat : 28958 (java) S 28949 28952 25977 0 -1 4202560 150 0 0 0 39 5 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614884182696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28959] ppid=28949 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/28952/task/28959/stat : 28959 (java) S 28949 28952 25977 0 -1 4202560 258 0 0 0 42 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614883129896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28960] ppid=28949 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/28952/task/28960/stat : 28960 (java) S 28949 28952 25977 0 -1 4202560 93 0 0 0 33 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614882077096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28961] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28961/stat : 28961 (java) S 28949 28952 25977 0 -1 4202560 220 0 0 0 33 3 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614735444264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28962] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28962/stat : 28962 (java) S 28949 28952 25977 0 -1 4202560 204 0 0 0 33 3 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614734391464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28963] ppid=28949 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/28952/task/28963/stat : 28963 (java) S 28949 28952 25977 0 -1 4202560 101 0 0 0 7 2 0 0 20 0 19 0 24247303 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614722194408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28964] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28964/stat : 28964 (java) S 28949 28952 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614721140472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28965] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28965/stat : 28965 (java) S 28949 28952 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614720087560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28966] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28966/stat : 28966 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614719036048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28967] ppid=28949 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/28952/task/28967/stat : 28967 (java) S 28949 28952 25977 0 -1 4202560 4135 0 0 0 67 0 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614717983160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28968] ppid=28949 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/28952/task/28968/stat : 28968 (java) S 28949 28952 25977 0 -1 4202560 12691 0 0 0 155 3 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614716930360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28969] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28969/stat : 28969 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614715877752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28970] ppid=28949 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/28952/task/28970/stat : 28970 (java) S 28949 28952 25977 0 -1 4202560 104 0 0 0 10 21 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614714825160 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28971] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28971/stat : 28971 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247323 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614712784552 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.73
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.19 2.24 2.22 4/213 29104
/proc/meminfo: memFree=29630600/32872528 swapFree=1244176/1391344
[pid=28952] ppid=28949 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/28952/stat : 28952 (java) S 28949 28952 25977 0 -1 4202496 22326 0 1 0 179939 62 0 0 20 0 19 0 24247299 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140734922865872 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28952/statm: 2406260 103870 2285 9 0 2396937 0
[pid=28952/tid=28954] ppid=28949 vsize=9625040 CPUtime=1794.46 cores=1,3,5,7
/proc/28952/task/28954/stat : 28954 (java) R 28949 28952 25977 0 -1 4202560 2527 0 1 0 179412 34 0 0 20 0 19 0 24247301 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614898269920 140614763648250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28955] ppid=28949 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/28952/task/28955/stat : 28955 (java) S 28949 28952 25977 0 -1 4202560 185 0 0 0 31 3 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614887341096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28956] ppid=28949 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/28952/task/28956/stat : 28956 (java) S 28949 28952 25977 0 -1 4202560 234 0 0 0 33 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614886288296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28957] ppid=28949 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/28952/task/28957/stat : 28957 (java) S 28949 28952 25977 0 -1 4202560 166 0 0 0 36 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614885235496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28958] ppid=28949 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/28952/task/28958/stat : 28958 (java) S 28949 28952 25977 0 -1 4202560 150 0 0 0 39 5 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614884182696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28959] ppid=28949 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/28952/task/28959/stat : 28959 (java) S 28949 28952 25977 0 -1 4202560 258 0 0 0 42 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614883129896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28960] ppid=28949 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/28952/task/28960/stat : 28960 (java) S 28949 28952 25977 0 -1 4202560 93 0 0 0 33 4 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614882077096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28961] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28961/stat : 28961 (java) S 28949 28952 25977 0 -1 4202560 220 0 0 0 33 3 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614735444264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28962] ppid=28949 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/28952/task/28962/stat : 28962 (java) S 28949 28952 25977 0 -1 4202560 204 0 0 0 33 3 0 0 20 0 19 0 24247302 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614734391464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28952/tid=28963] ppid=28949 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/28952/task/28963/stat : 28963 (java) S 28949 28952 25977 0 -1 4202560 101 0 0 0 7 2 0 0 20 0 19 0 24247303 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614722194408 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28964] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28964/stat : 28964 (java) S 28949 28952 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614721140472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28965] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28965/stat : 28965 (java) S 28949 28952 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24247304 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614720087560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28966] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28966/stat : 28966 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614719036048 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28952/tid=28967] ppid=28949 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/28952/task/28967/stat : 28967 (java) S 28949 28952 25977 0 -1 4202560 4135 0 0 0 67 0 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614717983160 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28968] ppid=28949 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/28952/task/28968/stat : 28968 (java) S 28949 28952 25977 0 -1 4202560 12691 0 0 0 155 3 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614716930360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28969] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28969/stat : 28969 (java) S 28949 28952 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614715877752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28952/tid=28970] ppid=28949 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/28952/task/28970/stat : 28970 (java) S 28949 28952 25977 0 -1 4202560 104 0 0 0 10 21 0 0 20 0 19 0 24247306 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614714825160 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28952/tid=28971] ppid=28949 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28952/task/28971/stat : 28971 (java) S 28949 28952 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24247323 9856040960 103870 33554432000 1073741824 1073778376 140734922874736 140614712784552 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1795.66
CPU time (s): 1800.58
CPU user time (s): 1799.54
CPU system time (s): 1.04084
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 9626936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 1.04084
maximum resident set size= 536900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22374
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38803
involuntary context switches= 26325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.99248 second user time and 13.073 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-18 05:53:07
IDJOB=4101229
IDBENCH=1716
IDSOLVER=2546
FILE ID=node119/4101229-1466221987
RUNJOBID= node119-1466206086-25994
PBS_JOBID= 19918158
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101229-1466221987/watcher-4101229-1466221987 -o /tmp/evaluation-result-4101229-1466221987/solver-4101229-1466221987 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25994 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101229-1466221987.opb

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

MD5SUM BENCH= 7ba66e72f7a10b492134dc7de6859631
RANDOM SEED=213709423

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30252788 kB
Buffers:          100672 kB
Cached:            91944 kB
SwapCached:          956 kB
Active:           355496 kB
Inactive:         137004 kB
Active(anon):     300776 kB
Inactive(anon):     1732 kB
Active(file):      54720 kB
Inactive(file):   135272 kB
Unevictable:     1391344 kB
Mlocked:         1244176 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:       1694424 kB
Mapped:            15280 kB
Shmem:                 0 kB
Slab:             598092 kB
SReclaimable:      41928 kB
SUnreclaim:       556164 kB
KernelStack:        1600 kB
PageTables:         7692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2014864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    434176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2016-06-18 06:23:02