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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486554-1751327095/watcher-4486554-1751327095 -o /tmp/evaluation-result-4486554-1751327095/solver-4486554-1751327095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751327094-44967 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4486554-1751327095.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=45024, runsolver pid=45009

[startup+0.100059 s]*
/proc/loadavg: 0.58 0.95 1.41 6/268 45037
/proc/meminfo: memFree=130115900/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=7420 memory=5888 CPUtime=0.06 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 1011 0 0 0 6 0 0 0 20 0 1 0 48387352 7598080 1472 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 1855 1472 544 696 0 1016 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 11612 KiB
Current children cumulated memory: 8832 KiB

[startup+0.204684 s]*
/proc/loadavg: 0.58 0.95 1.41 7/265 45037
/proc/meminfo: memFree=130103052/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=11372 memory=9600 CPUtime=0.16 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 1986 0 0 0 16 0 0 0 20 0 1 0 48387352 11644928 2400 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 2843 2400 544 696 0 2004 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 15564 KiB
Current children cumulated memory: 12544 KiB

[startup+0.304647 s]*
/proc/loadavg: 0.58 0.95 1.41 6/266 45045
/proc/meminfo: memFree=130094696/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=20728 memory=19072 CPUtime=0.26 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 4341 0 0 0 25 1 0 0 20 0 1 0 48387352 21225472 4768 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 5182 4768 544 696 0 4343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 24920 KiB
Current children cumulated memory: 22016 KiB

[startup+0.700159 s]
/proc/loadavg: 0.58 0.95 1.41 6/263 45045
/proc/meminfo: memFree=130069296/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=58572 memory=56792 CPUtime=0.64 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 14257 0 0 0 62 2 0 0 20 0 1 0 48387352 59977728 14198 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 14643 14198 576 696 0 13804 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 62764 KiB
Current children cumulated memory: 59736 KiB

[startup+1.50016 s]
/proc/loadavg: 0.58 0.95 1.41 5/263 45045
/proc/meminfo: memFree=129999744/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=92740 memory=89116 CPUtime=1.45 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 22036 0 0 0 138 7 0 0 20 0 1 0 48387352 94965760 22279 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 23185 22279 608 696 0 22346 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 96932 KiB
Current children cumulated memory: 92060 KiB

[startup+3.10513 s]
/proc/loadavg: 0.58 0.95 1.41 6/268 45085
/proc/meminfo: memFree=129705436/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=238940 memory=233028 CPUtime=3.04 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 40531 0 0 0 293 11 0 0 20 0 1 0 48387352 244674560 58257 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 59735 58257 608 696 0 58896 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 243132 KiB
Current children cumulated memory: 235972 KiB

[startup+6.30017 s]
/proc/loadavg: 0.85 1.00 1.43 6/268 45085
/proc/meminfo: memFree=129641224/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=289084 memory=283316 CPUtime=6.23 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 46339 0 0 0 609 14 0 0 20 0 1 0 48387352 296022016 70829 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 72271 70829 608 696 0 71432 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 293276 KiB
Current children cumulated memory: 286260 KiB

[startup+12.7002 s]
/proc/loadavg: 1.11 1.05 1.44 6/268 45085
/proc/meminfo: memFree=129588600/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=312532 memory=306308 CPUtime=12.61 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 49264 0 0 0 1245 16 0 0 20 0 1 0 48387352 320032768 76577 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 78133 76577 640 696 0 77294 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 316724 KiB
Current children cumulated memory: 309252 KiB

[startup+25.5002 s]
/proc/loadavg: 1.75 1.20 1.48 6/268 45085
/proc/meminfo: memFree=129659408/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=251640 memory=247744 CPUtime=25.36 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 52759 0 0 0 2519 17 0 0 20 0 1 0 48387352 257679360 61936 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 62910 61936 640 696 0 62071 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 255832 KiB
Current children cumulated memory: 250688 KiB

[startup+51.1051 s]
/proc/loadavg: 2.52 1.42 1.55 6/268 45086
/proc/meminfo: memFree=129650268/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=238816 memory=234944 CPUtime=50.88 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 54360 0 0 0 5069 19 0 0 20 0 1 0 48387352 244547584 58736 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 59704 58736 640 696 0 58865 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 243008 KiB
Current children cumulated memory: 237888 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.84 1.69 6/268 45087
/proc/meminfo: memFree=129563984/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=293508 memory=289640 CPUtime=101.9 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 56321 0 0 0 10169 21 0 0 20 0 1 0 48387352 300552192 72410 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 73377 72410 640 696 0 72538 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 297700 KiB
Current children cumulated memory: 292584 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 2.25 1.84 6/268 45094
/proc/meminfo: memFree=129506432/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=295216 memory=291392 CPUtime=161.69 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 57985 0 0 0 16145 24 0 0 20 0 1 0 48387352 302301184 72848 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 73804 72848 640 696 0 72965 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 294336 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.60 1.99 6/269 45097
/proc/meminfo: memFree=129503924/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=295216 memory=291392 CPUtime=221.48 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 58019 0 0 0 22124 24 0 0 20 0 1 0 48387352 302301184 72848 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 73804 72848 640 696 0 72965 0
Current children cumulated CPU time: 221.48 s

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

