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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=88211, runsolver pid=88208
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 3.96 4.05 4.01 5/258 88216
/proc/meminfo: memFree=99654776/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=14476 memory=8068 CPUtime=0.09 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 1717 0 0 0 9 0 0 0 20 0 1 0 8731797 14823424 2017 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 3619 2017 436 659 0 2823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24408 KiB
Current children cumulated memory: 10848 KiB

[startup+0.206129 s]*
/proc/loadavg: 3.96 4.05 4.01 5/258 88216
/proc/meminfo: memFree=99642276/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=20940 memory=13904 CPUtime=0.19 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 3251 0 0 0 19 0 0 0 20 0 1 0 8731797 21442560 3476 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 5235 3476 436 659 0 4439 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30872 KiB
Current children cumulated memory: 16684 KiB

[startup+0.305789 s]*
/proc/loadavg: 3.96 4.05 4.01 5/258 88218
/proc/meminfo: memFree=99632564/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=26876 memory=19404 CPUtime=0.29 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 4620 0 0 0 29 0 0 0 20 0 1 0 8731797 27521024 4851 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 6719 4851 436 659 0 5923 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36808 KiB
Current children cumulated memory: 22184 KiB

[startup+0.700274 s]
/proc/loadavg: 3.96 4.05 4.01 5/258 88218
/proc/meminfo: memFree=99606796/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=50348 memory=41996 CPUtime=0.68 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 10329 0 0 0 67 1 0 0 20 0 1 0 8731797 51556352 10499 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 12587 10499 436 659 0 11791 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 44776 KiB

[startup+1.50026 s]
/proc/loadavg: 3.96 4.05 4.01 5/258 88218
/proc/meminfo: memFree=99551308/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=96568 memory=86756 CPUtime=1.47 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 21220 0 0 0 145 2 0 0 20 0 1 0 8731797 98885632 21689 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 24142 21689 436 659 0 23346 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 89536 KiB

[startup+3.10524 s]
/proc/loadavg: 3.96 4.05 4.01 5/258 88218
/proc/meminfo: memFree=99330812/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=187568 memory=175456 CPUtime=3.07 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 40716 0 0 0 301 6 0 0 20 0 1 0 8731797 192069632 43864 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 46892 43864 436 659 0 46096 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 197500 KiB
Current children cumulated memory: 178236 KiB

[startup+6.30026 s]
/proc/loadavg: 3.97 4.05 4.01 5/258 88218
/proc/meminfo: memFree=98982228/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=386740 memory=360340 CPUtime=6.26 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 72077 0 0 0 611 15 0 0 20 0 1 0 8731797 396021760 90085 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 96685 90085 436 659 0 95889 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 396672 KiB
Current children cumulated memory: 363120 KiB

[startup+12.7002 s]
/proc/loadavg: 3.97 4.05 4.01 5/258 88219
/proc/meminfo: memFree=98161816/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=785148 memory=753892 CPUtime=12.65 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 143192 0 0 0 1236 29 0 0 20 0 1 0 8731797 803991552 188473 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 196287 188473 436 659 0 195491 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 795080 KiB
Current children cumulated memory: 756672 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.08 4.02 5/258 88221
/proc/meminfo: memFree=95461636/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=2802624 memory=2726496 CPUtime=25.42 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 379411 0 0 0 2456 86 0 0 20 0 1 0 8731797 2869886976 681624 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 700656 681624 468 659 0 699860 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2812556 KiB
Current children cumulated memory: 2729276 KiB

[startup+51.1063 s]
/proc/loadavg: 4.09 4.07 4.02 5/260 88231
/proc/meminfo: memFree=86025812/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6871356 memory=6005756 CPUtime=50.97 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 768834 0 0 0 4914 183 0 0 20 0 1 0 8731797 7036268544 1501439 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1717839 1501439 468 659 0 1717043 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 6881288 KiB
Current children cumulated memory: 6008536 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/260 88239
/proc/meminfo: memFree=85878228/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6871356 memory=6007836 CPUtime=102.03 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 769351 0 0 0 10020 183 0 0 20 0 1 0 8731797 7036268544 1501959 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1717839 1501959 468 659 0 1717043 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 6881288 KiB
Current children cumulated memory: 6010616 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.09 4.03 5/260 88249
/proc/meminfo: memFree=85866060/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6871356 memory=6011936 CPUtime=161.89 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 770102 0 0 0 16004 185 0 0 20 0 1 0 8731797 7036268544 1502984 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1717839 1502984 468 659 0 1717043 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 6881288 KiB
Current children cumulated memory: 6014716 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.10 4.03 5/261 88263
/proc/meminfo: memFree=85822064/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6871356 memory=6016032 CPUtime=221.73 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 771048 0 0 0 21987 186 0 0 20 0 1 0 8731797 7036268544 1504008 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1717839 1504008 468 659 0 1717043 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 6881288 KiB

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

