Trace number 4105597

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.02 1798.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
MD5SUM8206de06d2228a9d751f3cf3a6d7aa05
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5104
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4105597-1466262719.opb
0.10/0.10	c reading problem ... 
0.10/0.11	c  objective function found
0.10/0.15	c ... done. Wall clock time 0.047s.
0.10/0.15	c declared #vars     172
0.10/0.15	c #constraints  14
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.10/0.15	c 14 constraints processed.
0.10/0.15	c objective function length is 112 literals
0.50/0.33	c SATISFIABLE
0.50/0.33	c OPTIMIZING...
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.229
0.50/0.33	o 306
0.83/0.68	c cleaning 2831 clauses out of 5681 with flag 8429/5681
1.55/1.23	c Got one! Elapsed wall clock time (in seconds):1.121
1.55/1.23	o 169
1.55/1.29	c Got one! Elapsed wall clock time (in seconds):1.18
1.55/1.29	o 168
1.74/1.37	c Got one! Elapsed wall clock time (in seconds):1.266
1.74/1.37	o 162
1.74/1.39	c Got one! Elapsed wall clock time (in seconds):1.286
1.74/1.39	o 160
2.16/1.75	c Got one! Elapsed wall clock time (in seconds):1.65
2.16/1.75	o 159
2.27/1.85	c Got one! Elapsed wall clock time (in seconds):1.746
2.27/1.85	o 146
2.27/1.87	c Got one! Elapsed wall clock time (in seconds):1.766
2.27/1.87	o 145
2.37/1.96	c Got one! Elapsed wall clock time (in seconds):1.853
2.37/1.96	o 142
2.68/2.21	c cleaning 8541 clauses out of 17081 with flag 4434/19912
2.68/2.25	c Got one! Elapsed wall clock time (in seconds):2.147
2.68/2.25	o 141
2.68/2.26	c Got one! Elapsed wall clock time (in seconds):2.158
2.68/2.26	o 139
2.79/2.32	c Got one! Elapsed wall clock time (in seconds):2.212
2.79/2.32	o 138
2.79/2.34	c Got one! Elapsed wall clock time (in seconds):2.236
2.79/2.34	o 134
2.79/2.36	c Got one! Elapsed wall clock time (in seconds):2.258
2.79/2.36	o 132
2.91/2.40	c Got one! Elapsed wall clock time (in seconds):2.296
2.91/2.40	o 130
2.91/2.44	c Got one! Elapsed wall clock time (in seconds):2.335
2.91/2.44	o 129
2.91/2.47	c Got one! Elapsed wall clock time (in seconds):2.37
2.91/2.47	o 128
2.91/2.49	c Got one! Elapsed wall clock time (in seconds):2.385
2.91/2.49	o 123
3.10/2.51	c Got one! Elapsed wall clock time (in seconds):2.407
3.10/2.51	o 121
3.10/2.54	c Got one! Elapsed wall clock time (in seconds):2.438
3.10/2.54	o 115
3.10/2.55	c Got one! Elapsed wall clock time (in seconds):2.448
3.10/2.55	o 113
3.20/2.60	c Got one! Elapsed wall clock time (in seconds):2.493
3.20/2.60	o 112
3.20/2.62	c Got one! Elapsed wall clock time (in seconds):2.513
3.20/2.62	o 111
3.20/2.66	c Got one! Elapsed wall clock time (in seconds):2.553
3.20/2.66	o 109
3.31/2.72	c Got one! Elapsed wall clock time (in seconds):2.616
3.31/2.72	o 108
3.45/2.82	c Got one! Elapsed wall clock time (in seconds):2.714
3.45/2.82	o 106
3.55/2.97	c Got one! Elapsed wall clock time (in seconds):2.869
3.55/2.97	o 103
3.65/3.09	c Got one! Elapsed wall clock time (in seconds):2.988
3.65/3.09	o 102
3.85/3.22	c Got one! Elapsed wall clock time (in seconds):3.116
3.85/3.22	o 101
3.96/3.35	c Got one! Elapsed wall clock time (in seconds):3.241
3.96/3.35	o 100
4.06/3.49	c Got one! Elapsed wall clock time (in seconds):3.389
4.06/3.49	o 96
4.36/3.73	c Got one! Elapsed wall clock time (in seconds):3.626
4.36/3.73	o 95
4.46/3.87	c cleaning 12007 clauses out of 24014 with flag 2614/35386
4.58/3.93	c Got one! Elapsed wall clock time (in seconds):3.829
4.58/3.93	o 94
4.69/4.05	c Got one! Elapsed wall clock time (in seconds):3.944
4.69/4.05	o 93
4.78/4.14	c Got one! Elapsed wall clock time (in seconds):4.03
4.78/4.14	o 91
5.09/4.47	c cleaning 8956 clauses out of 17927 with flag 7594/41306
5.50/4.80	c Got one! Elapsed wall clock time (in seconds):4.693
5.50/4.80	o 89
5.60/4.92	c cleaning 7120 clauses out of 14244 with flag 2342/46579
5.60/4.94	c Got one! Elapsed wall clock time (in seconds):4.839
5.60/4.94	o 87
5.60/4.96	c Got one! Elapsed wall clock time (in seconds):4.86
5.60/4.96	o 85
6.11/5.40	c cleaning 6444 clauses out of 12898 with flag 11682/52353
6.22/5.51	c Got one! Elapsed wall clock time (in seconds):5.408
6.22/5.51	o 84
6.22/5.56	c Got one! Elapsed wall clock time (in seconds):5.456
6.22/5.56	o 83
6.61/5.94	c cleaning 6376 clauses out of 12764 with flag 9680/58663
7.12/6.47	c cleaning 6187 clauses out of 12389 with flag 26295/64664
7.71/7.08	c cleaning 6594 clauses out of 13203 with flag 45520/71665
8.52/7.88	c cleaning 7295 clauses out of 14609 with flag 65436/79665
9.42/8.71	c Got one! Elapsed wall clock time (in seconds):8.607
9.42/8.71	o 82
10.12/9.48	c cleaning 10064 clauses out of 20131 with flag 12515/92482
10.72/10.07	c cleaning 8029 clauses out of 16065 with flag 26193/98480
11.42/10.75	c cleaning 7512 clauses out of 15037 with flag 42319/105481
12.12/11.41	c Got one! Elapsed wall clock time (in seconds):11.302
12.12/11.41	o 80
12.12/11.43	c Got one! Elapsed wall clock time (in seconds):11.324
12.12/11.43	o 78
12.23/11.58	c Got one! Elapsed wall clock time (in seconds):11.472
12.23/11.58	o 77
12.84/12.14	c Got one! Elapsed wall clock time (in seconds):12.037
12.84/12.14	o 75
13.03/12.32	c Got one! Elapsed wall clock time (in seconds):12.212
13.03/12.32	o 74
13.23/12.52	c cleaning 10771 clauses out of 21553 with flag 2316/119509
13.63/12.93	c Got one! Elapsed wall clock time (in seconds):12.821
13.63/12.93	o 72
13.83/13.15	c Got one! Elapsed wall clock time (in seconds):13.048
13.83/13.15	o 70
14.04/13.31	c cleaning 8489 clauses out of 16993 with flag 2448/125720
14.63/13.98	c cleaning 7243 clauses out of 14507 with flag 16210/131723
15.33/14.66	c cleaning 7111 clauses out of 14262 with flag 32705/138721
15.73/15.10	c Got one! Elapsed wall clock time (in seconds):14.991
15.73/15.10	o 69
15.95/15.23	c cleaning 6402 clauses out of 12822 with flag 2360/144392
16.65/15.92	c cleaning 6202 clauses out of 12420 with flag 17119/150392
17.36/16.69	c cleaning 6602 clauses out of 13215 with flag 32887/157389
18.25/17.60	c cleaning 7299 clauses out of 14612 with flag 51379/165388
19.35/18.67	c cleaning 8151 clauses out of 16312 with flag 72297/174387
19.46/18.77	c Got one! Elapsed wall clock time (in seconds):18.669
19.46/18.77	o 67
19.65/18.95	c Got one! Elapsed wall clock time (in seconds):18.842
19.65/18.95	o 65
20.05/19.31	c cleaning 7129 clauses out of 14269 with flag 6684/180495
20.66/19.90	c cleaning 6561 clauses out of 13143 with flag 20237/186498
21.35/20.65	c cleaning 6784 clauses out of 13585 with flag 35515/193501
22.05/21.39	c cleaning 7398 clauses out of 14798 with flag 52739/201498
23.15/22.43	c cleaning 8196 clauses out of 16400 with flag 72158/210498
24.25/23.52	c cleaning 9100 clauses out of 18203 with flag 93556/220497
25.56/24.81	c cleaning 10048 clauses out of 20101 with flag 117459/231495
26.96/26.28	c cleaning 11018 clauses out of 22054 with flag 144092/243496
28.56/27.85	c cleaning 12008 clauses out of 24035 with flag 173006/256495
28.76/28.03	c Got one! Elapsed wall clock time (in seconds):27.927
28.76/28.03	o 64
29.36/28.64	c cleaning 8929 clauses out of 17874 with flag 9354/262342
30.06/29.37	c cleaning 7462 clauses out of 14941 with flag 22229/268338
30.86/30.16	c cleaning 7223 clauses out of 14482 with flag 37202/275341
31.16/30.45	c Got one! Elapsed wall clock time (in seconds):30.346
31.16/30.45	o 62
31.36/30.67	c cleaning 6388 clauses out of 12792 with flag 4339/280874
31.86/31.11	c cleaning 6187 clauses out of 12399 with flag 17324/286869
32.16/31.42	c Got one! Elapsed wall clock time (in seconds):31.314
32.16/31.42	o 61
32.26/31.52	c cleaning 6081 clauses out of 12172 with flag 2126/292829
32.26/31.53	c Got one! Elapsed wall clock time (in seconds):31.423
32.26/31.53	o 59
32.76/32.04	c cleaning 5556 clauses out of 11143 with flag 11203/297881
33.36/32.61	c cleaning 5786 clauses out of 11581 with flag 23946/303875
34.05/33.34	c cleaning 6398 clauses out of 12795 with flag 38716/310875
34.96/34.22	c cleaning 7197 clauses out of 14398 with flag 55845/318876
35.75/35.08	c cleaning 8099 clauses out of 16201 with flag 74955/327876
36.85/36.13	c cleaning 9038 clauses out of 18102 with flag 95761/337876
37.75/37.01	c Got one! Elapsed wall clock time (in seconds):36.901
37.75/37.01	o 58
38.65/37.96	c cleaning 11197 clauses out of 22396 with flag 10790/351208
39.55/38.83	c cleaning 8599 clauses out of 17197 with flag 23384/357206
40.36/39.68	c cleaning 7790 clauses out of 15599 with flag 38218/364207
41.35/40.63	c cleaning 7900 clauses out of 15807 with flag 55504/372205
42.35/41.60	c cleaning 8452 clauses out of 16907 with flag 74856/381205
43.55/42.83	c cleaning 9226 clauses out of 18455 with flag 95923/391205
45.05/44.38	c cleaning 10109 clauses out of 20230 with flag 119306/402206
46.77/46.01	c cleaning 11058 clauses out of 22120 with flag 144564/414205
48.77/48.04	c cleaning 12032 clauses out of 24064 with flag 171948/427207
49.37/48.61	c Got one! Elapsed wall clock time (in seconds):48.507
49.37/48.61	o 57
50.07/49.39	c cleaning 11217 clauses out of 22434 with flag 11000/437609
50.97/50.21	c cleaning 8601 clauses out of 17217 with flag 24347/443609
50.97/50.26	c Got one! Elapsed wall clock time (in seconds):50.152
50.97/50.26	o 56
51.59/50.87	c cleaning 7101 clauses out of 14215 with flag 11322/449208
51.99/51.28	c Got one! Elapsed wall clock time (in seconds):51.18
51.99/51.28	o 55
52.32/51.54	c cleaning 6441 clauses out of 12905 with flag 4411/454999
52.92/52.14	c Got one! Elapsed wall clock time (in seconds):52.033
52.92/52.14	o 54
53.62/52.88	c cleaning 8476 clauses out of 16955 with flag 10961/465490
54.42/53.66	c cleaning 7230 clauses out of 14479 with flag 23844/471490
54.92/54.18	c Got one! Elapsed wall clock time (in seconds):54.076
54.92/54.18	o 52
55.12/54.31	c cleaning 6378 clauses out of 12775 with flag 2139/477016
55.72/54.94	c cleaning 6188 clauses out of 12397 with flag 15406/483016
56.52/55.76	c cleaning 6598 clauses out of 13208 with flag 30819/490015
57.42/56.65	c cleaning 7306 clauses out of 14615 with flag 48114/498020
58.62/57.83	c cleaning 8149 clauses out of 16304 with flag 67518/507015
60.02/59.20	c cleaning 9074 clauses out of 18155 with flag 89214/517015
61.52/60.79	c cleaning 10034 clauses out of 20083 with flag 112150/528017
63.52/62.74	c cleaning 11022 clauses out of 22047 with flag 137700/540015
64.02/63.25	c Got one! Elapsed wall clock time (in seconds):63.148
64.02/63.25	o 51
64.32/63.53	c cleaning 8344 clauses out of 16704 with flag 4326/545694
64.62/63.84	c Got one! Elapsed wall clock time (in seconds):63.738
64.62/63.84	o 50
65.02/64.25	c cleaning 6897 clauses out of 13803 with flag 6780/551137
65.62/64.84	c cleaning 6442 clauses out of 12907 with flag 19753/557138
66.32/65.56	c cleaning 6726 clauses out of 13461 with flag 34682/564134
67.22/66.48	c cleaning 7366 clauses out of 14735 with flag 52208/572134
68.22/67.44	c cleaning 8181 clauses out of 16369 with flag 71561/581134
68.42/67.66	c Got one! Elapsed wall clock time (in seconds):67.555
68.42/67.66	o 49
68.72/67.95	c cleaning 6684 clauses out of 13393 with flag 4500/586339
69.42/68.68	c cleaning 6337 clauses out of 12708 with flag 17844/592338
70.22/69.48	c cleaning 6682 clauses out of 13373 with flag 33244/599340
71.12/70.38	c cleaning 7339 clauses out of 14689 with flag 50573/607338
72.32/71.56	c cleaning 8174 clauses out of 16351 with flag 70550/616339
73.62/72.87	c cleaning 9084 clauses out of 18176 with flag 92619/626338
75.22/74.44	c cleaning 10042 clauses out of 20095 with flag 116657/637341
77.12/76.33	c cleaning 11024 clauses out of 22053 with flag 142640/649341
79.22/78.44	c cleaning 12008 clauses out of 24026 with flag 170704/662338
81.62/80.82	c cleaning 13001 clauses out of 26018 with flag 200483/676338
84.12/83.39	c cleaning 14004 clauses out of 28017 with flag 232721/691338
85.71/84.97	c Got one! Elapsed wall clock time (in seconds):84.868
85.71/84.97	o 47
86.72/85.98	c cleaning 14654 clauses out of 29317 with flag 10800/706642
87.72/86.97	c cleaning 10328 clauses out of 20663 with flag 23409/712642
88.71/87.90	c cleaning 8664 clauses out of 17337 with flag 38128/719644
89.81/89.07	c cleaning 8327 clauses out of 16670 with flag 55106/727641
91.12/90.33	c cleaning 8671 clauses out of 17343 with flag 73894/736641
92.41/91.68	c cleaning 9333 clauses out of 18675 with flag 94760/746644
94.21/93.45	c cleaning 10160 clauses out of 20339 with flag 117613/757641
96.11/95.38	c cleaning 11087 clauses out of 22179 with flag 142500/769641
98.21/97.43	c cleaning 12040 clauses out of 24093 with flag 169525/782642
100.81/100.06	c cleaning 13024 clauses out of 26054 with flag 198811/796643
103.51/102.74	c cleaning 14015 clauses out of 28030 with flag 229714/811643
106.52/105.74	c cleaning 15001 clauses out of 30015 with flag 262622/827643
109.82/109.04	c cleaning 16003 clauses out of 32012 with flag 297723/844641
113.51/112.77	c cleaning 17005 clauses out of 34010 with flag 334625/862642
118.11/117.33	c cleaning 17994 clauses out of 36006 with flag 373962/881643
122.71/121.98	c cleaning 19004 clauses out of 38012 with flag 415954/901643
127.33/126.54	c cleaning 19999 clauses out of 40006 with flag 460008/922641
132.43/131.60	c cleaning 21001 clauses out of 42011 with flag 505514/944645
137.63/136.87	c cleaning 22002 clauses out of 44006 with flag 553126/967641
143.13/142.30	c cleaning 22998 clauses out of 46004 with flag 602415/991641
148.73/147.98	c cleaning 24003 clauses out of 48012 with flag 654630/1016647
155.13/154.35	c cleaning 25003 clauses out of 50009 with flag 709776/1042647
157.43/156.70	c Got one! Elapsed wall clock time (in seconds):156.592
157.43/156.70	o 45
157.83/157.09	c Got one! Elapsed wall clock time (in seconds):156.982
157.83/157.09	o 42
159.02/158.27	c cleaning 20887 clauses out of 41794 with flag 8939/1059435
160.14/159.38	c cleaning 13440 clauses out of 26900 with flag 21811/1065428
161.24/160.43	c cleaning 10222 clauses out of 20460 with flag 36971/1072428
162.24/161.48	c cleaning 9111 clauses out of 18240 with flag 54140/1080430
163.34/162.54	c cleaning 9055 clauses out of 18127 with flag 73776/1089428
164.64/163.85	c cleaning 9534 clauses out of 19074 with flag 95594/1099430
166.24/165.41	c cleaning 10267 clauses out of 20542 with flag 119248/1110432
168.04/167.25	c cleaning 11133 clauses out of 22272 with flag 144999/1122429
170.14/169.33	c cleaning 12068 clauses out of 24138 with flag 172365/1135428
172.34/171.55	c cleaning 13032 clauses out of 26070 with flag 202644/1149428
174.74/173.98	c cleaning 14009 clauses out of 28038 with flag 234397/1164428
177.54/176.79	c cleaning 15009 clauses out of 30032 with flag 267815/1180431
180.74/179.94	c cleaning 16008 clauses out of 32021 with flag 303203/1197429
184.14/183.37	c cleaning 17002 clauses out of 34012 with flag 341339/1215428
188.24/187.46	c cleaning 18004 clauses out of 36010 with flag 381444/1234428
192.64/191.80	c cleaning 19003 clauses out of 38008 with flag 422891/1254430
197.43/196.64	c cleaning 19999 clauses out of 40007 with flag 466298/1275432
202.74/201.90	c cleaning 20997 clauses out of 42004 with flag 512642/1297428
208.84/208.04	c cleaning 22002 clauses out of 44010 with flag 560726/1320431
214.83/214.10	c cleaning 23000 clauses out of 46013 with flag 612879/1344436
220.84/220.06	c cleaning 24001 clauses out of 48006 with flag 665755/1369429
227.23/226.44	c cleaning 24997 clauses out of 50007 with flag 720193/1395431
234.35/233.56	c cleaning 26003 clauses out of 52009 with flag 777169/1422430
241.56/240.73	c cleaning 26999 clauses out of 54004 with flag 835886/1450428
249.15/248.31	c cleaning 28005 clauses out of 56013 with flag 896605/1479436
257.95/257.18	c cleaning 28997 clauses out of 58000 with flag 959767/1509428
267.25/266.40	c cleaning 29997 clauses out of 60003 with flag 1025761/1540428
276.65/275.83	c cleaning 31002 clauses out of 62011 with flag 1093598/1572433
286.75/285.90	c cleaning 31996 clauses out of 64008 with flag 1166361/1605432
297.35/296.57	c cleaning 33000 clauses out of 66008 with flag 1241219/1639428
309.45/308.60	c cleaning 33999 clauses out of 68010 with flag 1317477/1674430
320.65/319.80	c cleaning 35005 clauses out of 70010 with flag 1395368/1710429
333.46/332.67	c cleaning 36002 clauses out of 72005 with flag 1475767/1747429
346.86/346.06	c cleaning 36997 clauses out of 74004 with flag 1557211/1785430
360.56/359.76	c cleaning 38002 clauses out of 76008 with flag 1640419/1824431
374.86/374.08	c cleaning 39002 clauses out of 78004 with flag 1726260/1864429
390.26/389.49	c cleaning 39990 clauses out of 80001 with flag 1812361/1905428
405.79/404.91	c cleaning 41006 clauses out of 82012 with flag 1901466/1947429
423.88/423.01	c cleaning 41997 clauses out of 84006 with flag 1992913/1990429
442.39/441.50	c cleaning 43005 clauses out of 86010 with flag 2085618/2034430
462.19/461.30	c cleaning 43998 clauses out of 88003 with flag 2180896/2079428
482.29/481.48	c cleaning 45000 clauses out of 90005 with flag 2278534/2125428
504.69/503.81	c cleaning 46001 clauses out of 92006 with flag 2377544/2172429
526.38/525.56	c cleaning 47000 clauses out of 94004 with flag 2479862/2220428
549.99/549.14	c cleaning 47992 clauses out of 96004 with flag 2587081/2269428
557.80/556.97	c Got one! Elapsed wall clock time (in seconds):556.862
557.80/556.97	o 41
560.80/559.97	c cleaning 37691 clauses out of 75397 with flag 10812/2296813
562.70/561.89	c cleaning 21849 clauses out of 43707 with flag 23592/2302814
564.50/563.65	c cleaning 14425 clauses out of 28858 with flag 38658/2309814
566.00/565.19	c cleaning 11203 clauses out of 22428 with flag 55937/2317809
567.50/566.61	c cleaning 10102 clauses out of 20226 with flag 75282/2326810
568.80/567.97	c cleaning 10049 clauses out of 20125 with flag 96713/2336811
570.40/569.57	c cleaning 10530 clauses out of 21074 with flag 120737/2347809
572.20/571.38	c cleaning 11267 clauses out of 22548 with flag 146865/2359813
574.20/573.33	c cleaning 12134 clauses out of 24279 with flag 176007/2372811
576.70/575.82	c cleaning 13069 clauses out of 26142 with flag 206309/2386808
579.29/578.49	c cleaning 14041 clauses out of 28085 with flag 239294/2401820
582.51/581.67	c cleaning 15015 clauses out of 30032 with flag 274927/2417808
585.72/584.89	c cleaning 16006 clauses out of 32018 with flag 312360/2434809
589.11/588.24	c cleaning 17006 clauses out of 34012 with flag 352099/2452809
592.91/592.00	c cleaning 17998 clauses out of 36010 with flag 393833/2471813
596.91/596.01	c cleaning 19001 clauses out of 38007 with flag 437098/2491808
601.41/600.51	c cleaning 19996 clauses out of 40008 with flag 482251/2512810
606.30/605.50	c cleaning 21001 clauses out of 42011 with flag 529976/2534809
611.81/610.96	c cleaning 22001 clauses out of 44010 with flag 580241/2557809
617.21/616.37	c cleaning 22997 clauses out of 46009 with flag 631848/2581809
619.01/618.14	c Got one! Elapsed wall clock time (in seconds):618.039
619.01/618.14	o 40
620.22/619.36	c cleaning 18303 clauses out of 36614 with flag 11008/2595411
621.51/620.66	c cleaning 12151 clauses out of 24311 with flag 23931/2601411
622.61/621.75	c cleaning 9570 clauses out of 19159 with flag 38909/2608410
623.71/622.88	c cleaning 8786 clauses out of 17588 with flag 56556/2616409
625.01/624.10	c cleaning 8897 clauses out of 17804 with flag 76105/2625411
626.51/625.64	c cleaning 9440 clauses out of 18905 with flag 97798/2635409
628.21/627.36	c cleaning 10232 clauses out of 20469 with flag 121629/2646413
630.11/629.21	c cleaning 11119 clauses out of 22238 with flag 147557/2658414
632.21/631.34	c cleaning 12057 clauses out of 24118 with flag 176204/2671413
634.61/633.77	c cleaning 13029 clauses out of 26058 with flag 207398/2685410
637.11/636.29	c cleaning 14015 clauses out of 28029 with flag 240554/2700410
639.90/639.05	c cleaning 14996 clauses out of 30013 with flag 276841/2716409
642.90/642.00	c cleaning 16004 clauses out of 32019 with flag 314967/2733411
646.40/645.57	c cleaning 17008 clauses out of 34018 with flag 355106/2751414
650.01/649.16	c Got one! Elapsed wall clock time (in seconds):649.051
650.01/649.16	o 39
651.30/650.42	c cleaning 20078 clauses out of 40156 with flag 10616/2774560
652.30/651.40	c cleaning 13031 clauses out of 26082 with flag 23160/2780564
653.21/652.35	c cleaning 10020 clauses out of 20046 with flag 37973/2787559
654.20/653.36	c cleaning 9006 clauses out of 18027 with flag 55207/2795560
655.30/654.47	c cleaning 9005 clauses out of 18023 with flag 74558/2804562
656.60/655.77	c cleaning 9503 clauses out of 19017 with flag 96184/2814561
658.10/657.27	c cleaning 10244 clauses out of 20515 with flag 119896/2825562
659.80/658.95	c cleaning 11131 clauses out of 22270 with flag 145717/2837561
661.70/660.84	c cleaning 12069 clauses out of 24137 with flag 174072/2850559
663.70/662.80	c cleaning 13035 clauses out of 26071 with flag 204509/2864562
665.99/665.18	c cleaning 14011 clauses out of 28033 with flag 236916/2879559
668.71/667.86	c cleaning 15009 clauses out of 30022 with flag 270814/2895559
671.71/670.81	c cleaning 16008 clauses out of 32015 with flag 308104/2912561
674.71/673.80	c cleaning 17000 clauses out of 34006 with flag 347954/2930560
678.01/677.10	c cleaning 18004 clauses out of 36009 with flag 389586/2949563
681.51/680.68	c cleaning 18998 clauses out of 38004 with flag 432862/2969562
685.51/684.64	c cleaning 20003 clauses out of 40007 with flag 479916/2990563
690.02/689.14	c cleaning 21000 clauses out of 42002 with flag 528205/3012561
694.62/693.78	c cleaning 22000 clauses out of 44000 with flag 577596/3035559
696.22/695.35	c Got one! Elapsed wall clock time (in seconds):695.243
696.22/695.35	o 38
697.32/696.47	c cleaning 18260 clauses out of 36526 with flag 10787/3050085
698.42/697.52	c cleaning 12123 clauses out of 24261 with flag 23526/3056080
699.31/698.42	c cleaning 9559 clauses out of 19140 with flag 38778/3063082
700.41/699.56	c cleaning 8785 clauses out of 17582 with flag 56874/3071083
701.62/700.76	c cleaning 8896 clauses out of 17795 with flag 76609/3080081
702.91/702.04	c cleaning 9451 clauses out of 18902 with flag 97656/3090084
704.31/703.45	c cleaning 10221 clauses out of 20447 with flag 121143/3101080
705.81/704.92	c cleaning 11112 clauses out of 22226 with flag 146449/3113080
707.61/706.73	c cleaning 12060 clauses out of 24122 with flag 173614/3126088
709.91/709.05	c cleaning 13022 clauses out of 26056 with flag 203563/3140082
712.62/711.79	c cleaning 14013 clauses out of 28032 with flag 235338/3155080
715.61/714.72	c cleaning 15006 clauses out of 30019 with flag 269809/3171080
718.81/717.97	c cleaning 15996 clauses out of 32013 with flag 306544/3188080
722.41/721.51	c cleaning 17003 clauses out of 34017 with flag 345479/3206080
726.10/725.29	c cleaning 18002 clauses out of 36014 with flag 387939/3225080
730.40/729.57	c cleaning 19006 clauses out of 38017 with flag 431976/3245085
735.10/734.21	c cleaning 20001 clauses out of 40007 with flag 478826/3266081
740.30/739.50	c cleaning 20993 clauses out of 42008 with flag 528200/3288083
746.00/745.16	c cleaning 21997 clauses out of 44015 with flag 579981/3311083
751.51/750.66	c cleaning 22994 clauses out of 46017 with flag 633603/3335082
757.60/756.74	c cleaning 24012 clauses out of 48023 with flag 689906/3360082
765.11/764.22	c cleaning 25006 clauses out of 50017 with flag 746947/3386088
772.03/771.14	c cleaning 26001 clauses out of 52003 with flag 805364/3413080
779.52/778.67	c cleaning 26995 clauses out of 54002 with flag 866373/3441080
787.92/787.08	c cleaning 27999 clauses out of 56007 with flag 929904/3470080
796.22/795.36	c cleaning 29005 clauses out of 58009 with flag 994009/3500081
805.31/804.43	c cleaning 30001 clauses out of 60003 with flag 1059947/3531080
810.91/810.01	c Got one! Elapsed wall clock time (in seconds):809.905
810.91/810.01	o 36
812.91/812.00	c cleaning 27358 clauses out of 54721 with flag 11313/3555799
814.21/813.34	c cleaning 16674 clauses out of 33359 with flag 24475/3561795
815.51/814.69	c cleaning 11834 clauses out of 23691 with flag 40157/3568801
816.91/816.04	c cleaning 9918 clauses out of 19853 with flag 57422/3576797
818.11/817.28	c cleaning 9458 clauses out of 18935 with flag 76395/3585797
819.51/818.60	c cleaning 9730 clauses out of 19477 with flag 98041/3595797
821.01/820.16	c cleaning 10366 clauses out of 20745 with flag 122477/3606795
822.81/821.98	c cleaning 11190 clauses out of 22382 with flag 149230/3618798
825.01/824.13	c cleaning 12095 clauses out of 24189 with flag 177526/3631795
827.41/826.55	c cleaning 13041 clauses out of 26094 with flag 209110/3645795
830.01/829.19	c cleaning 14025 clauses out of 28055 with flag 242246/3660797
832.91/832.00	c cleaning 15014 clauses out of 30029 with flag 277385/3676796
836.01/835.11	c cleaning 16007 clauses out of 32014 with flag 314746/3693795
839.40/838.59	c cleaning 16999 clauses out of 34009 with flag 353668/3711797
843.30/842.46	c cleaning 17991 clauses out of 36009 with flag 395536/3730796
847.70/846.86	c cleaning 19009 clauses out of 38019 with flag 439431/3750797
852.10/851.28	c cleaning 20004 clauses out of 40014 with flag 484898/3771801
856.90/856.02	c cleaning 20993 clauses out of 42004 with flag 532016/3793795
862.00/861.16	c cleaning 21999 clauses out of 44011 with flag 582982/3816795
867.32/866.41	c cleaning 23004 clauses out of 46015 with flag 636144/3840798
872.61/871.77	c cleaning 24006 clauses out of 48011 with flag 690986/3865798
878.31/877.44	c cleaning 24997 clauses out of 50005 with flag 747567/3891798
884.61/883.72	c cleaning 25999 clauses out of 52005 with flag 807404/3918795
891.21/890.33	c cleaning 27003 clauses out of 54008 with flag 869309/3946797
898.32/897.47	c cleaning 27995 clauses out of 56003 with flag 933393/3975795
906.12/905.26	c cleaning 29004 clauses out of 58009 with flag 1000131/4005796
915.03/914.19	c cleaning 30004 clauses out of 60010 with flag 1066974/4036801
923.83/922.92	c cleaning 30997 clauses out of 62000 with flag 1137782/4068795
933.32/932.42	c cleaning 31999 clauses out of 64003 with flag 1210378/4101795
944.83/943.91	c cleaning 32990 clauses out of 66004 with flag 1284832/4135795
957.23/956.33	c cleaning 34005 clauses out of 68015 with flag 1364912/4170796
970.04/969.15	c cleaning 35003 clauses out of 70010 with flag 1446037/4206796
983.73/982.83	c cleaning 35996 clauses out of 72007 with flag 1528466/4243796
999.03/998.13	c cleaning 37003 clauses out of 74010 with flag 1614814/4281795
1014.08/1013.18	c cleaning 37998 clauses out of 76008 with flag 1701915/4320796
1028.97/1028.09	c cleaning 39004 clauses out of 78013 with flag 1790374/4360799
1047.19/1046.24	c cleaning 39994 clauses out of 80008 with flag 1881853/4401798
1064.89/1063.90	c cleaning 40992 clauses out of 82011 with flag 1976815/4443795
1068.19/1067.25	c Got one! Elapsed wall clock time (in seconds):1067.143
1068.19/1067.25	o 34
1069.99/1069.09	c cleaning 28439 clauses out of 56890 with flag 11067/4459666
1071.30/1070.38	c cleaning 17211 clauses out of 34453 with flag 24788/4465668
1072.69/1071.77	c cleaning 12111 clauses out of 24238 with flag 40396/4472664
1074.09/1073.17	c cleaning 10054 clauses out of 20129 with flag 58513/4480666
1075.39/1074.48	c cleaning 9535 clauses out of 19074 with flag 79012/4489665
1076.99/1076.01	c cleaning 9768 clauses out of 19539 with flag 101651/4499665
1078.79/1077.87	c cleaning 10386 clauses out of 20775 with flag 125730/4510669
1080.69/1079.71	c cleaning 11192 clauses out of 22385 with flag 152722/4522665
1083.09/1082.14	c cleaning 12093 clauses out of 24193 with flag 182133/4535665
1085.60/1084.70	c cleaning 13044 clauses out of 26100 with flag 213288/4549665
1088.59/1087.61	c cleaning 14027 clauses out of 28055 with flag 246750/4564664
1091.69/1090.74	c cleaning 15017 clauses out of 30033 with flag 282050/4580669
1094.79/1093.87	c cleaning 16000 clauses out of 32012 with flag 319370/4597665
1098.59/1097.63	c cleaning 17006 clauses out of 34015 with flag 360798/4615668
1101.49/1100.54	c Got one! Elapsed wall clock time (in seconds):1100.432
1101.49/1100.54	o 33
1102.89/1101.98	c cleaning 18545 clauses out of 37094 with flag 11156/4635753
1103.89/1102.98	c cleaning 12268 clauses out of 24546 with flag 24330/4641750
1104.99/1104.04	c cleaning 9629 clauses out of 19278 with flag 39359/4648750
1106.09/1105.10	c cleaning 8818 clauses out of 17648 with flag 56247/4656749
1107.29/1106.37	c cleaning 8901 clauses out of 17833 with flag 75392/4665752
1108.59/1107.64	c cleaning 9467 clauses out of 18935 with flag 96471/4675755
1110.19/1109.27	c cleaning 10228 clauses out of 20462 with flag 120239/4686749
1112.00/1111.08	c cleaning 11121 clauses out of 22244 with flag 146784/4698759
1114.22/1113.27	c cleaning 12055 clauses out of 24113 with flag 175210/4711749
1116.80/1115.81	c cleaning 13031 clauses out of 26061 with flag 204864/4725752
1119.10/1118.16	c cleaning 14011 clauses out of 28027 with flag 237995/4740749
1121.70/1120.78	c cleaning 15007 clauses out of 30018 with flag 273866/4756751
1124.80/1123.88	c cleaning 16003 clauses out of 32010 with flag 313546/4773750
1128.40/1127.50	c cleaning 17001 clauses out of 34006 with flag 354676/4791749
1132.20/1131.30	c cleaning 18001 clauses out of 36007 with flag 397542/4810751
1136.51/1135.53	c cleaning 18999 clauses out of 38006 with flag 442103/4830751
1140.91/1139.90	c cleaning 20002 clauses out of 40005 with flag 489192/4851749
1145.51/1144.56	c cleaning 21005 clauses out of 42014 with flag 537752/4873760
1150.71/1149.72	c cleaning 22000 clauses out of 44001 with flag 589914/4896752
1156.61/1155.62	c cleaning 22997 clauses out of 46000 with flag 644179/4920751
1162.51/1161.54	c cleaning 23999 clauses out of 48001 with flag 700335/4945749
1168.91/1167.93	c cleaning 24999 clauses out of 50002 with flag 759121/4971749
1176.11/1175.19	c cleaning 26008 clauses out of 52017 with flag 821863/4998763
1184.31/1183.33	c cleaning 26996 clauses out of 53997 with flag 885670/5026751
1193.01/1192.02	c cleaning 27999 clauses out of 56002 with flag 952437/5055752
1201.51/1200.58	c cleaning 28998 clauses out of 58000 with flag 1020122/5085749
1210.66/1209.60	c cleaning 29999 clauses out of 60002 with flag 1089946/5116749
1220.06/1219.02	c cleaning 30996 clauses out of 62003 with flag 1162915/5148749
1230.26/1229.25	c cleaning 31999 clauses out of 64008 with flag 1234570/5181750
1241.47/1240.43	c cleaning 32997 clauses out of 66008 with flag 1312534/5215749
1253.17/1252.12	c cleaning 34002 clauses out of 68013 with flag 1392900/5250751
1266.27/1265.22	c cleaning 35002 clauses out of 70009 with flag 1474454/5286749
1279.07/1278.06	c cleaning 35999 clauses out of 72010 with flag 1557401/5323752
1293.49/1292.45	c cleaning 37008 clauses out of 74019 with flag 1643879/5361760
1308.69/1307.69	c cleaning 37995 clauses out of 76003 with flag 1733226/5400752
1323.78/1322.75	c cleaning 39001 clauses out of 78007 with flag 1821436/5440751
1329.78/1328.77	c Got one! Elapsed wall clock time (in seconds):1328.668
1329.78/1328.77	o 25
1331.78/1330.79	c cleaning 30989 clauses out of 61979 with flag 10516/5463724
1333.19/1332.20	c cleaning 18490 clauses out of 36988 with flag 22995/5469722
1334.48/1333.48	c cleaning 12740 clauses out of 25504 with flag 37551/5476728
1335.78/1334.72	c cleaning 10370 clauses out of 20761 with flag 54232/5484725
1336.88/1335.81	c cleaning 9685 clauses out of 19390 with flag 72796/5493724
1338.18/1337.19	c cleaning 9847 clauses out of 19703 with flag 93613/5503722
1339.68/1338.67	c cleaning 10427 clauses out of 20857 with flag 116472/5514723
1341.48/1340.47	c cleaning 11204 clauses out of 22429 with flag 141244/5526722
1343.58/1342.59	c cleaning 12112 clauses out of 24225 with flag 168163/5539722
1345.88/1344.84	c cleaning 13055 clauses out of 26113 with flag 197379/5553722
1348.29/1347.29	c cleaning 14033 clauses out of 28065 with flag 228687/5568729
1351.19/1350.14	c cleaning 15013 clauses out of 30026 with flag 262084/5584723
1354.29/1353.28	c cleaning 16004 clauses out of 32013 with flag 297754/5601723
1357.99/1356.96	c cleaning 17004 clauses out of 34009 with flag 335610/5619723
1361.80/1360.76	c cleaning 18000 clauses out of 36005 with flag 375802/5638723
1365.99/1364.97	c cleaning 19002 clauses out of 38005 with flag 417564/5658723
1370.39/1369.38	c cleaning 20000 clauses out of 40004 with flag 461292/5679724
1375.49/1374.46	c cleaning 20991 clauses out of 42002 with flag 506983/5701722
1381.49/1380.46	c cleaning 22003 clauses out of 44012 with flag 554854/5724723
1383.19/1382.11	c Got one! Elapsed wall clock time (in seconds):1382.01
1383.19/1382.11	o 24
1384.39/1383.38	c cleaning 18425 clauses out of 36862 with flag 10686/5739576
1385.59/1384.50	c cleaning 12212 clauses out of 24436 with flag 23250/5745575
1386.59/1385.53	c cleaning 9600 clauses out of 19221 with flag 38079/5752572
1387.69/1386.61	c cleaning 8801 clauses out of 17621 with flag 54826/5760572
1388.79/1387.73	c cleaning 8906 clauses out of 17820 with flag 73600/5769572
1390.29/1389.20	c cleaning 9453 clauses out of 18915 with flag 94661/5779573
1391.89/1390.83	c cleaning 10223 clauses out of 20462 with flag 117612/5790573
1393.69/1392.70	c cleaning 11122 clauses out of 22243 with flag 142729/5802577
1395.59/1394.58	c cleaning 12050 clauses out of 24117 with flag 169649/5815573
1397.99/1396.96	c cleaning 13033 clauses out of 26070 with flag 198807/5829576
1400.69/1399.62	c cleaning 14015 clauses out of 28033 with flag 230087/5844572
1403.79/1402.72	c cleaning 15008 clauses out of 30018 with flag 263769/5860572
1406.79/1405.80	c cleaning 16000 clauses out of 32012 with flag 299504/5877574
1410.58/1409.58	c cleaning 17006 clauses out of 34012 with flag 337072/5895574
1414.59/1413.56	c cleaning 18001 clauses out of 36005 with flag 376469/5914573
1418.68/1417.68	c cleaning 19000 clauses out of 38003 with flag 417892/5934572
1423.39/1422.33	c cleaning 19999 clauses out of 40004 with flag 461681/5955573
1428.31/1427.29	c cleaning 21002 clauses out of 42008 with flag 507291/5977576
1434.11/1433.02	c cleaning 21994 clauses out of 44002 with flag 555335/6000572
1440.31/1439.28	c cleaning 23005 clauses out of 46011 with flag 605521/6024575
1446.70/1445.67	c cleaning 24002 clauses out of 48006 with flag 657770/6049575
1453.52/1452.44	c cleaning 25001 clauses out of 50001 with flag 711827/6075572
1460.41/1459.37	c cleaning 25998 clauses out of 52002 with flag 767900/6102574
1468.41/1467.40	c cleaning 27000 clauses out of 54006 with flag 826313/6130576
1477.11/1476.01	c cleaning 27999 clauses out of 56004 with flag 886805/6159574
1484.41/1483.33	c cleaning 29000 clauses out of 58008 with flag 948704/6189577
1493.42/1492.33	c cleaning 29996 clauses out of 60004 with flag 1012859/6220573
1502.02/1500.99	c cleaning 30998 clauses out of 62007 with flag 1078993/6252572
1511.22/1510.19	c cleaning 31998 clauses out of 64009 with flag 1147324/6285572
1521.21/1520.15	c cleaning 33006 clauses out of 66015 with flag 1217978/6319576
1531.81/1530.71	c cleaning 34001 clauses out of 68009 with flag 1291115/6354576
1542.81/1541.73	c cleaning 35000 clauses out of 70009 with flag 1365938/6390577
1554.98/1553.89	c cleaning 35996 clauses out of 72007 with flag 1443314/6427575
1568.09/1566.90	c cleaning 37003 clauses out of 74015 with flag 1522579/6465579
1582.49/1581.31	c cleaning 38005 clauses out of 76013 with flag 1603813/6504580
1598.10/1596.93	c cleaning 38996 clauses out of 78001 with flag 1686832/6544573
1613.09/1611.98	c cleaning 39994 clauses out of 80007 with flag 1771657/6585575
1630.00/1628.82	c cleaning 41005 clauses out of 82010 with flag 1859633/6627572
1646.40/1645.21	c cleaning 42002 clauses out of 84005 with flag 1949999/6670572
1663.20/1662.05	c cleaning 42993 clauses out of 86004 with flag 2041599/6714573
1681.61/1680.47	c cleaning 44005 clauses out of 88011 with flag 2135675/6759573
1700.70/1699.45	c cleaning 45003 clauses out of 90007 with flag 2231975/6805574
1719.30/1718.00	c cleaning 46003 clauses out of 92014 with flag 2330123/6852584
1739.31/1738.05	c cleaning 47001 clauses out of 94001 with flag 2429269/6900574
1743.61/1742.33	c Got one! Elapsed wall clock time (in seconds):1742.224
1743.61/1742.33	o 23
1745.92/1744.68	c cleaning 33862 clauses out of 67740 with flag 11022/6921314
1747.71/1746.46	c cleaning 19933 clauses out of 39878 with flag 23537/6927314
1749.22/1747.94	c cleaning 13455 clauses out of 26940 with flag 38056/6934309
1750.61/1749.33	c cleaning 10732 clauses out of 21490 with flag 54528/6942314
1752.11/1750.89	c cleaning 9866 clauses out of 19756 with flag 73196/6951312
1753.81/1752.56	c cleaning 9937 clauses out of 19888 with flag 93858/6961310
1755.71/1754.46	c cleaning 10473 clauses out of 20950 with flag 116699/6972309
1757.91/1756.67	c cleaning 11236 clauses out of 22476 with flag 141552/6984308
1760.41/1759.12	c cleaning 12121 clauses out of 24242 with flag 168971/6997310
1762.81/1761.57	c cleaning 13057 clauses out of 26123 with flag 198054/7011312
1765.82/1764.53	c cleaning 14031 clauses out of 28063 with flag 229459/7026309
1768.81/1767.54	c cleaning 15014 clauses out of 30032 with flag 262585/7042309
1772.11/1770.81	c cleaning 16007 clauses out of 32018 with flag 298301/7059309
1775.91/1774.64	c cleaning 17005 clauses out of 34011 with flag 336197/7077309
1780.02/1778.78	c cleaning 18001 clauses out of 36007 with flag 376008/7096310
1784.91/1783.67	c cleaning 18998 clauses out of 38004 with flag 417854/7116308
1790.31/1789.08	c cleaning 20003 clauses out of 40007 with flag 461544/7137309
1795.81/1794.56	c cleaning 21000 clauses out of 42007 with flag 507347/7159312
1800.02/1798.72	c starts		: 2448
1800.02/1798.72	c conflicts		: 7177325
1800.02/1798.72	c decisions		: 7955261
1800.02/1798.72	c propagations		: 89138938
1800.02/1798.72	c inspects		: 39357702394
1800.02/1798.72	c shortcuts		: 0
1800.02/1798.72	c learnt literals	: 0
1800.02/1798.72	c learnt binary clauses	: 0
1800.02/1798.72	c learnt ternary clauses	: 0
1800.02/1798.72	c learnt constraints	: 7177325
1800.02/1798.72	c ignored constraints	: 0
1800.02/1798.72	c root simplifications	: 0
1800.02/1798.72	c removed literals (reason simplification)	: 0
1800.02/1798.72	c reason swapping (by a shorter reason)	: 0
1800.02/1798.72	c Calls to reduceDB	: 399
1800.02/1798.72	c Number of update (reduction) of LBD	: 768102
1800.02/1798.72	c Imported unit clauses	: 0
1800.02/1798.72	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.72	c number of learned constraints concerned by reduction	: 0
1800.02/1798.72	c number of learning phase by resolution	: 0
1800.02/1798.72	c number of learning phase by cutting planes	: 0
1800.02/1798.72	c speed (assignments/second)	: 49561.006799846546
1800.02/1798.72	c non guided choices	2098
1800.02/1798.74	c learnt constraints type 
1800.02/1798.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39021
1800.02/1798.74	s SATISFIABLE
1800.02/1798.74	c Found 77 solution(s)
1800.02/1798.74	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 
1800.02/1798.74	c objective function=23
1800.02/1798.74	c Total wall clock time (in seconds): 1798.638

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-4105597-1466262719/watcher-4105597-1466262719 -o /tmp/evaluation-result-4105597-1466262719/solver-4105597-1466262719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466259138-27362 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105597-1466262719.opb 

