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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461189-1722075866/watcher-4461189-1722075866 -o /tmp/evaluation-result-4461189-1722075866/solver-4461189-1722075866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722075866-324410 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461189-1722075866.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=324476, runsolver pid=324464

[startup+0.100089 s]*
/proc/loadavg: 1.04 1.31 1.88 7/265 324488
/proc/meminfo: memFree=124527688/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=20496 memory=18064 CPUtime=0.09 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 4728 0 0 0 9 0 0 0 20 0 1 0 44109508 20987904 4516 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 5124 4516 468 659 0 4328 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30428 KiB
Current children cumulated memory: 20848 KiB

[startup+0.20625 s]*
/proc/loadavg: 1.04 1.31 1.88 7/265 324488
/proc/meminfo: memFree=124463248/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=39204 memory=36348 CPUtime=0.2 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 9351 0 0 0 19 1 0 0 20 0 1 0 44109508 40144896 9087 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 9801 9087 468 659 0 9005 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49136 KiB
Current children cumulated memory: 39132 KiB

[startup+0.306101 s]*
/proc/loadavg: 1.04 1.31 1.88 6/265 324488
/proc/meminfo: memFree=124407840/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=59736 memory=55664 CPUtime=0.3 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 13168 0 0 0 28 2 0 0 20 0 1 0 44109508 61169664 13916 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 14934 13916 468 659 0 14138 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69668 KiB
Current children cumulated memory: 58448 KiB

[startup+0.700215 s]
/proc/loadavg: 1.04 1.31 1.88 6/265 324488
/proc/meminfo: memFree=124325596/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=80320 memory=75520 CPUtime=0.69 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 15570 0 0 0 66 3 0 0 20 0 1 0 44109508 82247680 18880 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 20080 18880 468 659 0 19284 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90252 KiB
Current children cumulated memory: 78304 KiB

[startup+1.50021 s]
/proc/loadavg: 1.04 1.31 1.88 7/265 324488
/proc/meminfo: memFree=124259012/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=99176 memory=84292 CPUtime=1.49 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 17100 0 0 0 145 4 0 0 20 0 1 0 44109508 101556224 21073 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 24794 21073 468 659 0 23998 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109108 KiB
Current children cumulated memory: 87076 KiB

[startup+3.10617 s]
/proc/loadavg: 1.04 1.31 1.88 8/265 324488
/proc/meminfo: memFree=124215888/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=117968 memory=93620 CPUtime=3.08 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 17922 0 0 0 304 4 0 0 20 0 1 0 44109508 120799232 23405 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 29492 23405 468 659 0 28696 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127900 KiB
Current children cumulated memory: 96404 KiB

[startup+6.30025 s]
/proc/loadavg: 1.28 1.35 1.89 7/265 324490
/proc/meminfo: memFree=124131756/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=167288 memory=137920 CPUtime=6.27 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 19337 0 0 0 621 6 0 0 20 0 1 0 44109508 171302912 34480 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 41822 34480 468 659 0 41026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 177220 KiB
Current children cumulated memory: 140704 KiB

[startup+12.7002 s]
/proc/loadavg: 1.50 1.39 1.90 7/265 324490
/proc/meminfo: memFree=124069108/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=117968 memory=95176 CPUtime=12.66 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 19999 0 0 0 1258 8 0 0 20 0 1 0 44109508 120799232 23794 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 29492 23794 468 659 0 28696 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 127900 KiB
Current children cumulated memory: 97960 KiB

[startup+25.5003 s]
/proc/loadavg: 2.05 1.52 1.93 7/265 324491
/proc/meminfo: memFree=123960812/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=198108 memory=169552 CPUtime=25.43 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 21355 0 0 0 2532 11 0 0 20 0 1 0 44109508 202862592 42388 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 49527 42388 468 659 0 48731 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 208040 KiB
Current children cumulated memory: 172336 KiB

[startup+51.1063 s]
/proc/loadavg: 2.72 1.72 1.99 8/265 324496
/proc/meminfo: memFree=123979260/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=124036 memory=111876 CPUtime=50.97 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 24251 0 0 0 5082 15 0 0 20 0 1 0 44109508 127012864 27969 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 31009 27969 468 659 0 30213 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 133968 KiB
Current children cumulated memory: 114660 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.09 2.10 7/262 324888
/proc/meminfo: memFree=123899244/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=195372 memory=174468 CPUtime=102.02 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 26226 0 0 0 10184 18 0 0 20 0 1 0 44109508 200060928 43617 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 48843 43617 468 659 0 48047 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 205304 KiB
Current children cumulated memory: 177252 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.47 2.24 7/262 324899
/proc/meminfo: memFree=123875472/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=146052 memory=140268 CPUtime=161.83 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 27424 0 0 0 16163 20 0 0 20 0 1 0 44109508 149557248 35067 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 36513 35067 468 659 0 35717 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 155984 KiB
Current children cumulated memory: 143052 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.77 2.35 7/262 324910
/proc/meminfo: memFree=123862432/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=146052 memory=140268 CPUtime=221.65 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 28608 0 0 0 22142 23 0 0 20 0 1 0 44109508 149557248 35067 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 36513 35067 468 659 0 35717 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 155984 KiB

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

