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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461153-1722077110/watcher-4461153-1722077110 -o /tmp/evaluation-result-4461153-1722077110/solver-4461153-1722077110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722076573-370000 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461153-1722077110.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=370970, runsolver pid=370967

[startup+0.1001 s]*
/proc/loadavg: 4.14 3.78 2.85 5/244 370975
/proc/meminfo: memFree=78154464/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=14408 memory=8312 CPUtime=0.1 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1804 0 0 0 10 0 0 0 20 0 1 0 43700404 14753792 2078 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 3602 2078 436 659 0 2806 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24340 KiB
Current children cumulated memory: 11012 KiB

[startup+0.213584 s]*
/proc/loadavg: 4.14 3.78 2.85 5/244 370975
/proc/meminfo: memFree=78148752/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=21056 memory=14084 CPUtime=0.21 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 3275 0 0 0 21 0 0 0 20 0 1 0 43700404 21561344 3521 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 5264 3521 436 659 0 4468 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30988 KiB
Current children cumulated memory: 16784 KiB

[startup+0.313538 s]*
/proc/loadavg: 4.14 3.78 2.85 5/244 370975
/proc/meminfo: memFree=78142532/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=24704 memory=19960 CPUtime=0.31 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 4296 0 0 0 31 0 0 0 20 0 1 0 43700404 25296896 4990 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 6176 4990 436 659 0 5380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34636 KiB
Current children cumulated memory: 22660 KiB

[startup+0.700428 s]
/proc/loadavg: 4.14 3.78 2.85 5/244 370975
/proc/meminfo: memFree=78129764/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=47556 memory=42320 CPUtime=0.68 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 10609 0 0 0 66 2 0 0 20 0 1 0 43700404 48697344 10580 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 11889 10580 468 659 0 11093 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57488 KiB
Current children cumulated memory: 45020 KiB

[startup+1.50043 s]
/proc/loadavg: 4.14 3.78 2.85 5/244 370975
/proc/meminfo: memFree=78107300/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=63960 memory=54464 CPUtime=1.48 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 13672 0 0 0 146 2 0 0 20 0 1 0 43700404 65495040 13616 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 15990 13616 468 659 0 15194 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73892 KiB
Current children cumulated memory: 57164 KiB

[startup+3.11334 s]
/proc/loadavg: 4.14 3.78 2.85 5/244 370977
/proc/meminfo: memFree=77754548/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=311480 memory=289236 CPUtime=3.08 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 45244 0 0 0 298 10 0 0 20 0 1 0 43700404 318955520 72309 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 77870 72309 468 659 0 77074 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 321412 KiB
Current children cumulated memory: 291936 KiB

[startup+6.30039 s]
/proc/loadavg: 4.13 3.78 2.86 5/244 370977
/proc/meminfo: memFree=76472280/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=1419840 memory=1285456 CPUtime=6.27 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 153464 0 0 0 588 39 0 0 20 0 1 0 43700404 1453916160 321364 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 354960 321364 468 659 0 354164 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1429772 KiB
Current children cumulated memory: 1288156 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 3.80 2.87 5/244 370977
/proc/meminfo: memFree=75078696/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=3049416 memory=2735856 CPUtime=12.64 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 262479 0 0 0 1188 76 0 0 20 0 1 0 43700404 3122601984 683964 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 762354 683964 468 659 0 761558 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3059348 KiB
Current children cumulated memory: 2738556 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 3.81 2.89 5/244 370980
/proc/meminfo: memFree=73996620/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=3542708 memory=3164944 CPUtime=25.39 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 302441 0 0 0 2441 98 0 0 20 0 1 0 43700404 3627732992 791236 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 885677 791236 468 659 0 884881 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3552640 KiB
Current children cumulated memory: 3167644 KiB

