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: 63665 MiB (62631 MiB free)
  memory of node 1: 64507 MiB (63859 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499573-1751472725/watcher-4499573-1751472725 -o /tmp/evaluation-result-4499573-1751472725/solver-4499573-1751472725 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751469115-67601 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4499573-1751472725.opb -t 3600 -s 1386162153 --no-s 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68002, runsolver pid=67994
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.07 4.11 4.09 5/258 68014
/proc/meminfo: memFree=129495232/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=24480 memory=9680 CPUtime=0.09 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 2009 0 0 0 9 0 0 0 20 0 1 0 62950273 25067520 2420 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 6120 2420 1056 2752 0 2773 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24480 KiB
Current children cumulated memory: 9680 KiB

[startup+0.205508 s]*
/proc/loadavg: 4.07 4.11 4.09 5/263 68023
/proc/meminfo: memFree=129475716/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=26528 memory=11676 CPUtime=0.19 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 2526 0 0 0 19 0 0 0 20 0 1 0 62950273 27164672 2919 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 6632 2919 1056 2752 0 3285 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 11676 KiB

[startup+0.305293 s]*
/proc/loadavg: 4.07 4.11 4.09 5/263 68023
/proc/meminfo: memFree=129465004/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=38332 memory=21988 CPUtime=0.3 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 4076 0 0 0 29 1 0 0 20 0 1 0 62950273 39251968 5497 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 9583 5497 1056 2752 0 6236 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38332 KiB
Current children cumulated memory: 21988 KiB

[startup+0.700164 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 68023
/proc/meminfo: memFree=129378120/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=60456 memory=44328 CPUtime=0.68 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 9014 0 0 0 66 2 0 0 20 0 1 0 62950273 61906944 11082 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 15114 11082 1120 2752 0 11767 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60456 KiB
Current children cumulated memory: 44328 KiB

[startup+1.50013 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 68023
/proc/meminfo: memFree=129369928/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=60456 memory=44328 CPUtime=1.48 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 9014 0 0 0 146 2 0 0 20 0 1 0 62950273 61906944 11082 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 15114 11082 1120 2752 0 11767 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60456 KiB
Current children cumulated memory: 44328 KiB

[startup+3.10557 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 68023
/proc/meminfo: memFree=129256748/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=60456 memory=44328 CPUtime=3.08 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 9018 0 0 0 306 2 0 0 20 0 1 0 62950273 61906944 11082 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 15114 11082 1120 2752 0 11767 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60456 KiB
Current children cumulated memory: 44328 KiB

[startup+6.30017 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 68023
/proc/meminfo: memFree=129185624/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63304 CPUtime=6.27 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 14931 0 0 0 624 3 0 0 20 0 1 0 62950273 81666048 15826 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15826 1152 2752 0 16591 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63304 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 68023
/proc/meminfo: memFree=129185628/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63304 CPUtime=12.65 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 14934 0 0 0 1262 3 0 0 20 0 1 0 62950273 81666048 15826 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15826 1152 2752 0 16591 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63304 KiB

[startup+25.5001 s]
/proc/loadavg: 4.04 4.10 4.08 5/263 68023
/proc/meminfo: memFree=129185628/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63304 CPUtime=25.42 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 14937 0 0 0 2539 3 0 0 20 0 1 0 62950273 81666048 15826 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15826 1152 2752 0 16591 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63304 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 68024
/proc/meminfo: memFree=129185628/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63304 CPUtime=50.97 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 14940 0 0 0 5094 3 0 0 20 0 1 0 62950273 81666048 15826 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15826 1152 2752 0 16591 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63304 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 68026
/proc/meminfo: memFree=129102628/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=102.05 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 14980 0 0 0 10202 3 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 68028
/proc/meminfo: memFree=129094976/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=161.93 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 14998 0 0 0 16190 3 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 68030
/proc/meminfo: memFree=129112200/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=221.81 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15016 0 0 0 22178 3 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 68033
/proc/meminfo: memFree=129100984/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=281.68 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15016 0 0 0 28165 3 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 68035
/proc/meminfo: memFree=129112672/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=341.57 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15034 0 0 0 34153 4 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 68037
/proc/meminfo: memFree=129113536/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=401.44 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15052 0 0 0 40140 4 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 68044
/proc/meminfo: memFree=129114240/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=461.32 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15052 0 0 0 46128 4 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0

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

Current children cumulated memory: 63688 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 68155
/proc/meminfo: memFree=129130492/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=2856.45 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15196 0 0 0 285636 9 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 2856.45 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 68157
/proc/meminfo: memFree=129130620/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=2916.32 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15196 0 0 0 291623 9 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 2916.32 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 68169
/proc/meminfo: memFree=129130604/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=2976.2 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15196 0 0 0 297611 9 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 2976.2 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 68171
/proc/meminfo: memFree=129130484/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3036.08 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15214 0 0 0 303599 9 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3036.08 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 68173
/proc/meminfo: memFree=129130664/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3095.96 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15214 0 0 0 309587 9 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3095.96 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 68175
/proc/meminfo: memFree=129130544/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3155.84 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15214 0 0 0 315574 10 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3155.84 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 68177
/proc/meminfo: memFree=129130680/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3215.72 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15214 0 0 0 321562 10 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3215.72 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 68179
/proc/meminfo: memFree=129131232/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3275.6 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15214 0 0 0 327550 10 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3275.6 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 68181
/proc/meminfo: memFree=129130336/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3335.47 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15232 0 0 0 333537 10 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3335.47 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 68183
/proc/meminfo: memFree=129130432/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3395.36 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15232 0 0 0 339525 11 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3395.36 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 68192
/proc/meminfo: memFree=129130284/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3455.24 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15232 0 0 0 345513 11 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3455.24 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 68196
/proc/meminfo: memFree=129130276/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3515.11 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15232 0 0 0 351500 11 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3515.11 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 68198
/proc/meminfo: memFree=129130364/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3574.99 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15232 0 0 0 357488 11 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3574.99 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 68200
/proc/meminfo: memFree=129129976/131249996 swapFree=33010416/33010684
[pid=68002] ppid=67994 vsize=79752 memory=63688 CPUtime=3600.04 cores=4,6
/proc/68002/stat : 68002 (NuPBO-DeepOpt+) R 67994 68002 67590 0 -1 4194304 15232 0 0 0 359992 12 0 0 20 0 1 0 62950273 81666048 15922 18446744073709551615 4198400 15468185 140721128738320 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36732928 140721128745361 140721128745477 140721128745477 140721128751079 0
/proc/68002/statm: 19938 15922 1152 2752 0 16591 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 63688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.94 s, system=0.122043 s

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

Child status: 10

Real time (s): 3607.41
CPU time (s): 3600.06
CPU user time (s): 3599.94
CPU system time (s): 0.122043
CPU usage (%): 99.7962
Max. virtual memory (cumulated for all children) (KiB): 79752
Max. memory (cumulated for all children) (KiB): 63688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.94
system time used= 0.122043
maximum resident set size= 63688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15244
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= 16
involuntary context switches= 1059


# summary of solver processes directly reported to runsolver:
#   pid: 68002
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.94
#   total CPU system time (s): 0.122043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58831 second user time and 13.6445 second system time

The end