[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6908808 memory=6105788 CPUtime=3093.23 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 823076 0 0 0 309057 266 0 0 20 0 1 0 8731797 7074619392 1526447 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727202 1526447 468 659 0 1726406 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 6918740 KiB
Current children cumulated memory: 6108568 KiB

[startup+3162.3 s]
/proc/loadavg: 2.15 2.13 2.36 3/246 90090
/proc/meminfo: memFree=88720392/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6909204 memory=6106264 CPUtime=3153.04 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 824006 0 0 0 315036 268 0 0 20 0 1 0 8731797 7075024896 1526566 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727301 1526566 468 659 0 1726505 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 6919136 KiB
Current children cumulated memory: 6109044 KiB

[startup+3222.3 s]
/proc/loadavg: 2.12 2.12 2.34 3/247 90103
/proc/meminfo: memFree=88715184/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6909468 memory=6106476 CPUtime=3212.83 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 825022 0 0 0 321014 269 0 0 20 0 1 0 8731797 7075295232 1526619 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727367 1526619 468 659 0 1726571 0
Current children cumulated CPU time: 3212.83 s
Current children cumulated vsize: 6919400 KiB
Current children cumulated memory: 6109256 KiB

[startup+3282.3 s]
/proc/loadavg: 2.09 2.11 2.33 3/245 90126
/proc/meminfo: memFree=88711944/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6909864 memory=6106880 CPUtime=3272.63 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 826188 0 0 0 326993 270 0 0 20 0 1 0 8731797 7075700736 1526720 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727466 1526720 468 659 0 1726670 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 6919796 KiB
Current children cumulated memory: 6109660 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.12 2.31 3/245 90136
/proc/meminfo: memFree=88709112/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6910524 memory=6107564 CPUtime=3332.44 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 827223 0 0 0 332972 272 0 0 20 0 1 0 8731797 7076376576 1526891 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727631 1526891 468 659 0 1726835 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 6920456 KiB
Current children cumulated memory: 6110344 KiB

[startup+3402.3 s]
/proc/loadavg: 2.12 2.11 2.30 3/245 90146
/proc/meminfo: memFree=88706004/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6910788 memory=6107828 CPUtime=3392.24 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 828234 0 0 0 338951 273 0 0 20 0 1 0 8731797 7076646912 1526957 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727697 1526957 468 659 0 1726901 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 6920720 KiB
Current children cumulated memory: 6110608 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.11 2.28 3/243 90157
/proc/meminfo: memFree=88703580/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6911184 memory=6108184 CPUtime=3452.05 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 829368 0 0 0 344930 275 0 0 20 0 1 0 8731797 7077052416 1527046 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727796 1527046 468 659 0 1727000 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 6921116 KiB
Current children cumulated memory: 6110964 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.11 2.27 3/242 90167
/proc/meminfo: memFree=88701032/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6911712 memory=6108832 CPUtime=3511.85 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 830511 0 0 0 350909 276 0 0 20 0 1 0 8731797 7077593088 1527208 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1727928 1527208 468 659 0 1727132 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 6921644 KiB
Current children cumulated memory: 6111612 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.11 2.26 3/242 90177
/proc/meminfo: memFree=88695972/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6912372 memory=6111428 CPUtime=3571.65 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 831487 0 0 0 356887 278 0 0 20 0 1 0 8731797 7078268928 1527857 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1728093 1527857 468 659 0 1727297 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 6922304 KiB
Current children cumulated memory: 6114208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 2.36 2.16 2.27 3/243 90182
/proc/meminfo: memFree=88693008/131524600 swapFree=131071996/131071996
[pid=88211] ppid=88208 vsize=9932 memory=2780 CPUtime=0 cores=1,3
/proc/88211/stat : 88211 (naps-1.03.sh) S 88208 88211 85770 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 8731796 10170368 695 134679101440 94488017784832 94488018864152 140735360054832 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94488020962608 94488021009796 94488041603072 140735360062431 140735360062560 140735360062560 140735360069576 0
/proc/88211/statm: 2483 695 618 264 0 134 0
[pid=88216] ppid=88211 vsize=6912504 memory=6111544 CPUtime=3600.06 cores=1,3
/proc/88216/stat : 88216 (naps-1.03) R 88211 88211 85770 0 -1 4194304 832013 0 0 0 359727 279 0 0 20 0 1 0 8731797 7078404096 1527886 134679101440 4194304 6891213 140722537857840 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 9781248 140722537866224 140722537866340 140722537866340 140722537873355 0
/proc/88216/statm: 1728126 1527886 468 659 0 1727330 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 6922436 KiB
Current children cumulated memory: 6114324 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.0022 s, system=0.000457 s

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

# cumulated CPU time of all completed processes:  user=3597.29 s, system=2.91254 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

[startup+3610.9 s]*
/proc/loadavg: 2.49 2.19 2.28 3/242 90184
/proc/meminfo: memFree=92229260/131524600 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.002657 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3610.93
CPU time (s): 3600.2
CPU user time (s): 3597.29
CPU system time (s): 2.91254
CPU usage (%): 99.7029
Max. virtual memory (cumulated for all children) (KiB): 6922436
Max. memory (cumulated for all children) (KiB): 6114324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.29
system time used= 2.91254
maximum resident set size= 6111564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833275
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= 12
involuntary context switches= 4442


# summary of solver processes directly reported to runsolver:
#   pid: 88211,88216
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3597.29
#   total CPU system time (s): 2.91254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67499 second user time and 17.9496 second system time

The end