runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61552 MiB free)
  memory of node 1: 64473 MiB (62579 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461418-1722080410/watcher-4461418-1722080410 -o /tmp/evaluation-result-4461418-1722080410/solver-4461418-1722080410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722076800-379717 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461418-1722080410.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
Current StackSize limit: 8192 KiB

solver pid=381751, runsolver pid=381748

[startup+0.100089 s]*
/proc/loadavg: 4.23 4.18 4.10 5/255 381759
/proc/meminfo: memFree=127099472/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=15664 memory=13612 CPUtime=0.09 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 3382 0 0 0 9 0 0 0 20 0 1 0 44563954 16039936 3403 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 3916 3403 580 659 0 3120 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25596 KiB
Current children cumulated memory: 16300 KiB

[startup+0.204775 s]*
/proc/loadavg: 4.23 4.18 4.10 5/259 381789
/proc/meminfo: memFree=127090504/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=24100 memory=22708 CPUtime=0.19 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 5608 0 0 0 19 0 0 0 20 0 1 0 44563954 24678400 5677 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 6025 5677 612 659 0 5229 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34032 KiB
Current children cumulated memory: 25396 KiB

[startup+0.305375 s]*
/proc/loadavg: 4.23 4.18 4.10 6/260 381793
/proc/meminfo: memFree=127078484/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=25852 memory=24556 CPUtime=0.29 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 6050 0 0 0 29 0 0 0 20 0 1 0 44563954 26472448 6139 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 6463 6139 612 659 0 5667 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35784 KiB
Current children cumulated memory: 27244 KiB

[startup+0.700275 s]
/proc/loadavg: 4.23 4.18 4.10 5/260 381793
/proc/meminfo: memFree=127075656/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=25852 memory=24556 CPUtime=0.68 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 6050 0 0 0 68 0 0 0 20 0 1 0 44563954 26472448 6139 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 6463 6139 612 659 0 5667 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35784 KiB
Current children cumulated memory: 27244 KiB

[startup+1.50026 s]
/proc/loadavg: 4.23 4.18 4.10 4/256 381807
/proc/meminfo: memFree=127208404/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=59664 memory=45504 CPUtime=1.48 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 11738 0 0 0 147 1 0 0 20 0 1 0 44563954 61095936 11310 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 14916 11310 612 659 0 14120 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69596 KiB
Current children cumulated memory: 48192 KiB

[startup+3.1056 s]
/proc/loadavg: 4.23 4.18 4.10 5/257 382007
/proc/meminfo: memFree=126330476/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=771056 memory=733028 CPUtime=3.09 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 78018 0 0 0 287 22 0 0 20 0 1 0 44563954 789561344 183257 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 192764 183257 612 659 0 191968 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 780988 KiB
Current children cumulated memory: 735716 KiB

[startup+6.30025 s]
/proc/loadavg: 4.21 4.17 4.10 5/260 382045
/proc/meminfo: memFree=125997360/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=962440 memory=922664 CPUtime=6.27 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 107433 0 0 0 598 29 0 0 20 0 1 0 44563954 985538560 230666 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 240610 230666 644 659 0 239814 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 972372 KiB
Current children cumulated memory: 925352 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.17 4.10 5/259 382045
/proc/meminfo: memFree=125916384/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=962440 memory=922996 CPUtime=12.65 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 107642 0 0 0 1236 29 0 0 20 0 1 0 44563954 985538560 230749 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 240610 230749 644 659 0 239814 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 972372 KiB
Current children cumulated memory: 925684 KiB

[startup+25.5003 s]
/proc/loadavg: 4.52 4.24 4.13 5/259 382098
/proc/meminfo: memFree=125395448/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1255124 memory=1211200 CPUtime=25.41 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 119249 0 0 0 2487 54 0 0 20 0 1 0 44563954 1285246976 302800 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 313781 302800 660 659 0 312985 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1265056 KiB
Current children cumulated memory: 1213888 KiB

[startup+51.1058 s]
/proc/loadavg: 4.46 4.26 4.13 5/262 382106
/proc/meminfo: memFree=125434944/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1231908 memory=1197588 CPUtime=50.95 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 140414 0 0 0 5005 90 0 0 20 0 1 0 44563954 1261473792 299397 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 307977 299397 660 659 0 307181 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1241840 KiB
Current children cumulated memory: 1200276 KiB

[startup+102.3 s]
/proc/loadavg: 4.32 4.25 4.14 5/262 382115
/proc/meminfo: memFree=125337056/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1424672 memory=1255392 CPUtime=102 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 155298 0 0 0 10064 136 0 0 20 0 1 0 44563954 1458864128 313848 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 356168 313848 660 659 0 355372 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1434604 KiB
Current children cumulated memory: 1258080 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.21 4.13 5/262 382126
/proc/meminfo: memFree=125218152/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1534440 memory=1367004 CPUtime=161.82 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 163942 0 0 0 16016 166 0 0 20 0 1 0 44563954 1571266560 341751 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 383610 341751 660 659 0 382814 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1544372 KiB
Current children cumulated memory: 1369692 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.20 4.13 5/262 382137
/proc/meminfo: memFree=125272176/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1432120 memory=1264888 CPUtime=221.65 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 168104 0 0 0 21986 179 0 0 20 0 1 0 44563954 1466490880 316222 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 358030 316222 660 659 0 357234 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1442052 KiB

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

/proc/381756/statm: 396344 380617 660 659 0 395548 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 1595308 KiB
Current children cumulated memory: 1525156 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 383849
/proc/meminfo: memFree=122436348/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1585628 memory=1522720 CPUtime=3093.1 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 259948 0 0 0 308881 429 0 0 20 0 1 0 44563954 1623683072 380680 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396407 380680 660 659 0 395611 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 1595560 KiB
Current children cumulated memory: 1525408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 383860
/proc/meminfo: memFree=122433540/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1585864 memory=1525004 CPUtime=3152.91 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 260903 0 0 0 314859 432 0 0 20 0 1 0 44563954 1623924736 381251 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396466 381251 660 659 0 395670 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 1595796 KiB
Current children cumulated memory: 1527692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.41 4.18 4.11 5/264 383872
/proc/meminfo: memFree=122434016/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1586052 memory=1525192 CPUtime=3212.74 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 263201 0 0 0 320836 438 0 0 20 0 1 0 44563954 1624117248 381298 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396513 381298 660 659 0 395717 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 1595984 KiB
Current children cumulated memory: 1527880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.23 4.14 5/263 383882
/proc/meminfo: memFree=122296236/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1586144 memory=1525284 CPUtime=3272.56 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 264271 0 0 0 326814 442 0 0 20 0 1 0 44563954 1624211456 381321 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396536 381321 660 659 0 395740 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 1596076 KiB
Current children cumulated memory: 1527972 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.22 4.14 5/263 383892
/proc/meminfo: memFree=122411784/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1586544 memory=1525684 CPUtime=3332.38 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 265563 0 0 0 332792 446 0 0 20 0 1 0 44563954 1624621056 381421 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396636 381421 660 659 0 395840 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 1596476 KiB
Current children cumulated memory: 1528372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/258 383903
/proc/meminfo: memFree=121941988/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1586688 memory=1525828 CPUtime=3392.2 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 266804 0 0 0 338769 451 0 0 20 0 1 0 44563954 1624768512 381457 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396672 381457 660 659 0 395876 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 1596620 KiB
Current children cumulated memory: 1528516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/258 383914
/proc/meminfo: memFree=122281344/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1586812 memory=1525952 CPUtime=3452.03 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 267984 0 0 0 344748 455 0 0 20 0 1 0 44563954 1624895488 381488 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396703 381488 660 659 0 395907 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 1596744 KiB
Current children cumulated memory: 1528640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/259 383925
/proc/meminfo: memFree=122263684/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1587128 memory=1526268 CPUtime=3511.84 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 268837 0 0 0 350725 459 0 0 20 0 1 0 44563954 1625219072 381567 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396782 381567 660 659 0 395986 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 1597060 KiB
Current children cumulated memory: 1528956 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/259 383935
/proc/meminfo: memFree=122326604/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1587256 memory=1526396 CPUtime=3571.67 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 270122 0 0 0 356704 463 0 0 20 0 1 0 44563954 1625350144 381599 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396814 381599 660 659 0 396018 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 1597188 KiB
Current children cumulated memory: 1529084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.12 4.16 4.12 5/259 383941
/proc/meminfo: memFree=122348172/131524600 swapFree=131057784/131071996
[pid=381751] ppid=381748 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/381751/stat : 381751 (naps-1.03.sh) S 381748 381751 379705 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44563954 10170368 672 134679101440 94772326686720 94772327766040 140730110715056 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94772329864496 94772329911684 94772329979904 140730110718945 140730110719070 140730110719070 140730110726088 0
/proc/381751/statm: 2483 672 594 264 0 134 0
[pid=381756] ppid=381751 vsize=1587440 memory=1526580 CPUtime=3600.08 cores=1,3
/proc/381756/stat : 381756 (naps-1.03) R 381751 381751 379705 0 -1 4194304 270671 0 0 0 359541 467 0 0 20 0 1 0 44563954 1625538560 381645 134679101440 4194304 6891597 140733304107280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30871552 140733304116210 140733304116322 140733304116322 140733304123339 0
/proc/381756/statm: 396860 381645 660 659 0 396064 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1597372 KiB
Current children cumulated memory: 1529268 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000825 s, system=0.001855 s

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

# cumulated CPU time of all completed processes:  user=3595.42 s, system=4.68064 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): 3610.81
CPU time (s): 3600.1
CPU user time (s): 3595.42
CPU system time (s): 4.68064
CPU usage (%): 99.7035
Max. virtual memory (cumulated for all children) (KiB): 1889560
Max. memory (cumulated for all children) (KiB): 1819296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 4.68064
maximum resident set size= 1816608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271130
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= 137
involuntary context switches= 1255


# summary of solver processes directly reported to runsolver:
#   pid: 381751,381756
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3595.42
#   total CPU system time (s): 4.68064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24848 second user time and 18.8238 second system time

The end