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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463847-1722353066/watcher-4463847-1722353066 -o /tmp/evaluation-result-4463847-1722353066/solver-4463847-1722353066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722352621-13476 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463847-1722353066.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=13695, runsolver pid=13692
Current StackSize limit: 8192 KiB


[startup+0.10045 s]*
/proc/loadavg: 4.23 3.50 2.54 5/264 13700
/proc/meminfo: memFree=87464836/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=11908 memory=9232 CPUtime=0.09 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2190 0 0 0 9 0 0 0 20 0 1 0 1903671 12193792 2308 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 2977 2308 468 659 0 2181 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 11916 KiB

[startup+0.205769 s]*
/proc/loadavg: 4.23 3.50 2.54 5/264 13700
/proc/meminfo: memFree=87464500/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=11908 memory=9496 CPUtime=0.19 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2207 0 0 0 19 0 0 0 20 0 1 0 1903671 12193792 2374 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 2977 2374 468 659 0 2181 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12180 KiB

[startup+0.305753 s]*
/proc/loadavg: 4.23 3.50 2.54 5/264 13700
/proc/meminfo: memFree=87464332/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=11908 memory=9496 CPUtime=0.29 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2214 0 0 0 29 0 0 0 20 0 1 0 1903671 12193792 2374 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 2977 2374 468 659 0 2181 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12180 KiB

[startup+0.700277 s]
/proc/loadavg: 4.23 3.50 2.54 5/264 13700
/proc/meminfo: memFree=87464064/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=12172 memory=9760 CPUtime=0.68 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2271 0 0 0 68 0 0 0 20 0 1 0 1903671 12464128 2440 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 3043 2440 468 659 0 2247 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22104 KiB
Current children cumulated memory: 12444 KiB

[startup+1.50027 s]
/proc/loadavg: 4.23 3.50 2.54 5/264 13700
/proc/meminfo: memFree=87463728/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=12492 memory=10024 CPUtime=1.48 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2356 0 0 0 148 0 0 0 20 0 1 0 1903671 12791808 2506 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 3123 2506 468 659 0 2327 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22424 KiB
Current children cumulated memory: 12708 KiB

[startup+3.10561 s]
/proc/loadavg: 4.21 3.51 2.55 5/264 13702
/proc/meminfo: memFree=87428168/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=12836 memory=10288 CPUtime=3.08 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2431 0 0 0 308 0 0 0 20 0 1 0 1903671 13144064 2572 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 3209 2572 468 659 0 2413 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22768 KiB
Current children cumulated memory: 12972 KiB

[startup+6.30026 s]
/proc/loadavg: 4.21 3.51 2.55 5/264 13702
/proc/meminfo: memFree=87423492/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=13504 memory=10816 CPUtime=6.27 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2587 0 0 0 627 0 0 0 20 0 1 0 1903671 13828096 2704 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 3376 2704 468 659 0 2580 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23436 KiB
Current children cumulated memory: 13500 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 3.52 2.56 5/264 13702
/proc/meminfo: memFree=87041820/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=13900 memory=11344 CPUtime=12.66 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 2697 0 0 0 1266 0 0 0 20 0 1 0 1903671 14233600 2836 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 3475 2836 468 659 0 2679 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 23832 KiB
Current children cumulated memory: 14028 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 3.54 2.58 6/265 13707
/proc/meminfo: memFree=81622252/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1341248 memory=1215044 CPUtime=25.42 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 112396 0 0 0 2505 37 0 0 20 0 1 0 1903671 1373437952 303761 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 335312 303761 468 659 0 334516 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1351180 KiB
Current children cumulated memory: 1217728 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 3.60 2.63 5/264 14152
/proc/meminfo: memFree=108895340/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1348828 memory=1199876 CPUtime=50.95 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 114701 0 0 0 5056 39 0 0 20 0 1 0 1903671 1381199872 299969 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 337207 299969 468 659 0 336411 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1358760 KiB
Current children cumulated memory: 1202560 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 3.68 2.71 5/265 14163
/proc/meminfo: memFree=107217620/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1352348 memory=1203976 CPUtime=102 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 116271 0 0 0 10158 42 0 0 20 0 1 0 1903671 1384804352 300994 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 338087 300994 468 659 0 337291 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1362280 KiB
Current children cumulated memory: 1206660 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 3.75 2.79 5/266 14174
/proc/meminfo: memFree=107202648/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1355020 memory=1210116 CPUtime=161.82 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 117760 0 0 0 16137 45 0 0 20 0 1 0 1903671 1387540480 302529 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 338755 302529 468 659 0 337959 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1364952 KiB
Current children cumulated memory: 1212800 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 3.83 2.88 5/266 14335
/proc/meminfo: memFree=108978472/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1355020 memory=1205852 CPUtime=221.62 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 118660 0 0 0 22114 48 0 0 20 0 1 0 1903671 1387540480 301463 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 338755 301463 468 659 0 337959 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1364952 KiB

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

