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 (57635 MiB free)
  memory of node 1: 64473 MiB (61025 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461635-1722075866/watcher-4461635-1722075866 -o /tmp/evaluation-result-4461635-1722075866/solver-4461635-1722075866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722075866-333071 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461635-1722075866.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=333122, runsolver pid=333115

[startup+0.100196 s]*
/proc/loadavg: 1.49 2.56 3.18 9/268 333149
/proc/meminfo: memFree=121416768/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=26064 memory=24432 CPUtime=0.1 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 6252 0 0 0 10 0 0 0 20 0 1 0 44114946 26689536 6108 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 6516 6108 612 659 0 5720 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35996 KiB
Current children cumulated memory: 27168 KiB

[startup+0.216488 s]*
/proc/loadavg: 1.49 2.56 3.18 5/268 333149
/proc/meminfo: memFree=121359404/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=43380 memory=40640 CPUtime=0.2 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 10289 0 0 0 19 1 0 0 20 0 1 0 44114946 44421120 10160 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 10845 10160 644 659 0 10049 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53312 KiB
Current children cumulated memory: 43376 KiB

[startup+0.306036 s]*
/proc/loadavg: 1.49 2.56 3.18 5/268 333149
/proc/meminfo: memFree=121332504/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=43380 memory=40768 CPUtime=0.3 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 12594 0 0 0 28 2 0 0 20 0 1 0 44114946 44421120 10192 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 10845 10192 644 659 0 10049 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53312 KiB
Current children cumulated memory: 43504 KiB

[startup+0.700216 s]
/proc/loadavg: 1.49 2.56 3.18 5/268 333149
/proc/meminfo: memFree=121286108/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=57076 memory=54156 CPUtime=0.68 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 14877 0 0 0 66 2 0 0 20 0 1 0 44114946 58445824 13539 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 14269 13539 660 659 0 13473 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67008 KiB
Current children cumulated memory: 56892 KiB

[startup+1.50026 s]
/proc/loadavg: 1.49 2.56 3.18 7/268 333149
/proc/meminfo: memFree=121202208/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=63340 memory=58020 CPUtime=1.48 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 16357 0 0 0 145 3 0 0 20 0 1 0 44114946 64860160 14505 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 15835 14505 660 659 0 15039 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73272 KiB
Current children cumulated memory: 60756 KiB

[startup+3.10687 s]
/proc/loadavg: 1.49 2.56 3.18 6/268 333149
/proc/meminfo: memFree=121144788/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=61232 memory=56108 CPUtime=3.09 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 18775 0 0 0 305 4 0 0 20 0 1 0 44114946 62701568 14027 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 15308 14027 660 659 0 14512 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71164 KiB
Current children cumulated memory: 58844 KiB

[startup+6.30023 s]
/proc/loadavg: 1.69 2.58 3.18 6/268 333151
/proc/meminfo: memFree=121147484/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=71572 memory=66096 CPUtime=6.26 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 23772 0 0 0 622 4 0 0 20 0 1 0 44114946 73289728 16524 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 17893 16524 660 659 0 17097 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 81504 KiB
Current children cumulated memory: 68832 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 2.61 3.19 7/268 333151
/proc/meminfo: memFree=121118520/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=64336 memory=61588 CPUtime=12.65 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 28829 0 0 0 1259 6 0 0 20 0 1 0 44114946 65880064 15397 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 16084 15397 660 659 0 15288 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74268 KiB
Current children cumulated memory: 64324 KiB

[startup+25.5003 s]
/proc/loadavg: 2.42 2.69 3.20 8/268 333154
/proc/meminfo: memFree=121110392/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=76108 memory=73256 CPUtime=25.41 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 34634 0 0 0 2533 8 0 0 20 0 1 0 44114946 77934592 18314 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 19027 18314 660 659 0 18231 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86040 KiB
Current children cumulated memory: 75992 KiB

[startup+51.1068 s]
/proc/loadavg: 2.96 2.80 3.23 6/266 333539
/proc/meminfo: memFree=121083984/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=88920 memory=85932 CPUtime=50.95 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 39474 0 0 0 5085 10 0 0 20 0 1 0 44114946 91054080 21483 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 22230 21483 660 659 0 21434 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 98852 KiB
Current children cumulated memory: 88668 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 3.00 3.28 6/263 333547
/proc/meminfo: memFree=121058268/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=106644 memory=104452 CPUtime=102 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 46748 0 0 0 10186 14 0 0 20 0 1 0 44114946 109203456 26113 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 26661 26113 660 659 0 25865 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 107188 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.22 3.33 7/264 333559
/proc/meminfo: memFree=120962656/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=187252 memory=184368 CPUtime=161.82 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 51531 0 0 0 16165 17 0 0 20 0 1 0 44114946 191746048 46092 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 46813 46092 660 659 0 46017 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 197184 KiB
Current children cumulated memory: 187104 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.36 3.38 8/261 333569
/proc/meminfo: memFree=121004640/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=140604 memory=138436 CPUtime=221.65 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 56437 0 0 0 22142 23 0 0 20 0 1 0 44114946 143978496 34609 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 35151 34609 660 659 0 34355 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 150536 KiB

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

/proc/loadavg: 4.07 4.11 4.09 6/257 334877
/proc/meminfo: memFree=120468284/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=412872 memory=410940 CPUtime=3035.08 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 182658 0 0 0 303323 185 0 0 20 0 1 0 44114946 422780928 102735 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 103218 102735 660 659 0 102422 0
Current children cumulated CPU time: 3035.08 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 413676 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/255 334887
/proc/meminfo: memFree=120373680/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=412872 memory=410940 CPUtime=3094.94 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 182779 0 0 0 309309 185 0 0 20 0 1 0 44114946 422780928 102735 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 103218 102735 660 659 0 102422 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 413676 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/255 334898
/proc/meminfo: memFree=120440244/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=412872 memory=411416 CPUtime=3154.8 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 182921 0 0 0 315295 185 0 0 20 0 1 0 44114946 422780928 102854 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 103218 102854 660 659 0 102422 0
Current children cumulated CPU time: 3154.8 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 414152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/255 334908
/proc/meminfo: memFree=120288480/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=412872 memory=411416 CPUtime=3214.67 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 183615 0 0 0 321279 188 0 0 20 0 1 0 44114946 422780928 102854 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 103218 102854 660 659 0 102422 0
Current children cumulated CPU time: 3214.67 s
Current children cumulated vsize: 422804 KiB
Current children cumulated memory: 414152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.09 8/255 334918
/proc/meminfo: memFree=120348152/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=339348 memory=338644 CPUtime=3274.53 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 184280 0 0 0 327264 189 0 0 20 0 1 0 44114946 347492352 84661 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 84837 84661 660 659 0 84041 0
Current children cumulated CPU time: 3274.53 s
Current children cumulated vsize: 349280 KiB
Current children cumulated memory: 341380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 8/255 334929
/proc/meminfo: memFree=120560644/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=289756 memory=289052 CPUtime=3334.39 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 186343 0 0 0 333248 191 0 0 20 0 1 0 44114946 296710144 72263 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 72439 72263 660 659 0 71643 0
Current children cumulated CPU time: 3334.39 s
Current children cumulated vsize: 299688 KiB
Current children cumulated memory: 291788 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 8/257 334944
/proc/meminfo: memFree=120381168/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=314812 memory=314108 CPUtime=3394.25 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 189044 0 0 0 339230 195 0 0 20 0 1 0 44114946 322367488 78527 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 78703 78527 660 659 0 77907 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 324744 KiB
Current children cumulated memory: 316844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/257 334955
/proc/meminfo: memFree=120399608/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=291468 memory=290764 CPUtime=3454.12 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 191357 0 0 0 345213 199 0 0 20 0 1 0 44114946 298463232 72691 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 72867 72691 660 659 0 72071 0
Current children cumulated CPU time: 3454.12 s
Current children cumulated vsize: 301400 KiB
Current children cumulated memory: 293500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.10 8/257 334965
/proc/meminfo: memFree=120422584/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=287384 memory=286680 CPUtime=3513.98 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 193927 0 0 0 351195 203 0 0 20 0 1 0 44114946 294281216 71670 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 71846 71670 660 659 0 71050 0
Current children cumulated CPU time: 3513.98 s
Current children cumulated vsize: 297316 KiB
Current children cumulated memory: 289416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/257 334976
/proc/meminfo: memFree=120546340/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=294036 memory=293332 CPUtime=3573.84 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 196432 0 0 0 357176 208 0 0 20 0 1 0 44114946 301092864 73333 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 73509 73333 660 659 0 72713 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 303968 KiB
Current children cumulated memory: 296068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.14 4.12 4.09 7/258 334983
/proc/meminfo: memFree=120559440/131524600 swapFree=131061696/131071996
[pid=333122] ppid=333115 vsize=9932 memory=2736 CPUtime=0 cores=4,6
/proc/333122/stat : 333122 (naps-1.03.sh) S 333115 333122 333060 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44114945 10170368 684 134679101440 94008608821248 94008609900568 140727021035488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94008611999024 94008612046212 94008619311104 140727021040613 140727021040738 140727021040738 140727021047752 0
/proc/333122/statm: 2483 684 606 264 0 134 0
[pid=333147] ppid=333122 vsize=287592 memory=286888 CPUtime=3600.08 cores=4,6
/proc/333147/stat : 333147 (naps-1.03) R 333122 333122 333060 0 -1 4194304 197327 0 0 0 359798 210 0 0 20 0 1 0 44114946 294494208 71722 134679101440 4194304 6891597 140730850672672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31076352 140730850677750 140730850677862 140730850677862 140730850684875 0
/proc/333147/statm: 71898 71722 660 659 0 71102 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 297524 KiB
Current children cumulated memory: 289624 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.99 s, system=2.11022 s

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

Child status: 10

Real time (s): 3608.6
CPU time (s): 3600.1
CPU user time (s): 3597.99
CPU system time (s): 2.11022
CPU usage (%): 99.7644
Max. virtual memory (cumulated for all children) (KiB): 884252
Max. memory (cumulated for all children) (KiB): 860980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.99
system time used= 2.11022
maximum resident set size= 867732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197804
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= 52
involuntary context switches= 1667


# summary of solver processes directly reported to runsolver:
#   pid: 333122
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.99
#   total CPU system time (s): 2.11022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20731 second user time and 21.2562 second system time

The end