pid=27847
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.30 2.27 2/194 27850
/proc/meminfo: memFree=30269156/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 1292 0 0 0 0 0 0 0 20 0 2 0 28317383 95129600 926 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 23225 927 703 9 0 16769 0
[pid=27850/tid=27851] ppid=27847 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) D 27847 27850 22091 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28317383 95129600 927 33554432000 1073741824 1073778376 140735184329120 140017491373608 239863950631 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0

[startup+0.100138 s]
/proc/loadavg: 2.28 2.30 2.27 2/194 27850
/proc/meminfo: memFree=30269156/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 4416 0 1 0 9 1 0 0 20 0 18 0 28317383 9787879424 6049 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2389619 6049 2140 9 0 2380296 0
[pid=27850/tid=27851] ppid=27847 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2376 0 1 0 6 1 0 0 20 0 18 0 28317383 9787879424 6049 33554432000 1073741824 1073778376 140735184329120 140017491376904 239876498701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200273 s]
/proc/loadavg: 2.28 2.30 2.27 2/194 27850
/proc/meminfo: memFree=30269156/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 6109 0 1 0 27 2 0 0 20 0 19 0 28317383 9856040960 7189 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 7189 2229 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2395 0 1 0 16 1 0 0 20 0 19 0 28317383 9856040960 7189 33554432000 1073741824 1073778376 140735184329120 140017491378816 140017360037120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040