[startup+51.1135 s]
/proc/loadavg: 4.10 3.83 2.92 5/244 370983
/proc/meminfo: memFree=72134424/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=5037264 memory=4402324 CPUtime=50.9 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 402214 0 0 0 4949 141 0 0 20 0 1 0 43700404 5158158336 1100581 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 1259316 1100581 468 659 0 1258520 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 5047196 KiB
Current children cumulated memory: 4405024 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 3.89 2.99 5/242 371041
/proc/meminfo: memFree=94198916/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=8150072 memory=7254432 CPUtime=101.89 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 733518 0 0 0 9939 250 0 0 20 0 1 0 43700404 8345673728 1813608 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 2037518 1813608 468 659 0 2036722 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 8160004 KiB
Current children cumulated memory: 7257132 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.93 3.06 5/242 371051
/proc/meminfo: memFree=83689448/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=9920436 memory=8725484 CPUtime=161.67 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 912956 0 0 0 15839 328 0 0 20 0 1 0 43700404 10158526464 2181371 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 2480109 2181371 468 659 0 2479313 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 9930368 KiB
Current children cumulated memory: 8728184 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.96 3.13 5/242 371062
/proc/meminfo: memFree=83304772/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=10091676 memory=9158244 CPUtime=221.45 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 958143 0 0 0 21803 342 0 0 20 0 1 0 43700404 10333876224 2289561 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 2522919 2289561 468 659 0 2522123 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 10101608 KiB

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

/proc/loadavg: 4.29 4.28 3.83 5/249 371946
/proc/meminfo: memFree=79435400/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=17368512 memory=15524152 CPUtime=1058.67 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1624188 0 0 0 105207 660 0 0 20 0 1 0 43700404 17785356288 3881038 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 4342128 3881038 468 659 0 4341332 0
Current children cumulated CPU time: 1058.67 s
Current children cumulated vsize: 17378444 KiB
Current children cumulated memory: 15526852 KiB

[startup+1122.3 s]
/proc/loadavg: 4.15 4.24 3.84 5/247 371956
/proc/meminfo: memFree=68709664/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=18585156 memory=16304592 CPUtime=1118.46 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1695813 0 0 0 111158 688 0 0 20 0 1 0 43700404 19031199744 4076148 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 4646289 4076148 468 659 0 4645493 0
Current children cumulated CPU time: 1118.46 s
Current children cumulated vsize: 18595088 KiB
Current children cumulated memory: 16307292 KiB

[startup+1182.3 s]
/proc/loadavg: 4.16 4.23 3.87 5/247 371966
/proc/meminfo: memFree=66961508/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=18991604 memory=17200764 CPUtime=1178.27 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1793456 0 0 0 117107 720 0 0 20 0 1 0 43700404 19447402496 4300191 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 4747901 4300191 468 659 0 4747105 0
Current children cumulated CPU time: 1178.27 s
Current children cumulated vsize: 19001536 KiB
Current children cumulated memory: 17203464 KiB

[startup+1242.3 s]
/proc/loadavg: 4.12 4.20 3.88 5/246 371977
/proc/meminfo: memFree=66102844/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=18991604 memory=17200764 CPUtime=1238.08 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1795822 0 0 0 123081 727 0 0 20 0 1 0 43700404 19447402496 4300191 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 4747901 4300191 468 659 0 4747105 0
Current children cumulated CPU time: 1238.08 s
Current children cumulated vsize: 19001536 KiB
Current children cumulated memory: 17203464 KiB

[startup+1302.3 s]
/proc/loadavg: 4.14 4.19 3.91 5/246 371987
/proc/meminfo: memFree=63153732/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=20297468 memory=17732044 CPUtime=1297.89 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1873765 0 0 0 129010 779 0 0 20 0 1 0 43700404 20784607232 4433011 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 5074367 4433011 468 659 0 5073571 0
Current children cumulated CPU time: 1297.89 s
Current children cumulated vsize: 20307400 KiB
Current children cumulated memory: 17734744 KiB

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

# cumulated CPU time of all completed processes:  user=1315.51 s, system=8.21689 s

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

