0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
3.84/3.93 c #variables 399113 #constraints 400980
3.84/3.93 c objective is ce32
4.14/4.22 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.14/4.22 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
4.14/4.22 c GLOBAL bounds - >= -174841973 @ 3.50615
4.64/4.73 c GLOBAL bounds - >= -174841973 @ 3.75022
5.14/5.23 c GLOBAL bounds - >= -174841973 @ 4.00977
5.63/5.73 c GLOBAL bounds - >= -174841973 @ 4.25947
6.24/6.34 c GLOBAL bounds - >= -174841973 @ 4.62085
6.84/6.94 c GLOBAL bounds - >= -174841973 @ 4.98492
7.33/7.45 c GLOBAL bounds - >= -174841973 @ 5.24928
7.84/7.95 c GLOBAL bounds - >= -174841973 @ 5.5099
8.43/8.57 c GLOBAL bounds - >= -174841973 @ 5.86418
9.04/9.19 c GLOBAL bounds - >= -174841973 @ 6.20802
9.63/9.71 c GLOBAL bounds - >= -174841973 @ 6.46594
10.13/10.23 c GLOBAL bounds - >= -174841973 @ 6.72555
10.72/10.86 c GLOBAL bounds - >= -174841973 @ 7.11308
11.33/11.49 c GLOBAL bounds - >= -174841973 @ 7.4923
11.94/12.01 c GLOBAL bounds - >= -174841973 @ 7.75146
12.42/12.54 c GLOBAL bounds - >= -174841973 @ 8.03454
13.03/13.17 c GLOBAL bounds - >= -174841973 @ 8.40245
13.72/13.80 c GLOBAL bounds - >= -174841973 @ 8.78195
14.22/14.33 c GLOBAL bounds - >= -174841973 @ 9.05714
14.72/14.85 c GLOBAL bounds - >= -174841973 @ 9.32399
15.32/15.48 c GLOBAL bounds - >= -174841973 @ 9.68684
16.03/16.11 c GLOBAL bounds - >= -174841973 @ 10.0553
16.51/16.64 c GLOBAL bounds - >= -174841973 @ 10.3377
17.12/17.29 c GLOBAL bounds - >= -174841973 @ 10.7277
17.81/17.94 c GLOBAL bounds - >= -174841973 @ 11.1139
18.51/18.66 c GLOBAL bounds - >= -174841973 @ 11.5736
19.21/19.39 c GLOBAL bounds - >= -174841973 @ 12.0386
20.30/20.45 c GLOBAL bounds - >= -174841973 @ 12.8488
21.02/21.18 c GLOBAL bounds - >= -174841973 @ 13.3118
21.61/21.73 c GLOBAL bounds - >= -174841973 @ 13.6251
22.40/22.59 c GLOBAL bounds - >= -174841973 @ 14.2198
23.91/24.03 c GLOBAL bounds - >= -174841973 @ 15.394
25.10/25.26 c GLOBAL bounds - >= -174841973 @ 16.3349
25.70/25.86 c GLOBAL bounds - >= -174841973 @ 16.6861
26.79/27.00 c GLOBAL bounds - >= -174841973 @ 17.5862
27.90/28.04 c GLOBAL bounds - >= -174841973 @ 18.3625
41.16/41.30 c GLOBAL bounds - >= -174841973 @ 30.9021
42.56/42.72 c GLOBAL bounds - >= -174841973 @ 32.0275
102.42/102.76 c GLOBAL bounds - >= -174841973 @ 90.2285
103.72/104.04 c GLOBAL bounds - >= -174841973 @ 91.2246
104.90/105.21 c GLOBAL bounds - >= -174841973 @ 92.1406
106.01/106.39 c GLOBAL bounds - >= -174841973 @ 93.0598
107.51/107.89 c GLOBAL bounds - >= -174841973 @ 94.291
108.89/109.22 c GLOBAL bounds - >= -174841973 @ 95.3586
110.30/110.65 c GLOBAL bounds - >= -174841973 @ 96.5046
111.49/111.83 c GLOBAL bounds - >= -174841973 @ 97.4142
112.89/113.23 c GLOBAL bounds - >= -174841973 @ 98.5423
114.39/114.73 c GLOBAL bounds - >= -174841973 @ 99.7853
115.69/116.01 c GLOBAL bounds - >= -174841973 @ 100.784
117.08/117.46 c GLOBAL bounds - >= -174841973 @ 101.963
118.28/118.66 c GLOBAL bounds - >= -174841973 @ 102.921
119.69/120.07 c GLOBAL bounds - >= -174841973 @ 104.034
121.17/121.56 c GLOBAL bounds - >= -174841973 @ 105.254
143.72/144.16 c GLOBAL bounds - >= -174841973 @ 126.877
145.62/146.04 c GLOBAL bounds - >= -174841973 @ 128.482
146.91/147.34 c GLOBAL bounds - >= -174841973 @ 129.525
149.00/149.46 c GLOBAL bounds - >= -174841973 @ 131.343
150.29/150.70 c GLOBAL bounds - >= -174841973 @ 132.32
151.70/152.13 c GLOBAL bounds - >= -174841973 @ 133.482
153.89/154.39 c GLOBAL bounds - >= -174841973 @ 135.481
156.78/157.23 c GLOBAL bounds - >= -174841973 @ 138.033
159.59/160.05 c GLOBAL bounds - >= -174841973 @ 140.555
160.97/161.48 c GLOBAL bounds - >= -174841973 @ 141.753
162.46/162.92 c GLOBAL bounds - >= -174841973 @ 142.934
163.87/164.34 c GLOBAL bounds - >= -174841973 @ 144.155
166.16/166.66 c GLOBAL bounds - >= -174841973 @ 146.239
168.85/169.30 c GLOBAL bounds - >= -174841973 @ 148.685
170.65/171.18 c GLOBAL bounds - >= -174841973 @ 150.293
173.34/173.85 c GLOBAL bounds - >= -174841973 @ 152.576
175.82/176.36 c GLOBAL bounds - >= -174841973 @ 154.886
177.72/178.29 c GLOBAL bounds - >= -174841973 @ 156.622
179.63/180.17 c GLOBAL bounds - >= -174841973 @ 158.298
401.77/403.00 c GLOBAL bounds - >= -18432 @ 337.148
791.45/793.77 c GLOBAL bounds - >= -18432 @ 726.62
791.45/793.79 c GLOBAL bounds - >= -18432 @ 726.64
792.64/794.94 c GLOBAL bounds - >= -18432 @ 727.526
792.64/794.98 c GLOBAL bounds - >= -18432 @ 727.55
793.76/796.05 c GLOBAL bounds - >= -18432 @ 728.362
793.76/796.06 c GLOBAL bounds - >= -18432 @ 728.37
794.86/797.19 c GLOBAL bounds - >= -18432 @ 729.236
794.94/797.20 c GLOBAL bounds - >= -18432 @ 729.245
796.03/798.32 c GLOBAL bounds - >= -18432 @ 730.082
796.03/798.33 c GLOBAL bounds - >= -18432 @ 730.093
797.13/799.45 c GLOBAL bounds - >= -18432 @ 730.953
797.53/799.80 c GLOBAL bounds - >= -18432 @ 731.095
798.62/800.92 c GLOBAL bounds - >= -18432 @ 731.97
798.62/800.95 c GLOBAL bounds - >= -18432 @ 731.995
799.73/802.09 c GLOBAL bounds - >= -18432 @ 732.886
800.12/802.41 c GLOBAL bounds - >= -18432 @ 733.05
801.22/803.54 c GLOBAL bounds - >= -18432 @ 733.919
3114.29/3123.38 c #Conflicts: 1000 | #Constraints: 402005
3114.29/3123.38 c #Conflicts: 2000 | #Constraints: 403005
3114.29/3123.38 c INPROCESSING
3114.29/3123.38 c GARBAGE COLLECT
3114.29/3123.38 c #Conflicts: 3000 | #Constraints: 393075
3114.29/3123.38 c #Conflicts: 4000 | #Constraints: 394075
3114.29/3123.38 c INPROCESSING
3114.29/3123.38 c GARBAGE COLLECT
3114.29/3123.38 c #Conflicts: 5000 | #Constraints: 393538
3114.29/3123.38 c GLOBAL bounds - >= -18432 @ 3031.58
3115.50/3124.54 c GLOBAL bounds - >= -18432 @ 3032.5
3600.03/3610.50 c cpu time 3515.36 s
3600.03/3610.50 c deterministic time 42905276409 4.29e+10
3600.03/3610.50 c optimization time 825.605 s
3600.03/3610.50 c total solve time 2686.52 s
3600.03/3610.50 c core-guided solve time 0 s
3600.03/3610.50 c propagation time 1132 s
3600.03/3610.50 c conflict analysis time 1695.31 s
3600.03/3610.50 c propagations 343799581
3600.03/3610.50 c resolve steps 196659
3600.03/3610.50 c decisions 2661589
3600.03/3610.50 c conflicts 5865
3600.03/3610.50 c restarts 29
3600.03/3610.50 c inprocessing phases 2
3600.03/3610.50 c garbage collections 2 ,( 100.00 )
3600.03/3610.50 c input clauses 399009 ,( 99.50 )
3600.03/3610.50 c input cardinalities 1995 ,( 0.50 )
3600.03/3610.50 c input general constraints 2 ,( 0.00 )
3600.03/3610.50 c input average constraint length 7.02
3600.03/3610.50 c input average constraint degree 14.23
3600.03/3610.50 c learned clauses 490 ,( 8.35 )
3600.03/3610.50 c learned cardinalities 316 ,( 5.39 )
3600.03/3610.50 c learned general constraints 5060 ,( 86.26 )
3600.03/3610.50 c learned average constraint length 216209.29
3600.03/3610.50 c learned average constraint degree 16540786677.34
3600.03/3610.50 c watched CF 32, 64, 128, Arb: 51 , 0 , 0 , 0
3600.03/3610.50 c counting CF 32, 64, 128, Arb: 5012 , 0 , 0 , 0
3600.03/3610.50 c watched constraints 51 ,( 1.01 )
3600.03/3610.50 c counting constraints 5011 ,( 98.99 )
3600.03/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 40956641 , 74208 , 860143 ,( 2804 , 857339 )
3600.03/3610.50 c gcd simplifications 6
3600.03/3610.50 c detected cardinalities 0
3600.03/3610.50 c weakened non-implied lits 581533641
3600.03/3610.50 c weakened non-implying lits 304
3600.03/3610.50 c original variables 399113
3600.03/3610.50 c clausal propagations 38750527
3600.03/3610.50 c cardinality propagations 2302967
3600.03/3610.50 c watched propagations 667
3600.03/3610.50 c counting propagations 236586185
3600.03/3610.50 c watch lookups 112953284
3600.03/3610.50 c watch backjump lookups 0
3600.03/3610.50 c watch checks 78437329
3600.03/3610.50 c propagation checks 39840787382
3600.03/3610.50 c constraint additions 2180458928
3600.03/3610.50 c trail pops 346159503
3600.03/3610.50 c formula constraints 400980
3600.03/3610.50 c learned constraints 5864
3600.03/3610.50 c bound constraints 0
3600.03/3610.50 c core-guided constraints 0
3600.03/3610.50 c encountered formula constraints 193618
3600.03/3610.50 c encountered learned constraints 8904
3600.03/3610.50 c encountered bound constraints 0
3600.03/3610.50 c encountered core-guided constraints 0
3600.03/3610.50 c LP total time 509.658 s
3600.03/3610.50 c LP solve time 508.93 s
3600.03/3610.50 c LP constraints added 400980
3600.03/3610.50 c LP constraints removed 0
3600.03/3610.50 c LP pivots internal 13812
3600.03/3610.50 c LP pivots root 5000
3600.03/3610.50 c LP calls 5
3600.03/3610.50 c LP optimalities 0
3600.03/3610.50 c LP no pivot count 0
3600.03/3610.50 c LP infeasibilities 1
3600.03/3610.50 c LP valid Farkas constraints 1
3600.03/3610.50 c LP learned Farkas constraints 1
3600.03/3610.50 c LP basis resets 0
3600.03/3610.50 c LP cycling count 0
3600.03/3610.50 c LP singular count 0
3600.03/3610.50 c LP no primal count 0
3600.03/3610.50 c LP no farkas count 0
3600.03/3610.50 c LP other issue count 0
3600.03/3610.50 c LP Gomory cuts 0
3600.03/3610.50 c LP learned cuts 0
3600.03/3610.50 c LP deleted cuts 0
3600.03/3610.50 c LP encountered Gomory constraints 0
3600.03/3610.50 c LP encountered Farkas constraints 0
3600.03/3610.50 c LP encountered learned Farkas constraints 1
3600.03/3610.50 c CG auxiliary variables introduced 80
3600.03/3610.50 c CG solutions found 0
3600.03/3610.50 c CG cores constructed 10
3600.03/3610.50 c CG core cardinality constraints returned 0
3600.03/3610.50 c CG unit cores 4
3600.03/3610.50 c CG single cores 0
3600.03/3610.50 c CG blocks removed during cardinality reduction 0
3600.03/3610.50 c CG first core best 0
3600.03/3610.50 c CG decision core best 0
3600.03/3610.50 c CG core reduction tie 0
3600.03/3610.50 c CG core degree average 0.00
3600.03/3610.50 c CG core slack average 0.00
3600.03/3610.50 c CG core upper bound improvements 0
3600.03/3610.50 c STR number of successful calls 0
3600.03/3610.50 c STR number of unsuccessful calls 0
3600.03/3610.50 c STR number of inconclusive calls 0
3600.03/3610.50 c STR number of successful attempts 0
3600.03/3610.50 c STR number of unsuccessful attempts 0
3600.03/3610.50 c STR number of inconclusive attempts 0
3600.03/3610.50 c STR average degree increase per successful call inf
3600.03/3610.50 c STR average degree increase per successful attempt inf
3600.03/3610.50 c STR total number of conflicts for successful attempts 0
3600.03/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.50 c STR average number of conflicts per successful attempt inf
3600.03/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.50 c AVG.sumWPerc 98.57
3600.03/3610.50 c bigint constraints 0
3600.03/3610.50 s UNKNOWN
3600.03/3610.50 c Program interrupted by user.
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: 63837 MiB (62468 MiB free)
memory of node 1: 64465 MiB (63412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505999-1751501401/watcher-4505999-1751501401 -o /tmp/evaluation-result-4505999-1751501401/solver-4505999-1751501401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69615 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505999-1751501401.opb PROOFDIR/proof-4505999-1751501401
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB
solver pid=69672, runsolver pid=69661
[startup+0.100071 s]*
/proc/loadavg: 0.74 1.50 2.56 7/254 69677
/proc/meminfo: memFree=128714324/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=130032 memory=79600 CPUtime=0.06 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 5844 0 0 0 3 3 0 0 20 0 1 0 65819289 133152768 19900 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 32508 19900 1952 1147 0 19935 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 134224 KiB
Current children cumulated memory: 82672 KiB
[startup+0.209573 s]*
/proc/loadavg: 0.74 1.50 2.56 7/254 69677
/proc/meminfo: memFree=128597124/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=168316 memory=109820 CPUtime=0.17 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 9203 0 0 0 12 5 0 0 20 0 1 0 65819289 172355584 27455 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 42079 27455 1952 1147 0 29506 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 172508 KiB
Current children cumulated memory: 112892 KiB
[startup+0.310159 s]*
/proc/loadavg: 0.74 1.50 2.56 7/254 69677
/proc/meminfo: memFree=128596872/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=168316 memory=109820 CPUtime=0.27 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 9203 0 0 0 22 5 0 0 20 0 1 0 65819289 172355584 27455 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 42079 27455 1952 1147 0 29506 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 172508 KiB
Current children cumulated memory: 112892 KiB
[startup+0.700339 s]
/proc/loadavg: 0.74 1.50 2.56 6/254 69677
/proc/meminfo: memFree=128599300/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=134748 memory=89844 CPUtime=0.65 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 9914 0 0 0 51 14 0 0 20 0 1 0 65819289 137981952 22461 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 33687 22461 1984 1147 0 21114 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 138940 KiB
Current children cumulated memory: 92916 KiB
[startup+1.50037 s]
/proc/loadavg: 0.74 1.50 2.56 7/254 69677
/proc/meminfo: memFree=128567556/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=161780 memory=117204 CPUtime=1.44 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 15981 0 0 0 120 24 0 0 20 0 1 0 65819289 165662720 29301 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 40445 29301 1984 1147 0 27872 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 165972 KiB
Current children cumulated memory: 120276 KiB
[startup+3.11333 s]
/proc/loadavg: 0.74 1.50 2.56 7/254 69677
/proc/meminfo: memFree=127407672/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=366824 memory=308256 CPUtime=3.06 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 34980 0 0 0 251 55 0 0 20 0 1 0 65819289 375627776 77064 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 91706 77064 2272 1147 0 79133 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 371016 KiB
Current children cumulated memory: 311328 KiB
[startup+6.30036 s]
/proc/loadavg: 1.00 1.55 2.57 8/254 69677
/proc/meminfo: memFree=126395944/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=800744 memory=665600 CPUtime=6.24 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 58827 0 0 0 458 166 0 0 20 0 1 0 65819289 819961856 166400 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 200186 166400 2368 1147 0 187613 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 804936 KiB
Current children cumulated memory: 668672 KiB
[startup+12.7003 s]
/proc/loadavg: 1.49 1.64 2.59 7/258 69681
/proc/meminfo: memFree=125994652/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=880916 memory=720656 CPUtime=12.62 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 61376 0 0 0 808 454 0 0 20 0 1 0 65819289 902057984 180164 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 220229 180164 2368 1147 0 207656 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 885108 KiB
Current children cumulated memory: 723728 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 1.75 2.62 7/258 69681
/proc/meminfo: memFree=125262200/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=1048988 memory=844832 CPUtime=25.4 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 71472 0 0 0 1644 896 0 0 20 0 1 0 65819289 1074163712 211208 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 262247 211208 2368 1147 0 249674 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1053180 KiB
Current children cumulated memory: 847904 KiB
[startup+51.114 s]
/proc/loadavg: 2.79 1.95 2.66 7/258 69682
/proc/meminfo: memFree=123547880/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=1798140 memory=1506720 CPUtime=50.95 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 172559 0 0 0 4001 1094 0 0 20 0 1 0 65819289 1841295360 376680 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 449535 376680 2368 1147 0 436962 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1802332 KiB
Current children cumulated memory: 1509792 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 2.27 2.73 7/259 69685
/proc/meminfo: memFree=121331616/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=2267632 memory=2002524 CPUtime=102.01 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 203542 0 0 0 8983 1218 0 0 20 0 1 0 65819289 2322055168 500631 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 566908 500631 2368 1147 0 554335 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2271824 KiB
Current children cumulated memory: 2005596 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.60 2.82 7/259 69686
/proc/meminfo: memFree=117071644/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=3824492 memory=3311344 CPUtime=161.87 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 448997 0 0 0 14238 1949 0 0 20 0 1 0 65819289 3916279808 827836 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 956123 827836 2368 1147 0 943550 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 3828684 KiB
Current children cumulated memory: 3314416 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.89 2.91 7/258 69688
/proc/meminfo: memFree=113862308/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=3843932 memory=3402540 CPUtime=221.69 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 454196 0 0 0 19209 2960 0 0 20 0 1 0 65819289 3936186368 850635 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 960983 850635 2368 1147 0 948410 0
################
# More data... #
################
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 27908012 KiB
Current children cumulated memory: 23899216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.07 7/262 69865
/proc/meminfo: memFree=36960420/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27903820 memory=23896144 CPUtime=3213 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4381776 0 0 0 312951 8349 0 0 20 0 1 0 65819289 28573511680 5974036 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6975955 5974036 2432 1147 0 6963382 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 27908012 KiB
Current children cumulated memory: 23899216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.08 7/263 69868
/proc/meminfo: memFree=36475644/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27903820 memory=23896144 CPUtime=3272.83 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4382733 0 0 0 318917 8366 0 0 20 0 1 0 65819289 28573511680 5974036 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6975955 5974036 2432 1147 0 6963382 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 27908012 KiB
Current children cumulated memory: 23899216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 7/262 69872
/proc/meminfo: memFree=35763544/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27903820 memory=23896144 CPUtime=3332.65 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4383896 0 0 0 324887 8378 0 0 20 0 1 0 65819289 28573511680 5974036 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6975955 5974036 2432 1147 0 6963382 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 27908012 KiB
Current children cumulated memory: 23899216 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.08 7/261 69874
/proc/meminfo: memFree=35396076/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27903820 memory=23896144 CPUtime=3392.47 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4384923 0 0 0 330841 8406 0 0 20 0 1 0 65819289 28573511680 5974036 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6975955 5974036 2432 1147 0 6963382 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 27908012 KiB
Current children cumulated memory: 23899216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.08 7/261 69876
/proc/meminfo: memFree=34798728/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27903820 memory=23896144 CPUtime=3452.3 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4385634 0 0 0 336808 8422 0 0 20 0 1 0 65819289 28573511680 5974036 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6975955 5974036 2432 1147 0 6963382 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 27908012 KiB
Current children cumulated memory: 23899216 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/261 69878
/proc/meminfo: memFree=34307968/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27941412 memory=23906628 CPUtime=3512.12 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4386685 0 0 0 342774 8438 0 0 20 0 1 0 65819289 28612005888 5976657 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6985353 5976657 2432 1147 0 6972780 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 27945604 KiB
Current children cumulated memory: 23909700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/260 69885
/proc/meminfo: memFree=33768600/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27941412 memory=23906628 CPUtime=3571.92 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4387263 0 0 0 348734 8458 0 0 20 0 1 0 65819289 28612005888 5976657 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6985353 5976657 2432 1147 0 6972780 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 27945604 KiB
Current children cumulated memory: 23909700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.13 4.11 4.09 7/260 69887
/proc/meminfo: memFree=33251012/131382120 swapFree=33010160/33010684
[pid=69672] ppid=69661 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/69672/stat : 69672 (run-opt-log.sh) S 69661 69672 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65819288 4292608 768 18446744073709551615 94913677242368 94913678136901 140726293614384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94913678375952 94913678423696 94913682030592 140726293621025 140726293621220 140726293621220 140726293626822 0
/proc/69672/statm: 1048 768 704 219 0 110 0
[pid=69677] ppid=69672 vsize=27941412 memory=23910724 CPUtime=3600.03 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69672 69672 69604 0 -1 4194304 4389367 0 0 0 351535 8468 0 0 20 0 1 0 65819289 28612005888 5977681 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 6985353 5977681 2432 1147 0 6972780 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 27945604 KiB
Current children cumulated memory: 23913796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 69672 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002454 s, system=0.00359 s
[startup+3611.7 s]
# the end of solver process 69677 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3515.69 s, system=85.4739 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.2 s]
/proc/loadavg: 4.13 4.11 4.09 6/253 69891
/proc/meminfo: memFree=55739448/131382120 swapFree=33010160/33010684
[pid=69677] ppid=69661 vsize=11716908 memory=11582384 CPUtime=3600.65 cores=4,6
/proc/69677/stat : 69677 (roundingsat) R 69661 69672 69604 0 -1 4194304 4395776 0 0 0 351566 8499 0 0 20 0 1 0 65819289 11998113792 2895596 18446744073709551615 4227072 8923433 140725082545584 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39915520 140725082552658 140725082552872 140725082552872 140725082558442 0
/proc/69677/statm: 2929227 2895596 2528 1147 0 2916654 0
Current cumulated CPU time of completed processes: 0.006044 s
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 11716908 KiB
Current children cumulated memory: 11582384 KiB
[startup+3611.6 s]
/proc/loadavg: 4.13 4.11 4.09 4/250 69895
/proc/meminfo: memFree=67767328/131382120 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.006044 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3611.7 s]
/proc/loadavg: 4.13 4.11 4.09 4/250 69895
/proc/meminfo: memFree=67767328/131382120 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.006044 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3611.7
CPU time (s): 3601.17
CPU user time (s): 3515.69
CPU system time (s): 85.4739
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 27945604
Max. memory (cumulated for all children) (KiB): 23913796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3515.69
system time used= 85.4739
maximum resident set size= 23911108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4396001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22053096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2236
involuntary context switches= 4081
# summary of solver processes directly reported to runsolver:
# pid: 69672,69677
# total CPU time (s): 3601.17
# total CPU user time (s): 3515.69
# total CPU system time (s): 85.4739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5678 second user time and 39.4605 second system time
The end
Begin job on nodeC008 at 2025-07-03 02:10:02
IDJOB=4505999
IDBENCH=157587
IDSOLVER=3351
FILE ID=nodeC008/4505999-1751501401
RUNJOBID= nodeC008-1751501401-69615
SLURM_JOB_ID= 9598586
Free space on /tmp= 432700 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505999-1751501401/watcher-4505999-1751501401 -o /tmp/evaluation-result-4505999-1751501401/solver-4505999-1751501401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69615 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505999-1751501401.opb PROOFDIR/proof-4505999-1751501401
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a6b74371f97d4ca84ea621a5ce055c49
RANDOM SEED=793544108
nodeC008 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 : 0xb00001f
cpu MHz : 1795.816
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1895.592
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.360
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.612
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1795.931
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1795.808
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128931852 kB
MemAvailable: 129884140 kB
Buffers: 2144 kB
Cached: 1748512 kB
SwapCached: 16 kB
Active: 304320 kB
Inactive: 1517020 kB
Active(anon): 52020 kB
Inactive(anon): 36584 kB
Active(file): 252300 kB
Inactive(file): 1480436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 149364 kB
Writeback: 0 kB
AnonPages: 73740 kB
Mapped: 103092 kB
Shmem: 17920 kB
KReclaimable: 118356 kB
Slab: 201788 kB
SReclaimable: 118356 kB
SUnreclaim: 83432 kB
KernelStack: 3800 kB
PageTables: 2668 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432676 MiB
End job on nodeC008 at 2025-07-03 03:10:14