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: 64096 MiB (61932 MiB free)
  memory of node 1: 64473 MiB (60620 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461272-1722079434/watcher-4461272-1722079434 -o /tmp/evaluation-result-4461272-1722079434/solver-4461272-1722079434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722075775-322316 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461272-1722079434.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=324587, runsolver pid=324584

[startup+0.100954 s]*
/proc/loadavg: 4.13 4.13 4.12 5/249 324592
/proc/meminfo: memFree=125487268/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=13804 memory=7592 CPUtime=0.09 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 1588 0 0 0 9 0 0 0 20 0 1 0 43932335 14135296 1898 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 3451 1898 468 659 0 2655 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23736 KiB
Current children cumulated memory: 10332 KiB

[startup+0.220953 s]*
/proc/loadavg: 4.13 4.13 4.12 5/249 324592
/proc/meminfo: memFree=125485252/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=11908 memory=9232 CPUtime=0.2 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 2275 0 0 0 20 0 0 0 20 0 1 0 43932335 12193792 2308 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 2977 2308 468 659 0 2181 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 11972 KiB

[startup+0.32494 s]*
/proc/loadavg: 4.13 4.13 4.12 5/249 324592
/proc/meminfo: memFree=125483212/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=11908 memory=9232 CPUtime=0.28 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 2279 0 0 0 28 0 0 0 20 0 1 0 43932335 12193792 2308 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 2977 2308 468 659 0 2181 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 11972 KiB

[startup+0.700934 s]
/proc/loadavg: 4.13 4.13 4.12 5/249 324592
/proc/meminfo: memFree=125483020/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=11908 memory=9496 CPUtime=0.62 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 2299 0 0 0 62 0 0 0 20 0 1 0 43932335 12193792 2374 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 2977 2374 468 659 0 2181 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12236 KiB

[startup+1.50093 s]
/proc/loadavg: 4.13 4.13 4.12 5/249 324592
/proc/meminfo: memFree=125483020/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=12172 memory=9760 CPUtime=1.4 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 2360 0 0 0 140 0 0 0 20 0 1 0 43932335 12464128 2440 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 3043 2440 468 659 0 2247 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 22104 KiB
Current children cumulated memory: 12500 KiB

[startup+3.10593 s]
/proc/loadavg: 4.13 4.13 4.12 5/248 324592
/proc/meminfo: memFree=125476008/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=12704 memory=10024 CPUtime=2.99 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 2468 0 0 0 299 0 0 0 20 0 1 0 43932335 13008896 2506 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 3176 2506 468 659 0 2380 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 22636 KiB
Current children cumulated memory: 12764 KiB

[startup+6.30095 s]
/proc/loadavg: 4.12 4.13 4.12 5/248 324592
/proc/meminfo: memFree=125464956/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=13504 memory=10816 CPUtime=6.16 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 2663 0 0 0 616 0 0 0 20 0 1 0 43932335 13828096 2704 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 3376 2704 468 659 0 2580 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 23436 KiB
Current children cumulated memory: 13556 KiB

[startup+12.7009 s]
/proc/loadavg: 4.11 4.12 4.12 5/248 324594
/proc/meminfo: memFree=125589368/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=13900 memory=11344 CPUtime=12.5 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 2778 0 0 0 1250 0 0 0 20 0 1 0 43932335 14233600 2836 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 3475 2836 468 659 0 2679 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 23832 KiB
Current children cumulated memory: 14084 KiB

[startup+25.5005 s]
/proc/loadavg: 4.16 4.13 4.12 5/248 324595
/proc/meminfo: memFree=124391140/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1338872 memory=1180780 CPUtime=25.23 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 112751 0 0 0 2483 40 0 0 20 0 1 0 43932335 1371004928 295195 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 334718 295195 468 659 0 333922 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 1348804 KiB
Current children cumulated memory: 1183520 KiB

[startup+51.1132 s]
/proc/loadavg: 4.18 4.14 4.12 5/248 324650
/proc/meminfo: memFree=124724888/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1348828 memory=1210088 CPUtime=50.74 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 115283 0 0 0 5029 45 0 0 20 0 1 0 43932335 1381199872 302522 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 337207 302522 468 659 0 336411 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 1358760 KiB
Current children cumulated memory: 1212828 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.15 4.12 5/248 324658
/proc/meminfo: memFree=123864044/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1352348 memory=1214372 CPUtime=101.73 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 117222 0 0 0 10125 48 0 0 20 0 1 0 43932335 1384804352 303593 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 338087 303593 468 659 0 337291 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 1362280 KiB
Current children cumulated memory: 1217112 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/246 325051
/proc/meminfo: memFree=123834812/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1355020 memory=1218032 CPUtime=161.47 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 118539 0 0 0 16097 50 0 0 20 0 1 0 43932335 1387540480 304508 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 338755 304508 468 659 0 337959 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 1364952 KiB
Current children cumulated memory: 1220772 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/246 325061
/proc/meminfo: memFree=123747824/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1355020 memory=1213756 CPUtime=221.24 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 119366 0 0 0 22070 54 0 0 20 0 1 0 43932335 1387540480 303439 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 338755 303439 468 659 0 337959 0
Current children cumulated CPU time: 221.24 s
Current children cumulated vsize: 1364952 KiB

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

/proc/324592/statm: 345593 316910 468 659 0 344797 0
Current children cumulated CPU time: 3029.89 s
Current children cumulated vsize: 1392304 KiB
Current children cumulated memory: 1270380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/246 326979
/proc/meminfo: memFree=109735476/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1464320 memory=1330308 CPUtime=3089.64 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 179018 0 0 0 308790 174 0 0 20 0 1 0 43932335 1499463680 332577 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 366080 332577 468 659 0 365284 0
Current children cumulated CPU time: 3089.64 s
Current children cumulated vsize: 1474252 KiB
Current children cumulated memory: 1333048 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/245 326989
/proc/meminfo: memFree=109627752/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1596948 memory=1385492 CPUtime=3149.39 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 179900 0 0 0 314764 175 0 0 20 0 1 0 43932335 1635274752 346373 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 399237 346373 468 659 0 398441 0
Current children cumulated CPU time: 3149.39 s
Current children cumulated vsize: 1606880 KiB
Current children cumulated memory: 1388232 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/245 326999
/proc/meminfo: memFree=109808288/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1383572 memory=1285280 CPUtime=3209.14 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 181078 0 0 0 320736 178 0 0 20 0 1 0 43932335 1416777728 321320 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 345893 321320 468 659 0 345097 0
Current children cumulated CPU time: 3209.14 s
Current children cumulated vsize: 1393504 KiB
Current children cumulated memory: 1288020 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/245 327010
/proc/meminfo: memFree=109706492/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1465124 memory=1333180 CPUtime=3268.89 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 182221 0 0 0 326710 179 0 0 20 0 1 0 43932335 1500286976 333295 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 366281 333295 468 659 0 365485 0
Current children cumulated CPU time: 3268.89 s
Current children cumulated vsize: 1475056 KiB
Current children cumulated memory: 1335920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/245 327020
/proc/meminfo: memFree=109681220/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1465260 memory=1372296 CPUtime=3328.64 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 182808 0 0 0 332684 180 0 0 20 0 1 0 43932335 1500426240 343074 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 366315 343074 468 659 0 365519 0
Current children cumulated CPU time: 3328.64 s
Current children cumulated vsize: 1475192 KiB
Current children cumulated memory: 1375036 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/245 327030
/proc/meminfo: memFree=109801288/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1384288 memory=1269656 CPUtime=3388.39 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 184449 0 0 0 338656 183 0 0 20 0 1 0 43932335 1417510912 317414 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 346072 317414 468 659 0 345276 0
Current children cumulated CPU time: 3388.39 s
Current children cumulated vsize: 1394220 KiB
Current children cumulated memory: 1272396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/248 327046
/proc/meminfo: memFree=109701696/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1465812 memory=1319508 CPUtime=3448.15 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 185541 0 0 0 344630 185 0 0 20 0 1 0 43932335 1500991488 329877 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 366453 329877 468 659 0 365657 0
Current children cumulated CPU time: 3448.15 s
Current children cumulated vsize: 1475744 KiB
Current children cumulated memory: 1322248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/248 327057
/proc/meminfo: memFree=109661128/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1598492 memory=1380996 CPUtime=3507.9 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 186524 0 0 0 350604 186 0 0 20 0 1 0 43932335 1636855808 345249 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 399623 345249 468 659 0 398827 0
Current children cumulated CPU time: 3507.9 s
Current children cumulated vsize: 1608424 KiB
Current children cumulated memory: 1383736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.10 4.10 5/248 327067
/proc/meminfo: memFree=109788788/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1385468 memory=1262624 CPUtime=3567.64 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 187775 0 0 0 356575 189 0 0 20 0 1 0 43932335 1418719232 315656 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 346367 315656 468 659 0 345571 0
Current children cumulated CPU time: 3567.64 s
Current children cumulated vsize: 1395400 KiB
Current children cumulated memory: 1265364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.8 s]
/proc/loadavg: 4.14 4.12 4.11 5/248 327072
/proc/meminfo: memFree=109726532/131655788 swapFree=131058040/131071996
[pid=324587] ppid=324584 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/324587/stat : 324587 (naps-1.03.sh) S 324584 324587 322306 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 43932335 10170368 685 134679101440 94667139878912 94667140958232 140726820253168 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94667143056688 94667143103876 94667174608896 140726820254685 140726820254814 140726820254814 140726820261832 0
/proc/324587/statm: 2483 685 607 264 0 134 0
[pid=324592] ppid=324587 vsize=1466992 memory=1300176 CPUtime=3600.01 cores=0,2
/proc/324592/stat : 324592 (naps-1.03) R 324587 324587 322306 0 -1 4194304 188740 0 0 0 359811 190 0 0 20 0 1 0 43932335 1502199808 325044 134679101440 4194304 6891597 140729531611872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 11427840 140729531614190 140729531614306 140729531614306 140729531621323 0
/proc/324592/statm: 366748 325044 468 659 0 365952 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1476924 KiB
Current children cumulated memory: 1302916 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001399 s, system=0.003254 s

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

# cumulated CPU time of all completed processes:  user=3598.12 s, system=1.91474 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): 3614.81
CPU time (s): 3600.03
CPU user time (s): 3598.12
CPU system time (s): 1.91474
CPU usage (%): 99.5912
Max. virtual memory (cumulated for all children) (KiB): 1739276
Max. memory (cumulated for all children) (KiB): 1515468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.12
system time used= 1.91474
maximum resident set size= 1512728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189201
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= 136
involuntary context switches= 25312


# summary of solver processes directly reported to runsolver:
#   pid: 324587,324592
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.12
#   total CPU system time (s): 1.91474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5531 second user time and 39.3427 second system time

The end