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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426361-1720901871/watcher-4426361-1720901871 -o /tmp/evaluation-result-4426361-1720901871/solver-4426361-1720901871 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720901807-721877 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426361-1720901871.wbo 

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

solver pid=722212, runsolver pid=722209

[startup+0.100369 s]*
/proc/loadavg: 3.00 1.01 0.43 5/246 722217
/proc/meminfo: memFree=119488008/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=12280 memory=7940 CPUtime=0.1 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 1110 0 0 0 10 0 0 0 20 0 1 0 142345891 12574720 1985 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 3070 1985 436 659 0 2274 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22212 KiB
Current children cumulated memory: 10592 KiB

[startup+0.213262 s]*
/proc/loadavg: 3.00 1.01 0.43 5/246 722217
/proc/meminfo: memFree=119480580/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=15680 memory=11028 CPUtime=0.21 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 1934 0 0 0 21 0 0 0 20 0 1 0 142345891 16056320 2757 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 3920 2757 436 659 0 3124 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25612 KiB
Current children cumulated memory: 13680 KiB

[startup+0.3127 s]*
/proc/loadavg: 3.00 1.01 0.43 5/246 722217
/proc/meminfo: memFree=119478760/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=17180 memory=12312 CPUtime=0.31 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 2287 0 0 0 31 0 0 0 20 0 1 0 142345891 17592320 3078 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 4295 3078 436 659 0 3499 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27112 KiB
Current children cumulated memory: 14964 KiB

[startup+0.700369 s]
/proc/loadavg: 3.00 1.01 0.43 5/246 722217
/proc/meminfo: memFree=119616228/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=24596 memory=19176 CPUtime=0.68 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 4083 0 0 0 68 0 0 0 20 0 1 0 142345891 25186304 4794 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 6149 4794 436 659 0 5353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34528 KiB
Current children cumulated memory: 21828 KiB

[startup+1.50042 s]
/proc/loadavg: 3.08 1.06 0.45 5/246 722217
/proc/meminfo: memFree=119454424/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=52420 memory=44796 CPUtime=1.48 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 10512 0 0 0 146 2 0 0 20 0 1 0 142345891 53678080 11199 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 13105 11199 436 659 0 12309 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62352 KiB
Current children cumulated memory: 47448 KiB

[startup+3.11313 s]
/proc/loadavg: 3.08 1.06 0.45 5/246 722267
/proc/meminfo: memFree=119306432/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=148556 memory=139112 CPUtime=3.08 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 34336 0 0 0 302 6 0 0 20 0 1 0 142345891 152121344 34778 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 37139 34778 468 659 0 36343 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 158488 KiB
Current children cumulated memory: 141764 KiB

[startup+6.30041 s]
/proc/loadavg: 3.15 1.11 0.47 5/246 722267
/proc/meminfo: memFree=117574272/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=884780 memory=856908 CPUtime=6.27 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 125102 0 0 0 596 31 0 0 20 0 1 0 142345891 906014720 214227 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 221195 214227 468 659 0 220399 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 894712 KiB
Current children cumulated memory: 859560 KiB

[startup+12.7004 s]
/proc/loadavg: 3.22 1.15 0.49 5/246 722269
/proc/meminfo: memFree=115298132/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1297276 memory=1261940 CPUtime=12.65 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 177622 0 0 0 1222 43 0 0 20 0 1 0 142345891 1328410624 315485 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 324319 315485 468 659 0 323523 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1307208 KiB
Current children cumulated memory: 1264592 KiB

[startup+25.5004 s]
/proc/loadavg: 3.34 1.25 0.53 5/246 722270
/proc/meminfo: memFree=111667672/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1300592 memory=1265672 CPUtime=25.42 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 178685 0 0 0 2499 43 0 0 20 0 1 0 142345891 1331806208 316418 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 325148 316418 468 659 0 324352 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1310524 KiB
Current children cumulated memory: 1268324 KiB

[startup+51.1131 s]
/proc/loadavg: 3.66 1.53 0.64 5/246 722275
/proc/meminfo: memFree=110224080/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1303772 memory=1269056 CPUtime=50.97 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 179634 0 0 0 5053 44 0 0 20 0 1 0 142345891 1335062528 317264 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 325943 317264 468 659 0 325147 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1313704 KiB
Current children cumulated memory: 1271708 KiB

[startup+102.3 s]
/proc/loadavg: 3.83 1.91 0.82 4/239 722369
/proc/meminfo: memFree=116950128/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1308700 memory=1273936 CPUtime=102.02 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 181019 0 0 0 10156 46 0 0 20 0 1 0 142345891 1340108800 318484 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 327175 318484 468 659 0 326379 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1318632 KiB
Current children cumulated memory: 1276588 KiB

[startup+162.3 s]
/proc/loadavg: 3.42 2.14 0.97 4/240 722383
/proc/meminfo: memFree=116111980/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1313060 memory=1280404 CPUtime=161.86 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 182283 0 0 0 16138 48 0 0 20 0 1 0 142345891 1344573440 320101 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 328265 320101 468 659 0 327469 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1322992 KiB
Current children cumulated memory: 1283056 KiB

[startup+222.3 s]
/proc/loadavg: 3.21 2.32 1.11 4/240 722393
/proc/meminfo: memFree=116105472/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1316740 memory=1284144 CPUtime=221.69 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 183327 0 0 0 22120 49 0 0 20 0 1 0 142345891 1348341760 321036 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 329185 321036 468 659 0 328389 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1326672 KiB

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

