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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433951-1721107781/watcher-4433951-1721107781 -o /tmp/evaluation-result-4433951-1721107781/solver-4433951-1721107781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721104178-855899 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433951-1721107781.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
solver pid=858112, runsolver pid=858109
Current StackSize limit: 8192 KiB


[startup+0.100853 s]*
/proc/loadavg: 4.20 4.16 4.16 5/262 858117
/proc/meminfo: memFree=128410988/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=5000 memory=2912 CPUtime=0.09 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 429 0 0 0 9 0 0 0 20 0 1 0 162940492 5120000 728 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 1250 728 436 659 0 454 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14932 KiB
Current children cumulated memory: 5648 KiB

[startup+0.20585 s]*
/proc/loadavg: 4.20 4.16 4.16 5/262 858117
/proc/meminfo: memFree=128346252/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=30444 memory=25988 CPUtime=0.19 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 4110 0 0 0 19 0 0 0 20 0 1 0 162940492 31174656 6497 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 7611 6497 468 659 0 6815 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40376 KiB
Current children cumulated memory: 28724 KiB

[startup+0.305858 s]*
/proc/loadavg: 4.20 4.16 4.16 5/262 858117
/proc/meminfo: memFree=128300300/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=81900 memory=73956 CPUtime=0.3 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 11465 0 0 0 28 2 0 0 20 0 1 0 162940492 83865600 18489 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 20475 18489 468 659 0 19679 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 91832 KiB
Current children cumulated memory: 76692 KiB

[startup+0.700282 s]
/proc/loadavg: 4.20 4.16 4.16 5/262 858117
/proc/meminfo: memFree=128229224/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=168516 memory=161680 CPUtime=0.68 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 24221 0 0 0 64 4 0 0 20 0 1 0 162940492 172560384 40420 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 42129 40420 468 659 0 41333 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 178448 KiB
Current children cumulated memory: 164416 KiB

[startup+1.50028 s]
/proc/loadavg: 4.10 4.14 4.15 5/257 858156
/proc/meminfo: memFree=128620912/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=200468 memory=187276 CPUtime=1.48 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 27386 0 0 0 143 5 0 0 20 0 1 0 162940492 205279232 46819 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 50117 46819 468 659 0 49321 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 210400 KiB
Current children cumulated memory: 190012 KiB

[startup+3.10579 s]
/proc/loadavg: 4.10 4.14 4.15 5/262 858167
/proc/meminfo: memFree=127830176/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=182512 memory=172296 CPUtime=3.08 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 27761 0 0 0 303 5 0 0 20 0 1 0 162940492 186892288 43074 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 45628 43074 468 659 0 44832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192444 KiB
Current children cumulated memory: 175032 KiB

[startup+6.30026 s]
/proc/loadavg: 4.09 4.14 4.15 5/262 858169
/proc/meminfo: memFree=126725012/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=200468 memory=179144 CPUtime=6.26 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 27940 0 0 0 621 5 0 0 20 0 1 0 162940492 205279232 44786 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 50117 44786 468 659 0 49321 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 210400 KiB
Current children cumulated memory: 181880 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.13 4.15 5/262 858169
/proc/meminfo: memFree=124303596/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=208924 memory=193328 CPUtime=12.64 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 28506 0 0 0 1258 6 0 0 20 0 1 0 162940492 213938176 48332 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 52231 48332 468 659 0 51435 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 218856 KiB
Current children cumulated memory: 196064 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.13 4.15 5/262 858172
/proc/meminfo: memFree=122834928/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=374364 memory=354220 CPUtime=25.39 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 39953 0 0 0 2529 10 0 0 20 0 1 0 162940492 383348736 88555 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 93591 88555 468 659 0 92795 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 384296 KiB
Current children cumulated memory: 356956 KiB

