Trace number 4503016

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
roundingsat-ls+pbsuma 63f22adSAT (TO)36 3600.14 3611.74

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark46.5996
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
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

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4503016-1751444461.opb'
0.18/0.25	c 	read 21.21MB  (240.50ms)
0.18/0.25	c	 [cnf: #variables 5048 #clauses 65281 #duplicates 0 #arr 2462648]
0.18/0.25	c 
0.18/0.25	c make graph and approximate orbits
0.28/0.36	c	 [group: #orbits ~= 82] (109.59ms)
0.28/0.36	c 
0.28/0.36	c detect special group actions
0.28/0.36	c 	probe for Johnson action (limit=64)
0.38/0.49	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.70	c 	probe for row symmetry (limit=64, splits=16.78M)
4.26/4.30	c 	 (3941.18ms)
4.26/4.30	c 
4.26/4.30	c detect symmetries on remainder
4.26/4.30	c 	[graph: #vertices 80425 #edges 4945488]
4.26/4.31	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
4.76/4.86	c 	 [group: #symmetries 5.12*10^2 #generators 6] (558.99ms)
4.76/4.86	c 
4.76/4.86	c optimize generators (opt_passes=64, conjugate_limit=256)
4.76/4.86	c 	(0.03ms)
4.76/4.86	c 
4.76/4.86	c finalize break order and special generators
4.76/4.86	c 
4.76/4.86	c add generic predicates (break_depth=20)
4.76/4.86	c 	added predicates for 6 generators (1.08ms)
4.76/4.86	c 
4.76/4.86	c generation finished
4.76/4.86	c 	[sbp: #constraints 348 #add_vars 114]
4.76/4.86	c 
4.76/4.86	c write result to 'HOME/instance-4503016-1751444461.opb.pre'
4.86/4.91	c 	wrote 21.29MB (44.19ms)
4.86/4.91	c ------------------------------------------------------------------
4.86/4.91	c                3941.18ms 80.48% detect_special
4.86/4.91	c                 558.99ms 11.41% detect_generic
4.86/4.91	c                 240.50ms  4.91% parse
4.86/4.91	c                 109.59ms  2.24% approx_orbits
4.86/4.91	c                  44.19ms  0.90% output
4.86/4.91	c                   1.21ms  0.02% other
4.86/4.91	c                   1.08ms  0.02% break_generic
4.86/4.91	c                   0.43ms  0.01% finalize_order
4.86/4.91	c                   0.03ms  0.00% optimize_gens
4.86/4.91	c         ───────────────────────────────────────────────
4.86/4.91	c                4897.19ms   100% total
4.86/4.91	c ------------------------------------------------------------------
4.86/4.94	c RoundingSat 2
4.86/4.94	c branch pb25
4.86/4.94	c commit 63f22ad
5.73/5.89	c #variables 5162 #constraints 65628
5.73/5.89	c objective is ce32 
11.11/11.26	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
11.11/11.26	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
11.11/11.26	c bounds 159 >= 0 @ 6.17306
21.19/21.34	c bounds 158 >= 0 @ 16.0893
21.19/21.36	c bounds 158 >= 1 @ 16.1087
21.19/21.36	c bounds 158 >= 2 @ 16.1091
21.19/21.36	c bounds 158 >= 3 @ 16.1108
21.19/21.37	c bounds 158 >= 4 @ 16.1138
21.19/21.37	c bounds 158 >= 5 @ 16.1194
21.19/21.38	c bounds 158 >= 6 @ 16.1221
21.19/21.38	c bounds 158 >= 7 @ 16.1229
21.19/21.39	c bounds 158 >= 8 @ 16.1246
21.19/21.39	c bounds 158 >= 9 @ 16.1267
21.19/21.39	c bounds 158 >= 10 @ 16.1272
21.28/21.40	c bounds 158 >= 11 @ 16.1288
21.28/21.40	c bounds 158 >= 12 @ 16.1297
21.28/21.41	c bounds 158 >= 13 @ 16.1328
21.28/21.41	c bounds 158 >= 14 @ 16.1337
21.28/21.41	c bounds 158 >= 15 @ 16.1368
21.28/21.42	c bounds 158 >= 16 @ 16.1377
21.28/21.42	c bounds 158 >= 17 @ 16.1393
21.28/21.43	c bounds 158 >= 18 @ 16.1423
21.28/21.44	c bounds 158 >= 19 @ 16.154
21.39/21.58	c bounds 157 >= 19 @ 16.2836
21.39/21.59	c bounds 157 >= 20 @ 16.2943
21.49/21.60	c bounds 157 >= 21 @ 16.3019
21.49/21.60	c bounds 157 >= 22 @ 16.3036
21.49/21.61	c bounds 157 >= 23 @ 16.3052
21.49/21.61	c bounds 157 >= 24 @ 16.3071
21.49/21.62	c bounds 157 >= 25 @ 16.3101
21.49/21.62	c bounds 157 >= 26 @ 16.3124
21.49/21.63	c bounds 157 >= 27 @ 16.32
21.49/21.64	c bounds 157 >= 28 @ 16.3236
21.49/21.66	c bounds 157 >= 29 @ 16.3383
21.58/21.74	c bounds 157 >= 30 @ 16.4118
21.68/21.81	c bounds 156 >= 30 @ 16.4836
21.68/21.82	c bounds 155 >= 30 @ 16.4898
21.68/21.83	c bounds 154 >= 30 @ 16.4974
21.68/21.84	c bounds 153 >= 30 @ 16.5024
21.68/21.85	c bounds 152 >= 30 @ 16.5106
21.68/21.87	c bounds 151 >= 30 @ 16.5187
21.68/21.89	c bounds 150 >= 30 @ 16.5324
21.79/21.90	c bounds 149 >= 30 @ 16.5467
22.39/22.59	c #Conflicts:       1000 | #Constraints:      66857
22.39/22.59	c bounds 149 >= 31 @ 17.2044
22.48/22.60	c bounds 148 >= 31 @ 17.2167
22.48/22.61	c bounds 147 >= 31 @ 17.2232
22.48/22.62	c bounds 146 >= 31 @ 17.2261
22.48/22.63	c bounds 145 >= 31 @ 17.233
22.48/22.64	c bounds 144 >= 31 @ 17.2395
22.48/22.64	c bounds 143 >= 31 @ 17.2421
22.48/22.65	c bounds 142 >= 31 @ 17.2475
22.48/22.66	c bounds 141 >= 31 @ 17.254
22.48/22.67	c bounds 140 >= 31 @ 17.2621
22.48/22.68	c bounds 139 >= 31 @ 17.2685
22.48/22.69	c bounds 138 >= 31 @ 17.2747
22.58/22.70	c bounds 137 >= 31 @ 17.2844
22.58/22.71	c bounds 136 >= 31 @ 17.2892
22.58/22.72	c bounds 135 >= 31 @ 17.2991
22.58/22.73	c bounds 134 >= 31 @ 17.3069
22.58/22.74	c bounds 133 >= 31 @ 17.3114
22.58/22.74	c bounds 132 >= 31 @ 17.3176
22.58/22.75	c bounds 131 >= 31 @ 17.3233
22.58/22.76	c bounds 130 >= 31 @ 17.3281
22.58/22.77	c bounds 129 >= 31 @ 17.336
22.58/22.78	c bounds 128 >= 31 @ 17.3429
22.58/22.78	c bounds 127 >= 31 @ 17.3503
22.58/22.79	c bounds 126 >= 31 @ 17.3598
22.69/22.81	c bounds 125 >= 31 @ 17.3681
22.69/22.82	c bounds 124 >= 31 @ 17.381
22.69/22.84	c bounds 123 >= 31 @ 17.3949
22.69/22.87	c bounds 122 >= 31 @ 17.4205
22.69/22.89	c bounds 121 >= 31 @ 17.44
22.78/22.91	c bounds 120 >= 31 @ 17.4537
22.78/22.93	c bounds 119 >= 31 @ 17.4685
22.78/22.95	c bounds 118 >= 31 @ 17.4859
22.78/22.96	c bounds 117 >= 31 @ 17.5008
22.78/22.98	c bounds 116 >= 31 @ 17.5149
22.78/22.99	c bounds 115 >= 31 @ 17.5279
22.89/23.01	c bounds 114 >= 31 @ 17.5421
22.89/23.03	c bounds 113 >= 31 @ 17.5585
22.89/23.04	c bounds 112 >= 31 @ 17.5729
22.89/23.06	c bounds 111 >= 31 @ 17.5868
22.89/23.09	c bounds 110 >= 31 @ 17.6143
22.99/23.12	c bounds 109 >= 31 @ 17.6395
22.99/23.14	c bounds 108 >= 31 @ 17.6542
22.99/23.16	c bounds 107 >= 31 @ 17.6753
23.08/23.21	c bounds 106 >= 31 @ 17.7252
23.08/23.26	c bounds 105 >= 31 @ 17.7661
23.18/23.33	c bounds 104 >= 31 @ 17.8198
23.18/23.35	c bounds 103 >= 31 @ 17.8379
23.18/23.36	c bounds 102 >= 31 @ 17.8509
23.18/23.38	c bounds 101 >= 31 @ 17.8639
23.18/23.39	c bounds 100 >= 31 @ 17.8741
23.28/23.40	c bounds 99 >= 31 @ 17.8868
23.28/23.42	c bounds 98 >= 31 @ 17.8953
23.28/23.43	c bounds 97 >= 31 @ 17.9052
23.28/23.44	c bounds 96 >= 31 @ 17.9143
23.28/23.45	c bounds 95 >= 31 @ 17.9243
23.28/23.47	c bounds 94 >= 31 @ 17.9368
23.28/23.48	c bounds 93 >= 31 @ 17.949
23.28/23.49	c bounds 92 >= 31 @ 17.9593
23.38/23.50	c bounds 91 >= 31 @ 17.9685
23.38/23.51	c bounds 90 >= 31 @ 17.9768
23.38/23.52	c bounds 89 >= 31 @ 17.9855
23.38/23.53	c bounds 88 >= 31 @ 17.993
23.38/23.54	c bounds 87 >= 31 @ 18.0045
23.38/23.55	c bounds 86 >= 31 @ 18.0146
23.38/23.56	c bounds 85 >= 31 @ 18.0246
23.38/23.57	c bounds 84 >= 31 @ 18.0311
23.38/23.58	c bounds 83 >= 31 @ 18.0385
23.38/23.59	c bounds 82 >= 31 @ 18.0474
23.48/23.60	c bounds 81 >= 31 @ 18.0538
23.48/23.61	c bounds 80 >= 31 @ 18.058
23.48/23.61	c bounds 79 >= 31 @ 18.062
23.48/23.62	c bounds 78 >= 31 @ 18.0658
23.48/23.62	c bounds 77 >= 31 @ 18.0716
23.48/23.63	c bounds 76 >= 31 @ 18.0764
23.48/23.64	c bounds 75 >= 31 @ 18.0801
23.48/23.64	c bounds 74 >= 31 @ 18.0851
23.48/23.65	c bounds 73 >= 31 @ 18.0898
23.48/23.65	c bounds 72 >= 31 @ 18.0954
23.48/23.66	c bounds 71 >= 31 @ 18.101
23.48/23.66	c bounds 70 >= 31 @ 18.1058
23.48/23.67	c bounds 69 >= 31 @ 18.1104
23.48/23.68	c bounds 68 >= 31 @ 18.115
23.48/23.68	c bounds 67 >= 31 @ 18.1196
23.48/23.69	c bounds 66 >= 31 @ 18.1243
23.48/23.69	c bounds 65 >= 31 @ 18.1278
23.58/23.70	c bounds 64 >= 31 @ 18.1313
23.58/23.70	c bounds 63 >= 31 @ 18.1349
23.58/23.71	c bounds 62 >= 31 @ 18.1404
23.58/23.71	c bounds 61 >= 31 @ 18.1448
23.58/23.72	c bounds 60 >= 31 @ 18.1484
23.58/23.73	c bounds 59 >= 31 @ 18.1528
23.58/23.73	c bounds 58 >= 31 @ 18.1573
23.58/23.74	c bounds 57 >= 31 @ 18.1618
23.58/23.74	c bounds 56 >= 31 @ 18.166
23.58/23.75	c bounds 55 >= 31 @ 18.1709
23.58/23.75	c bounds 54 >= 31 @ 18.1752
23.58/23.76	c bounds 53 >= 31 @ 18.1804
23.58/23.76	c bounds 52 >= 31 @ 18.1847
23.58/23.77	c bounds 51 >= 31 @ 18.1889
23.58/23.78	c bounds 50 >= 31 @ 18.1945
23.58/23.78	c bounds 49 >= 31 @ 18.1998
23.58/23.79	c bounds 48 >= 31 @ 18.204
23.58/23.79	c bounds 47 >= 31 @ 18.2092
23.68/23.80	c bounds 46 >= 31 @ 18.2145
23.68/23.80	c bounds 45 >= 31 @ 18.2191
23.68/23.81	c bounds 44 >= 31 @ 18.2232
23.68/23.81	c bounds 43 >= 31 @ 18.2268
23.68/23.83	c bounds 42 >= 31 @ 18.2411
23.68/23.88	c bounds 41 >= 31 @ 18.2827
741.22/743.71	c #Conflicts:       2000 | #Constraints:      68004
741.22/743.71	c INPROCESSING
741.22/743.71	c GARBAGE COLLECT
741.22/743.71	c bounds 40 >= 31 @ 735.453
741.42/743.99	c bounds 39 >= 31 @ 735.722
744.52/747.01	c #Conflicts:       3000 | #Constraints:      67840
744.52/747.01	c #Conflicts:       4000 | #Constraints:      68840
744.52/747.01	c INPROCESSING
744.52/747.01	c GARBAGE COLLECT
744.52/747.01	c bounds 38 >= 31 @ 738.671
744.52/747.10	c bounds 37 >= 31 @ 738.755
744.62/747.15	c bounds 36 >= 31 @ 738.801
764.34/766.95	c #Conflicts:       5000 | #Constraints:      68237
764.34/766.95	c #Conflicts:       6000 | #Constraints:      69237
764.34/766.95	c INPROCESSING
764.34/766.95	c GARBAGE COLLECT
764.34/766.95	c #Conflicts:       7000 | #Constraints:      68217
764.34/766.95	WSVECS04 Frhs2[1]: 6 -0.198445 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[2]: 6 -0.855661 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[4]: 6 -0.812812 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[5]: 6 0 0.890981 shouldn't be
764.34/766.95	WSVECS04 Frhs2[6]: 6 -0.255121 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[12]: 6 -0.540975 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[31]: 6 -0.560071 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[32]: 6 -0.915142 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[39]: 6 0 0.133417 shouldn't be
764.34/766.95	WSVECS04 Frhs2[122]: 6 0 1.15549 shouldn't be
764.34/766.95	WSVECS04 Frhs2[149]: 6 0 0.240408 shouldn't be
764.34/766.95	WSVECS04 Frhs2[171]: 6 0 1.00008 shouldn't be
764.34/766.95	WSVECS04 Frhs2[174]: 6 0 0.104609 shouldn't be
764.34/766.95	WSVECS04 Frhs2[182]: 6 0 0.0104401 shouldn't be
764.34/766.95	WSVECS04 Frhs2[196]: 6 0 0.646281 shouldn't be
764.34/766.95	WSVECS04 Frhs2[407]: 6 -0.540122 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[408]: 6 0 0.371619 shouldn't be
764.34/766.95	WSVECS04 Frhs2[2996]: 6 0 0.308035 shouldn't be
764.34/766.95	WSVECS04 Frhs2[3165]: 6 0 0.0625575 shouldn't be
764.34/766.95	WSVECS04 Frhs2[3475]: 6 0 0.543796 shouldn't be
764.34/766.95	WSVECS04 Frhs2[3478]: 6 0 0.0721693 shouldn't be
764.34/766.95	WSVECS04 Frhs2[3595]: 6 0 0.497129 shouldn't be
764.34/766.95	WSVECS04 Frhs2[3897]: 6 0 0.583621 shouldn't be
764.34/766.95	WSVECS04 Frhs2[4264]: 6 -0.987448 0 shouldn't be
764.34/766.95	WSVECS04 Frhs2[4321]: 6 0 0.67485 shouldn't be
764.34/766.95	WSVECS04 Frhs2[4563]: 6 -0.585396 0 shouldn't be
810.10/812.80	WSVECS04 Frhs2[18]: 6 0 2.09342 shouldn't be
911.56/914.69	WSVECS04 Frhs2[46]: 6 -0.555954 0 shouldn't be
922.83/925.94	c #Conflicts:       8000 | #Constraints:      69217
922.83/925.94	c bounds 36 >= 32 @ 916.767
3146.24/3156.42	c #Conflicts:       9000 | #Constraints:      70265
3146.24/3156.42	c INPROCESSING
3146.24/3156.42	c GARBAGE COLLECT
3146.24/3156.42	WSVECS04 Frhs2[4261]: 6 -1.00003 0 shouldn't be
3600.08/3611.72	c Disabling crashed LP
3600.08/3611.72	c cpu time 3593.54 s
3600.08/3611.72	c deterministic time 634736907 6.35e+08
3600.08/3611.72	c optimization time 5.46495 s
3600.08/3611.72	c total solve time 3587.25 s
3600.08/3611.72	c core-guided solve time 891.362 s
3600.08/3611.72	c propagation time 227.039 s
3600.08/3611.72	c conflict analysis time 4.74023 s
3600.08/3611.72	c propagations 9432047
3600.08/3611.72	c resolve steps 49363
3600.08/3611.72	c decisions 956060
3600.08/3611.72	c conflicts 9200
3600.08/3611.72	c restarts 38
3600.08/3611.72	c inprocessing phases 4
3600.08/3611.72	c garbage collections 4 ,( 100.00 )
3600.08/3611.72	c input clauses 65698 ,( 99.46 )
3600.08/3611.72	c input cardinalities 256 ,( 0.39 )
3600.08/3611.72	c input general constraints 101 ,( 0.15 )
3600.08/3611.72	c input average constraint length 49.51
3600.08/3611.72	c input average constraint degree 10.48
3600.08/3611.72	c learned clauses 2751 ,( 29.89 )
3600.08/3611.72	c learned cardinalities 861 ,( 9.35 )
3600.08/3611.72	c learned general constraints 5592 ,( 60.76 )
3600.08/3611.72	c learned average constraint length 1826.42
3600.08/3611.72	c learned average constraint degree 577007352.72
3600.08/3611.72	c watched  CF 32, 64, 128, Arb: 225 , 0 , 0 , 0
3600.08/3611.72	c counting CF 32, 64, 128, Arb: 5469 , 0 , 0 , 0
3600.08/3611.72	c watched   constraints 225 ,( 3.95 ) 
3600.08/3611.72	c counting  constraints 5468 ,( 96.05 ) 
3600.08/3611.72	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9664991 , 1491222 , 55342940 ,( 1614015 , 53728925 )
3600.08/3611.72	c gcd simplifications 80
3600.08/3611.72	c detected cardinalities 12
3600.08/3611.72	c weakened non-implied lits 11101615
3600.08/3611.72	c weakened non-implying lits 2653
3600.08/3611.72	c original variables 5162
3600.08/3611.72	c clausal propagations 94212
3600.08/3611.72	c cardinality propagations 595390
3600.08/3611.72	c watched propagations 51350
3600.08/3611.72	c counting propagations 6114759
3600.08/3611.72	c watch lookups 181323907
3600.08/3611.72	c watch backjump lookups 0
3600.08/3611.72	c watch checks 56749415
3600.08/3611.72	c propagation checks 318926960
3600.08/3611.72	c constraint additions 56918716
3600.08/3611.72	c trail pops 10397306
3600.08/3611.72	c formula constraints 65628
3600.08/3611.72	c learned constraints 9202
3600.08/3611.72	c bound constraints 156
3600.08/3611.72	c core-guided constraints 271
3600.08/3611.72	c encountered formula constraints 13935
3600.08/3611.72	c encountered learned constraints 33560
3600.08/3611.72	c encountered bound constraints 92
3600.08/3611.72	c encountered core-guided constraints 10955
3600.08/3611.72	c LP total time 898.817 s
3600.08/3611.72	c LP solve time 898.59 s
3600.08/3611.72	c LP constraints added 65628
3600.08/3611.72	c LP constraints removed 0
3600.08/3611.72	c LP pivots internal 23495
3600.08/3611.72	c LP pivots root 9000
3600.08/3611.72	c LP calls 6
3600.08/3611.72	c LP optimalities 0
3600.08/3611.72	c LP no pivot count 0
3600.08/3611.72	c LP infeasibilities 1
3600.08/3611.72	c LP valid Farkas constraints 1
3600.08/3611.72	c LP learned Farkas constraints 1
3600.08/3611.72	c LP basis resets 0
3600.08/3611.72	c LP cycling count 0
3600.08/3611.72	c LP singular count 0
3600.08/3611.72	c LP no primal count 0
3600.08/3611.72	c LP no farkas count 0
3600.08/3611.72	c LP other issue count 0
3600.08/3611.72	c LP Gomory cuts 0
3600.08/3611.72	c LP learned cuts 0
3600.08/3611.72	c LP deleted cuts 0
3600.08/3611.72	c LP encountered Gomory constraints 0
3600.08/3611.72	c LP encountered Farkas constraints 20
3600.08/3611.72	c LP encountered learned Farkas constraints 0
3600.08/3611.72	c CG auxiliary variables introduced 101
3600.08/3611.72	c CG solutions found 123
3600.08/3611.72	c CG cores constructed 32
3600.08/3611.72	c CG core cardinality constraints returned 0
3600.08/3611.72	c CG unit cores 0
3600.08/3611.72	c CG single cores 32
3600.08/3611.72	c CG blocks removed during cardinality reduction 0
3600.08/3611.72	c CG first core best 0
3600.08/3611.72	c CG decision core best 0
3600.08/3611.72	c CG core reduction tie 0
3600.08/3611.72	c CG core degree average 1.00
3600.08/3611.72	c CG core slack average 129.97
3600.08/3611.72	c CG core upper bound improvements 15
3600.08/3611.72	c STR number of successful calls 0
3600.08/3611.72	c STR number of unsuccessful calls 0
3600.08/3611.72	c STR number of inconclusive calls 0
3600.08/3611.72	c STR number of successful attempts 0
3600.08/3611.72	c STR number of unsuccessful attempts 0
3600.08/3611.72	c STR number of inconclusive attempts 0
3600.08/3611.72	c STR average degree increase per successful call inf
3600.08/3611.72	c STR average degree increase per successful attempt inf
3600.08/3611.72	c STR total number of conflicts for successful attempts 0
3600.08/3611.72	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.72	c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.72	c STR average number of conflicts per successful attempt inf
3600.08/3611.72	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.72	c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.72	c AVG.sumWPerc 89.24 
3600.08/3611.72	c bigint constraints 0 
3600.08/3611.72	o 36
3600.08/3611.72	s SATISFIABLE
3600.08/3611.72	v x1 -x2 -x3 x4 x5 x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 x4264 -x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
3600.08/3611.72	c Program interrupted by user.

Verifier Data 

OK	36

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (42703 MiB free)
  memory of node 1: 64465 MiB (55786 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503016-1751444461/watcher-4503016-1751444461 -o /tmp/evaluation-result-4503016-1751444461/solver-4503016-1751444461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62655 --watchdog 3760 run-opt-ls.sh HOME/instance-4503016-1751444461.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63198, runsolver pid=63195
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.25 4.19 4.10 5/270 63200
/proc/meminfo: memFree=100824660/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63200] ppid=63198 vsize=45204 memory=35484 CPUtime=0.07 cores=1,3
/proc/63200/stat : 63200 (pbsuma) R 63198 63198 62643 0 -1 4194304 7054 0 0 0 7 0 0 0 20 0 1 0 60124794 46288896 8871 18446744073709551615 4210688 4653049 140724652522816 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 12705792 140724652525923 140724652526130 140724652526130 140724652531695 0
/proc/63200/statm: 11301 8871 928 108 0 8709 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 49396 KiB
Current children cumulated memory: 38428 KiB

[startup+0.205816 s]*
/proc/loadavg: 4.25 4.19 4.10 5/270 63200
/proc/meminfo: memFree=100806892/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63200] ppid=63198 vsize=70328 memory=57344 CPUtime=0.18 cores=1,3
/proc/63200/stat : 63200 (pbsuma) R 63198 63198 62643 0 -1 4194304 11229 0 0 0 16 2 0 0 20 0 1 0 60124794 72015872 14336 18446744073709551615 4210688 4653049 140724652522816 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 12705792 140724652525923 140724652526130 140724652526130 140724652531695 0
/proc/63200/statm: 17582 14336 928 108 0 14990 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74520 KiB
Current children cumulated memory: 60288 KiB

[startup+0.305763 s]*
/proc/loadavg: 4.25 4.19 4.10 5/270 63200
/proc/meminfo: memFree=100777972/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63200] ppid=63198 vsize=106384 memory=94496 CPUtime=0.28 cores=1,3
/proc/63200/stat : 63200 (pbsuma) R 63198 63198 62643 0 -1 4194304 16055 0 0 0 25 3 0 0 20 0 1 0 60124794 108937216 23624 18446744073709551615 4210688 4653049 140724652522816 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 12705792 140724652525923 140724652526130 140724652526130 140724652531695 0
/proc/63200/statm: 26596 23624 960 108 0 24004 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110576 KiB
Current children cumulated memory: 97440 KiB

[startup+0.700197 s]
/proc/loadavg: 4.25 4.19 4.10 5/270 63200
/proc/meminfo: memFree=100746468/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63200] ppid=63198 vsize=118604 memory=102876 CPUtime=0.67 cores=1,3
/proc/63200/stat : 63200 (pbsuma) R 63198 63198 62643 0 -1 4194304 18916 0 0 0 63 4 0 0 20 0 1 0 60124794 121450496 25719 18446744073709551615 4210688 4653049 140724652522816 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 12705792 140724652525923 140724652526130 140724652526130 140724652531695 0
/proc/63200/statm: 29651 25719 960 108 0 27059 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122796 KiB
Current children cumulated memory: 105820 KiB

[startup+1.50022 s]
/proc/loadavg: 4.25 4.19 4.10 5/270 63200
/proc/meminfo: memFree=100702296/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63200] ppid=63198 vsize=118604 memory=102876 CPUtime=1.47 cores=1,3
/proc/63200/stat : 63200 (pbsuma) R 63198 63198 62643 0 -1 4194304 18916 0 0 0 143 4 0 0 20 0 1 0 60124794 121450496 25719 18446744073709551615 4210688 4653049 140724652522816 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 12705792 140724652525923 140724652526130 140724652526130 140724652531695 0
/proc/63200/statm: 29651 25719 960 108 0 27059 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 122796 KiB
Current children cumulated memory: 105820 KiB

[startup+3.10558 s]
/proc/loadavg: 4.23 4.19 4.10 5/270 63201
/proc/meminfo: memFree=100739332/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63200] ppid=63198 vsize=118604 memory=102876 CPUtime=3.07 cores=1,3
/proc/63200/stat : 63200 (pbsuma) R 63198 63198 62643 0 -1 4194304 18924 0 0 0 303 4 0 0 20 0 1 0 60124794 121450496 25719 18446744073709551615 4210688 4653049 140724652522816 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 12705792 140724652525923 140724652526130 140724652526130 140724652531695 0
/proc/63200/statm: 29651 25719 960 108 0 27059 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 122796 KiB
Current children cumulated memory: 105820 KiB

