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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463846-1722353103/watcher-4463846-1722353103 -o /tmp/evaluation-result-4463846-1722353103/solver-4463846-1722353103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722352621-13474 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463846-1722353103.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100486 s]*
/proc/loadavg: 4.19 3.58 2.61 7/271 14140
/proc/meminfo: memFree=108796848/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=11908 memory=9224 CPUtime=0.09 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2279 0 0 0 9 0 0 0 20 0 1 0 1907415 12193792 2306 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 2977 2306 468 659 0 2181 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 11952 KiB

[startup+0.206062 s]*
/proc/loadavg: 4.19 3.58 2.61 6/271 14140
/proc/meminfo: memFree=108795896/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=11908 memory=9488 CPUtime=0.2 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2296 0 0 0 20 0 0 0 20 0 1 0 1907415 12193792 2372 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 2977 2372 468 659 0 2181 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12216 KiB

[startup+0.305862 s]*
/proc/loadavg: 4.19 3.58 2.61 7/271 14140
/proc/meminfo: memFree=108795824/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=11908 memory=9488 CPUtime=0.3 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2303 0 0 0 30 0 0 0 20 0 1 0 1907415 12193792 2372 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 2977 2372 468 659 0 2181 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12216 KiB

[startup+0.700236 s]
/proc/loadavg: 4.19 3.58 2.61 6/271 14140
/proc/meminfo: memFree=108795128/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=12200 memory=9752 CPUtime=0.69 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2359 0 0 0 69 0 0 0 20 0 1 0 1907415 12492800 2438 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 3050 2438 468 659 0 2254 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22132 KiB
Current children cumulated memory: 12480 KiB

[startup+1.50025 s]
/proc/loadavg: 4.19 3.58 2.61 6/266 14151
/proc/meminfo: memFree=108902828/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=12488 memory=10016 CPUtime=1.48 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2443 0 0 0 148 0 0 0 20 0 1 0 1907415 12787712 2504 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 3122 2504 468 659 0 2326 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22420 KiB
Current children cumulated memory: 12744 KiB

[startup+3.10555 s]
/proc/loadavg: 4.19 3.58 2.61 6/264 14151
/proc/meminfo: memFree=108900004/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=12832 memory=10280 CPUtime=3.09 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2510 0 0 0 309 0 0 0 20 0 1 0 1907415 13139968 2570 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 3208 2570 468 659 0 2412 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 22764 KiB
Current children cumulated memory: 13008 KiB

[startup+6.30025 s]
/proc/loadavg: 4.18 3.59 2.62 6/264 14152
/proc/meminfo: memFree=108897416/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=13488 memory=10808 CPUtime=6.27 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2659 0 0 0 627 0 0 0 20 0 1 0 1907415 13811712 2702 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 3372 2702 468 659 0 2576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 13536 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 3.60 2.63 6/264 14152
/proc/meminfo: memFree=108895304/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=13488 memory=10808 CPUtime=12.66 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 2669 0 0 0 1266 0 0 0 20 0 1 0 1907415 13811712 2702 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 3372 2702 468 659 0 2576 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 13536 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 3.62 2.65 6/264 14154
/proc/meminfo: memFree=107671372/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1196252 memory=1120096 CPUtime=25.43 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 109228 0 0 0 2507 36 0 0 20 0 1 0 1907415 1224962048 280024 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 299063 280024 468 659 0 298267 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1206184 KiB
Current children cumulated memory: 1122824 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 3.67 2.69 6/265 14160
/proc/meminfo: memFree=107230064/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1252492 memory=1132512 CPUtime=50.97 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 111073 0 0 0 5060 37 0 0 20 0 1 0 1907415 1282551808 283128 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 313123 283128 468 659 0 312327 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1262424 KiB
Current children cumulated memory: 1135240 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 3.74 2.77 6/266 14170
/proc/meminfo: memFree=107191312/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1252492 memory=1135356 CPUtime=102.04 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 111774 0 0 0 10164 40 0 0 20 0 1 0 1907415 1282551808 283839 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 313123 283839 468 659 0 312327 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1262424 KiB
Current children cumulated memory: 1138084 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 3.80 2.85 5/266 14332
/proc/meminfo: memFree=108962984/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1257524 memory=1139484 CPUtime=161.89 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 113436 0 0 0 16145 44 0 0 20 0 1 0 1907415 1287704576 284871 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 314381 284871 468 659 0 313585 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1267456 KiB
Current children cumulated memory: 1142212 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.87 2.94 5/268 14512
/proc/meminfo: memFree=108935148/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1257524 memory=1172452 CPUtime=221.73 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 113611 0 0 0 22129 44 0 0 20 0 1 0 1907415 1287704576 293113 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 314381 293113 468 659 0 313585 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1267456 KiB

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