/proc/loadavg: 4.12 4.13 4.04 6/268 45247
/proc/meminfo: memFree=129157436/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=388340 memory=360528 CPUtime=3033.39 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 112197 0 0 0 303195 144 0 0 20 0 1 0 48387352 397660160 90132 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97085 90132 640 696 0 96246 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 392532 KiB
Current children cumulated memory: 363472 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.04 6/268 45249
/proc/meminfo: memFree=129165000/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=389024 memory=361160 CPUtime=3093.19 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 112720 0 0 0 309174 145 0 0 20 0 1 0 48387352 398360576 90290 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97256 90290 640 696 0 96417 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 393216 KiB
Current children cumulated memory: 364104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.04 6/267 45256
/proc/meminfo: memFree=129185396/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=389424 memory=361612 CPUtime=3152.99 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 113237 0 0 0 315154 145 0 0 20 0 1 0 48387352 398770176 90403 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97356 90403 640 696 0 96517 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 393616 KiB
Current children cumulated memory: 364556 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.04 6/267 45258
/proc/meminfo: memFree=129182300/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=390600 memory=362736 CPUtime=3212.8 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 113620 0 0 0 321134 146 0 0 20 0 1 0 48387352 399974400 90684 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97650 90684 640 696 0 96811 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 394792 KiB
Current children cumulated memory: 365680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.90 4.31 4.11 6/268 45261
/proc/meminfo: memFree=129118096/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=388444 memory=360580 CPUtime=3272.61 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 114096 0 0 0 327113 148 0 0 20 0 1 0 48387352 397766656 90145 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97111 90145 640 696 0 96272 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 392636 KiB
Current children cumulated memory: 363524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.46 4.31 4.12 6/268 45263
/proc/meminfo: memFree=129141236/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=387564 memory=359752 CPUtime=3332.41 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 114662 0 0 0 333092 149 0 0 20 0 1 0 48387352 396865536 89938 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 96891 89938 640 696 0 96052 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 391756 KiB
Current children cumulated memory: 362696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.28 4.12 6/268 45265
/proc/meminfo: memFree=129106636/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=390952 memory=363088 CPUtime=3392.22 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 115157 0 0 0 339072 150 0 0 20 0 1 0 48387352 400334848 90772 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97738 90772 640 696 0 96899 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 395144 KiB
Current children cumulated memory: 366032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.24 4.11 6/267 45269
/proc/meminfo: memFree=129112552/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=391496 memory=363684 CPUtime=3452.03 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 115687 0 0 0 345052 151 0 0 20 0 1 0 48387352 400891904 90921 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97874 90921 640 696 0 97035 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 395688 KiB
Current children cumulated memory: 366628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.21 4.11 6/267 45271
/proc/meminfo: memFree=129153412/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=390084 memory=362272 CPUtime=3511.84 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 116199 0 0 0 351031 153 0 0 20 0 1 0 48387352 399446016 90568 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 97521 90568 640 696 0 96682 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 394276 KiB
Current children cumulated memory: 365216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.19 4.10 6/266 45273
/proc/meminfo: memFree=129125728/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=392740 memory=364876 CPUtime=3571.65 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 116557 0 0 0 357011 154 0 0 20 0 1 0 48387352 402165760 91219 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 98185 91219 640 696 0 97346 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 396932 KiB
Current children cumulated memory: 367820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.14 4.18 4.10 5/261 45282
/proc/meminfo: memFree=129274324/131249996 swapFree=33005272/33010684
[pid=45024] ppid=45009 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45024/stat : 45024 (naps-1.03a6.sh) S 45009 45024 44955 0 -1 4194304 231 205 0 1 0 0 0 0 20 0 1 0 48387348 4292608 736 18446744073709551615 94214154661888 94214155556421 140734565984704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94214155795472 94214155843216 94214167064576 140734565992871 140734565992965 140734565992965 140734565998567 0
/proc/45024/statm: 1048 736 672 219 0 110 0
[pid=45036] ppid=45024 vsize=393184 memory=365372 CPUtime=3600.05 cores=1,3
/proc/45036/stat : 45036 (naps-1.03a6) R 45024 45024 44955 0 -1 4194304 116993 0 0 0 359851 154 0 0 20 0 1 0 48387352 402620416 91343 18446744073709551615 4198400 7047149 140734977183760 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 14753792 140734977190260 140734977190374 140734977190374 140734977195977 0
/proc/45036/statm: 98296 91343 640 696 0 97457 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 397376 KiB
Current children cumulated memory: 368316 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.52 s, system=1.55306 s

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

Child status: 10

Real time (s): 3610.8
CPU time (s): 3600.07
CPU user time (s): 3598.52
CPU system time (s): 1.55306
CPU usage (%): 99.7028
Max. virtual memory (cumulated for all children) (KiB): 599112
Max. memory (cumulated for all children) (KiB): 565824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.52
system time used= 1.55306
maximum resident set size= 562880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117440
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308
involuntary context switches= 4317


# summary of solver processes directly reported to runsolver:
#   pid: 45024
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.52
#   total CPU system time (s): 1.55306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99072 second user time and 14.6814 second system time

The end