[startup+51.1058 s]
/proc/loadavg: 4.16 4.15 4.15 5/263 858232
/proc/meminfo: memFree=122361960/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=374364 memory=354296 CPUtime=50.91 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 40025 0 0 0 5081 10 0 0 20 0 1 0 162940492 383348736 88574 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 93591 88574 468 659 0 92795 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 384296 KiB
Current children cumulated memory: 357032 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/261 858241
/proc/meminfo: memFree=122484964/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=386036 memory=363568 CPUtime=101.91 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 40431 0 0 0 10181 10 0 0 20 0 1 0 162940492 395300864 90892 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 96509 90892 468 659 0 95713 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 395968 KiB
Current children cumulated memory: 366304 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.17 4.16 5/261 858251
/proc/meminfo: memFree=122398452/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=386352 memory=367884 CPUtime=161.69 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 40618 0 0 0 16159 10 0 0 20 0 1 0 162940492 395624448 91971 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 96588 91971 468 659 0 95792 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 396284 KiB
Current children cumulated memory: 370620 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/260 858261
/proc/meminfo: memFree=122357604/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=435672 memory=401068 CPUtime=221.48 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 42277 0 0 0 22135 13 0 0 20 0 1 0 162940492 446128128 100267 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 108918 100267 468 659 0 108122 0
Current children cumulated CPU time: 221.48 s

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

/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=772768 memory=699392 CPUtime=2553.11 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 89926 0 0 0 255245 66 0 0 20 0 1 0 162940492 791314432 174848 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 193192 174848 468 659 0 192396 0
Current children cumulated CPU time: 2553.11 s
Current children cumulated vsize: 782700 KiB
Current children cumulated memory: 702128 KiB

[startup+2622.3 s]
/proc/loadavg: 4.12 4.14 4.12 6/260 859363
/proc/meminfo: memFree=122285056/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=773392 memory=714016 CPUtime=2612.9 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 90167 0 0 0 261223 67 0 0 20 0 1 0 162940492 791953408 178504 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 193348 178504 468 659 0 192552 0
Current children cumulated CPU time: 2612.9 s
Current children cumulated vsize: 783324 KiB
Current children cumulated memory: 716752 KiB

[startup+2682.3 s]
/proc/loadavg: 4.04 4.11 4.11 6/261 859376
/proc/meminfo: memFree=122352952/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=773960 memory=694136 CPUtime=2672.68 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 91856 0 0 0 267198 70 0 0 20 0 1 0 162940492 792535040 173534 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 193490 173534 468 659 0 192694 0
Current children cumulated CPU time: 2672.68 s
Current children cumulated vsize: 783892 KiB
Current children cumulated memory: 696872 KiB

[startup+2742.3 s]
/proc/loadavg: 4.18 4.13 4.12 6/260 859387
/proc/meminfo: memFree=122203240/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=895396 memory=809636 CPUtime=2732.47 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 95864 0 0 0 273175 72 0 0 20 0 1 0 162940492 916885504 202409 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 223849 202409 468 659 0 223053 0
Current children cumulated CPU time: 2732.47 s
Current children cumulated vsize: 905328 KiB
Current children cumulated memory: 812372 KiB

[startup+2794.42 s]
# the end of solver process 858112 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2783.55 s, system=0.857315 s

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

[startup+2764.8 s]
/proc/loadavg: 4.13 4.12 4.12 6/260 859391
/proc/meminfo: memFree=122014252/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=1066292 memory=959104 CPUtime=2754.89 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 108218 0 0 0 275411 78 0 0 20 0 1 0 162940492 1091883008 239776 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 266573 239776 468 659 0 265777 0
Current children cumulated CPU time: 2754.89 s
Current children cumulated vsize: 1076224 KiB
Current children cumulated memory: 961840 KiB

[startup+2777.6 s]
/proc/loadavg: 4.18 4.13 4.12 6/260 859394
/proc/meminfo: memFree=121993176/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=1066832 memory=961676 CPUtime=2767.64 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 108321 0 0 0 276686 78 0 0 20 0 1 0 162940492 1092435968 240419 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 266708 240419 468 659 0 265912 0
Current children cumulated CPU time: 2767.64 s
Current children cumulated vsize: 1076764 KiB
Current children cumulated memory: 964412 KiB

