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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435349-1721166254/watcher-4435349-1721166254 -o /tmp/evaluation-result-4435349-1721166254/solver-4435349-1721166254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721162656-876472 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435349-1721166254.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
solver pid=878964, runsolver pid=878961
Current StackSize limit: 8192 KiB


[startup+0.100902 s]*
/proc/loadavg: 4.10 4.13 4.10 5/261 878969
/proc/meminfo: memFree=124088460/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=23412 memory=22484 CPUtime=0.09 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 3865 0 0 0 9 0 0 0 20 0 1 0 168795991 23973888 5621 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 5853 5621 421 379 0 5387 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33344 KiB
Current children cumulated memory: 25300 KiB

[startup+0.206913 s]*
/proc/loadavg: 4.10 4.13 4.10 4/257 878983
/proc/meminfo: memFree=124395204/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=62820 memory=58804 CPUtime=0.19 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 12940 0 0 0 17 2 0 0 20 0 1 0 168795991 64327680 14701 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 15705 14701 421 379 0 15239 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72752 KiB
Current children cumulated memory: 61620 KiB

[startup+0.306899 s]*
/proc/loadavg: 4.10 4.13 4.10 7/257 878986
/proc/meminfo: memFree=124348840/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=115256 memory=105564 CPUtime=0.28 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 21062 0 0 0 25 3 0 0 20 0 1 0 168795991 118022144 26391 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 28814 26391 421 379 0 28348 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 125188 KiB
Current children cumulated memory: 108380 KiB