[startup+1305.6 s]
/proc/loadavg: 4.13 4.19 3.91 5/246 371989
/proc/meminfo: memFree=62155732/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=20297468 memory=17732064 CPUtime=1301.17 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1874184 0 0 0 129338 779 0 0 20 0 1 0 43700404 20784607232 4433016 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 5074367 4433016 468 659 0 5073571 0
Current children cumulated CPU time: 1301.17 s
Current children cumulated vsize: 20307400 KiB
Current children cumulated memory: 17734764 KiB

[startup+1318.4 s]
/proc/loadavg: 4.11 4.18 3.91 5/246 371990
/proc/meminfo: memFree=60756680/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=20297468 memory=17732076 CPUtime=1313.94 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1874449 0 0 0 130613 781 0 0 20 0 1 0 43700404 20784607232 4433019 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 5074367 4433019 468 659 0 5073571 0
Current children cumulated CPU time: 1313.94 s
Current children cumulated vsize: 20307400 KiB
Current children cumulated memory: 17734776 KiB

[startup+1324.8 s]
/proc/loadavg: 4.09 4.17 3.91 5/246 371992
/proc/meminfo: memFree=60310464/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=20297468 memory=17732084 CPUtime=1320.32 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1874544 0 0 0 131250 782 0 0 20 0 1 0 43700404 20784607232 4433021 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 5074367 4433021 468 659 0 5073571 0
Current children cumulated CPU time: 1320.32 s
Current children cumulated vsize: 20307400 KiB
Current children cumulated memory: 17734784 KiB

[startup+1326.4 s]
/proc/loadavg: 4.09 4.17 3.91 5/246 371992
/proc/meminfo: memFree=60113228/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=20328324 memory=17760984 CPUtime=1321.91 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1878231 0 0 0 131407 784 0 0 20 0 1 0 43700404 20816203776 4440246 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 5082081 4440246 468 659 0 5081285 0
Current children cumulated CPU time: 1321.91 s
Current children cumulated vsize: 20338256 KiB
Current children cumulated memory: 17763684 KiB

[startup+1327.2 s]
/proc/loadavg: 4.09 4.17 3.91 5/246 371992
/proc/meminfo: memFree=60046228/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
[pid=370975] ppid=370970 vsize=20328324 memory=17760984 CPUtime=1322.71 cores=0,2
/proc/370975/stat : 370975 (naps-1.03) R 370970 370970 369990 0 -1 4194304 1878338 0 0 0 131486 785 0 0 20 0 1 0 43700404 20816203776 4440246 134679101440 4194304 6891597 140724933185648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 32071680 140724933194738 140724933194854 140724933194854 140724933201867 0
/proc/370975/statm: 5082081 4440246 468 659 0 5081285 0
Current children cumulated CPU time: 1322.71 s
Current children cumulated vsize: 20338256 KiB
Current children cumulated memory: 17763684 KiB

[startup+1328 s]*
/proc/loadavg: 4.09 4.17 3.91 5/246 371992
/proc/meminfo: memFree=67189396/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2700 KiB

[startup+1328.2 s]
/proc/loadavg: 4.09 4.17 3.91 5/246 371992
/proc/meminfo: memFree=67189396/131655788 swapFree=131057156/131071996
[pid=370970] ppid=370967 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/370970/stat : 370970 (naps-1.03.sh) S 370967 370970 369990 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 43700403 10170368 675 134679101440 94185140879360 94185141958680 140723990879040 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94185144057136 94185144104324 94185147920384 140723990885345 140723990885474 140723990885474 140723990892488 0
/proc/370970/statm: 2483 675 597 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2700 KiB

Child status: 30

Real time (s): 1328.2
CPU time (s): 1323.73
CPU user time (s): 1315.51
CPU system time (s): 8.21689
CPU usage (%): 99.663
Max. virtual memory (cumulated for all children) (KiB): 21782976
Max. memory (cumulated for all children) (KiB): 19120020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1315.51
system time used= 8.21689
maximum resident set size= 19117320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1878904
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= 103
involuntary context switches= 9063


# summary of solver processes directly reported to runsolver:
#   pid: 370970
#   total CPU time (s): 1323.73
#   total CPU user time (s): 1315.51
#   total CPU system time (s): 8.21689

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72272 second user time and 15.4699 second system time

The end