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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445961-1721324779/watcher-4445961-1721324779 -o /tmp/evaluation-result-4445961-1721324779/solver-4445961-1721324779 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721317481-967417 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4445961-1721324779.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=972684, runsolver pid=972681
Current StackSize limit: 8192 KiB


[startup+0.100692 s]*
/proc/loadavg: 4.12 4.13 4.10 6/259 972689
/proc/meminfo: memFree=128103132/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=11880 memory=6920 CPUtime=0.09 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 1430 0 0 0 9 0 0 0 20 0 1 0 184641755 12165120 1730 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 2970 1730 421 379 0 2504 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21812 KiB
Current children cumulated memory: 9720 KiB

[startup+0.20569 s]*
/proc/loadavg: 4.12 4.13 4.10 5/259 972689
/proc/meminfo: memFree=128101532/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=13136 memory=8104 CPUtime=0.19 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 1840 0 0 0 19 0 0 0 20 0 1 0 184641755 13451264 2026 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 3284 2026 421 379 0 2818 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23068 KiB
Current children cumulated memory: 10904 KiB

[startup+0.30468 s]*
/proc/loadavg: 4.12 4.13 4.10 5/259 972689
/proc/meminfo: memFree=128081372/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=35240 memory=30344 CPUtime=0.28 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 7034 0 0 0 28 0 0 0 20 0 1 0 184641755 36085760 7586 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 8810 7586 421 379 0 8344 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 45172 KiB
Current children cumulated memory: 33144 KiB

[startup+0.700216 s]
/proc/loadavg: 4.12 4.13 4.10 5/259 972689
/proc/meminfo: memFree=128081404/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=33440 memory=29180 CPUtime=0.68 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 7643 0 0 0 67 1 0 0 20 0 1 0 184641755 34242560 7295 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 8360 7295 421 379 0 7894 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43372 KiB
Current children cumulated memory: 31980 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.13 4.10 5/259 972689
/proc/meminfo: memFree=128078380/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=36844 memory=31628 CPUtime=1.47 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 8960 0 0 0 146 1 0 0 20 0 1 0 184641755 37728256 7907 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 9211 7907 421 379 0 8745 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 46776 KiB
Current children cumulated memory: 34428 KiB

[startup+3.10543 s]
/proc/loadavg: 4.11 4.13 4.10 5/259 972689
/proc/meminfo: memFree=128068244/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=41512 memory=38360 CPUtime=3.07 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 9712 0 0 0 306 1 0 0 20 0 1 0 184641755 42508288 9590 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 10378 9590 421 379 0 9912 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 51444 KiB
Current children cumulated memory: 41160 KiB

[startup+6.30024 s]
/proc/loadavg: 4.11 4.13 4.10 5/259 972690
/proc/meminfo: memFree=128064052/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=53008 memory=49684 CPUtime=6.26 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 10546 0 0 0 624 2 0 0 20 0 1 0 184641755 54280192 12421 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 13252 12421 421 379 0 12786 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 62940 KiB
Current children cumulated memory: 52484 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.11 5/259 972690
/proc/meminfo: memFree=128096708/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=57960 memory=54512 CPUtime=12.64 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 10751 0 0 0 1262 2 0 0 20 0 1 0 184641755 59351040 13628 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 14490 13628 421 379 0 14024 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67892 KiB
Current children cumulated memory: 57312 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 4.17 4.11 5/259 972693
/proc/meminfo: memFree=128065328/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=72288 memory=69136 CPUtime=25.41 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 11989 0 0 0 2538 3 0 0 20 0 1 0 184641755 74022912 17284 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 18072 17284 421 379 0 17606 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 82220 KiB
Current children cumulated memory: 71936 KiB

