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: 63968 MiB (62587 MiB free)
  memory of node 1: 64473 MiB (62632 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443925-1721308411/watcher-4443925-1721308411 -o /tmp/evaluation-result-4443925-1721308411/solver-4443925-1721308411 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721304555-957902 --watchdog 3760 ./Hybrid-LSMabP+Exact HOME/instance-4443925-1721308411.opb 3600 HOME 31000 

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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=961528, runsolver pid=961525

[startup+0.100282 s]*
/proc/loadavg: 4.17 4.30 4.20 5/266 961532
/proc/meminfo: memFree=128201968/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=37080 memory=24524 CPUtime=0.09 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 3102 0 0 0 9 0 0 0 20 0 1 0 183004897 37969920 6131 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 9270 6131 1073 2753 0 5923 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55672 KiB
Current children cumulated memory: 28308 KiB

[startup+0.205823 s]*
/proc/loadavg: 4.17 4.30 4.20 5/266 961532
/proc/meminfo: memFree=128194200/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=43224 memory=28836 CPUtime=0.19 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 4156 0 0 0 19 0 0 0 20 0 1 0 183004897 44261376 7209 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 10806 7209 1073 2753 0 7459 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 32620 KiB

[startup+0.305972 s]*
/proc/loadavg: 4.17 4.30 4.20 5/266 961532
/proc/meminfo: memFree=128191076/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=43224 memory=30884 CPUtime=0.29 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 4157 0 0 0 29 0 0 0 20 0 1 0 183004897 44261376 7721 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 10806 7721 1073 2753 0 7459 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 34668 KiB

[startup+0.700254 s]
/proc/loadavg: 4.17 4.30 4.20 5/266 961532
/proc/meminfo: memFree=128180808/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=51416 memory=39080 CPUtime=0.69 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 4678 0 0 0 68 1 0 0 20 0 1 0 183004897 52649984 9770 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 12854 9770 1073 2753 0 9507 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 42864 KiB

[startup+1.50026 s]
/proc/loadavg: 4.17 4.30 4.20 5/266 961532
/proc/meminfo: memFree=128038148/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=67800 memory=55468 CPUtime=1.48 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 5207 0 0 0 147 1 0 0 20 0 1 0 183004897 69427200 13867 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 16950 13867 1073 2753 0 13603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 59252 KiB

[startup+3.10573 s]
/proc/loadavg: 4.16 4.29 4.20 5/266 961534
/proc/meminfo: memFree=127595636/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=266728 memory=223724 CPUtime=3.09 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 16145 0 0 0 301 8 0 0 20 0 1 0 183004897 273129472 55931 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 66682 55931 1105 2753 0 63335 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 227508 KiB

[startup+6.30029 s]
/proc/loadavg: 4.16 4.29 4.20 5/266 961534
/proc/meminfo: memFree=127564836/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=266728 memory=223932 CPUtime=6.28 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 16192 0 0 0 620 8 0 0 20 0 1 0 183004897 273129472 55983 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 66682 55983 1153 2753 0 63335 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 227716 KiB

[startup+7.66655 s]
# the end of solver process 961528 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=7.51278 s, system=0.135217 s

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

[startup+6.40034 s]
/proc/loadavg: 4.16 4.29 4.20 5/266 961534
/proc/meminfo: memFree=127564836/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=266728 memory=223932 CPUtime=6.38 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 16192 0 0 0 630 8 0 0 20 0 1 0 183004897 273129472 55983 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 66682 55983 1153 2753 0 63335 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 285320 KiB
Current children cumulated memory: 227716 KiB

[startup+7.20027 s]
/proc/loadavg: 4.14 4.29 4.19 6/266 961534
/proc/meminfo: memFree=127564640/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=223092 memory=180296 CPUtime=7.17 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 16236 0 0 0 709 8 0 0 20 0 1 0 183004897 228446208 45074 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 55773 45074 1153 2753 0 52426 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 241684 KiB
Current children cumulated memory: 184080 KiB

[startup+7.60027 s]
/proc/loadavg: 4.14 4.29 4.19 6/266 961534
/proc/meminfo: memFree=127564640/131524600 swapFree=131071996/131071996
[pid=961528] ppid=961525 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/961528/stat : 961528 (Hybrid-LSMabP+E) S 961525 961528 957891 0 -1 4194304 231 104 0 0 0 0 0 0 20 0 1 0 183004897 10170368 685 134679101440 94778894647296 94778895726616 140727837184656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94778897825072 94778897872260 94778931400704 140727837189097 140727837189242 140727837189242 140727837196258 0
/proc/961528/statm: 2483 685 606 264 0 134 0
[pid=961531] ppid=961528 vsize=8660 memory=1044 CPUtime=0 cores=4,6
/proc/961531/stat : 961531 (timeout) S 961528 961531 957891 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 183004897 8867840 261 134679101440 94751058591744 94751058626760 140733456059520 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94751060724176 94751060726308 94751078137856 140733456065570 140733456065692 140733456065692 140733456072679 0
/proc/961531/statm: 2165 261 236 9 0 87 0
[pid=961532] ppid=961531 vsize=362952 memory=309588 CPUtime=7.57 cores=4,6
/proc/961532/stat : 961532 (LS-MabP) R 961531 961531 957891 0 -1 4194304 40929 0 0 0 745 12 0 0 20 0 1 0 183004897 371662848 77397 134679101440 4194304 15467897 140735702888368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36782080 140735702893622 140735702893731 140735702893731 140735702900718 0
/proc/961532/statm: 90738 77397 1153 2753 0 87391 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 381544 KiB
Current children cumulated memory: 313372 KiB

Child status: 0

Real time (s): 7.66658
CPU time (s): 7.64799
CPU user time (s): 7.51278
CPU system time (s): 0.135217
CPU usage (%): 99.7576
Max. virtual memory (cumulated for all children) (KiB): 381544
Max. memory (cumulated for all children) (KiB): 313372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.51278
system time used= 0.135217
maximum resident set size= 315064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 12


# summary of solver processes directly reported to runsolver:
#   pid: 961528
#   total CPU time (s): 7.64799
#   total CPU user time (s): 7.51278
#   total CPU system time (s): 0.135217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027393 second user time and 0.065175 second system time

The end