[startup+6.30021 s]
/proc/loadavg: 4.23 4.19 4.10 5/270 63202
/proc/meminfo: memFree=100353844/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=293788 memory=210424 CPUtime=1.35 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 44159 0 0 0 122 13 0 0 20 0 1 0 60125285 300838912 52606 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 73447 52606 2304 1147 0 60874 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 297980 KiB
Current children cumulated memory: 213368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.18 4.10 6/268 63216
/proc/meminfo: memFree=101664664/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=412496 memory=329240 CPUtime=7.73 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 57084 0 0 0 748 25 0 0 20 0 1 0 60125285 422395904 82310 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 103124 82310 2336 1147 0 90551 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 416688 KiB
Current children cumulated memory: 332184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.17 4.09 5/270 63249
/proc/meminfo: memFree=100989744/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=507072 memory=413720 CPUtime=20.5 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 74668 0 0 0 1988 62 0 0 20 0 1 0 60125285 519241728 103430 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 126768 103430 2400 1147 0 114195 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 511264 KiB
Current children cumulated memory: 416664 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.17 4.10 5/270 63251
/proc/meminfo: memFree=100561360/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=581800 memory=487584 CPUtime=46.03 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 80869 0 0 0 4537 66 0 0 20 0 1 0 60125285 595763200 121896 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 145450 121896 2400 1147 0 132877 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 585992 KiB
Current children cumulated memory: 490528 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/271 63300
/proc/meminfo: memFree=111978604/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=756008 memory=633900 CPUtime=97.08 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 83800 0 0 0 9637 71 0 0 20 0 1 0 60125285 774152192 158475 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 189002 158475 2400 1147 0 176429 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 760200 KiB
Current children cumulated memory: 636844 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/270 63306
/proc/meminfo: memFree=110860604/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=817384 memory=687812 CPUtime=156.89 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 84435 0 0 0 15614 75 0 0 20 0 1 0 60125285 837001216 171953 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 204346 171953 2400 1147 0 191773 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 821576 KiB
Current children cumulated memory: 690756 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/270 63308
/proc/meminfo: memFree=110601624/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=822660 memory=701728 CPUtime=216.69 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 84948 0 0 0 21593 76 0 0 20 0 1 0 60125285 842403840 175432 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 205665 175432 2400 1147 0 193092 0
Current children cumulated CPU time: 221.57 s

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