[startup+51.1055 s]
/proc/loadavg: 4.19 4.15 4.11 5/258 972696
/proc/meminfo: memFree=128013512/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=50.94 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 12855 0 0 0 5090 4 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 972756
/proc/meminfo: memFree=127992140/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=101.96 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 14518 0 0 0 10189 7 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+132.356 s]
# the end of solver process 972684 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=131.816 s, system=0.100703 s

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

[startup+102.4 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 972756
/proc/meminfo: memFree=127992140/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=102.06 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 14518 0 0 0 10199 7 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+115.2 s]
/proc/loadavg: 4.17 4.15 4.10 5/258 972759
/proc/meminfo: memFree=127955240/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=114.81 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15219 0 0 0 11473 8 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 114.81 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+121.6 s]
/proc/loadavg: 4.16 4.15 4.10 5/258 972759
/proc/meminfo: memFree=127891700/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=151956 memory=115292 CPUtime=121.19 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15637 0 0 0 12110 9 0 0 20 0 1 0 184641755 155602944 28823 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 37989 28823 421 379 0 37523 0
Current children cumulated CPU time: 121.19 s
Current children cumulated vsize: 161888 KiB
Current children cumulated memory: 118092 KiB

[startup+128 s]*
/proc/loadavg: 4.21 4.16 4.11 5/258 972762
/proc/meminfo: memFree=127955756/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=127.57 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15644 0 0 0 12748 9 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 127.57 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+129.6 s]
/proc/loadavg: 4.21 4.16 4.11 5/258 972762
/proc/meminfo: memFree=127955756/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=129.16 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15644 0 0 0 12907 9 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 129.16 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+131.2 s]
/proc/loadavg: 4.21 4.16 4.11 5/258 972762
/proc/meminfo: memFree=127955756/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=130.75 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15644 0 0 0 13066 9 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 130.75 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+132 s]*
/proc/loadavg: 4.19 4.16 4.11 5/258 972762
/proc/meminfo: memFree=127990808/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=131.55 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15644 0 0 0 13146 9 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 131.55 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+132.2 s]
/proc/loadavg: 4.19 4.16 4.11 5/258 972762
/proc/meminfo: memFree=127990808/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=131.75 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15644 0 0 0 13166 9 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 131.75 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

[startup+132.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/258 972762
/proc/meminfo: memFree=127990808/131524600 swapFree=131071996/131071996
[pid=972684] ppid=972681 vsize=9932 memory=2800 CPUtime=0 cores=1,3
/proc/972684/stat : 972684 (naps-1.02b5.sh) S 972681 972684 967405 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 184641755 10170368 700 134679101440 94261398614016 94261399693336 140726562726640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94261401791792 94261401838980 94261408473088 140726562735071 140726562735198 140726562735198 140726562742214 0
/proc/972684/statm: 2483 700 624 264 0 134 0
[pid=972689] ppid=972684 vsize=102636 memory=81024 CPUtime=131.85 cores=1,3
/proc/972689/stat : 972689 (naps-1.02b5) R 972684 972684 967405 0 -1 4194304 15644 0 0 0 13176 9 0 0 20 0 1 0 184641755 105099264 20256 134679101440 4194304 5746509 140728026686064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 28897280 140728026690542 140728026690656 140728026690656 140728026697673 0
/proc/972689/statm: 25659 20256 421 379 0 25193 0
Current children cumulated CPU time: 131.85 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 83824 KiB

Child status: 20

Real time (s): 132.356
CPU time (s): 131.917
CPU user time (s): 131.816
CPU system time (s): 0.100703
CPU usage (%): 99.6682
Max. virtual memory (cumulated for all children) (KiB): 192708
Max. memory (cumulated for all children) (KiB): 133400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.816
system time used= 0.100703
maximum resident set size= 130600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16130
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= 145


# summary of solver processes directly reported to runsolver:
#   pid: 972684
#   total CPU time (s): 131.917
#   total CPU user time (s): 131.816
#   total CPU system time (s): 0.100703

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.248183 second user time and 0.670243 second system time

The end