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: 63665 MiB (61626 MiB free)
  memory of node 1: 64507 MiB (61805 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484714-1751297417/watcher-4484714-1751297417 -o /tmp/evaluation-result-4484714-1751297417/solver-4484714-1751297417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751290194-36016 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484714-1751297417.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=36779, runsolver pid=36776

[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 36791
/proc/meminfo: memFree=126395428/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=6760 memory=4992 CPUtime=0.08 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 836 0 0 0 8 0 0 0 20 0 1 0 45421311 6922240 1248 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 1690 1248 544 696 0 851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10952 KiB
Current children cumulated memory: 8064 KiB

[startup+0.205783 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 36791
/proc/meminfo: memFree=126392908/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=9260 memory=7476 CPUtime=0.18 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 1510 0 0 0 18 0 0 0 20 0 1 0 45421311 9482240 1869 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 2315 1869 544 696 0 1476 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13452 KiB
Current children cumulated memory: 10548 KiB

[startup+0.305681 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 36791
/proc/meminfo: memFree=126385348/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=11752 memory=9708 CPUtime=0.29 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 2182 0 0 0 28 1 0 0 20 0 1 0 45421311 12034048 2427 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 2938 2427 544 696 0 2099 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 15944 KiB
Current children cumulated memory: 12780 KiB

[startup+0.700232 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 36791
/proc/meminfo: memFree=126377788/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=46888 memory=44512 CPUtime=0.67 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 11564 0 0 0 65 2 0 0 20 0 1 0 45421311 48013312 11128 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 11722 11128 608 696 0 10883 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 51080 KiB
Current children cumulated memory: 47584 KiB

[startup+1.50022 s]
/proc/loadavg: 4.10 4.09 4.09 4/263 36799
/proc/meminfo: memFree=127623708/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=49528 memory=46556 CPUtime=1.47 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 11978 0 0 0 145 2 0 0 20 0 1 0 45421311 50716672 11639 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 12382 11639 608 696 0 11543 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53720 KiB
Current children cumulated memory: 49628 KiB

[startup+3.10559 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 36839
/proc/meminfo: memFree=127578952/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=55392 memory=53148 CPUtime=3.07 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 14855 0 0 0 304 3 0 0 20 0 1 0 45421311 56721408 13287 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 13848 13287 608 696 0 13009 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 59584 KiB
Current children cumulated memory: 56220 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 36839
/proc/meminfo: memFree=127552012/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=74692 memory=70528 CPUtime=6.25 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 17168 0 0 0 622 3 0 0 20 0 1 0 45421311 76484608 17632 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 18673 17632 608 696 0 17834 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 78884 KiB
Current children cumulated memory: 73600 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 36839
/proc/meminfo: memFree=127568784/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=75068 memory=73256 CPUtime=12.64 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 17334 0 0 0 1260 4 0 0 20 0 1 0 45421311 76869632 18314 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 18767 18314 640 696 0 17928 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 79260 KiB
Current children cumulated memory: 76328 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 36839
/proc/meminfo: memFree=127554680/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=77172 memory=75432 CPUtime=25.41 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 17868 0 0 0 2537 4 0 0 20 0 1 0 45421311 79024128 18858 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 19293 18858 640 696 0 18454 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 81364 KiB
Current children cumulated memory: 78504 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 36840
/proc/meminfo: memFree=127533492/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=77172 memory=75472 CPUtime=50.93 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 18576 0 0 0 5089 4 0 0 20 0 1 0 45421311 79024128 18868 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 19293 18868 640 696 0 18454 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 81364 KiB
Current children cumulated memory: 78544 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 36842
/proc/meminfo: memFree=127546328/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=78928 memory=77244 CPUtime=101.99 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 20121 0 0 0 10194 5 0 0 20 0 1 0 45421311 80822272 19311 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 19732 19311 640 696 0 18893 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 83120 KiB
Current children cumulated memory: 80316 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 36844
/proc/meminfo: memFree=127541436/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=84456 memory=82680 CPUtime=161.81 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 23676 0 0 0 16175 6 0 0 20 0 1 0 45421311 86482944 20670 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 21114 20670 640 696 0 20275 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 88648 KiB
Current children cumulated memory: 85752 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 36845
/proc/meminfo: memFree=127522424/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=82884 memory=81312 CPUtime=221.64 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 25548 0 0 0 22157 7 0 0 20 0 1 0 45421311 84873216 20328 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 20721 20328 640 696 0 19882 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 87076 KiB

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

/proc/loadavg: 4.08 4.09 4.09 5/269 37043
/proc/meminfo: memFree=127787700/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=179260 memory=177916 CPUtime=3094.32 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 73084 0 0 0 309383 49 0 0 20 0 1 0 45421311 183562240 44479 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 44815 44479 640 696 0 43976 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 183452 KiB
Current children cumulated memory: 180988 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 37045
/proc/meminfo: memFree=127801320/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=184924 memory=183580 CPUtime=3154.17 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 75042 0 0 0 315365 52 0 0 20 0 1 0 45421311 189362176 45895 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 46231 45895 640 696 0 45392 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 189116 KiB
Current children cumulated memory: 186652 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 37047
/proc/meminfo: memFree=127804320/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=179604 memory=178260 CPUtime=3214.02 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 76920 0 0 0 321348 54 0 0 20 0 1 0 45421311 183914496 44565 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 44901 44565 640 696 0 44062 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 183796 KiB
Current children cumulated memory: 181332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 37050
/proc/meminfo: memFree=127775300/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=186624 memory=185280 CPUtime=3273.87 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 78781 0 0 0 327330 57 0 0 20 0 1 0 45421311 191102976 46320 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 46656 46320 640 696 0 45817 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 190816 KiB
Current children cumulated memory: 188352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 37054
/proc/meminfo: memFree=127785908/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=167004 memory=165496 CPUtime=3333.7 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 80437 0 0 0 333313 57 0 0 20 0 1 0 45421311 171012096 41374 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 41751 41374 640 696 0 40912 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 171196 KiB
Current children cumulated memory: 168568 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 37061
/proc/meminfo: memFree=127797992/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=167004 memory=165496 CPUtime=3393.55 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 80437 0 0 0 339298 57 0 0 20 0 1 0 45421311 171012096 41374 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 41751 41374 640 696 0 40912 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 171196 KiB
Current children cumulated memory: 168568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 37063
/proc/meminfo: memFree=127835492/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=169592 memory=168056 CPUtime=3453.41 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 80648 0 0 0 345283 58 0 0 20 0 1 0 45421311 173662208 42014 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 42398 42014 640 696 0 41559 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 173784 KiB
Current children cumulated memory: 171128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 37065
/proc/meminfo: memFree=127817508/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=157484 memory=156024 CPUtime=3513.25 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 83332 0 0 0 351265 60 0 0 20 0 1 0 45421311 161263616 39006 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 39371 39006 640 696 0 38532 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 161676 KiB
Current children cumulated memory: 159096 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 37067
/proc/meminfo: memFree=127802460/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=130348 memory=128808 CPUtime=3573.1 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 85276 0 0 0 357248 62 0 0 20 0 1 0 45421311 133476352 32202 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 32587 32202 640 696 0 31748 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 134540 KiB
Current children cumulated memory: 131880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 37068
/proc/meminfo: memFree=127781336/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=129936 memory=128396 CPUtime=3600.03 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 86019 0 0 0 359940 63 0 0 20 0 1 0 45421311 133054464 32099 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 32484 32099 640 696 0 31645 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 134128 KiB
Current children cumulated memory: 131468 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.41 s, system=0.638884 s

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

[startup+3609.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 37068
/proc/meminfo: memFree=127781336/131249996 swapFree=33010416/33010684
[pid=36779] ppid=36776 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/36779/stat : 36779 (naps-1.03a6.sh) S 36776 36779 36003 0 -1 4194304 233 205 0 0 0 0 0 0 20 0 1 0 45421309 4292608 768 18446744073709551615 94922859593728 94922860488261 140734414678432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94922860727312 94922860775056 94922888986624 140734414686631 140734414686725 140734414686725 140734414692327 0
/proc/36779/statm: 1048 768 704 219 0 110 0
[pid=36784] ppid=36779 vsize=129936 memory=128396 CPUtime=3600.03 cores=5,7
/proc/36784/stat : 36784 (naps-1.03a6) R 36779 36779 36003 0 -1 4194304 86019 0 0 0 359940 63 0 0 20 0 1 0 45421311 133054464 32099 18446744073709551615 4198400 7047149 140728536060272 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21401600 140728536062324 140728536062438 140728536062438 140728536068041 0
/proc/36784/statm: 32484 32099 640 696 0 31645 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 134128 KiB
Current children cumulated memory: 131468 KiB

Child status: 10

Real time (s): 3609.3
CPU time (s): 3600.04
CPU user time (s): 3599.41
CPU system time (s): 0.638884
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (KiB): 233376
Max. memory (cumulated for all children) (KiB): 230520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.638884
maximum resident set size= 227828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86468
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= 168
involuntary context switches= 1455


# summary of solver processes directly reported to runsolver:
#   pid: 36779
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.41
#   total CPU system time (s): 0.638884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67467 second user time and 16.7315 second system time

The end