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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434444-1721117715/watcher-4434444-1721117715 -o /tmp/evaluation-result-4434444-1721117715/solver-4434444-1721117715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721109326-840860 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434444-1721117715.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=847873, runsolver pid=847870

[startup+0.10009 s]*
/proc/loadavg: 4.10 4.12 4.10 5/261 847878
/proc/meminfo: memFree=119709924/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=8484 memory=7136 CPUtime=0.1 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 1292 0 0 0 10 0 0 0 20 0 1 0 163941242 8687616 1784 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 2121 1784 580 659 0 1325 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18416 KiB
Current children cumulated memory: 9916 KiB

[startup+0.205843 s]*
/proc/loadavg: 4.10 4.12 4.10 5/261 847878
/proc/meminfo: memFree=119707404/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=10980 memory=9520 CPUtime=0.2 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 1977 0 0 0 20 0 0 0 20 0 1 0 163941242 11243520 2380 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 2745 2380 580 659 0 1949 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20912 KiB
Current children cumulated memory: 12300 KiB

[startup+0.305746 s]*
/proc/loadavg: 4.10 4.12 4.10 5/261 847878
/proc/meminfo: memFree=119707264/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=10980 memory=9520 CPUtime=0.3 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 1986 0 0 0 30 0 0 0 20 0 1 0 163941242 11243520 2380 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 2745 2380 580 659 0 1949 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20912 KiB
Current children cumulated memory: 12300 KiB

