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: 64059 MiB (55113 MiB free)
  memory of node 1: 64510 MiB (57295 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461622-1722079994/watcher-4461622-1722079994 -o /tmp/evaluation-result-4461622-1722079994/solver-4461622-1722079994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722075775-316826 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461622-1722079994.wbo 

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

solver pid=320750, runsolver pid=320747

[startup+0.100091 s]*
/proc/loadavg: 4.16 4.14 4.12 5/253 320755
/proc/meminfo: memFree=115098460/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=7136 memory=5844 CPUtime=0.09 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 1016 0 0 0 9 0 0 0 20 0 1 0 43989169 7307264 1461 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 1784 1461 580 659 0 988 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17068 KiB
Current children cumulated memory: 8460 KiB

[startup+0.212335 s]*
/proc/loadavg: 4.16 4.14 4.12 5/253 320755
/proc/meminfo: memFree=115093216/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=10336 memory=8948 CPUtime=0.21 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 1915 0 0 0 21 0 0 0 20 0 1 0 43989169 10584064 2237 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 2584 2237 580 659 0 1788 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20268 KiB
Current children cumulated memory: 11564 KiB

[startup+0.313521 s]*
/proc/loadavg: 4.16 4.14 4.12 5/253 320755
/proc/meminfo: memFree=115348296/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=14976 memory=13100 CPUtime=0.31 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 3223 0 0 0 30 1 0 0 20 0 1 0 43989169 15335424 3275 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 3744 3275 580 659 0 2948 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24908 KiB
Current children cumulated memory: 15716 KiB

[startup+0.700423 s]
/proc/loadavg: 4.16 4.14 4.12 5/253 320755
/proc/meminfo: memFree=115333216/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=23888 memory=22724 CPUtime=0.68 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 5579 0 0 0 66 2 0 0 20 0 1 0 43989169 24461312 5681 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 5972 5681 612 659 0 5176 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 25340 KiB

[startup+1.5011 s]
/proc/loadavg: 4.16 4.14 4.12 5/253 320755
/proc/meminfo: memFree=115053304/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=29556 memory=28268 CPUtime=1.48 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 6994 0 0 0 146 2 0 0 20 0 1 0 43989169 30265344 7067 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 7389 7067 612 659 0 6593 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39488 KiB
Current children cumulated memory: 30884 KiB

[startup+3.11336 s]
/proc/loadavg: 4.30 4.17 4.13 5/253 320757
/proc/meminfo: memFree=115051724/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=29556 memory=28268 CPUtime=3.09 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 6994 0 0 0 307 2 0 0 20 0 1 0 43989169 30265344 7067 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 7389 7067 612 659 0 6593 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39488 KiB
Current children cumulated memory: 30884 KiB

[startup+6.3004 s]
/proc/loadavg: 4.30 4.17 4.13 5/253 320757
/proc/meminfo: memFree=113845044/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1329620 memory=1242964 CPUtime=6.27 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 110574 0 0 0 587 40 0 0 20 0 1 0 43989169 1361530880 310741 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 332405 310741 628 659 0 331609 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1339552 KiB
Current children cumulated memory: 1245580 KiB

[startup+12.7004 s]
/proc/loadavg: 4.26 4.17 4.13 5/253 320758
/proc/meminfo: memFree=113599036/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1471640 memory=1368720 CPUtime=12.65 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 118488 0 0 0 1200 65 0 0 20 0 1 0 43989169 1506959360 342180 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 367910 342180 644 659 0 367114 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1481572 KiB
Current children cumulated memory: 1371336 KiB

[startup+25.5004 s]
/proc/loadavg: 4.22 4.16 4.12 5/253 320761
/proc/meminfo: memFree=114041768/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1079372 memory=896404 CPUtime=25.42 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 128015 0 0 0 2442 100 0 0 20 0 1 0 43989169 1105276928 224101 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 269843 224101 660 659 0 269047 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1089304 KiB
Current children cumulated memory: 899020 KiB

[startup+51.1138 s]
/proc/loadavg: 4.22 4.16 4.12 5/253 320764
/proc/meminfo: memFree=114088076/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1079508 memory=898784 CPUtime=50.96 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 130644 0 0 0 4986 110 0 0 20 0 1 0 43989169 1105416192 224696 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 269877 224696 660 659 0 269081 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1089440 KiB
Current children cumulated memory: 901400 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/251 320774
/proc/meminfo: memFree=114316200/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1088860 memory=906480 CPUtime=102 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 133527 0 0 0 10077 123 0 0 20 0 1 0 43989169 1114992640 226620 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 272215 226620 660 659 0 271419 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1098792 KiB
Current children cumulated memory: 909096 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/249 320784
/proc/meminfo: memFree=113869704/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1089068 memory=909788 CPUtime=161.83 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 134827 0 0 0 16055 128 0 0 20 0 1 0 43989169 1115205632 227447 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 272267 227447 660 659 0 271471 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1099000 KiB
Current children cumulated memory: 912404 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/248 320845
/proc/meminfo: memFree=115806148/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1095412 memory=911592 CPUtime=221.65 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 135737 0 0 0 22033 132 0 0 20 0 1 0 43989169 1121701888 227898 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 273853 227898 660 659 0 273057 0
Current children cumulated CPU time: 221.65 s

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

/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 137928 0 0 0 57922 140 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 580.62 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+642.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/250 320924
/proc/meminfo: memFree=116015408/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=640.46 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138010 0 0 0 63905 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 640.46 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+702.3 s]
/proc/loadavg: 4.28 4.18 4.11 5/250 320934
/proc/meminfo: memFree=115752964/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=700.28 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138134 0 0 0 69887 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 700.28 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+756.932 s]
# the end of solver process 320750 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=753.334 s, system=1.44052 s

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