/proc/loadavg: 4.07 4.11 4.04 8/260 326233
/proc/meminfo: memFree=123302172/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=270664 memory=255120 CPUtime=3093.3 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 93790 0 0 0 309208 122 0 0 20 0 1 0 44109508 277159936 63780 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 67666 63780 468 659 0 66870 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 280596 KiB
Current children cumulated memory: 257904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.04 7/260 326244
/proc/meminfo: memFree=123215432/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=301484 memory=282048 CPUtime=3153.11 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 94487 0 0 0 315188 123 0 0 20 0 1 0 44109508 308719616 70512 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 75371 70512 468 659 0 74575 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 311416 KiB
Current children cumulated memory: 284832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 7/260 326255
/proc/meminfo: memFree=123184592/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=301960 memory=270016 CPUtime=3212.93 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 95704 0 0 0 321168 125 0 0 20 0 1 0 44109508 309207040 67504 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 75490 67504 468 659 0 74694 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 311892 KiB
Current children cumulated memory: 272800 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.05 7/260 326266
/proc/meminfo: memFree=123101704/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=302432 memory=270484 CPUtime=3272.76 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 96897 0 0 0 327149 127 0 0 20 0 1 0 44109508 309690368 67621 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 75608 67621 468 659 0 74812 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 312364 KiB
Current children cumulated memory: 273268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.05 7/259 326276
/proc/meminfo: memFree=123093252/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=303936 memory=276088 CPUtime=3332.58 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 98530 0 0 0 333129 129 0 0 20 0 1 0 44109508 311230464 69022 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 75984 69022 468 659 0 75188 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 313868 KiB
Current children cumulated memory: 278872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.11 4.05 7/261 326291
/proc/meminfo: memFree=123223876/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=305928 memory=288428 CPUtime=3392.41 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 99623 0 0 0 339109 132 0 0 20 0 1 0 44109508 313270272 72107 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 76482 72107 468 659 0 75686 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 291212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.05 8/261 326301
/proc/meminfo: memFree=123309180/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=275108 memory=261756 CPUtime=3452.23 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 101077 0 0 0 345088 135 0 0 20 0 1 0 44109508 281710592 65439 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 68777 65439 468 659 0 67981 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 285040 KiB
Current children cumulated memory: 264540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.05 7/261 326312
/proc/meminfo: memFree=123252104/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=275108 memory=263804 CPUtime=3512.07 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 102143 0 0 0 351069 138 0 0 20 0 1 0 44109508 281710592 65951 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 68777 65951 468 659 0 67981 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 285040 KiB
Current children cumulated memory: 266588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.05 8/261 326324
/proc/meminfo: memFree=123154488/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=275108 memory=267900 CPUtime=3571.89 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 103211 0 0 0 357049 140 0 0 20 0 1 0 44109508 281710592 66975 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 68777 66975 468 659 0 67981 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 285040 KiB
Current children cumulated memory: 270684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.12 4.10 4.06 5/257 326344
/proc/meminfo: memFree=123760476/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=305928 memory=290696 CPUtime=3600.01 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 103803 0 0 0 359860 141 0 0 20 0 1 0 44109508 313270272 72674 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 76482 72674 468 659 0 75686 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 293480 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.61 s, system=1.4148 s

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

[startup+3610.5 s]
/proc/loadavg: 4.12 4.10 4.06 5/257 326344
/proc/meminfo: memFree=123760476/131524600 swapFree=131060148/131071996
[pid=324476] ppid=324464 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/324476/stat : 324476 (naps-1.03.sh) S 324464 324476 324398 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 44109507 10170368 696 134679101440 94291187798016 94291188877336 140734097666272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94291190975792 94291191022980 94291203727360 140734097675229 140734097675358 140734097675358 140734097682376 0
/proc/324476/statm: 2483 696 619 264 0 134 0
[pid=324488] ppid=324476 vsize=305928 memory=290696 CPUtime=3600.01 cores=1,3
/proc/324488/stat : 324488 (naps-1.03) R 324476 324476 324398 0 -1 4194304 103803 0 0 0 359860 141 0 0 20 0 1 0 44109508 313270272 72674 134679101440 4194304 6891597 140730540136304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29626368 140730540139502 140730540139618 140730540139618 140730540146635 0
/proc/324488/statm: 76482 72674 468 659 0 75686 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 315860 KiB
Current children cumulated memory: 293480 KiB

Child status: 10

Real time (s): 3610.5
CPU time (s): 3600.02
CPU user time (s): 3598.61
CPU system time (s): 1.4148
CPU usage (%): 99.7098
Max. virtual memory (cumulated for all children) (KiB): 365180
Max. memory (cumulated for all children) (KiB): 311132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.61
system time used= 1.4148
maximum resident set size= 333088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104281
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= 61
involuntary context switches= 3331


# summary of solver processes directly reported to runsolver:
#   pid: 324476
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.61
#   total CPU system time (s): 1.4148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0891 second user time and 19.1712 second system time

The end