/proc/14140/statm: 450449 395503 468 659 0 449653 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 1811728 KiB
Current children cumulated memory: 1584740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/258 15778
/proc/meminfo: memFree=118760948/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1802296 memory=1603232 CPUtime=3154.02 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 184731 0 0 0 315245 157 0 0 20 0 1 0 1907415 1845551104 400808 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 450574 400808 468 659 0 449778 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 1812228 KiB
Current children cumulated memory: 1605960 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/258 15788
/proc/meminfo: memFree=118888732/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1721564 memory=1567716 CPUtime=3213.87 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 185962 0 0 0 321227 160 0 0 20 0 1 0 1907415 1762881536 391929 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 430391 391929 468 659 0 429595 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 1731496 KiB
Current children cumulated memory: 1570444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/258 15798
/proc/meminfo: memFree=118792484/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1803424 memory=1593896 CPUtime=3273.71 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 187418 0 0 0 327211 160 0 0 20 0 1 0 1907415 1846706176 398474 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 450856 398474 468 659 0 450060 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 1813356 KiB
Current children cumulated memory: 1596624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/261 15814
/proc/meminfo: memFree=118881580/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1804440 memory=1621388 CPUtime=3333.56 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 188149 0 0 0 333195 161 0 0 20 0 1 0 1907415 1847746560 405347 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 451110 405347 468 659 0 450314 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 1814372 KiB
Current children cumulated memory: 1624116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/262 15826
/proc/meminfo: memFree=118856552/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1723244 memory=1573252 CPUtime=3393.4 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 189216 0 0 0 339176 164 0 0 20 0 1 0 1907415 1764601856 393313 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 430811 393313 468 659 0 430015 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 1733176 KiB
Current children cumulated memory: 1575980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.22 4.13 5/262 15836
/proc/meminfo: memFree=118732648/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1805044 memory=1603536 CPUtime=3453.25 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 190623 0 0 0 345160 165 0 0 20 0 1 0 1907415 1848365056 400884 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 451261 400884 468 659 0 450465 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 1814976 KiB
Current children cumulated memory: 1606264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/262 15847
/proc/meminfo: memFree=118658456/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1805348 memory=1626392 CPUtime=3513.11 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 191271 0 0 0 351145 166 0 0 20 0 1 0 1907415 1848676352 406598 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 451337 406598 468 659 0 450541 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 1815280 KiB
Current children cumulated memory: 1629120 KiB

[startup+3582.3 s]
/proc/loadavg: 3.99 4.14 4.11 4/254 15890
/proc/meminfo: memFree=120189400/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1724572 memory=1558120 CPUtime=3572.95 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 192385 0 0 0 357127 168 0 0 20 0 1 0 1907415 1765961728 389530 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 431143 389530 468 659 0 430347 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 1734504 KiB
Current children cumulated memory: 1560848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 3.65 4.05 4.08 4/254 15894
/proc/meminfo: memFree=120176036/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1725180 memory=1568756 CPUtime=3600.09 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 192790 0 0 0 359840 169 0 0 20 0 1 0 1907415 1766584320 392189 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 431295 392189 468 659 0 430499 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1735112 KiB
Current children cumulated memory: 1571484 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.51 s]
# the end of solver process 14135 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.00102 s, system=0.001858 s

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

# cumulated CPU time of all completed processes:  user=3598.4 s, system=1.69923 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.5 s]
/proc/loadavg: 3.65 4.05 4.08 4/254 15894
/proc/meminfo: memFree=120176036/131524592 swapFree=131071996/131071996
[pid=14135] ppid=14132 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/14135/stat : 14135 (naps-1.03.sh) S 14132 14135 13463 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1907415 10170368 682 134679101440 94605663440896 94605664520216 140732923071280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94605666618672 94605666665860 94605668192256 140732923077599 140732923077728 140732923077728 140732923084744 0
/proc/14135/statm: 2483 682 604 264 0 134 0
[pid=14140] ppid=14135 vsize=1725180 memory=1568756 CPUtime=3600.09 cores=4,6
/proc/14140/stat : 14140 (naps-1.03a2) R 14135 14135 13463 0 -1 4194304 192790 0 0 0 359840 169 0 0 20 0 1 0 1907415 1766584320 392189 134679101440 4194304 6891597 140726428634720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 35938304 140726428636138 140726428636256 140726428636256 140726428643273 0
/proc/14140/statm: 431295 392189 468 659 0 430499 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1735112 KiB
Current children cumulated memory: 1571484 KiB

Child status: 10

Real time (s): 3609.51
CPU time (s): 3600.1
CPU user time (s): 3598.4
CPU system time (s): 1.69923
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 1945824
Max. memory (cumulated for all children) (KiB): 1731180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.4
system time used= 1.69923
maximum resident set size= 1728452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193253
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= 145
involuntary context switches= 3745


# summary of solver processes directly reported to runsolver:
#   pid: 14135,14140
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.4
#   total CPU system time (s): 1.69923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03717 second user time and 18.7218 second system time

The end