/proc/13700/statm: 345893 316701 468 659 0 345097 0
Current children cumulated CPU time: 3032.87 s
Current children cumulated vsize: 1393504 KiB
Current children cumulated memory: 1269488 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/258 15760
/proc/meminfo: memFree=118880596/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1465124 memory=1320784 CPUtime=3092.69 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 158063 0 0 0 309103 166 0 0 20 0 1 0 1903671 1500286976 330196 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 366281 330196 468 659 0 365485 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 1475056 KiB
Current children cumulated memory: 1323468 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/258 15770
/proc/meminfo: memFree=118805940/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1465260 memory=1366104 CPUtime=3152.5 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 158602 0 0 0 315083 167 0 0 20 0 1 0 1903671 1500426240 341526 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 366315 341526 468 659 0 365519 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 1475192 KiB
Current children cumulated memory: 1368788 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/258 15782
/proc/meminfo: memFree=118951124/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1384288 memory=1267568 CPUtime=3212.32 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 159900 0 0 0 321062 170 0 0 20 0 1 0 1903671 1417510912 316892 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 346072 316892 468 659 0 345276 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 1394220 KiB
Current children cumulated memory: 1270252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/258 15792
/proc/meminfo: memFree=118856952/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1465812 memory=1321528 CPUtime=3272.13 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 160544 0 0 0 327042 171 0 0 20 0 1 0 1903671 1500991488 330382 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 366453 330382 468 659 0 365657 0
Current children cumulated CPU time: 3272.13 s
Current children cumulated vsize: 1475744 KiB
Current children cumulated memory: 1324212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/258 15802
/proc/meminfo: memFree=118762884/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1598640 memory=1385156 CPUtime=3331.94 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 161556 0 0 0 333022 172 0 0 20 0 1 0 1903671 1637007360 346289 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 399660 346289 468 659 0 398864 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 1608572 KiB
Current children cumulated memory: 1387840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/261 15819
/proc/meminfo: memFree=118922704/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1385604 memory=1285240 CPUtime=3391.77 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 162532 0 0 0 339000 177 0 0 20 0 1 0 1903671 1418858496 321310 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 346401 321310 468 659 0 345605 0
Current children cumulated CPU time: 3391.77 s
Current children cumulated vsize: 1395536 KiB
Current children cumulated memory: 1287924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.58 4.23 4.13 5/262 15830
/proc/meminfo: memFree=118823348/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1467132 memory=1337168 CPUtime=3451.58 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 163138 0 0 0 344980 178 0 0 20 0 1 0 1903671 1502343168 334292 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 366783 334292 468 659 0 365987 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 1477064 KiB
Current children cumulated memory: 1339852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/262 15841
/proc/meminfo: memFree=118705372/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1599804 memory=1425252 CPUtime=3511.4 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 164152 0 0 0 350960 180 0 0 20 0 1 0 1903671 1638199296 356313 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 399951 356313 468 659 0 399155 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 1609736 KiB
Current children cumulated memory: 1427936 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/262 15851
/proc/meminfo: memFree=118839588/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1386592 memory=1263640 CPUtime=3571.21 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 165074 0 0 0 356938 183 0 0 20 0 1 0 1903671 1419870208 315910 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 346648 315910 468 659 0 345852 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 1396524 KiB
Current children cumulated memory: 1266324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.17 4.18 4.12 5/262 15857
/proc/meminfo: memFree=118886108/131524592 swapFree=131071996/131071996
[pid=13695] ppid=13692 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/13695/stat : 13695 (naps-1.03.sh) S 13692 13695 13463 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1903671 10170368 671 134679101440 94257737887744 94257738967064 140722442568160 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94257741065520 94257741112708 94257755770880 140722442576863 140722442576992 140722442576992 140722442584008 0
/proc/13695/statm: 2483 671 591 264 0 134 0
[pid=13700] ppid=13695 vsize=1467980 memory=1296916 CPUtime=3600.02 cores=5,7
/proc/13700/stat : 13700 (naps-1.03a2) R 13695 13695 13463 0 -1 4194304 165356 0 0 0 359818 184 0 0 20 0 1 0 1903671 1503211520 324229 134679101440 4194304 6891597 140737356124752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 33517568 140737356133354 140737356133472 140737356133472 140737356140489 0
/proc/13700/statm: 366995 324229 468 659 0 366199 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1477912 KiB
Current children cumulated memory: 1299600 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001671 s, system=0.001177 s

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

# cumulated CPU time of all completed processes:  user=3598.19 s, system=1.85266 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): 3611.21
CPU time (s): 3600.04
CPU user time (s): 3598.19
CPU system time (s): 1.85266
CPU usage (%): 99.6908
Max. virtual memory (cumulated for all children) (KiB): 1740400
Max. memory (cumulated for all children) (KiB): 1558104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.19
system time used= 1.85266
maximum resident set size= 1557468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165818
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= 160
involuntary context switches= 4733


# summary of solver processes directly reported to runsolver:
#   pid: 13695,13700
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.19
#   total CPU system time (s): 1.85266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86647 second user time and 19.0295 second system time

The end