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: 63968 MiB (51369 MiB free)
  memory of node 1: 64473 MiB (60120 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461273-1722078999/watcher-4461273-1722078999 -o /tmp/evaluation-result-4461273-1722078999/solver-4461273-1722078999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722075715-329811 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461273-1722078999.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=332069, runsolver pid=332066

[startup+0.100092 s]*
/proc/loadavg: 4.07 4.11 4.09 5/258 332074
/proc/meminfo: memFree=114150404/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=19404 memory=16544 CPUtime=0.09 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4243 0 0 0 9 0 0 0 20 0 1 0 44428948 19869696 4136 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 4851 4136 468 659 0 4055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29336 KiB
Current children cumulated memory: 19240 KiB

[startup+0.206149 s]*
/proc/loadavg: 4.07 4.11 4.09 5/258 332074
/proc/meminfo: memFree=114149080/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=20484 memory=17336 CPUtime=0.19 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4423 0 0 0 19 0 0 0 20 0 1 0 44428948 20975616 4334 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 5121 4334 468 659 0 4325 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30416 KiB
Current children cumulated memory: 20032 KiB

[startup+0.305635 s]*
/proc/loadavg: 4.07 4.11 4.09 5/258 332074
/proc/meminfo: memFree=114148732/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=20620 memory=17336 CPUtime=0.29 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4431 0 0 0 29 0 0 0 20 0 1 0 44428948 21114880 4334 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 5155 4334 468 659 0 4359 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 30552 KiB
Current children cumulated memory: 20032 KiB

[startup+0.700267 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 332074
/proc/meminfo: memFree=114148592/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=20752 memory=17600 CPUtime=0.68 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4461 0 0 0 68 0 0 0 20 0 1 0 44428948 21250048 4400 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 5188 4400 468 659 0 4392 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30684 KiB
Current children cumulated memory: 20296 KiB

[startup+1.50026 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 332074
/proc/meminfo: memFree=114146516/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=20884 memory=17600 CPUtime=1.48 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4504 0 0 0 148 0 0 0 20 0 1 0 44428948 21385216 4400 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 5221 4400 468 659 0 4425 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30816 KiB
Current children cumulated memory: 20296 KiB

[startup+3.10554 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 332074
/proc/meminfo: memFree=114137848/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=21176 memory=18128 CPUtime=3.08 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4590 0 0 0 308 0 0 0 20 0 1 0 44428948 21684224 4532 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 5294 4532 468 659 0 4498 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31108 KiB
Current children cumulated memory: 20824 KiB

[startup+6.30021 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 332075
/proc/meminfo: memFree=114126936/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=21520 memory=18392 CPUtime=6.27 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4672 0 0 0 627 0 0 0 20 0 1 0 44428948 22036480 4598 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 5380 4598 468 659 0 4584 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31452 KiB
Current children cumulated memory: 21088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 332076
/proc/meminfo: memFree=114111764/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=22184 memory=18920 CPUtime=12.65 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 4809 0 0 0 1265 0 0 0 20 0 1 0 44428948 22716416 4730 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 5546 4730 468 659 0 4750 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32116 KiB
Current children cumulated memory: 21616 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 332078
/proc/meminfo: memFree=112303480/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=2126192 memory=1940176 CPUtime=25.43 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 180221 0 0 0 2489 54 0 0 20 0 1 0 44428948 2177220608 485044 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 531548 485044 468 659 0 530752 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2136124 KiB
Current children cumulated memory: 1942872 KiB

[startup+51.1059 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 332082
/proc/meminfo: memFree=111619076/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=2716372 memory=2492064 CPUtime=50.97 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 234878 0 0 0 5015 82 0 0 20 0 1 0 44428948 2781564928 623016 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 679093 623016 468 659 0 678297 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2726304 KiB
Current children cumulated memory: 2494760 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 332091
/proc/meminfo: memFree=111441456/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=2725052 memory=2514608 CPUtime=102.03 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 235466 0 0 0 10120 83 0 0 20 0 1 0 44428948 2790453248 628652 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 681263 628652 468 659 0 680467 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2734984 KiB
Current children cumulated memory: 2517304 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 332101
/proc/meminfo: memFree=111099960/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3708208 memory=3299828 CPUtime=161.88 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 310125 0 0 0 16072 116 0 0 20 0 1 0 44428948 3797204992 824957 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 927052 824957 468 659 0 926256 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 3718140 KiB
Current children cumulated memory: 3302524 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/258 332112
/proc/meminfo: memFree=110969640/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3840468 memory=3326284 CPUtime=221.73 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 310841 0 0 0 22054 119 0 0 20 0 1 0 44428948 3932639232 831571 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 960117 831571 468 659 0 959321 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 3850400 KiB

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

/proc/332074/statm: 965922 848243 468 659 0 965126 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3395668 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 334032
/proc/meminfo: memFree=102114236/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3863688 memory=3419596 CPUtime=3093.97 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 378228 0 0 0 309140 257 0 0 20 0 1 0 44428948 3956416512 854899 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 965922 854899 468 659 0 965126 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3422292 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 334042
/proc/meminfo: memFree=102173556/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3731428 memory=3327624 CPUtime=3153.81 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 380332 0 0 0 315119 262 0 0 20 0 1 0 44428948 3820982272 831906 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 932857 831906 468 659 0 932061 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3330320 KiB

[startup+3222.3 s]
/proc/loadavg: 4.47 4.19 4.12 5/259 334054
/proc/meminfo: memFree=102115276/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3863688 memory=3358156 CPUtime=3213.64 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 381891 0 0 0 321101 263 0 0 20 0 1 0 44428948 3956416512 839539 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 965922 839539 468 659 0 965126 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3360852 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/262 334070
/proc/meminfo: memFree=102052592/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3863688 memory=3380684 CPUtime=3273.48 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 383212 0 0 0 327084 264 0 0 20 0 1 0 44428948 3956416512 845171 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 965922 845171 468 659 0 965126 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3383380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/261 334080
/proc/meminfo: memFree=101988252/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3863688 memory=3403212 CPUtime=3333.32 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 384424 0 0 0 333067 265 0 0 20 0 1 0 44428948 3956416512 850803 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 965922 850803 468 659 0 965126 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3405908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/262 334091
/proc/meminfo: memFree=102011976/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3731428 memory=3333768 CPUtime=3393.15 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 386238 0 0 0 339046 269 0 0 20 0 1 0 44428948 3820982272 833442 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 932857 833442 468 659 0 932061 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3336464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/262 334102
/proc/meminfo: memFree=102115552/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3863688 memory=3362252 CPUtime=3452.99 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 388061 0 0 0 345029 270 0 0 20 0 1 0 44428948 3956416512 840563 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 965922 840563 468 659 0 965126 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3364948 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 334112
/proc/meminfo: memFree=102046772/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3863688 memory=3388876 CPUtime=3512.82 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 389296 0 0 0 351012 270 0 0 20 0 1 0 44428948 3956416512 847219 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 965922 847219 468 659 0 965126 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3391572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 334122
/proc/meminfo: memFree=101995744/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3863688 memory=3411404 CPUtime=3572.66 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 390669 0 0 0 356995 271 0 0 20 0 1 0 44428948 3956416512 852851 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 965922 852851 468 659 0 965126 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3414100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/259 334128
/proc/meminfo: memFree=102067496/131524600 swapFree=131056612/131071996
[pid=332069] ppid=332066 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/332069/stat : 332069 (naps-1.03.sh) S 332066 332069 329800 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 44428947 10170368 674 134679101440 94882192519168 94882193598488 140728916192656 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94882195696944 94882195744132 94882199822336 140728916194269 140728916194398 140728916194398 140728916201416 0
/proc/332069/statm: 2483 674 596 264 0 134 0
[pid=332074] ppid=332069 vsize=3731428 memory=3321480 CPUtime=3600.08 cores=4,6
/proc/332074/stat : 332074 (naps-1.03) R 332069 332069 329800 0 -1 4194304 391681 0 0 0 359732 276 0 0 20 0 1 0 44428948 3820982272 830370 134679101440 4194304 6891597 140724512340592 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 8515584 140724512347118 140724512347234 140724512347234 140724512354251 0
/proc/332074/statm: 932857 830370 468 659 0 932061 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3324176 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002529 s, system=0.000385 s

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

# cumulated CPU time of all completed processes:  user=3597.33 s, system=2.77537 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): 3609.81
CPU time (s): 3600.11
CPU user time (s): 3597.33
CPU system time (s): 2.77537
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 4085236
Max. memory (cumulated for all children) (KiB): 3628864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.33
system time used= 2.77537
maximum resident set size= 3626168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392147
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= 306
involuntary context switches= 2646


# summary of solver processes directly reported to runsolver:
#   pid: 332069,332074
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3597.33
#   total CPU system time (s): 2.77537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02444 second user time and 19.3308 second system time

The end