[startup+0.700266 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 847878
/proc/meminfo: memFree=119706804/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=10980 memory=9520 CPUtime=0.69 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 1993 0 0 0 69 0 0 0 20 0 1 0 163941242 11243520 2380 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 2745 2380 580 659 0 1949 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20912 KiB
Current children cumulated memory: 12300 KiB

[startup+1.50026 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 847878
/proc/meminfo: memFree=119648592/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=130476 memory=127604 CPUtime=1.48 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 23093 0 0 0 144 4 0 0 20 0 1 0 163941242 133607424 31901 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 32619 31901 596 659 0 31823 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140408 KiB
Current children cumulated memory: 130384 KiB

[startup+3.10602 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 847878
/proc/meminfo: memFree=119462556/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=268800 memory=262560 CPUtime=3.08 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 55815 0 0 0 298 10 0 0 20 0 1 0 163941242 275251200 65640 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 67200 65640 596 659 0 66404 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 278732 KiB
Current children cumulated memory: 265340 KiB

[startup+6.30024 s]
/proc/loadavg: 4.09 4.12 4.10 5/261 847878
/proc/meminfo: memFree=119237088/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=515752 memory=501264 CPUtime=6.27 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 114505 0 0 0 607 20 0 0 20 0 1 0 163941242 528130048 125316 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 128938 125316 596 659 0 128142 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 525684 KiB
Current children cumulated memory: 504044 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.10 5/261 847879
/proc/meminfo: memFree=118782320/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=1003608 memory=982056 CPUtime=12.65 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 221774 0 0 0 1228 37 0 0 20 0 1 0 163941242 1027694592 245514 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 250902 245514 596 659 0 250106 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1013540 KiB
Current children cumulated memory: 984836 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.10 5/261 847881
/proc/meminfo: memFree=118701852/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=1208492 memory=1178248 CPUtime=25.41 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 224424 0 0 0 2499 42 0 0 20 0 1 0 163941242 1237495808 294562 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 302123 294562 596 659 0 301327 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1218424 KiB
Current children cumulated memory: 1181028 KiB

[startup+51.1058 s]
/proc/loadavg: 4.16 4.13 4.10 5/259 847885
/proc/meminfo: memFree=118448708/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=1294924 memory=1260940 CPUtime=50.93 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 256152 0 0 0 5045 48 0 0 20 0 1 0 163941242 1326002176 315235 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 323731 315235 596 659 0 322935 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1304856 KiB
Current children cumulated memory: 1263720 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/259 847894
/proc/meminfo: memFree=114042552/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=5865892 memory=5629992 CPUtime=101.96 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 529965 0 0 0 10003 193 0 0 20 0 1 0 163941242 6006673408 1407498 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1466473 1407498 644 659 0 1465677 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 5875824 KiB
Current children cumulated memory: 5632772 KiB

[startup+162.3 s]
/proc/loadavg: 4.36 4.18 4.11 5/259 847905
/proc/meminfo: memFree=114036484/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=5998172 memory=5634140 CPUtime=161.76 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 531928 0 0 0 15977 199 0 0 20 0 1 0 163941242 6142128128 1408535 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1499543 1408535 644 659 0 1498747 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 6008104 KiB
Current children cumulated memory: 5636920 KiB

[startup+222.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/258 847915
/proc/meminfo: memFree=113676524/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6374136 memory=6010160 CPUtime=221.56 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 553892 0 0 0 21875 281 0 0 20 0 1 0 163941242 6527115264 1502540 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1593534 1502540 644 659 0 1592738 0
Current children cumulated CPU time: 221.56 s

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

/proc/847878/statm: 1612603 1528699 660 659 0 1611807 0
Current children cumulated CPU time: 3031.89 s
Current children cumulated vsize: 6460344 KiB
Current children cumulated memory: 6117576 KiB

[startup+3102.3 s]
/proc/loadavg: 3.32 3.19 3.32 4/251 849704
/proc/meminfo: memFree=117332956/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6450412 memory=6114796 CPUtime=3091.68 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 812278 0 0 0 308045 1123 0 0 20 0 1 0 163941242 6605221888 1528699 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1612603 1528699 660 659 0 1611807 0
Current children cumulated CPU time: 3091.68 s
Current children cumulated vsize: 6460344 KiB
Current children cumulated memory: 6117576 KiB

[startup+3162.3 s]
/proc/loadavg: 3.31 3.20 3.32 4/251 849715
/proc/meminfo: memFree=117608904/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6182952 memory=5847336 CPUtime=3151.47 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 817406 0 0 0 313998 1149 0 0 20 0 1 0 163941242 6331342848 1461834 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1545738 1461834 660 659 0 1544942 0
Current children cumulated CPU time: 3151.47 s
Current children cumulated vsize: 6192884 KiB
Current children cumulated memory: 5850116 KiB

[startup+3222.3 s]
/proc/loadavg: 2.83 3.09 3.27 3/243 849755
/proc/meminfo: memFree=117813544/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6182952 memory=5851432 CPUtime=3211.27 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 824246 0 0 0 319953 1174 0 0 20 0 1 0 163941242 6331342848 1462858 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1545738 1462858 660 659 0 1544942 0
Current children cumulated CPU time: 3211.27 s
Current children cumulated vsize: 6192884 KiB
Current children cumulated memory: 5854212 KiB

[startup+3282.3 s]
/proc/loadavg: 2.35 2.91 3.19 3/243 849765
/proc/meminfo: memFree=117805384/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6182952 memory=5851432 CPUtime=3271.04 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 825878 0 0 0 325930 1174 0 0 20 0 1 0 163941242 6331342848 1462858 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1545738 1462858 660 659 0 1544942 0
Current children cumulated CPU time: 3271.04 s
Current children cumulated vsize: 6192884 KiB
Current children cumulated memory: 5854212 KiB

[startup+3342.3 s]
/proc/loadavg: 2.16 2.75 3.12 3/245 849780
/proc/meminfo: memFree=117815200/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6182952 memory=5851432 CPUtime=3330.81 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 827751 0 0 0 331907 1174 0 0 20 0 1 0 163941242 6331342848 1462858 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1545738 1462858 660 659 0 1544942 0
Current children cumulated CPU time: 3330.81 s
Current children cumulated vsize: 6192884 KiB
Current children cumulated memory: 5854212 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.63 3.05 3/244 849790
/proc/meminfo: memFree=117813748/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6182952 memory=5851432 CPUtime=3390.58 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 829785 0 0 0 337884 1174 0 0 20 0 1 0 163941242 6331342848 1462858 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1545738 1462858 660 659 0 1544942 0
Current children cumulated CPU time: 3390.58 s
Current children cumulated vsize: 6192884 KiB
Current children cumulated memory: 5854212 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.54 3.00 3/244 849801
/proc/meminfo: memFree=117815812/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6182952 memory=5851432 CPUtime=3450.34 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 831544 0 0 0 343860 1174 0 0 20 0 1 0 163941242 6331342848 1462858 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1545738 1462858 660 659 0 1544942 0
Current children cumulated CPU time: 3450.34 s
Current children cumulated vsize: 6192884 KiB
Current children cumulated memory: 5854212 KiB

[startup+3522.3 s]
/proc/loadavg: 2.12 2.46 2.94 3/244 849812
/proc/meminfo: memFree=117807760/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6182952 memory=5851432 CPUtime=3510.12 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 833539 0 0 0 349837 1175 0 0 20 0 1 0 163941242 6331342848 1462858 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1545738 1462858 660 659 0 1544942 0
Current children cumulated CPU time: 3510.12 s
Current children cumulated vsize: 6192884 KiB
Current children cumulated memory: 5854212 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.39 2.88 3/244 849822
/proc/meminfo: memFree=117804968/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6189476 memory=5859324 CPUtime=3569.89 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 836006 0 0 0 355804 1185 0 0 20 0 1 0 163941242 6338023424 1464831 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1547369 1464831 660 659 0 1546573 0
Current children cumulated CPU time: 3569.89 s
Current children cumulated vsize: 6199408 KiB
Current children cumulated memory: 5862104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 2.12 2.37 2.86 3/244 849826
/proc/meminfo: memFree=117804888/131524600 swapFree=131071996/131071996
[pid=847873] ppid=847870 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/847873/stat : 847873 (naps-1.03.sh) S 847870 847873 840689 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 163941242 10170368 695 134679101440 94883966504960 94883967584280 140726590519936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94883969682736 94883969729924 94883993788416 140726590526436 140726590526561 140726590526561 140726590533576 0
/proc/847873/statm: 2483 695 618 264 0 134 0
[pid=847878] ppid=847873 vsize=6189476 memory=5859324 CPUtime=3600.08 cores=0,2
/proc/847878/stat : 847878 (naps-1.03) R 847873 847873 840689 0 -1 4194304 837008 0 0 0 358822 1186 0 0 20 0 1 0 163941242 6338023424 1464831 134679101440 4194304 6891213 140729087007648 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22564864 140729087013877 140729087013989 140729087013989 140729087021003 0
/proc/847878/statm: 1547369 1464831 660 659 0 1546573 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6199408 KiB
Current children cumulated memory: 5862104 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001647 s, system=0.001179 s

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

# cumulated CPU time of all completed processes:  user=3588.23 s, system=11.8783 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): 3612.62
CPU time (s): 3600.1
CPU user time (s): 3588.23
CPU system time (s): 11.8783
CPU usage (%): 99.6536
Max. virtual memory (cumulated for all children) (KiB): 9063532
Max. memory (cumulated for all children) (KiB): 8540708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.23
system time used= 11.8783
maximum resident set size= 8537928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 837467
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= 383
involuntary context switches= 25427


# summary of solver processes directly reported to runsolver:
#   pid: 847873,847878
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3588.23
#   total CPU system time (s): 11.8783

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90723 second user time and 17.99 second system time

The end