/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3092.33 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 63521
/proc/meminfo: memFree=106286020/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3147.24 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97284 0 0 0 314561 163 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/269 63523
/proc/meminfo: memFree=106263812/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3207.05 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97467 0 0 0 320542 163 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3211.93 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/269 63525
/proc/meminfo: memFree=106269220/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3266.87 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97474 0 0 0 326522 165 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3271.75 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/269 63528
/proc/meminfo: memFree=106183544/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3326.67 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97475 0 0 0 332502 165 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/269 63530
/proc/meminfo: memFree=106081104/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3386.48 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97481 0 0 0 338482 166 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3391.36 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/268 63532
/proc/meminfo: memFree=106074676/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3446.29 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97481 0 0 0 344462 167 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3451.17 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 63535
/proc/meminfo: memFree=106072456/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3506.1 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97481 0 0 0 350442 168 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3510.98 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/270 63552
/proc/meminfo: memFree=105990108/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3565.89 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97526 0 0 0 356421 168 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3570.77 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.12 4.12 4.09 4/266 63562
/proc/meminfo: memFree=108476840/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3595.2 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97663 0 0 0 359351 169 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.7 s]
# the end of solver process 63198 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=4.8259 s, system=0.06784 s
Sleeping 2 seconds

[startup+3611.74 s]
# the end of solver process 63202 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3598.38 s, system=1.76556 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.7 s]
/proc/loadavg: 4.12 4.12 4.09 4/266 63562
/proc/meminfo: memFree=108476840/131249996 swapFree=33010160/33010684
[pid=63198] ppid=63195 vsize=4192 memory=2944 CPUtime=4.88 cores=1,3
/proc/63198/stat : 63198 (run-opt-ls.sh) S 63195 63198 62643 0 -1 4194304 239 26523 0 0 0 0 482 6 20 0 1 0 60124793 4292608 736 18446744073709551615 94602141331456 94602142225989 140734854488416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94602142465040 94602142512784 94602154950656 140734854494567 140734854494693 140734854494693 140734854500295 0
/proc/63198/statm: 1048 736 672 219 0 110 0
[pid=63202] ppid=63198 vsize=1126548 memory=963720 CPUtime=3595.2 cores=1,3
/proc/63202/stat : 63202 (roundingsat) R 63198 63198 62643 0 -1 4194304 97663 0 0 0 359351 169 0 0 20 0 1 0 60125285 1153585152 240930 18446744073709551615 4227072 8923433 140724218763008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31485952 140724218767686 140724218767912 140724218767912 140724218773482 0
/proc/63202/statm: 281637 240930 2432 1147 0 269064 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1130740 KiB
Current children cumulated memory: 966664 KiB