[startup+2784 s]*
/proc/loadavg: 4.16 4.13 4.12 6/260 859394
/proc/meminfo: memFree=121938936/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=1098908 memory=1007652 CPUtime=2774.02 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 116267 0 0 0 277319 83 0 0 20 0 1 0 162940492 1125281792 251913 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 274727 251913 468 659 0 273931 0
Current children cumulated CPU time: 2774.02 s
Current children cumulated vsize: 1108840 KiB
Current children cumulated memory: 1010388 KiB

[startup+2790.4 s]
/proc/loadavg: 4.15 4.13 4.12 6/260 859396
/proc/meminfo: memFree=122015596/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=1103148 memory=1011080 CPUtime=2780.39 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 117134 0 0 0 277956 83 0 0 20 0 1 0 162940492 1129623552 252770 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 275787 252770 468 659 0 274991 0
Current children cumulated CPU time: 2780.39 s
Current children cumulated vsize: 1113080 KiB
Current children cumulated memory: 1013816 KiB

[startup+2792 s]*
/proc/loadavg: 4.14 4.13 4.12 6/260 859396
/proc/meminfo: memFree=122011052/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=1103148 memory=1011344 CPUtime=2781.99 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 117201 0 0 0 278116 83 0 0 20 0 1 0 162940492 1129623552 252836 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 275787 252836 468 659 0 274991 0
Current children cumulated CPU time: 2781.99 s
Current children cumulated vsize: 1113080 KiB
Current children cumulated memory: 1014080 KiB

[startup+2793.6 s]
/proc/loadavg: 4.14 4.13 4.12 6/260 859396
/proc/meminfo: memFree=122008864/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=1103148 memory=1011608 CPUtime=2783.58 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 117260 0 0 0 278275 83 0 0 20 0 1 0 162940492 1129623552 252902 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 275787 252902 468 659 0 274991 0
Current children cumulated CPU time: 2783.58 s
Current children cumulated vsize: 1113080 KiB
Current children cumulated memory: 1014344 KiB

[startup+2794 s]*
/proc/loadavg: 4.14 4.13 4.12 6/260 859396
/proc/meminfo: memFree=122008696/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
[pid=858117] ppid=858112 vsize=1103148 memory=1011608 CPUtime=2783.98 cores=0,2
/proc/858117/stat : 858117 (naps-1.03) R 858112 858112 855889 0 -1 4194304 117276 0 0 0 278315 83 0 0 20 0 1 0 162940492 1129623552 252902 134679101440 4194304 6891213 140725574946352 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8101888 140725574951921 140725574952037 140725574952037 140725574959051 0
/proc/858117/statm: 275787 252902 468 659 0 274991 0
Current children cumulated CPU time: 2783.98 s
Current children cumulated vsize: 1113080 KiB
Current children cumulated memory: 1014344 KiB

[startup+2794.4 s]
/proc/loadavg: 4.14 4.13 4.12 6/260 859396
/proc/meminfo: memFree=122008696/131524600 swapFree=131071996/131071996
[pid=858112] ppid=858109 vsize=9932 memory=2736 CPUtime=0 cores=0,2
/proc/858112/stat : 858112 (naps-1.03.sh) S 858109 858112 855889 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 162940492 10170368 684 134679101440 93888902885376 93888903964696 140722327508592 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93888906063152 93888906110340 93888927690752 140722327512032 140722327512161 140722327512161 140722327519176 0
/proc/858112/statm: 2483 684 606 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2736 KiB

Child status: 30

Real time (s): 2794.42
CPU time (s): 2784.41
CPU user time (s): 2783.55
CPU system time (s): 0.857315
CPU usage (%): 99.6419
Max. virtual memory (cumulated for all children) (KiB): 1238924
Max. memory (cumulated for all children) (KiB): 1112408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2783.55
system time used= 0.857315
maximum resident set size= 1109672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117832
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= 19096


# summary of solver processes directly reported to runsolver:
#   pid: 858112
#   total CPU time (s): 2784.41
#   total CPU user time (s): 2783.55
#   total CPU system time (s): 0.857315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27886 second user time and 13.7174 second system time

The end