[startup+0.300272 s]
/proc/loadavg: 2.28 2.30 2.27 2/194 27850
/proc/meminfo: memFree=30269156/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 6603 0 1 0 48 2 0 0 20 0 19 0 28317383 9856040960 7742 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 7742 2244 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2402 0 1 0 26 1 0 0 20 0 19 0 28317383 9856040960 7742 33554432000 1073741824 1073778376 140735184329120 140017491378816 140017360432334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700328 s]
/proc/loadavg: 2.28 2.30 2.27 2/194 27850
/proc/meminfo: memFree=30269156/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 6839 0 1 0 94 2 0 0 20 0 19 0 28317383 9856040960 8780 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 8780 2251 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2404 0 1 0 65 2 0 0 20 0 19 0 28317383 9856040960 8780 33554432000 1073741824 1073778376 140735184329120 140017491378816 140017360400872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.28 2.30 2.27 3/213 27869
/proc/meminfo: memFree=30232284/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 10887 0 1 0 193 3 0 0 20 0 19 0 28317383 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 11312 2257 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2407 0 1 0 145 2 0 0 20 0 19 0 28317383 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017491378648 140017360427003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27853] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27853/stat : 27853 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017480440616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27854] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27854/stat : 27854 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017479387816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27855] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27855/stat : 27855 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017332337704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27856] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27856/stat : 27856 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017331284904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27857] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27857/stat : 27857 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017330231592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27858] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27858/stat : 27858 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017329178792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27859] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27859/stat : 27859 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017328126504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27860] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27860/stat : 27860 (java) S 27847 27850 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017327073704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27861] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27861/stat : 27861 (java) S 27847 27850 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28317385 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017314876136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27862] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27862/stat : 27862 (java) S 27847 27850 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017313822200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27863] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27863/stat : 27863 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017312769800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27864] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27864/stat : 27864 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017311718288 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27865] ppid=27847 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/27850/task/27865/stat : 27865 (java) S 27847 27850 22091 0 -1 4202560 5214 0 0 0 24 1 0 0 20 0 19 0 28317388 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017310664888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27866] ppid=27847 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/27850/task/27866/stat : 27866 (java) S 27847 27850 22091 0 -1 4202560 1995 0 0 0 20 0 0 0 20 0 19 0 28317388 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017309612088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27867] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27867/stat : 27867 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017308559992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27868] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27868/stat : 27868 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017307507400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27869] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27869/stat : 27869 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317399 9856040960 11312 33554432000 1073741824 1073778376 140735184329120 140017306453416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.28 2.30 2.27 3/213 27869
/proc/meminfo: memFree=30221056/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 14260 0 1 0 372 3 0 0 20 0 19 0 28317383 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 13032 2262 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2411 0 1 0 305 2 0 0 20 0 19 0 28317383 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017491370288 140017360426419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27853] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27853/stat : 27853 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017480440616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27854] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27854/stat : 27854 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017479387816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27855] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27855/stat : 27855 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017332337704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27856] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27856/stat : 27856 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017331284904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27857] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27857/stat : 27857 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017330231592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27858] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27858/stat : 27858 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017329178792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27859] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27859/stat : 27859 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017328126504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27860] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27860/stat : 27860 (java) S 27847 27850 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017327073704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27861] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27861/stat : 27861 (java) S 27847 27850 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28317385 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017314876136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27862] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27862/stat : 27862 (java) S 27847 27850 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017313822200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27863] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27863/stat : 27863 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017312769800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27864] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27864/stat : 27864 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017311718288 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27865] ppid=27847 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/27850/task/27865/stat : 27865 (java) S 27847 27850 22091 0 -1 4202560 5223 0 0 0 26 1 0 0 20 0 19 0 28317388 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017310664888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27866] ppid=27847 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/27850/task/27866/stat : 27866 (java) S 27847 27850 22091 0 -1 4202560 5355 0 0 0 36 1 0 0 20 0 19 0 28317388 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017309612088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27867] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27867/stat : 27867 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017308559992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27868] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27868/stat : 27868 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017307507400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27869] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27869/stat : 27869 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317399 9856040960 13032 33554432000 1073741824 1073778376 140735184329120 140017306453416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.26 2.29 2.27 3/213 27869
/proc/meminfo: memFree=30200900/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=7.01 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 14269 0 1 0 697 4 0 0 20 0 19 0 28317383 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 15536 2263 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2419 0 1 0 624 2 0 0 20 0 19 0 28317383 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017491378552 140017360408576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27853] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27853/stat : 27853 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017480440616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27854] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27854/stat : 27854 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017479387816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27855] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27855/stat : 27855 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017332337704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27856] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27856/stat : 27856 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017331284904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27857] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27857/stat : 27857 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017330231592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27858] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27858/stat : 27858 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017329178792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27859] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27859/stat : 27859 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017328126504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27860] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27860/stat : 27860 (java) S 27847 27850 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28317384 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017327073704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27861] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27861/stat : 27861 (java) S 27847 27850 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28317385 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017314876136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27862] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27862/stat : 27862 (java) S 27847 27850 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017313822200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27863] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27863/stat : 27863 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017312769800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27864] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27864/stat : 27864 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017311718288 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27865] ppid=27847 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/27850/task/27865/stat : 27865 (java) S 27847 27850 22091 0 -1 4202560 5223 0 0 0 26 1 0 0 20 0 19 0 28317388 9856040960 15536 33554432000 1073741824 1073778376 140735184329120 140017310664888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27866] ppid=27847 vsize=9625040 CPUtime=0.44 cores=1,3,5,7

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

