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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434140-1721163988/watcher-4434140-1721163988 -o /tmp/evaluation-result-4434140-1721163988/solver-4434140-1721163988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721162579-870182 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434140-1721163988.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=871621, runsolver pid=871618

[startup+0.100453 s]*
/proc/loadavg: 4.83 4.35 4.17 5/245 871626
/proc/meminfo: memFree=125199624/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=11784 memory=5684 CPUtime=0.1 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 1091 0 0 0 10 0 0 0 20 0 1 0 168557503 12066816 1421 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 2946 1421 436 659 0 2150 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21716 KiB
Current children cumulated memory: 8396 KiB

[startup+0.213147 s]*
/proc/loadavg: 4.83 4.35 4.17 5/245 871627
/proc/meminfo: memFree=125170184/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=43660 memory=39960 CPUtime=0.21 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 8746 0 0 0 19 2 0 0 20 0 1 0 168557503 44707840 9990 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 10915 9990 468 659 0 10119 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53592 KiB
Current children cumulated memory: 42672 KiB

[startup+0.313123 s]*
/proc/loadavg: 4.83 4.35 4.17 5/245 871627
/proc/meminfo: memFree=125125692/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=87628 memory=81736 CPUtime=0.31 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 19148 0 0 0 27 4 0 0 20 0 1 0 168557503 89731072 20434 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 21907 20434 468 659 0 21111 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97560 KiB
Current children cumulated memory: 84448 KiB

[startup+0.700425 s]
/proc/loadavg: 4.83 4.35 4.17 5/245 871627
/proc/meminfo: memFree=125073328/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=163912 memory=152276 CPUtime=0.68 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 30179 0 0 0 62 6 0 0 20 0 1 0 168557503 167845888 38069 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 40978 38069 468 659 0 40182 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 173844 KiB
Current children cumulated memory: 154988 KiB

[startup+1.5004 s]
/proc/loadavg: 4.83 4.35 4.17 6/245 871627
/proc/meminfo: memFree=125045184/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=172492 memory=159548 CPUtime=1.48 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 33424 0 0 0 140 8 0 0 20 0 1 0 168557503 176631808 39887 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 43123 39887 468 659 0 42327 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182424 KiB
Current children cumulated memory: 162260 KiB

[startup+3.11281 s]
/proc/loadavg: 4.76 4.34 4.17 5/245 871627
/proc/meminfo: memFree=125040020/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=173212 memory=159808 CPUtime=3.09 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 33532 0 0 0 301 8 0 0 20 0 1 0 168557503 177369088 39952 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 43303 39952 468 659 0 42507 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 183144 KiB
Current children cumulated memory: 162520 KiB

[startup+6.30042 s]
/proc/loadavg: 4.76 4.34 4.17 5/245 871627
/proc/meminfo: memFree=125037712/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=173668 memory=160248 CPUtime=6.27 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 33628 0 0 0 619 8 0 0 20 0 1 0 168557503 177836032 40062 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 43417 40062 468 659 0 42621 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 183600 KiB
Current children cumulated memory: 162960 KiB

[startup+12.7004 s]
/proc/loadavg: 4.70 4.33 4.17 5/245 871629
/proc/meminfo: memFree=125030920/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=174164 memory=160952 CPUtime=12.65 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 33829 0 0 0 1257 8 0 0 20 0 1 0 168557503 178343936 40238 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 43541 40238 468 659 0 42745 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 184096 KiB
Current children cumulated memory: 163664 KiB

[startup+25.5004 s]
/proc/loadavg: 4.54 4.32 4.16 6/245 871630
/proc/meminfo: memFree=125099272/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=204112 memory=185256 CPUtime=25.42 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 34845 0 0 0 2533 9 0 0 20 0 1 0 168557503 209010688 46314 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 51028 46314 468 659 0 50232 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 214044 KiB
Current children cumulated memory: 187968 KiB

[startup+51.1128 s]
/proc/loadavg: 4.43 4.31 4.17 5/245 871635
/proc/meminfo: memFree=125040252/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=204112 memory=187428 CPUtime=50.96 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 34900 0 0 0 5087 9 0 0 20 0 1 0 168557503 209010688 46857 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 51028 46857 468 659 0 50232 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 214044 KiB
Current children cumulated memory: 190140 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 4.29 4.17 7/245 871643
/proc/meminfo: memFree=125054508/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=222968 memory=204312 CPUtime=101.99 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 36062 0 0 0 10189 10 0 0 20 0 1 0 168557503 228319232 51078 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 55742 51078 468 659 0 54946 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 232900 KiB
Current children cumulated memory: 207024 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.25 4.16 5/245 871654
/proc/meminfo: memFree=125044784/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=222968 memory=209624 CPUtime=161.78 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 36416 0 0 0 16168 10 0 0 20 0 1 0 168557503 228319232 52406 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 55742 52406 468 659 0 54946 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 232900 KiB
Current children cumulated memory: 212336 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/245 871665
/proc/meminfo: memFree=124998688/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=235360 memory=216524 CPUtime=221.59 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 36673 0 0 0 22149 10 0 0 20 0 1 0 168557503 241008640 54131 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 58840 54131 468 659 0 58044 0

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