Child status: 2

Real time (s): 3611.74
CPU time (s): 3600.14
CPU user time (s): 3598.38
CPU system time (s): 1.76556
CPU usage (%): 99.679
Max. virtual memory (cumulated for all children) (KiB): 1130740
Max. memory (cumulated for all children) (KiB): 966664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.38
system time used= 1.76556
maximum resident set size= 963976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218
involuntary context switches= 1132


# summary of solver processes directly reported to runsolver:
#   pid: 63198,63202
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.38
#   total CPU system time (s): 1.76556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66414 second user time and 16.0142 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-02 10:21:02
IDJOB=4503016
IDBENCH=155403
IDSOLVER=3355
FILE ID=nodeC032/4503016-1751444461
RUNJOBID= nodeC032-1751440844-62655
SLURM_JOB_ID= 9598402
Free space on /tmp= 429808 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503016-1751444461/watcher-4503016-1751444461 -o /tmp/evaluation-result-4503016-1751444461/solver-4503016-1751444461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751440844-62655 --watchdog 3760  run-opt-ls.sh HOME/instance-4503016-1751444461.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=893558608

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.406
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.049
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3595.737
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.818
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.492
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.833
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.872
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3564.089
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        100853936 kB
MemAvailable:   116743952 kB
Buffers:            2728 kB
Cached:         16570120 kB
SwapCached:           20 kB
Active:         13224476 kB
Inactive:       16202948 kB
Active(anon):   12869360 kB
Inactive(anon):     3268 kB
Active(file):     355116 kB
Inactive(file): 16199680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81176 kB
Writeback:             0 kB
AnonPages:      12857232 kB
Mapped:           113328 kB
Shmem:             18048 kB
KReclaimable:     348916 kB
Slab:             441956 kB
SReclaimable:     348916 kB
SUnreclaim:        93040 kB
KernelStack:        4352 kB
PageTables:        29168 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14842064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6846464 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430852 MiB
End job on nodeC032 at 2025-07-02 11:21:14