[pid=27850/tid=27869] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27869/stat : 27869 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317399 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017306453416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1723.6
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.28 2.24 2.24 3/213 27912
/proc/meminfo: memFree=29735544/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=1783.61 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 14684 0 1 0 178320 41 0 0 20 0 19 0 28317383 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 63130 2277 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=1777.4 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2486 0 1 0 177706 34 0 0 20 0 19 0 28317383 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017491369648 140017360363937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27853] ppid=27847 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/27850/task/27853/stat : 27853 (java) S 27847 27850 22091 0 -1 4202560 37 0 0 0 7 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017480440616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27854] ppid=27847 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/27850/task/27854/stat : 27854 (java) S 27847 27850 22091 0 -1 4202560 28 0 0 0 7 2 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017479387816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27855] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27855/stat : 27855 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017332337704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27856] ppid=27847 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/27850/task/27856/stat : 27856 (java) S 27847 27850 22091 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017331284904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27857] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27857/stat : 27857 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017330231592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27858] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27858/stat : 27858 (java) S 27847 27850 22091 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017329178792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27859] ppid=27847 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/27850/task/27859/stat : 27859 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017328126504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27860] ppid=27847 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/27850/task/27860/stat : 27860 (java) S 27847 27850 22091 0 -1 4202560 22 0 0 0 7 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017327073704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27861] ppid=27847 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/27850/task/27861/stat : 27861 (java) S 27847 27850 22091 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 28317385 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017314876136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27862] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27862/stat : 27862 (java) S 27847 27850 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017313822200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27863] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27863/stat : 27863 (java) S 27847 27850 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017312769800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27864] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27864/stat : 27864 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017311718288 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27865] ppid=27847 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/27850/task/27865/stat : 27865 (java) S 27847 27850 22091 0 -1 4202560 5227 0 0 0 30 1 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017310664888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27866] ppid=27847 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/27850/task/27866/stat : 27866 (java) S 27847 27850 22091 0 -1 4202560 5365 0 0 0 47 2 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017309612088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27867] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27867/stat : 27867 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017308559992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27868] ppid=27847 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/27850/task/27868/stat : 27868 (java) S 27847 27850 22091 0 -1 4202560 104 0 0 0 22 27 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017307507400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27869] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27869/stat : 27869 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317399 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017306453416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.7 s]
/proc/loadavg: 2.27 2.24 2.24 3/188 27945
/proc/meminfo: memFree=30069564/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 14684 0 1 0 179960 42 0 0 20 0 19 0 28317383 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 63130 2277 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=1793.76 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2486 0 1 0 179341 35 0 0 20 0 19 0 28317383 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017491369648 140017360355070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27853] ppid=27847 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/27850/task/27853/stat : 27853 (java) S 27847 27850 22091 0 -1 4202560 37 0 0 0 7 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017480440616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27854] ppid=27847 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/27850/task/27854/stat : 27854 (java) S 27847 27850 22091 0 -1 4202560 28 0 0 0 7 2 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017479387816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27855] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27855/stat : 27855 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017332337704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27856] ppid=27847 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/27850/task/27856/stat : 27856 (java) S 27847 27850 22091 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017331284904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27857] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27857/stat : 27857 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017330231592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27858] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27858/stat : 27858 (java) S 27847 27850 22091 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017329178792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27859] ppid=27847 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/27850/task/27859/stat : 27859 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017328126504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27860] ppid=27847 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/27850/task/27860/stat : 27860 (java) S 27847 27850 22091 0 -1 4202560 22 0 0 0 7 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017327073704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27861] ppid=27847 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/27850/task/27861/stat : 27861 (java) S 27847 27850 22091 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 28317385 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017314876136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27862] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27862/stat : 27862 (java) S 27847 27850 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017313822200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27863] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27863/stat : 27863 (java) S 27847 27850 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017312769800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27864] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27864/stat : 27864 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017311718288 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27865] ppid=27847 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/27850/task/27865/stat : 27865 (java) S 27847 27850 22091 0 -1 4202560 5227 0 0 0 30 1 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017310664888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27866] ppid=27847 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/27850/task/27866/stat : 27866 (java) S 27847 27850 22091 0 -1 4202560 5365 0 0 0 47 2 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017309612088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27867] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27867/stat : 27867 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017308559992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27868] ppid=27847 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/27850/task/27868/stat : 27868 (java) S 27847 27850 22091 0 -1 4202560 104 0 0 0 23 27 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017307507400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27869] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27869/stat : 27869 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317399 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017306453416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1798.7 s]
/proc/loadavg: 2.27 2.24 2.24 3/188 27945
/proc/meminfo: memFree=30069564/32872528 swapFree=1459628/1655852
[pid=27850] ppid=27847 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/27850/stat : 27850 (java) S 27847 27850 22091 0 -1 4202496 14684 0 1 0 179960 42 0 0 20 0 19 0 28317383 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140735184320256 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27850/statm: 2406260 63130 2277 9 0 2396937 0
[pid=27850/tid=27851] ppid=27847 vsize=9625040 CPUtime=1793.76 cores=1,3,5,7
/proc/27850/task/27851/stat : 27851 (java) R 27847 27850 22091 0 -1 4202560 2486 0 1 0 179341 35 0 0 20 0 19 0 28317383 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017491369648 140017360355070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27853] ppid=27847 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/27850/task/27853/stat : 27853 (java) S 27847 27850 22091 0 -1 4202560 37 0 0 0 7 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017480440616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27854] ppid=27847 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/27850/task/27854/stat : 27854 (java) S 27847 27850 22091 0 -1 4202560 28 0 0 0 7 2 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017479387816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27855] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27855/stat : 27855 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017332337704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27856] ppid=27847 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/27850/task/27856/stat : 27856 (java) S 27847 27850 22091 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017331284904 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27857] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27857/stat : 27857 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017330231592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27858] ppid=27847 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/27850/task/27858/stat : 27858 (java) S 27847 27850 22091 0 -1 4202560 22 0 0 0 6 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017329178792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27859] ppid=27847 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/27850/task/27859/stat : 27859 (java) S 27847 27850 22091 0 -1 4202560 19 0 0 0 6 1 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017328126504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27860] ppid=27847 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/27850/task/27860/stat : 27860 (java) S 27847 27850 22091 0 -1 4202560 22 0 0 0 7 0 0 0 20 0 19 0 28317384 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017327073704 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27850/tid=27861] ppid=27847 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/27850/task/27861/stat : 27861 (java) S 27847 27850 22091 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 28317385 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017314876136 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27862] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27862/stat : 27862 (java) S 27847 27850 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017313822200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27863] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27863/stat : 27863 (java) S 27847 27850 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28317386 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017312769800 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27864] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27864/stat : 27864 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017311718288 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27865] ppid=27847 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/27850/task/27865/stat : 27865 (java) S 27847 27850 22091 0 -1 4202560 5227 0 0 0 30 1 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017310664888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27850/tid=27866] ppid=27847 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/27850/task/27866/stat : 27866 (java) S 27847 27850 22091 0 -1 4202560 5365 0 0 0 47 2 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017309612088 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27867] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27867/stat : 27867 (java) S 27847 27850 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017308559992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27850/tid=27868] ppid=27847 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/27850/task/27868/stat : 27868 (java) S 27847 27850 22091 0 -1 4202560 104 0 0 0 23 27 0 0 20 0 19 0 28317388 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017307507400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27850/tid=27869] ppid=27847 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27850/task/27869/stat : 27869 (java) S 27847 27850 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28317399 9856040960 63130 33554432000 1073741824 1073778376 140735184329120 140017306453416 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1798.76
CPU time (s): 1800.02
CPU user time (s): 1799.6
CPU system time (s): 0.42
CPU usage (%): 100.07
Max. virtual memory (cumulated for all children) (KiB): 9626020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 0.900863
maximum resident set size= 275652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14869
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38456
involuntary context switches= 9095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.93249 second user time and 13.6149 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 17:11:59
IDJOB=4105597
IDBENCH=2921
IDSOLVER=2546
FILE ID=node136/4105597-1466262719
RUNJOBID= node136-1466259138-27362
PBS_JOBID= 19918192
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105597-1466262719/watcher-4105597-1466262719 -o /tmp/evaluation-result-4105597-1466262719/solver-4105597-1466262719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466259138-27362 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105597-1466262719.opb

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

MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05
RANDOM SEED=1148406105

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        30269948 kB
Buffers:           28924 kB
Cached:           114580 kB
SwapCached:        47324 kB
Active:            95604 kB
Inactive:         147096 kB
Active(anon):      54556 kB
Inactive(anon):    47248 kB
Active(file):      41048 kB
Inactive(file):    99848 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67054628 kB
Dirty:              1612 kB
Writeback:            16 kB
AnonPages:       1708260 kB
Mapped:            16724 kB
Shmem:                 0 kB
Slab:             570612 kB
SReclaimable:      14264 kB
SUnreclaim:       556348 kB
KernelStack:        1600 kB
PageTables:         7680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2344220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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 node136 at 2016-06-18 17:41:57