/proc/loadavg: 4.24 4.27 4.21 6/247 873380
/proc/meminfo: memFree=113277340/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=391160 memory=380520 CPUtime=3093.52 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 68742 0 0 0 309270 82 0 0 20 0 1 0 168557503 400547840 95130 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 97790 95130 468 659 0 96994 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 401092 KiB
Current children cumulated memory: 383232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.24 4.20 6/249 873561
/proc/meminfo: memFree=113194312/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=421980 memory=409460 CPUtime=3153.35 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 69451 0 0 0 315252 83 0 0 20 0 1 0 168557503 432107520 102365 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 105495 102365 468 659 0 104699 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 431912 KiB
Current children cumulated memory: 412172 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.22 4.19 6/249 873571
/proc/meminfo: memFree=113190636/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=421980 memory=384832 CPUtime=3213.17 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 71054 0 0 0 321232 85 0 0 20 0 1 0 168557503 432107520 96208 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 105495 96208 468 659 0 104699 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 431912 KiB
Current children cumulated memory: 387544 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.20 4.18 7/248 873599
/proc/meminfo: memFree=113006728/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=472068 memory=416712 CPUtime=3273 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 72000 0 0 0 327213 87 0 0 20 0 1 0 168557503 483397632 104178 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 118017 104178 468 659 0 117221 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 482000 KiB
Current children cumulated memory: 419424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.18 7/248 873609
/proc/meminfo: memFree=113234940/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=391160 memory=376424 CPUtime=3332.83 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 72215 0 0 0 333195 88 0 0 20 0 1 0 168557503 400547840 94106 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 97790 94106 468 659 0 96994 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 401092 KiB
Current children cumulated memory: 379136 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.18 6/248 873621
/proc/meminfo: memFree=113211712/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=421980 memory=409460 CPUtime=3392.66 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 72926 0 0 0 339177 89 0 0 20 0 1 0 168557503 432107520 102365 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 105495 102365 468 659 0 104699 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 431912 KiB
Current children cumulated memory: 412172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.18 6/246 873631
/proc/meminfo: memFree=113290036/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=391160 memory=374240 CPUtime=3452.49 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 73952 0 0 0 345157 92 0 0 20 0 1 0 168557503 400547840 93560 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 97790 93560 468 659 0 96994 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 401092 KiB
Current children cumulated memory: 376952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.17 6/246 873642
/proc/meminfo: memFree=113197672/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=421980 memory=397172 CPUtime=3512.32 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 74680 0 0 0 351139 93 0 0 20 0 1 0 168557503 432107520 99293 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 105495 99293 468 659 0 104699 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 431912 KiB
Current children cumulated memory: 399884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.18 6/245 873653
/proc/meminfo: memFree=113275804/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=391160 memory=374376 CPUtime=3572.15 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 74902 0 0 0 357121 94 0 0 20 0 1 0 168557503 400547840 93594 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 97790 93594 468 659 0 96994 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 401092 KiB
Current children cumulated memory: 377088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.17 4.17 4.18 6/245 873657
/proc/meminfo: memFree=113217600/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=391160 memory=382028 CPUtime=3600.06 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 75323 0 0 0 359912 94 0 0 20 0 1 0 168557503 400547840 95507 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 97790 95507 468 659 0 96994 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 401092 KiB
Current children cumulated memory: 384740 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.13 s, system=0.954625 s

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

[startup+3610.3 s]
/proc/loadavg: 4.17 4.17 4.18 6/245 873657
/proc/meminfo: memFree=113217600/131655788 swapFree=131071996/131071996
[pid=871621] ppid=871618 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/871621/stat : 871621 (naps-1.03.sh) S 871618 871621 870169 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 168557502 10170368 678 134679101440 94646173073408 94646174152728 140726286206480 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94646176251184 94646176298372 94646198812672 140726286210016 140726286210145 140726286210145 140726286217160 0
/proc/871621/statm: 2483 678 600 264 0 134 0
[pid=871626] ppid=871621 vsize=391160 memory=382028 CPUtime=3600.06 cores=5,7
/proc/871626/stat : 871626 (naps-1.03) R 871621 871621 870169 0 -1 4194304 75323 0 0 0 359912 94 0 0 20 0 1 0 168557503 400547840 95507 134679101440 4194304 6891213 140724757008752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 22224896 140724757013489 140724757013605 140724757013605 140724757020619 0
/proc/871626/statm: 97790 95507 468 659 0 96994 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 401092 KiB
Current children cumulated memory: 384740 KiB

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.08
CPU user time (s): 3599.13
CPU system time (s): 0.954625
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 482000
Max. memory (cumulated for all children) (KiB): 440000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 0.954625
maximum resident set size= 437288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75800
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= 89
involuntary context switches= 2681


# summary of solver processes directly reported to runsolver:
#   pid: 871621
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.13
#   total CPU system time (s): 0.954625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2295 second user time and 38.3161 second system time

The end