/proc/722217/statm: 376010 346749 468 659 0 375214 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 1513972 KiB
Current children cumulated memory: 1389648 KiB

[startup+3102.3 s]
/proc/loadavg: 2.36 2.29 2.24 3/229 724115
/proc/meminfo: memFree=125340292/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1504436 memory=1387488 CPUtime=3093.26 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 221115 0 0 0 309261 65 0 0 20 0 1 0 142345891 1540542464 346872 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 376109 346872 468 659 0 375313 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 1514368 KiB
Current children cumulated memory: 1390140 KiB

[startup+3162.3 s]
/proc/loadavg: 2.18 2.25 2.23 3/231 724129
/proc/meminfo: memFree=125301160/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1505096 memory=1390124 CPUtime=3153.08 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 221759 0 0 0 315243 65 0 0 20 0 1 0 142345891 1541218304 347531 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 376274 347531 468 659 0 375478 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 1515028 KiB
Current children cumulated memory: 1392776 KiB

[startup+3222.3 s]
/proc/loadavg: 2.17 2.24 2.22 3/231 724139
/proc/meminfo: memFree=125405480/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1505888 memory=1390848 CPUtime=3212.9 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 222564 0 0 0 321225 65 0 0 20 0 1 0 142345891 1542029312 347712 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 376472 347712 468 659 0 375676 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 1515820 KiB
Current children cumulated memory: 1393500 KiB

[startup+3282.3 s]
/proc/loadavg: 2.12 2.21 2.21 3/231 724150
/proc/meminfo: memFree=125348312/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1507076 memory=1392184 CPUtime=3272.73 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 223369 0 0 0 327208 65 0 0 20 0 1 0 142345891 1543245824 348046 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 376769 348046 468 659 0 375973 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 1517008 KiB
Current children cumulated memory: 1394836 KiB

[startup+3342.3 s]
/proc/loadavg: 2.17 2.20 2.21 3/231 724160
/proc/meminfo: memFree=125302256/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1507736 memory=1394996 CPUtime=3332.55 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 224140 0 0 0 333189 66 0 0 20 0 1 0 142345891 1543921664 348749 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 376934 348749 468 659 0 376138 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 1517668 KiB
Current children cumulated memory: 1397648 KiB

[startup+3402.3 s]
/proc/loadavg: 2.12 2.18 2.19 3/231 724171
/proc/meminfo: memFree=125385008/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1508396 memory=1395736 CPUtime=3392.37 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 224810 0 0 0 339171 66 0 0 20 0 1 0 142345891 1544597504 348934 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 377099 348934 468 659 0 376303 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 1518328 KiB
Current children cumulated memory: 1398388 KiB

[startup+3462.3 s]
/proc/loadavg: 2.09 2.16 2.18 3/230 724183
/proc/meminfo: memFree=125333960/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1509296 memory=1398608 CPUtime=3452.18 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 225610 0 0 0 345152 66 0 0 20 0 1 0 142345891 1545519104 349652 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 377324 349652 468 659 0 376528 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 1519228 KiB
Current children cumulated memory: 1401260 KiB

[startup+3522.3 s]
/proc/loadavg: 2.15 2.16 2.18 3/229 724193
/proc/meminfo: memFree=125288968/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1509560 memory=1398948 CPUtime=3511.99 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 226212 0 0 0 351133 66 0 0 20 0 1 0 142345891 1545789440 349737 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 377390 349737 468 659 0 376594 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 1519492 KiB
Current children cumulated memory: 1401600 KiB

[startup+3582.3 s]
/proc/loadavg: 2.05 2.13 2.17 3/229 724203
/proc/meminfo: memFree=125373324/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1510088 memory=1399380 CPUtime=3571.81 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 226918 0 0 0 357115 66 0 0 20 0 1 0 142345891 1546330112 349845 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 377522 349845 468 659 0 376726 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 1520020 KiB
Current children cumulated memory: 1402032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 2.11 2.13 2.17 3/229 724208
/proc/meminfo: memFree=125352120/131655788 swapFree=131071996/131071996
[pid=722212] ppid=722209 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/722212/stat : 722212 (naps-1.03.sh) S 722209 722212 721865 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142345890 10170368 663 134679101440 94507478626304 94507479705624 140724137928448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94507481804080 94507481851268 94507514896384 140724137931692 140724137931821 140724137931821 140724137938888 0
/proc/722212/statm: 2483 663 585 264 0 134 0
[pid=722217] ppid=722212 vsize=1510220 memory=1401644 CPUtime=3600.04 cores=1,3
/proc/722217/stat : 722217 (naps-1.03) R 722212 722212 721865 0 -1 4194304 227341 0 0 0 359938 66 0 0 20 0 1 0 142345891 1546465280 350411 134679101440 4194304 6891213 140723966286256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36659200 140723966288829 140723966288945 140723966288945 140723966296011 0
/proc/722217/statm: 377555 350411 468 659 0 376759 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1520152 KiB
Current children cumulated memory: 1404296 KiB

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

[startup+3610.61 s]
# the end of solver process 722212 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001623 s, system=0.002559 s

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

# cumulated CPU time of all completed processes:  user=3599.39 s, system=0.677437 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.06
CPU user time (s): 3599.39
CPU system time (s): 0.677437
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 1520152
Max. memory (cumulated for all children) (KiB): 1404296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 0.677437
maximum resident set size= 1401688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227800
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= 397
involuntary context switches= 4599


# summary of solver processes directly reported to runsolver:
#   pid: 722212,722217
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.39
#   total CPU system time (s): 0.677437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1986 second user time and 37.649 second system time

The end