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 (63139 MiB free)
  memory of node 1: 64465 MiB (64027 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484883-1751301113/watcher-4484883-1751301113 -o /tmp/evaluation-result-4484883-1751301113/solver-4484883-1751301113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751301113-41622 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4484883-1751301113.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=41671, runsolver pid=41662

[startup+0.100061 s]*
/proc/loadavg: 0.97 2.46 3.45 6/268 41680
/proc/meminfo: memFree=130199224/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=53824 memory=15524 CPUtime=0.07 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 1914 0 0 0 7 0 0 0 20 0 1 0 45789217 55115776 3881 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 13456 3881 1696 2271 0 8094 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 15524 KiB

[startup+0.204619 s]*
/proc/loadavg: 0.97 2.46 3.45 6/268 41680
/proc/meminfo: memFree=130159896/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=72992 memory=29264 CPUtime=0.17 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 5187 0 0 0 17 0 0 0 20 0 1 0 45789217 74743808 7316 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 18248 7316 1792 2271 0 12886 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 29264 KiB

[startup+0.305008 s]*
/proc/loadavg: 0.97 2.46 3.45 6/268 41680
/proc/meminfo: memFree=129956196/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=104632 memory=62312 CPUtime=0.27 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 11816 0 0 0 25 2 0 0 20 0 1 0 45789217 107143168 15578 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 26158 15578 1856 2271 0 20796 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 104632 KiB
Current children cumulated memory: 62312 KiB

[startup+0.700125 s]
/proc/loadavg: 0.97 2.46 3.45 6/268 41680
/proc/meminfo: memFree=129956196/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=133740 memory=88168 CPUtime=0.66 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 18265 0 0 0 63 3 0 0 20 0 1 0 45789217 136949760 22042 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 33435 22042 1888 2271 0 28073 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 88168 KiB

[startup+1.50012 s]
/proc/loadavg: 0.97 2.46 3.45 6/268 41680
/proc/meminfo: memFree=129844308/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=133740 memory=88168 CPUtime=1.46 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 18265 0 0 0 141 5 0 0 20 0 1 0 45789217 136949760 22042 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 33435 22042 1888 2271 0 28073 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 88168 KiB

[startup+3.10454 s]
/proc/loadavg: 0.97 2.46 3.45 6/268 41680
/proc/meminfo: memFree=129845488/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=133740 memory=88168 CPUtime=3.05 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 18266 0 0 0 297 8 0 0 20 0 1 0 45789217 136949760 22042 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 33435 22042 1888 2271 0 28073 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 88168 KiB

[startup+6.30011 s]
/proc/loadavg: 1.21 2.49 3.46 6/268 41680
/proc/meminfo: memFree=129845728/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=133740 memory=88168 CPUtime=6.24 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 18267 0 0 0 610 14 0 0 20 0 1 0 45789217 136949760 22042 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 33435 22042 1888 2271 0 28073 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 88168 KiB

[startup+12.7001 s]
/proc/loadavg: 1.51 2.53 3.47 6/268 41680
/proc/meminfo: memFree=129845816/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=133740 memory=88168 CPUtime=12.63 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 18268 0 0 0 1237 26 0 0 20 0 1 0 45789217 136949760 22042 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 33435 22042 1888 2271 0 28073 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 88168 KiB

[startup+25.5001 s]
/proc/loadavg: 2.06 2.60 3.47 6/268 41680
/proc/meminfo: memFree=129845944/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=133740 memory=88168 CPUtime=25.39 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 18268 0 0 0 2492 47 0 0 20 0 1 0 45789217 136949760 22042 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 33435 22042 1888 2271 0 28073 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 88168 KiB

[startup+51.1047 s]
/proc/loadavg: 2.78 2.73 3.50 6/268 41681
/proc/meminfo: memFree=129845936/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=133740 memory=88168 CPUtime=50.94 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 18268 0 0 0 5004 90 0 0 20 0 1 0 45789217 136949760 22042 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 33435 22042 1888 2271 0 28073 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 88168 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.94 3.53 6/268 41682
/proc/meminfo: memFree=129551504/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=232628 memory=167196 CPUtime=101.98 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 25309 0 0 0 10085 113 0 0 20 0 1 0 45789217 238211072 41799 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 58157 41799 1888 2271 0 52795 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 232628 KiB
Current children cumulated memory: 167196 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.17 3.57 6/268 41684
/proc/meminfo: memFree=129468780/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=243832 memory=181704 CPUtime=161.8 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 27950 0 0 0 16064 116 0 0 20 0 1 0 45789217 249683968 45426 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 60958 45426 1888 2271 0 55596 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 243832 KiB
Current children cumulated memory: 181704 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.34 3.61 6/265 41689
/proc/meminfo: memFree=129456440/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=245876 memory=184008 CPUtime=221.63 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 28532 0 0 0 22045 118 0 0 20 0 1 0 45789217 251777024 46002 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 61469 46002 1888 2271 0 56107 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 245876 KiB
Current children cumulated memory: 184008 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.48 3.64 6/264 41696
/proc/meminfo: memFree=129387220/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=271232 memory=238040 CPUtime=281.48 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 34833 0 0 0 28026 122 0 0 20 0 1 0 45789217 277741568 59510 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 67808 59510 1888 2271 0 62446 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 271232 KiB
Current children cumulated memory: 238040 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.59 3.67 6/264 41698
/proc/meminfo: memFree=129380428/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=272768 memory=240728 CPUtime=341.33 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 35243 0 0 0 34009 124 0 0 20 0 1 0 45789217 279314432 60182 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 68192 60182 1888 2271 0 62830 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 272768 KiB
Current children cumulated memory: 240728 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.68 3.70 6/264 41700
/proc/meminfo: memFree=129353540/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=272768 memory=240728 CPUtime=401.18 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 35251 0 0 0 39991 127 0 0 20 0 1 0 45789217 279314432 60182 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 68192 60182 1888 2271 0 62830 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 272768 KiB
Current children cumulated memory: 240728 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.77 3.73 6/264 41702
/proc/meminfo: memFree=129363856/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=272928 memory=240856 CPUtime=461 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 35314 0 0 0 45971 129 0 0 20 0 1 0 45789217 279478272 60214 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 68232 60214 1888 2271 0 62870 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 321572 KiB

[startup+2862.3 s]
/proc/loadavg: 4.57 4.33 4.14 6/265 41834
/proc/meminfo: memFree=128994116/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=410716 memory=321700 CPUtime=2854.69 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 53412 0 0 0 285235 234 0 0 20 0 1 0 45789217 420573184 80425 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 102679 80425 1888 2271 0 97317 0
Current children cumulated CPU time: 2854.69 s
Current children cumulated vsize: 410716 KiB
Current children cumulated memory: 321700 KiB

[startup+2922.3 s]
/proc/loadavg: 4.32 4.30 4.14 6/265 41836
/proc/meminfo: memFree=128981764/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=413304 memory=324132 CPUtime=2914.55 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 54032 0 0 0 291220 235 0 0 20 0 1 0 45789217 423223296 81033 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 103326 81033 1888 2271 0 97964 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 413304 KiB
Current children cumulated memory: 324132 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.26 4.13 6/264 41838
/proc/meminfo: memFree=128973788/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=415240 memory=325412 CPUtime=2974.41 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 54353 0 0 0 297203 238 0 0 20 0 1 0 45789217 425205760 81353 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 103810 81353 1888 2271 0 98448 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 415240 KiB
Current children cumulated memory: 325412 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.24 4.13 6/264 41840
/proc/meminfo: memFree=128966932/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=418936 memory=328740 CPUtime=3034.27 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 55191 0 0 0 303186 241 0 0 20 0 1 0 45789217 428990464 82185 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 104734 82185 1888 2271 0 99372 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 418936 KiB
Current children cumulated memory: 328740 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.21 4.12 6/264 41842
/proc/meminfo: memFree=128961712/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=420644 memory=330404 CPUtime=3094.13 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 55609 0 0 0 309169 244 0 0 20 0 1 0 45789217 430739456 82601 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 105161 82601 1888 2271 0 99799 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 420644 KiB
Current children cumulated memory: 330404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.12 6/264 41844
/proc/meminfo: memFree=128957016/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=422300 memory=332068 CPUtime=3153.99 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 56026 0 0 0 315152 247 0 0 20 0 1 0 45789217 432435200 83017 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 105575 83017 1888 2271 0 100213 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 422300 KiB
Current children cumulated memory: 332068 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.12 6/265 41849
/proc/meminfo: memFree=128963208/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=423760 memory=333604 CPUtime=3213.85 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 56386 0 0 0 321136 249 0 0 20 0 1 0 45789217 433930240 83401 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 105940 83401 1888 2271 0 100578 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 423760 KiB
Current children cumulated memory: 333604 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.11 6/265 41856
/proc/meminfo: memFree=128962572/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=424588 memory=334372 CPUtime=3273.71 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 56599 0 0 0 327119 252 0 0 20 0 1 0 45789217 434778112 83593 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 106147 83593 1888 2271 0 100785 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 424588 KiB
Current children cumulated memory: 334372 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.11 6/265 41858
/proc/meminfo: memFree=128950464/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=424588 memory=334372 CPUtime=3333.56 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 56599 0 0 0 333102 254 0 0 20 0 1 0 45789217 434778112 83593 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 106147 83593 1888 2271 0 100785 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 424588 KiB
Current children cumulated memory: 334372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.11 6/264 41860
/proc/meminfo: memFree=128927736/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=425124 memory=343168 CPUtime=3393.42 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 56848 0 0 0 339086 256 0 0 20 0 1 0 45789217 435326976 85792 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 106281 85792 1888 2271 0 100919 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 425124 KiB
Current children cumulated memory: 343168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 6/264 41862
/proc/meminfo: memFree=128919620/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=425944 memory=343680 CPUtime=3453.28 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 57000 0 0 0 345069 259 0 0 20 0 1 0 45789217 436166656 85920 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 106486 85920 1888 2271 0 101124 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 425944 KiB
Current children cumulated memory: 343680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.10 6/263 41864
/proc/meminfo: memFree=128912108/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=427724 memory=345728 CPUtime=3513.15 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 57514 0 0 0 351053 262 0 0 20 0 1 0 45789217 437989376 86432 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 106931 86432 1888 2271 0 101569 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 427724 KiB
Current children cumulated memory: 345728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/263 41867
/proc/meminfo: memFree=128911792/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=427724 memory=345856 CPUtime=3573 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 57548 0 0 0 357036 264 0 0 20 0 1 0 45789217 437989376 86464 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 106931 86464 1888 2271 0 101569 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 427724 KiB
Current children cumulated memory: 345856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.14 4.13 4.10 6/263 41869
/proc/meminfo: memFree=128911492/131249996 swapFree=33005272/33010684
[pid=41671] ppid=41662 vsize=428600 memory=345856 CPUtime=3600.03 cores=4,6
/proc/41671/stat : 41671 (ExactPR) R 41662 41671 41611 0 -1 4194304 57551 0 0 0 359737 266 0 0 20 0 1 0 45789217 438886400 86464 18446744073709551615 94757863919616 94757873219461 140725310981488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94757875005760 94757875044840 94757914865664 140725310986629 140725310986764 140725310986764 140725310992366 0
/proc/41671/statm: 107150 86464 1888 2271 0 101788 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 428600 KiB
Current children cumulated memory: 345856 KiB

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

[startup+3609.41 s]
# the end of solver process 41671 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3597.38 s, system=2.66617 s

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

Child status: 10

Real time (s): 3609.41
CPU time (s): 3600.05
CPU user time (s): 3597.38
CPU system time (s): 2.66617
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 428600
Max. memory (cumulated for all children) (KiB): 345856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.38
system time used= 2.66617
maximum resident set size= 361684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 1848


# summary of solver processes directly reported to runsolver:
#   pid: 41671
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.38
#   total CPU system time (s): 2.66617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55397 second user time and 12.1262 second system time

The end