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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457993-1721872351/watcher-4457993-1721872351 -o /tmp/evaluation-result-4457993-1721872351/solver-4457993-1721872351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721865123-209572 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4457993-1721872351.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=213834, runsolver pid=213831

[startup+0.100192 s]*
/proc/loadavg: 4.19 4.24 4.17 5/247 213839
/proc/meminfo: memFree=99964556/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=10356 memory=5184 CPUtime=0.09 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 1041 0 0 0 9 0 0 0 20 0 1 0 23224195 10604544 1296 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 2589 1296 405 379 0 2123 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20288 KiB
Current children cumulated memory: 7864 KiB

[startup+0.212894 s]*
/proc/loadavg: 4.19 4.24 4.17 5/247 213839
/proc/meminfo: memFree=99956700/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=16348 memory=13396 CPUtime=0.21 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 2592 0 0 0 20 1 0 0 20 0 1 0 23224195 16740352 3349 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 4087 3349 421 379 0 3621 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26280 KiB
Current children cumulated memory: 16076 KiB

[startup+0.312891 s]*
/proc/loadavg: 4.19 4.24 4.17 5/247 213839
/proc/meminfo: memFree=99943792/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=30756 memory=26848 CPUtime=0.31 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 6196 0 0 0 29 2 0 0 20 0 1 0 23224195 31494144 6712 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 7689 6712 421 379 0 7223 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40688 KiB
Current children cumulated memory: 29528 KiB

[startup+0.70039 s]
/proc/loadavg: 4.19 4.24 4.17 5/247 213839
/proc/meminfo: memFree=99937096/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=35188 memory=32376 CPUtime=0.67 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 8549 0 0 0 65 2 0 0 20 0 1 0 23224195 36032512 8094 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 8797 8094 421 379 0 8331 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45120 KiB
Current children cumulated memory: 35056 KiB

[startup+1.50036 s]
/proc/loadavg: 4.19 4.24 4.17 5/247 213839
/proc/meminfo: memFree=99934832/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=36876 memory=34268 CPUtime=1.47 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 9682 0 0 0 145 2 0 0 20 0 1 0 23224195 37761024 8567 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 9219 8567 421 379 0 8753 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46808 KiB
Current children cumulated memory: 36948 KiB

[startup+3.11278 s]
/proc/loadavg: 4.19 4.24 4.17 5/247 213839
/proc/meminfo: memFree=99923160/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=43972 memory=41032 CPUtime=3.08 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 10192 0 0 0 305 3 0 0 20 0 1 0 23224195 45027328 10258 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 10993 10258 421 379 0 10527 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 43712 KiB

[startup+6.30034 s]
/proc/loadavg: 4.18 4.23 4.17 5/247 213841
/proc/meminfo: memFree=99913608/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=58576 memory=49172 CPUtime=6.25 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 11643 0 0 0 622 3 0 0 20 0 1 0 23224195 59981824 12293 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 14644 12293 421 379 0 14178 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 68508 KiB
Current children cumulated memory: 51852 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.23 4.17 5/247 213841
/proc/meminfo: memFree=99890432/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=63040 memory=59716 CPUtime=12.63 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 12749 0 0 0 1260 3 0 0 20 0 1 0 23224195 64552960 14929 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 15760 14929 421 379 0 15294 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 72972 KiB
Current children cumulated memory: 62396 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.22 4.16 5/247 213844
/proc/meminfo: memFree=99874688/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=51436 memory=48688 CPUtime=25.38 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 15571 0 0 0 2532 6 0 0 20 0 1 0 23224195 52670464 12172 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 12859 12172 421 379 0 12393 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 61368 KiB
Current children cumulated memory: 51368 KiB

[startup+51.1131 s]
/proc/loadavg: 4.22 4.23 4.17 5/247 213847
/proc/meminfo: memFree=99819452/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=89048 memory=86520 CPUtime=50.89 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 16844 0 0 0 5080 9 0 0 20 0 1 0 23224195 91185152 21630 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 22262 21630 421 379 0 21796 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 98980 KiB
Current children cumulated memory: 89200 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.21 4.17 5/247 213856
/proc/meminfo: memFree=99764744/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=89048 memory=86520 CPUtime=101.87 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 19804 0 0 0 10170 17 0 0 20 0 1 0 23224195 91185152 21630 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 22262 21630 421 379 0 21796 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 98980 KiB
Current children cumulated memory: 89200 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.18 4.16 5/247 214249
/proc/meminfo: memFree=99702360/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=169188 memory=148648 CPUtime=161.63 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 24355 0 0 0 16137 26 0 0 20 0 1 0 23224195 173248512 37162 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 42297 37162 421 379 0 41831 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 179120 KiB
Current children cumulated memory: 151328 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/247 214259
/proc/meminfo: memFree=99767248/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=89048 memory=86520 CPUtime=221.39 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 28234 0 0 0 22105 34 0 0 20 0 1 0 23224195 91185152 21630 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 22262 21630 421 379 0 21796 0
Current children cumulated CPU time: 221.39 s

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

