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-4505449-1751462009.opb'
3.43/3.52 c read 227.33MB (3511.92ms)
3.43/3.52 c [cnf: #variables 2000400 #clauses 4915858 #duplicates 4950 #arr 15802400]
3.43/3.53 c output proof to 'PROOFDIR/proof-4505449-1751462009'
3.43/3.53 c
3.43/3.53 c make graph and approximate orbits
9.22/9.36 c [group: #orbits ~= 17668] (5825.51ms)
9.22/9.36 c
9.22/9.36 c detect special group actions
9.22/9.36 c exceeded limit
9.22/9.36 c (0.00ms)
9.22/9.36 c
9.22/9.36 c detect symmetries on remainder
9.22/9.36 c [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
9.22/9.36 c
9.22/9.36 c finalize break order and special generators
9.32/9.49 c
9.32/9.49 c generation finished
9.32/9.49 c [sbp: #constraints 0 #add_vars 0]
9.42/9.56 c
9.42/9.56 c write result to 'HOME/instance-4505449-1751462009.opb.pre'
9.92/10.07 c wrote 229.16MB (502.34ms)
9.92/10.07 c ------------------------------------------------------------------
9.92/10.07 c 5825.51ms 57.92% approx_orbits
9.92/10.07 c 3511.92ms 34.92% parse
9.92/10.07 c 502.34ms 4.99% output
9.92/10.07 c 110.28ms 1.10% finalize_order
9.92/10.07 c 107.25ms 1.07% other
9.92/10.07 c 0.01ms 0.00% detect_generic
9.92/10.07 c 0.00ms 0.00% detect_special
9.92/10.07 c ───────────────────────────────────────────────
9.92/10.07 c 10057.32ms 100% total
9.92/10.07 c ------------------------------------------------------------------
11.12/19.78 c RoundingSat 2
11.12/19.78 c branch pb25
11.12/19.78 c commit 63f22ad
32.15/40.83 c #variables 2000400 #constraints 4935661
32.15/40.83 c objective is ce32
120.60/129.55 c initial watched CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
120.60/129.55 c initial counting CF 32, 64, 128, Arb: 985151 , 0 , 0 , 0
120.60/129.55 c bounds 717257600 >= -100 @ 105.08
122.89/131.83 c bounds 693790226 >= -100 @ 106.667
124.10/133.09 c bounds 693335976 >= -100 @ 107.863
125.29/134.26 c bounds 693195065 >= -100 @ 108.984
127.09/136.06 c bounds 693177009 >= -100 @ 110.725
128.29/137.29 c bounds 693116147 >= -100 @ 111.915
219.65/228.80 c #Conflicts: 1000 | #Constraints: 4936666
219.65/228.80 c #Conflicts: 2000 | #Constraints: 4937666
219.65/228.80 c INPROCESSING
219.65/228.80 c GARBAGE COLLECT
219.65/228.80 c bounds 679010809 >= -100 @ 202.271
221.64/230.87 c bounds 671381887 >= -100 @ 204.285
224.04/233.21 c bounds 671373472 >= -100 @ 206.588
225.23/234.41 c bounds 671340964 >= -100 @ 207.748
227.53/236.73 c bounds 671314570 >= -100 @ 210.014
234.71/243.97 c bounds 670900071 >= -100 @ 217.099
237.11/246.31 c bounds 670739957 >= -100 @ 219.341
238.40/247.60 c bounds 670733447 >= -100 @ 220.579
240.09/249.34 c bounds 670521679 >= -100 @ 222.258
241.39/250.60 c bounds 670507767 >= -100 @ 223.484
243.68/252.95 c bounds 659031045 >= -100 @ 225.755
255.36/264.63 c bounds 658942664 >= -100 @ 237.176
256.65/265.91 c bounds 658940559 >= -100 @ 238.421
257.95/267.21 c bounds 658924003 >= -100 @ 239.69
271.22/280.54 c bounds 658904719 >= -100 @ 252.61
285.18/294.52 c bounds 621453971 >= -100 @ 266.27
296.85/306.26 c bounds 621453730 >= -100 @ 277.786
300.84/310.21 c bounds 621317074 >= -100 @ 281.626
307.03/316.48 c bounds 621181232 >= -100 @ 287.723
318.09/327.55 c bounds 621031280 >= -100 @ 298.378
328.57/338.09 c bounds 620927822 >= -100 @ 308.616
332.66/342.19 c bounds 620924198 >= -100 @ 312.621
335.55/345.09 c bounds 620908096 >= -100 @ 315.444
341.13/350.67 c bounds 620904400 >= -100 @ 320.869
343.93/353.49 c bounds 620822992 >= -100 @ 323.614
368.07/377.61 c bounds 620771656 >= -100 @ 347.174
373.85/383.42 c bounds 618586029 >= -100 @ 352.862
376.04/385.65 c bounds 618554404 >= -100 @ 355.028
377.45/387.06 c bounds 618516214 >= -100 @ 356.4
379.54/389.10 c bounds 617443398 >= -100 @ 358.375
384.72/394.30 c bounds 569616941 >= -100 @ 363.458
391.71/401.39 c bounds 569602134 >= -100 @ 370.416
393.60/403.27 c bounds 569550798 >= -100 @ 372.245
399.18/408.85 c bounds 567937354 >= -100 @ 377.693
400.68/410.33 c bounds 565401028 >= -100 @ 379.122
410.85/420.54 c bounds 524708270 >= -100 @ 389.113
425.22/434.92 c bounds 524699040 >= -100 @ 403.001
427.91/437.66 c bounds 524164310 >= -100 @ 405.66
436.39/446.13 c bounds 524140678 >= -100 @ 413.895
441.29/451.05 c bounds 524138464 >= -100 @ 418.668
456.04/465.87 c bounds 524130968 >= -100 @ 433.129
479.08/489.00 c bounds 524127758 >= -100 @ 455.717
480.57/490.40 c bounds 524127076 >= -100 @ 457.065
519.38/529.38 c bounds 524092153 >= -100 @ 495.318
525.66/535.65 c bounds 524091471 >= -100 @ 501.451
530.05/540.01 c bounds 524088116 >= -100 @ 505.724
541.03/551.08 c bounds 523218806 >= -100 @ 516.524
548.01/558.00 c bounds 523190942 >= -100 @ 523.284
574.94/585.08 c bounds 523155752 >= -100 @ 549.747
596.68/606.80 c bounds 523120936 >= -100 @ 571.016
599.57/609.75 c bounds 523117880 >= -100 @ 573.883
607.75/617.92 c bounds 523055864 >= -100 @ 581.855
616.43/626.69 c bounds 523002133 >= -100 @ 590.451
626.20/636.48 c bounds 522945251 >= -100 @ 599.971
652.83/663.13 c bounds 522884348 >= -100 @ 625.791
656.52/666.84 c bounds 518737726 >= -100 @ 629.379
660.12/670.48 c bounds 518734371 >= -100 @ 632.911
665.80/676.17 c bounds 518719057 >= -100 @ 638.408
677.96/688.31 c bounds 518714675 >= -100 @ 650.249
691.42/701.85 c bounds 506877895 >= -100 @ 663.502
723.55/734.04 c bounds 506874056 >= -100 @ 694.806
742.49/753.05 c bounds 506870890 >= -100 @ 713.296
746.27/756.81 c bounds 506870882 >= -100 @ 716.974
847.92/858.70 c bounds 506869866 >= -100 @ 816.641
885.62/896.52 c bounds 506866292 >= -100 @ 853.659
891.80/902.79 c bounds 506857785 >= -100 @ 859.764
916.35/927.35 c bounds 506856612 >= -100 @ 883.998
944.17/955.21 c #Conflicts: 3000 | #Constraints: 4937762
944.17/955.21 c bounds 505450128 >= -100 @ 911.201
952.75/963.88 c bounds 505449446 >= -100 @ 919.679
956.53/967.68 c bounds 505445286 >= -100 @ 923.384
972.89/984.04 c bounds 505440506 >= -100 @ 939.395
976.17/987.31 c bounds 505435130 >= -100 @ 942.571
979.87/991.07 c bounds 505430748 >= -100 @ 946.225
984.75/995.92 c bounds 505418652 >= -100 @ 950.934
989.43/1000.60 c bounds 505416438 >= -100 @ 955.528
996.71/1007.98 c bounds 505380060 >= -100 @ 962.748
1007.59/1018.87 c bounds 505058326 >= -100 @ 973.41
1014.68/1025.98 c bounds 505058084 >= -100 @ 980.357
1019.56/1030.88 c bounds 505051298 >= -100 @ 985.165
1025.25/1036.57 c bounds 503015318 >= -100 @ 990.741
1124.36/1137.83 c #Conflicts: 4000 | #Constraints: 4938775
1124.36/1137.83 c INPROCESSING
1124.36/1137.83 c GARBAGE COLLECT
1124.36/1137.83 c bounds 497559592 >= -100 @ 1088.75
1177.48/1193.81 c bounds 497557954 >= -100 @ 1141.47
1183.06/1199.45 c bounds 497434400 >= -100 @ 1147.01
1209.99/1226.42 c bounds 497431569 >= -100 @ 1173.72
1212.09/1228.56 c bounds 496687299 >= -100 @ 1175.81
1214.28/1230.71 c bounds 494895243 >= -100 @ 1177.89
1218.47/1234.91 c bounds 492859263 >= -100 @ 1181.99
1220.27/1236.70 c bounds 492856589 >= -100 @ 1183.75
1223.57/1240.08 c bounds 492747906 >= -100 @ 1187.08
1225.95/1242.41 c bounds 492577196 >= -100 @ 1189.35
1240.12/1256.68 c bounds 492550218 >= -100 @ 1203.32
1242.01/1258.52 c bounds 492547519 >= -100 @ 1205.14
1288.80/1305.42 c bounds 492495760 >= -100 @ 1251.23
1298.77/1315.48 c bounds 491999051 >= -100 @ 1261.11
1300.17/1316.81 c bounds 491996352 >= -100 @ 1262.41
1331.29/1348.02 c bounds 491394016 >= -100 @ 1293.15
1347.44/1364.26 c bounds 491384593 >= -100 @ 1309.14
1349.83/1366.60 c bounds 491380405 >= -100 @ 1311.44
1354.42/1371.25 c bounds 491374730 >= -100 @ 1316.01
1680.97/1698.62 c #Conflicts: 5000 | #Constraints: 4938196
1680.97/1698.62 c #Conflicts: 6000 | #Constraints: 4939196
1680.97/1698.62 c INPROCESSING
1680.97/1698.62 c GARBAGE COLLECT
1680.97/1698.62 c bounds 471059120 >= -100 @ 1638.92
1689.05/1706.71 c bounds 470858812 >= -100 @ 1646.88
1693.24/1710.93 c bounds 470851146 >= -100 @ 1651.03
1702.61/1720.40 c bounds 469808008 >= -100 @ 1660.27
1708.11/1725.89 c bounds 469766617 >= -100 @ 1665.67
1709.50/1727.24 c bounds 468450171 >= -100 @ 1666.97
1744.92/1762.75 c bounds 468352463 >= -100 @ 1701.86
1750.90/1768.79 c bounds 468341924 >= -100 @ 1707.79
1770.05/1787.97 c bounds 468341487 >= -100 @ 1726.6
1772.64/1790.58 c bounds 466222477 >= -100 @ 1729.14
1849.84/1867.90 c bounds 466221304 >= -100 @ 1804.99
1889.64/1907.84 c bounds 466208248 >= -100 @ 1844.28
1911.58/1929.88 c #Conflicts: 7000 | #Constraints: 4938175
1911.58/1929.88 c bounds 462157834 >= -100 @ 1866.04
2117.66/2136.47 terminate called after throwing an instance of 'std::bad_alloc'
2117.66/2136.47 what(): std::bad_alloc
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 (41464 MiB free)
memory of node 1: 64465 MiB (62780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505449-1751462009/watcher-4505449-1751462009 -o /tmp/evaluation-result-4505449-1751462009/solver-4505449-1751462009 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751458369-65167 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4505449-1751462009.opb PROOFDIR/proof-4505449-1751462009
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 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=65644, runsolver pid=65641
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.18 4.14 3/269 65646
/proc/meminfo: memFree=106356128/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=693696 memory=369204 CPUtime=0.08 cores=1,3
/proc/65646/stat : 65646 (pbsuma) R 65644 65644 65155 0 -1 4194304 1030 0 0 0 1 7 0 0 20 0 1 0 61878951 710344704 92301 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 173424 92301 928 108 0 170832 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 697888 KiB
Current children cumulated memory: 372148 KiB
[startup+0.205648 s]*
/proc/loadavg: 4.20 4.18 4.14 3/269 65646
/proc/meminfo: memFree=105895808/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=1217988 memory=793144 CPUtime=0.18 cores=1,3
/proc/65646/stat : 65646 (pbsuma) R 65644 65644 65155 0 -1 4194304 1749 0 0 0 3 15 0 0 20 0 1 0 61878951 1247219712 198286 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 304497 198286 928 108 0 301905 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1222180 KiB
Current children cumulated memory: 796088 KiB
[startup+0.305705 s]*
/proc/loadavg: 4.20 4.18 4.14 3/269 65646
/proc/meminfo: memFree=105552876/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=1228304 memory=1123344 CPUtime=0.27 cores=1,3
/proc/65646/stat : 65646 (pbsuma) R 65644 65644 65155 0 -1 4194304 4589 0 0 0 6 21 0 0 20 0 1 0 61878951 1257783296 280836 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 307076 280836 928 108 0 304484 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1232496 KiB
Current children cumulated memory: 1126288 KiB
[startup+0.70021 s]
/proc/loadavg: 4.20 4.18 4.14 5/269 65646
/proc/meminfo: memFree=105397340/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=1345188 memory=1246332 CPUtime=0.65 cores=1,3
/proc/65646/stat : 65646 (pbsuma) R 65644 65644 65155 0 -1 4194304 19462 0 0 0 39 26 0 0 20 0 1 0 61878951 1377472512 311583 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 336297 311583 960 108 0 333705 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1349380 KiB
Current children cumulated memory: 1249276 KiB
[startup+1.5002 s]
/proc/loadavg: 4.20 4.18 4.14 5/269 65646
/proc/meminfo: memFree=105445112/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=1463156 memory=1385532 CPUtime=1.44 cores=1,3
/proc/65646/stat : 65646 (pbsuma) R 65644 65644 65155 0 -1 4194304 38461 0 0 0 113 31 0 0 20 0 1 0 61878951 1498271744 346383 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 365789 346383 960 108 0 363197 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1467348 KiB
Current children cumulated memory: 1388476 KiB
[startup+3.10554 s]
/proc/loadavg: 4.20 4.18 4.14 5/271 65655
/proc/meminfo: memFree=124289036/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=1725884 memory=1669428 CPUtime=3.04 cores=1,3
/proc/65646/stat : 65646 (pbsuma) R 65644 65644 65155 0 -1 4194304 73718 0 0 0 261 43 0 0 20 0 1 0 61878951 1767305216 417357 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 431471 417357 960 108 0 428879 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1730076 KiB
Current children cumulated memory: 1672372 KiB
[startup+6.30019 s]
/proc/loadavg: 4.18 4.18 4.14 5/275 65667
/proc/meminfo: memFree=120314604/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=4370660 memory=3480408 CPUtime=6.23 cores=1,3
/proc/65646/stat : 65646 (pbsuma) R 65644 65644 65155 0 -1 4194304 95504 0 0 0 536 87 0 0 20 0 1 0 61878951 4475555840 870102 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 1092665 870102 992 108 0 1090073 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 4374852 KiB
Current children cumulated memory: 3483352 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.17 4.14 3/275 65667
/proc/meminfo: memFree=119837564/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65646] ppid=65644 vsize=2081060 memory=1854184 CPUtime=9.99 cores=1,3
/proc/65646/stat : 65646 (pbsuma) D 65644 65644 65155 0 -1 4194304 131623 0 0 0 884 115 0 0 20 0 1 0 61878951 2131005440 463546 18446744073709551615 4210688 4653049 140732302600608 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 25874432 140732302604515 140732302604850 140732302604850 140732302610415 0
/proc/65646/statm: 520265 463546 992 108 0 517673 0
Current children cumulated CPU time: 9.99 s
Current children cumulated vsize: 2085252 KiB
Current children cumulated memory: 1857128 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.14 5/275 65670
/proc/meminfo: memFree=124164452/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=1082888 memory=968200 CPUtime=5.69 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 113073 0 0 0 450 119 0 0 20 0 1 0 61880928 1108877312 242050 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 270722 242050 2080 1147 0 258149 0
Current children cumulated CPU time: 16.89 s
Current children cumulated vsize: 1087080 KiB
Current children cumulated memory: 971144 KiB
heavy processes:
[startup+51.1057 s]
/proc/loadavg: 4.22 4.18 4.15 5/276 65671
/proc/meminfo: memFree=118255988/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=2810368 memory=2535964 CPUtime=31.23 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 409102 0 0 0 2692 431 0 0 20 0 1 0 61880928 2877816832 633991 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 702592 633991 2144 1147 0 690019 0
Current children cumulated CPU time: 42.43 s
Current children cumulated vsize: 2814560 KiB
Current children cumulated memory: 2538908 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/276 65673
/proc/meminfo: memFree=117076004/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=2810612 memory=2536220 CPUtime=82.27 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 409438 0 0 0 7795 432 0 0 20 0 1 0 61880928 2878066688 634055 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 702653 634055 2144 1147 0 690080 0
Current children cumulated CPU time: 93.47 s
Current children cumulated vsize: 2814804 KiB
Current children cumulated memory: 2539164 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/276 65675
/proc/meminfo: memFree=111532056/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=3317620 memory=3098076 CPUtime=142.12 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 473561 0 0 0 13667 545 0 0 20 0 1 0 61880928 3397242880 774519 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 829405 774519 2176 1147 0 816832 0
Current children cumulated CPU time: 153.32 s
Current children cumulated vsize: 3321812 KiB
Current children cumulated memory: 3101020 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/275 65677
/proc/meminfo: memFree=103006940/131249996 swapFree=33005272/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
################
# More data... #
################
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=24239632 memory=23407140 CPUtime=1693.41 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 4156050 0 0 0 166213 3128 0 0 20 0 1 0 61880928 24821383168 5851785 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 6059908 5851785 2176 1147 0 6047335 0
Current children cumulated CPU time: 1704.61 s
Current children cumulated vsize: 24243824 KiB
Current children cumulated memory: 23410084 KiB
[startup+1782.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/274 65857
/proc/meminfo: memFree=33529016/131249996 swapFree=33004236/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=24239632 memory=23407140 CPUtime=1753.27 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 4174124 0 0 0 172102 3225 0 0 20 0 1 0 61880928 24821383168 5851785 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 6059908 5851785 2176 1147 0 6047335 0
Current children cumulated CPU time: 1764.47 s
Current children cumulated vsize: 24243824 KiB
Current children cumulated memory: 23410084 KiB
[startup+1842.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/274 65860
/proc/meminfo: memFree=28556716/131249996 swapFree=33004236/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=24239632 memory=23407140 CPUtime=1813.11 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 4191521 0 0 0 177978 3333 0 0 20 0 1 0 61880928 24821383168 5851785 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 6059908 5851785 2176 1147 0 6047335 0
Current children cumulated CPU time: 1824.31 s
Current children cumulated vsize: 24243824 KiB
Current children cumulated memory: 23410084 KiB
[startup+1902.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/274 65862
/proc/meminfo: memFree=24392984/131249996 swapFree=33004236/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=24239632 memory=23408548 CPUtime=1872.96 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 4214229 0 0 0 183882 3414 0 0 20 0 1 0 61880928 24821383168 5852137 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 6059908 5852137 2176 1147 0 6047335 0
Current children cumulated CPU time: 1884.16 s
Current children cumulated vsize: 24243824 KiB
Current children cumulated memory: 23411492 KiB
[startup+1962.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/274 65864
/proc/meminfo: memFree=19797036/131249996 swapFree=33004236/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=24239632 memory=23408548 CPUtime=1932.8 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 4279912 0 0 0 189791 3489 0 0 20 0 1 0 61880928 24821383168 5852137 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 6059908 5852137 2176 1147 0 6047335 0
Current children cumulated CPU time: 1944 s
Current children cumulated vsize: 24243824 KiB
Current children cumulated memory: 23411492 KiB
[startup+2022.3 s]
/proc/loadavg: 4.11 4.12 4.12 7/274 65866
/proc/meminfo: memFree=15522080/131249996 swapFree=33004236/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=24239632 memory=23431716 CPUtime=1992.65 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 4363896 0 0 0 195697 3568 0 0 20 0 1 0 61880928 24821383168 5857929 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 6059908 5857929 2176 1147 0 6047335 0
Current children cumulated CPU time: 2003.85 s
Current children cumulated vsize: 24243824 KiB
Current children cumulated memory: 23434660 KiB
[startup+2082.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/274 65867
/proc/meminfo: memFree=9691800/131249996 swapFree=33004236/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=24950000 memory=24450212 CPUtime=2052.5 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 4713635 0 0 0 201560 3690 0 0 20 0 1 0 61880928 25548800000 6112553 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 6237500 6112553 2176 1147 0 6224927 0
Current children cumulated CPU time: 2063.7 s
Current children cumulated vsize: 24954192 KiB
Current children cumulated memory: 24453156 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2136.4 s]
/proc/loadavg: 4.17 4.13 4.12 5/273 65873
/proc/meminfo: memFree=3426900/131249996 swapFree=33004236/33010684
[pid=65644] ppid=65641 vsize=4192 memory=2944 CPUtime=11.2 cores=1,3
/proc/65644/stat : 65644 (run-opt-ls-log.) S 65641 65644 65155 0 -1 4194304 242 132177 0 0 0 0 1002 118 20 0 1 0 61878950 4292608 736 18446744073709551615 94726290997248 94726291891781 140726444471840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94726292130832 94726292178576 94726322601984 140726444476699 140726444476897 140726444476897 140726444482499 0
/proc/65644/statm: 1048 736 672 219 0 110 0
[pid=65668] ppid=65644 vsize=31740568 memory=26834340 CPUtime=2106.46 cores=1,3
/proc/65668/stat : 65668 (roundingsat) R 65644 65644 65155 0 -1 4194304 5487770 0 0 0 206776 3870 0 0 20 0 1 0 61880928 32502341632 6708585 18446744073709551615 4227072 8923433 140734407073712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 0
/proc/65668/statm: 7935142 6708585 2176 1147 0 7922569 0
Current children cumulated CPU time: 2117.66 s
Current children cumulated vsize: 31744760 KiB
Current children cumulated memory: 26837284 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2136.4 s]
# the end of solver process 65644 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=10.0255 s, system=1.18385 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2148.76 s]
# the end of solver process 65668 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=2077.81 s, system=42.411 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+2137.6 s]
/proc/loadavg: 4.17 4.13 4.12 8/274 65876
/proc/meminfo: memFree=2794724/131249996 swapFree=33004236/33010684
[pid=65668] ppid=65641 vsize=31795156 memory=26869028 CPUtime=2107.43 cores=1,3
/proc/65668/stat : 65668 (roundingsat) S 65641 65644 65155 0 -1 4195840 5496330 0 1 0 206776 3967 0 0 20 0 1 0 61880928 32558239744 6717257 18446744073709551615 4227072 8923433 140734407073712 140734407070368 139650509879916 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 6
/proc/65668/statm: 7948789 6717257 2304 1147 0 7936216 0
Current cumulated CPU time of completed processes: 11.2094 s
Current children cumulated CPU time: 2107.43 s
Current children cumulated vsize: 31795156 KiB
Current children cumulated memory: 26869028 KiB
[startup+2138 s]*
/proc/loadavg: 4.17 4.13 4.12 5/274 65876
/proc/meminfo: memFree=2179900/131249996 swapFree=33004236/33010684
[pid=65668] ppid=65641 vsize=31795156 memory=26869028 CPUtime=2107.43 cores=1,3
/proc/65668/stat : 65668 (roundingsat) S 65641 65644 65155 0 -1 4195840 5496330 0 1 0 206776 3967 0 0 20 0 1 0 61880928 32558239744 6717257 18446744073709551615 4227072 8923433 140734407073712 140734407070368 139650509879916 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 6
/proc/65668/statm: 7948789 6717257 2304 1147 0 7936216 0
Current cumulated CPU time of completed processes: 11.2094 s
Current children cumulated CPU time: 2107.43 s
Current children cumulated vsize: 31795156 KiB
Current children cumulated memory: 26869028 KiB
[startup+2138.4 s]
/proc/loadavg: 4.17 4.13 4.12 5/274 65876
/proc/meminfo: memFree=2179900/131249996 swapFree=33004236/33010684
[pid=65668] ppid=65641 vsize=31795156 memory=26869028 CPUtime=2107.43 cores=1,3
/proc/65668/stat : 65668 (roundingsat) S 65641 65644 65155 0 -1 4195840 5496330 0 1 0 206776 3967 0 0 20 0 1 0 61880928 32558239744 6717257 18446744073709551615 4227072 8923433 140734407073712 140734407070368 139650509879916 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39833600 140734407080182 140734407080488 140734407080488 140734407086058 6
/proc/65668/statm: 7948789 6717257 2304 1147 0 7936216 0
Current cumulated CPU time of completed processes: 11.2094 s
Current children cumulated CPU time: 2107.43 s
Current children cumulated vsize: 31795156 KiB
Current children cumulated memory: 26869028 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2148.76
CPU time (s): 2120.22
CPU user time (s): 2077.81
CPU system time (s): 42.411
CPU usage (%): 98.672
Max. virtual memory (cumulated for all children) (KiB): 31795156
Max. memory (cumulated for all children) (KiB): 26869028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2077.81
system time used= 42.411
maximum resident set size= 26869028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5628749
page faults= 1
swaps= 0
block input operations= 4952
block output operations= 80441296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121652
involuntary context switches= 4877
# summary of solver processes directly reported to runsolver:
# pid: 65644,65668
# total CPU time (s): 2120.22
# total CPU user time (s): 2077.81
# total CPU system time (s): 42.411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66521 second user time and 10.637 second system time
The end
Begin job on nodeC023 at 2025-07-02 15:13:31
IDJOB=4505449
IDBENCH=155757
IDSOLVER=3356
FILE ID=nodeC023/4505449-1751462009
RUNJOBID= nodeC023-1751458369-65167
SLURM_JOB_ID= 9598459
Free space on /tmp= 431196 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505449-1751462009/watcher-4505449-1751462009 -o /tmp/evaluation-result-4505449-1751462009/solver-4505449-1751462009 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751458369-65167 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4505449-1751462009.opb PROOFDIR/proof-4505449-1751462009
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=1586090922
nodeC023 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.969
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.78
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 : 3599.897
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.78
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 : 3599.678
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.78
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 : 3577.292
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.78
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.896
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.78
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 : 3596.596
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.78
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 : 3600.843
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.78
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 : 3083.311
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 106751420 kB
MemAvailable: 127841100 kB
Buffers: 1328 kB
Cached: 21820688 kB
SwapCached: 372 kB
Active: 2148560 kB
Inactive: 21548876 kB
Active(anon): 1834344 kB
Inactive(anon): 54520 kB
Active(file): 314216 kB
Inactive(file): 21494356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 556700 kB
Writeback: 0 kB
AnonPages: 1878488 kB
Mapped: 100488 kB
Shmem: 13440 kB
KReclaimable: 240696 kB
Slab: 332980 kB
SReclaimable: 240696 kB
SUnreclaim: 92284 kB
KernelStack: 4320 kB
PageTables: 6476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2338620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1579008 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430820 MiB
End job on nodeC023 at 2025-07-02 15:49:20