runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59663 MiB free)
  memory of node 1: 64510 MiB (53111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458188-1721880370/watcher-4458188-1721880370 -o /tmp/evaluation-result-4458188-1721880370/solver-4458188-1721880370 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721876760-226295 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4458188-1721880370.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=228271, runsolver pid=228268

[startup+0.10009 s]*
/proc/loadavg: 4.33 4.37 4.17 5/258 228276
/proc/meminfo: memFree=115472388/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=13436 memory=10520 CPUtime=0.1 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 1844 0 0 0 10 0 0 0 20 0 1 0 24560568 13758464 2630 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 3359 2630 421 379 0 2893 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23368 KiB
Current children cumulated memory: 13180 KiB

[startup+0.205776 s]*
/proc/loadavg: 4.33 4.37 4.17 6/258 228276
/proc/meminfo: memFree=115472532/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=11776 memory=10108 CPUtime=0.2 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 2323 0 0 0 20 0 0 0 20 0 1 0 24560568 12058624 2527 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 2944 2527 421 379 0 2478 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21708 KiB
Current children cumulated memory: 12768 KiB

[startup+0.305784 s]*
/proc/loadavg: 4.33 4.37 4.17 5/258 228276
/proc/meminfo: memFree=115472196/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=11776 memory=10632 CPUtime=0.3 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 2446 0 0 0 30 0 0 0 20 0 1 0 24560568 12058624 2658 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 2944 2658 421 379 0 2478 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21708 KiB
Current children cumulated memory: 13292 KiB

[startup+0.700247 s]
/proc/loadavg: 4.33 4.37 4.17 5/258 228276
/proc/meminfo: memFree=115526752/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=12880 memory=10308 CPUtime=0.69 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 3191 0 0 0 69 0 0 0 20 0 1 0 24560568 13189120 2577 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 3220 2577 421 379 0 2754 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22812 KiB
Current children cumulated memory: 12968 KiB

[startup+1.50027 s]
/proc/loadavg: 4.33 4.37 4.17 5/258 228326
/proc/meminfo: memFree=115578540/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=18908 memory=16312 CPUtime=1.48 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 4155 0 0 0 148 0 0 0 20 0 1 0 24560568 19361792 4078 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 4727 4078 421 379 0 4261 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28840 KiB
Current children cumulated memory: 18972 KiB

[startup+3.10474 s]
/proc/loadavg: 4.33 4.37 4.17 5/258 228426
/proc/meminfo: memFree=115791792/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=18908 memory=17920 CPUtime=3.09 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 4607 0 0 0 308 1 0 0 20 0 1 0 24560568 19361792 4480 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 4727 4480 421 379 0 4261 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28840 KiB
Current children cumulated memory: 20580 KiB

[startup+6.3002 s]
/proc/loadavg: 4.30 4.37 4.17 5/258 228428
/proc/meminfo: memFree=115759728/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=41936 memory=34780 CPUtime=6.26 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 5241 0 0 0 625 1 0 0 20 0 1 0 24560568 42942464 8695 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 10484 8695 421 379 0 10018 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 51868 KiB
Current children cumulated memory: 37440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.36 4.17 5/258 228428
/proc/meminfo: memFree=115736692/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=35304 memory=31392 CPUtime=12.65 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 7254 0 0 0 1263 2 0 0 20 0 1 0 24560568 36151296 7848 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 8826 7848 421 379 0 8360 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 34052 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 4.36 4.17 5/259 228432
/proc/meminfo: memFree=115720640/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=47540 memory=36560 CPUtime=25.42 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 7620 0 0 0 2540 2 0 0 20 0 1 0 24560568 48680960 9140 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 11885 9140 421 379 0 11419 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57472 KiB
Current children cumulated memory: 39220 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.33 4.17 5/259 228435
/proc/meminfo: memFree=115695860/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=47540 memory=46748 CPUtime=50.97 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 8342 0 0 0 5094 3 0 0 20 0 1 0 24560568 48680960 11687 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 11885 11687 421 379 0 11419 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 57472 KiB
Current children cumulated memory: 49408 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.29 4.17 5/259 228444
/proc/meminfo: memFree=115580600/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=66524 memory=65732 CPUtime=102.04 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 8894 0 0 0 10200 4 0 0 20 0 1 0 24560568 68120576 16433 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 16631 16433 421 379 0 16165 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 76456 KiB
Current children cumulated memory: 68392 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.25 4.16 5/259 228455
/proc/meminfo: memFree=115596852/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=66524 memory=65732 CPUtime=161.9 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 9272 0 0 0 16185 5 0 0 20 0 1 0 24560568 68120576 16433 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 16631 16433 421 379 0 16165 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 76456 KiB
Current children cumulated memory: 68392 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.22 4.15 5/259 228465
/proc/meminfo: memFree=115555892/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=115844 memory=101776 CPUtime=221.76 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 10296 0 0 0 22168 8 0 0 20 0 1 0 24560568 118624256 25444 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 28961 25444 421 379 0 28495 0
Current children cumulated CPU time: 221.76 s

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

/proc/loadavg: 4.11 4.15 4.11 5/260 230042
/proc/meminfo: memFree=115151168/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=182240 memory=154084 CPUtime=3094.53 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 44775 0 0 0 309384 69 0 0 20 0 1 0 24560568 186613760 38521 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 45560 38521 421 379 0 45094 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 192172 KiB
Current children cumulated memory: 156744 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/261 230222
/proc/meminfo: memFree=115172248/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=200444 memory=167164 CPUtime=3154.37 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 45977 0 0 0 315366 71 0 0 20 0 1 0 24560568 205254656 41791 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 50111 41791 421 379 0 49645 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 210376 KiB
Current children cumulated memory: 169824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.43 4.20 4.12 5/260 230232
/proc/meminfo: memFree=115084656/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=231264 memory=187848 CPUtime=3214.22 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 46605 0 0 0 321349 73 0 0 20 0 1 0 24560568 236814336 46962 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 57816 46962 421 379 0 57350 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 241196 KiB
Current children cumulated memory: 190508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/262 230247
/proc/meminfo: memFree=115098948/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=231264 memory=204412 CPUtime=3274.06 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 46660 0 0 0 327333 73 0 0 20 0 1 0 24560568 236814336 51103 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 57816 51103 421 379 0 57350 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 241196 KiB
Current children cumulated memory: 207072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/262 230270
/proc/meminfo: memFree=115101156/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=281352 memory=217852 CPUtime=3333.9 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 47008 0 0 0 333316 74 0 0 20 0 1 0 24560568 288104448 54463 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 70338 54463 421 379 0 69872 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 291284 KiB
Current children cumulated memory: 220512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/262 230281
/proc/meminfo: memFree=115146508/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=200444 memory=173424 CPUtime=3393.75 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 47413 0 0 0 339300 75 0 0 20 0 1 0 24560568 205254656 43356 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 50111 43356 421 379 0 49645 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 210376 KiB
Current children cumulated memory: 176084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/261 230291
/proc/meminfo: memFree=115209856/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=231264 memory=190024 CPUtime=3453.59 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 48041 0 0 0 345284 75 0 0 20 0 1 0 24560568 236814336 47506 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 57816 47506 421 379 0 57350 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 241196 KiB
Current children cumulated memory: 192684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/262 230304
/proc/meminfo: memFree=115142388/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=231264 memory=206460 CPUtime=3513.42 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 48097 0 0 0 351267 75 0 0 20 0 1 0 24560568 236814336 51615 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 57816 51615 421 379 0 57350 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 241196 KiB
Current children cumulated memory: 209120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/260 230315
/proc/meminfo: memFree=115031392/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=281352 memory=222000 CPUtime=3573.26 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 48447 0 0 0 357250 76 0 0 20 0 1 0 24560568 288104448 55500 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 70338 55500 421 379 0 69872 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 291284 KiB
Current children cumulated memory: 224660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.09 4.13 4.10 5/260 230319
/proc/meminfo: memFree=115062340/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=200444 memory=165232 CPUtime=3600.01 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 48792 0 0 0 359923 78 0 0 20 0 1 0 24560568 205254656 41308 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 50111 41308 421 379 0 49645 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 210376 KiB
Current children cumulated memory: 167892 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.24 s, system=0.783156 s

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

[startup+3609.11 s]
/proc/loadavg: 4.09 4.13 4.10 5/260 230319
/proc/meminfo: memFree=115062340/131524600 swapFree=131056796/131071996
[pid=228271] ppid=228268 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/228271/stat : 228271 (naps-1.02b5.sh) S 228268 228271 226284 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24560568 10170368 665 134679101440 94556761878528 94556762957848 140723511434800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94556765056304 94556765103492 94556782002176 140723511440352 140723511440479 140723511440479 140723511447494 0
/proc/228271/statm: 2483 665 586 264 0 134 0
[pid=228276] ppid=228271 vsize=200444 memory=165232 CPUtime=3600.01 cores=4,6
/proc/228276/stat : 228276 (naps-1.02b5) R 228271 228271 226284 0 -1 4194304 48792 0 0 0 359923 78 0 0 20 0 1 0 24560568 205254656 41308 134679101440 4194304 5746509 140728939471920 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 13959168 140728939475951 140728939476065 140728939476065 140728939483081 0
/proc/228276/statm: 50111 41308 421 379 0 49645 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 210376 KiB
Current children cumulated memory: 167892 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.02
CPU user time (s): 3599.24
CPU system time (s): 0.783156
CPU usage (%): 99.7482
Max. virtual memory (cumulated for all children) (KiB): 291284
Max. memory (cumulated for all children) (KiB): 224660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.783156
maximum resident set size= 222000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49267
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= 95
involuntary context switches= 6004


# summary of solver processes directly reported to runsolver:
#   pid: 228271
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.24
#   total CPU system time (s): 0.783156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2135 second user time and 19.3043 second system time

The end