/proc/loadavg: 4.25 4.19 4.18 5/247 215570
/proc/meminfo: memFree=99119932/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=350796 memory=311096 CPUtime=3090.78 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 168753 0 0 0 308783 295 0 0 20 0 1 0 23224195 359215104 77774 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 87699 77774 421 379 0 87233 0
Current children cumulated CPU time: 3090.78 s
Current children cumulated vsize: 360728 KiB
Current children cumulated memory: 313776 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/247 215580
/proc/meminfo: memFree=99266188/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=269408 memory=226936 CPUtime=3150.57 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 170923 0 0 0 314757 300 0 0 20 0 1 0 23224195 275873792 56734 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 67352 56734 421 379 0 66886 0
Current children cumulated CPU time: 3150.57 s
Current children cumulated vsize: 279340 KiB
Current children cumulated memory: 229616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.75 4.34 4.23 5/245 215591
/proc/meminfo: memFree=99189744/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=483056 memory=382540 CPUtime=3210.37 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 172089 0 0 0 320733 304 0 0 20 0 1 0 23224195 494649344 95635 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 120764 95635 421 379 0 120298 0
Current children cumulated CPU time: 3210.37 s
Current children cumulated vsize: 492988 KiB
Current children cumulated memory: 385220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.59 4.38 4.25 5/245 215601
/proc/meminfo: memFree=99111176/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=350796 memory=313144 CPUtime=3270.17 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 174376 0 0 0 326708 309 0 0 20 0 1 0 23224195 359215104 78286 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 87699 78286 421 379 0 87233 0
Current children cumulated CPU time: 3270.17 s
Current children cumulated vsize: 360728 KiB
Current children cumulated memory: 315824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.34 4.25 5/245 215611
/proc/meminfo: memFree=99262632/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=269408 memory=222840 CPUtime=3329.94 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 176474 0 0 0 332680 314 0 0 20 0 1 0 23224195 275873792 55710 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 67352 55710 421 379 0 66886 0
Current children cumulated CPU time: 3329.94 s
Current children cumulated vsize: 279340 KiB
Current children cumulated memory: 225520 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.30 4.24 5/245 215621
/proc/meminfo: memFree=99202588/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=483056 memory=380412 CPUtime=3389.69 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 177598 0 0 0 338652 317 0 0 20 0 1 0 23224195 494649344 95103 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 120764 95103 421 379 0 120298 0
Current children cumulated CPU time: 3389.69 s
Current children cumulated vsize: 492988 KiB
Current children cumulated memory: 383092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.26 4.23 5/247 215636
/proc/meminfo: memFree=99137332/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=351092 memory=299104 CPUtime=3449.45 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 179883 0 0 0 344621 324 0 0 20 0 1 0 23224195 359518208 74776 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 87773 74776 421 379 0 87307 0
Current children cumulated CPU time: 3449.45 s
Current children cumulated vsize: 361024 KiB
Current children cumulated memory: 301784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.23 4.22 5/248 215648
/proc/meminfo: memFree=99331636/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=220296 memory=193984 CPUtime=3509.21 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 181424 0 0 0 350593 328 0 0 20 0 1 0 23224195 225583104 48496 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 55074 48496 421 379 0 54608 0
Current children cumulated CPU time: 3509.21 s
Current children cumulated vsize: 230228 KiB
Current children cumulated memory: 196664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.23 4.22 5/248 215659
/proc/meminfo: memFree=99292320/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=484032 memory=362956 CPUtime=3568.98 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 183366 0 0 0 356566 332 0 0 20 0 1 0 23224195 495648768 90739 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 121008 90739 421 379 0 120542 0
Current children cumulated CPU time: 3568.98 s
Current children cumulated vsize: 493964 KiB
Current children cumulated memory: 365636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 3.84 4.15 4.19 2/224 215757
/proc/meminfo: memFree=100109260/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=190232 memory=180280 CPUtime=3600.08 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 183759 0 0 0 359673 335 0 0 20 0 1 0 23224195 194797568 45070 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 47558 45070 421 379 0 47092 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 200164 KiB
Current children cumulated memory: 182960 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.74 s, system=3.3554 s

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

[startup+3613.5 s]
/proc/loadavg: 3.84 4.15 4.19 2/224 215757
/proc/meminfo: memFree=100109260/131655788 swapFree=131062644/131071996
[pid=213834] ppid=213831 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/213834/stat : 213834 (naps-1.02b5.sh) S 213831 213834 209562 0 -1 4194304 224 245 0 0 0 0 0 0 20 0 1 0 23224194 10170368 670 134679101440 94132764385280 94132765464600 140727266297552 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94132767563056 94132767610244 94132772331520 140727266300896 140727266301023 140727266301023 140727266308038 0
/proc/213834/statm: 2483 670 593 264 0 134 0
[pid=213839] ppid=213834 vsize=190232 memory=180280 CPUtime=3600.08 cores=0,2
/proc/213839/stat : 213839 (naps-1.02b5) R 213834 213834 209562 0 -1 4194304 183759 0 0 0 359673 335 0 0 20 0 1 0 23224195 194797568 45070 134679101440 4194304 5746509 140737241534832 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 13606912 140737241539567 140737241539681 140737241539681 140737241546697 0
/proc/213839/statm: 47558 45070 421 379 0 47092 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 200164 KiB
Current children cumulated memory: 182960 KiB

Child status: 10

Real time (s): 3613.5
CPU time (s): 3600.09
CPU user time (s): 3596.74
CPU system time (s): 3.3554
CPU usage (%): 99.6288
Max. virtual memory (cumulated for all children) (KiB): 494720
Max. memory (cumulated for all children) (KiB): 425156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.74
system time used= 3.3554
maximum resident set size= 422476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184242
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= 101
involuntary context switches= 25181


# summary of solver processes directly reported to runsolver:
#   pid: 213834
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3596.74
#   total CPU system time (s): 3.3554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7781 second user time and 36.8953 second system time

The end