[startup+716.8 s]
/proc/loadavg: 4.23 4.17 4.11 5/250 320937
/proc/meminfo: memFree=115753472/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=714.74 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138135 0 0 0 71333 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 714.74 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+742.4 s]
/proc/loadavg: 4.21 4.17 4.11 5/250 320941
/proc/meminfo: memFree=115753184/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=740.27 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138192 0 0 0 73886 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 740.27 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+748.8 s]
/proc/loadavg: 4.20 4.17 4.11 5/246 320941
/proc/meminfo: memFree=115753268/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=746.65 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138192 0 0 0 74524 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 746.65 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+752 s]*
/proc/loadavg: 4.18 4.17 4.11 5/246 320943
/proc/meminfo: memFree=115753312/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=749.85 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138199 0 0 0 74844 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 749.85 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+755.2 s]
/proc/loadavg: 4.18 4.17 4.11 5/246 320943
/proc/meminfo: memFree=115753208/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=753.03 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138199 0 0 0 75162 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 753.03 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+756 s]*
/proc/loadavg: 4.18 4.17 4.11 5/246 320943
/proc/meminfo: memFree=115753032/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=753.84 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138199 0 0 0 75243 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 753.84 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+756.4 s]
/proc/loadavg: 4.18 4.17 4.11 5/246 320943
/proc/meminfo: memFree=115753032/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=754.23 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138199 0 0 0 75282 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 754.23 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+756.8 s]
/proc/loadavg: 4.18 4.17 4.11 5/246 320943
/proc/meminfo: memFree=115753032/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=754.63 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138203 0 0 0 75322 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 754.63 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

[startup+756.9 s]
/proc/loadavg: 4.18 4.17 4.11 5/246 320943
/proc/meminfo: memFree=115753032/131655788 swapFree=131056796/131071996
[pid=320750] ppid=320747 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/320750/stat : 320750 (naps-1.03.sh) S 320747 320750 316815 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 43989168 10170368 654 134679101440 94886948237312 94886949316632 140731154521072 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94886951415088 94886951462276 94886966616064 140731154527201 140731154527326 140731154527326 140731154534344 0
/proc/320750/statm: 2483 654 574 264 0 134 0
[pid=320755] ppid=320750 vsize=1142200 memory=960576 CPUtime=754.73 cores=4,6
/proc/320755/stat : 320755 (naps-1.03) R 320750 320750 316815 0 -1 4194304 138240 0 0 0 75332 141 0 0 20 0 1 0 43989169 1169612800 240144 134679101440 4194304 6891597 140722216672480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13934592 140722216678386 140722216678498 140722216678498 140722216685515 0
/proc/320755/statm: 285550 240144 660 659 0 284754 0
Current children cumulated CPU time: 754.73 s
Current children cumulated vsize: 1152132 KiB
Current children cumulated memory: 963192 KiB

Child status: 30

Real time (s): 756.933
CPU time (s): 754.774
CPU user time (s): 753.334
CPU system time (s): 1.44052
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 1793728
Max. memory (cumulated for all children) (KiB): 1683376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 753.334
system time used= 1.44052
maximum resident set size= 1680760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138715
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= 12
involuntary context switches= 248


# summary of solver processes directly reported to runsolver:
#   pid: 320750
#   total CPU time (s): 754.774
#   total CPU user time (s): 753.334
#   total CPU system time (s): 1.44052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.11646 second user time and 7.75314 second system time

The end