[startup+0.700272 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 879033
/proc/meminfo: memFree=124450552/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=165184 memory=155904 CPUtime=0.66 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 29072 0 0 0 62 4 0 0 20 0 1 0 168795991 169148416 38976 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 41296 38976 421 379 0 40830 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 175116 KiB
Current children cumulated memory: 158720 KiB

[startup+1.50028 s]
/proc/loadavg: 4.10 4.13 4.10 5/261 879119
/proc/meminfo: memFree=124413148/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=170928 memory=159964 CPUtime=1.46 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 31072 0 0 0 141 5 0 0 20 0 1 0 168795991 175030272 39991 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 42732 39991 421 379 0 42266 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 180860 KiB
Current children cumulated memory: 162780 KiB

[startup+3.10593 s]
/proc/loadavg: 4.09 4.13 4.10 5/261 879119
/proc/meminfo: memFree=123843348/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=171648 memory=160224 CPUtime=3.07 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 31176 0 0 0 301 6 0 0 20 0 1 0 168795991 175767552 40056 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 42912 40056 421 379 0 42446 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 181580 KiB
Current children cumulated memory: 163040 KiB

[startup+6.30027 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 879121
/proc/meminfo: memFree=123809196/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=172100 memory=160672 CPUtime=6.26 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 31287 0 0 0 620 6 0 0 20 0 1 0 168795991 176230400 40168 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 43025 40168 421 379 0 42559 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 182032 KiB
Current children cumulated memory: 163488 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.13 4.10 5/262 879121
/proc/meminfo: memFree=123544260/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=172596 memory=161384 CPUtime=12.64 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 31472 0 0 0 1258 6 0 0 20 0 1 0 168795991 176738304 40346 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 43149 40346 421 379 0 42683 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 182528 KiB
Current children cumulated memory: 164200 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 879124
/proc/meminfo: memFree=123500084/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=202544 memory=185688 CPUtime=25.4 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 32493 0 0 0 2534 6 0 0 20 0 1 0 168795991 207405056 46422 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 50636 46422 421 379 0 50170 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 212476 KiB
Current children cumulated memory: 188504 KiB

[startup+51.106 s]
/proc/loadavg: 4.10 4.12 4.10 5/262 879128
/proc/meminfo: memFree=123457088/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=202544 memory=187848 CPUtime=50.94 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 32548 0 0 0 5088 6 0 0 20 0 1 0 168795991 207405056 46962 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 50636 46962 421 379 0 50170 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 212476 KiB
Current children cumulated memory: 190664 KiB

[startup+102.3 s]
/proc/loadavg: 4.54 4.23 4.13 5/260 879137
/proc/meminfo: memFree=123389224/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=221396 memory=206760 CPUtime=102 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 33320 0 0 0 10193 7 0 0 20 0 1 0 168795991 226709504 51690 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 55349 51690 421 379 0 54883 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 231328 KiB
Current children cumulated memory: 209576 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.20 4.13 5/260 879197
/proc/meminfo: memFree=123360280/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=221396 memory=210368 CPUtime=161.84 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 33683 0 0 0 16177 7 0 0 20 0 1 0 168795991 226709504 52592 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 55349 52592 421 379 0 54883 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 231328 KiB
Current children cumulated memory: 213184 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/260 879208
/proc/meminfo: memFree=123149512/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=233792 memory=221432 CPUtime=221.68 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 34004 0 0 0 22160 8 0 0 20 0 1 0 168795991 239403008 55358 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 58448 55358 421 379 0 57982 0
Current children cumulated CPU time: 221.68 s

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

/proc/loadavg: 4.13 4.12 4.14 5/260 881444
/proc/meminfo: memFree=111698824/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=389708 memory=381412 CPUtime=3093.7 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 72184 0 0 0 309290 80 0 0 20 0 1 0 168795991 399060992 95353 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 97427 95353 421 379 0 96961 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 399640 KiB
Current children cumulated memory: 384228 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/260 881454
/proc/meminfo: memFree=111673740/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=420528 memory=414448 CPUtime=3153.53 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 72890 0 0 0 315272 81 0 0 20 0 1 0 168795991 430620672 103612 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 105132 103612 421 379 0 104666 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 430460 KiB
Current children cumulated memory: 417264 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/260 881466
/proc/meminfo: memFree=111749556/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=389708 memory=373168 CPUtime=3213.35 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 74023 0 0 0 321253 82 0 0 20 0 1 0 168795991 399060992 93292 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 97427 93292 421 379 0 96961 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 399640 KiB
Current children cumulated memory: 375984 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/260 881477
/proc/meminfo: memFree=111643068/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=420528 memory=408304 CPUtime=3273.18 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 74752 0 0 0 327235 83 0 0 20 0 1 0 168795991 430620672 102076 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 105132 102076 421 379 0 104666 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 430460 KiB
Current children cumulated memory: 411120 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/260 881487
/proc/meminfo: memFree=111703132/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=389708 memory=373168 CPUtime=3333.01 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 75901 0 0 0 333217 84 0 0 20 0 1 0 168795991 399060992 93292 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 97427 93292 421 379 0 96961 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 399640 KiB
Current children cumulated memory: 375984 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/261 881502
/proc/meminfo: memFree=111681188/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=420528 memory=400112 CPUtime=3392.84 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 76625 0 0 0 339199 85 0 0 20 0 1 0 168795991 430620672 100028 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 105132 100028 421 379 0 104666 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 430460 KiB
Current children cumulated memory: 402928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/262 881513
/proc/meminfo: memFree=111647752/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=389708 memory=375268 CPUtime=3452.66 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 76955 0 0 0 345180 86 0 0 20 0 1 0 168795991 399060992 93817 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 97427 93817 421 379 0 96961 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 399640 KiB
Current children cumulated memory: 378084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/262 881524
/proc/meminfo: memFree=111973156/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=420528 memory=398064 CPUtime=3512.49 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 77681 0 0 0 351161 88 0 0 20 0 1 0 168795991 430620672 99516 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 105132 99516 421 379 0 104666 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 430460 KiB
Current children cumulated memory: 400880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/262 881535
/proc/meminfo: memFree=111997516/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=389708 memory=379364 CPUtime=3572.32 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 78016 0 0 0 357143 89 0 0 20 0 1 0 168795991 399060992 94841 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 97427 94841 421 379 0 96961 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 399640 KiB
Current children cumulated memory: 382180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.15 4.12 4.11 5/261 881540
/proc/meminfo: memFree=111983496/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=420528 memory=396016 CPUtime=3600.04 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 78608 0 0 0 359914 90 0 0 20 0 1 0 168795991 430620672 99004 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 105132 99004 421 379 0 104666 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 430460 KiB
Current children cumulated memory: 398832 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.15 s, system=0.904929 s

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

[startup+3610.11 s]
/proc/loadavg: 4.15 4.12 4.11 5/261 881540
/proc/meminfo: memFree=111983496/131524596 swapFree=131071996/131071996
[pid=878964] ppid=878961 vsize=9932 memory=2816 CPUtime=0 cores=4,6
/proc/878964/stat : 878964 (naps-1.02b5.sh) S 878961 878964 876461 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 168795991 10170368 704 134679101440 94493409374208 94493410453528 140725557471472 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94493412551984 94493412599172 94493427032064 140725557478368 140725557478495 140725557478495 140725557485510 0
/proc/878964/statm: 2483 704 629 264 0 134 0
[pid=878969] ppid=878964 vsize=420528 memory=396016 CPUtime=3600.04 cores=4,6
/proc/878969/stat : 878969 (naps-1.02b5) R 878964 878964 876461 0 -1 4194304 78608 0 0 0 359914 90 0 0 20 0 1 0 168795991 430620672 99004 134679101440 4194304 5746509 140734480093584 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 30838784 140734480102383 140734480102497 140734480102497 140734480109513 0
/proc/878969/statm: 105132 99004 421 379 0 104666 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 430460 KiB
Current children cumulated memory: 398832 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.06
CPU user time (s): 3599.15
CPU system time (s): 0.904929
CPU usage (%): 99.7215
Max. virtual memory (cumulated for all children) (KiB): 480548
Max. memory (cumulated for all children) (KiB): 443008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 0.904929
maximum resident set size= 440192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79090
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= 60
involuntary context switches= 2701


# summary of solver processes directly reported to runsolver:
#   pid: 878964
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 0.904929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92384 second user time and 18.4507 second system time

The end