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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457756-1721868729/watcher-4457756-1721868729 -o /tmp/evaluation-result-4457756-1721868729/solver-4457756-1721868729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721865117-205139 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4457756-1721868729.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100422 s]*
/proc/loadavg: 4.08 4.13 4.09 4/252 207296
/proc/meminfo: memFree=110563612/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=9892 memory=3724 CPUtime=0.09 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 568 0 0 0 9 0 0 0 20 0 1 0 23397112 10129408 931 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 2473 931 436 659 0 1677 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19824 KiB
Current children cumulated memory: 6428 KiB

[startup+0.206405 s]*
/proc/loadavg: 4.08 4.13 4.09 5/259 207315
/proc/meminfo: memFree=110464228/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=9892 memory=3724 CPUtime=0.19 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 568 0 0 0 19 0 0 0 20 0 1 0 23397112 10129408 931 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 2473 931 436 659 0 1677 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19824 KiB
Current children cumulated memory: 6428 KiB

[startup+0.306406 s]*
/proc/loadavg: 4.08 4.13 4.09 5/259 207315
/proc/meminfo: memFree=110421640/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=39372 memory=31660 CPUtime=0.28 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 5757 0 0 0 27 1 0 0 20 0 1 0 23397112 40316928 7915 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 9843 7915 468 659 0 9047 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49304 KiB
Current children cumulated memory: 34364 KiB

[startup+0.700422 s]
/proc/loadavg: 4.08 4.13 4.09 5/259 207315
/proc/meminfo: memFree=110366932/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=174480 memory=159652 CPUtime=0.66 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 22821 0 0 0 61 5 0 0 20 0 1 0 23397112 178667520 39913 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 43620 39913 468 659 0 42824 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 184412 KiB
Current children cumulated memory: 162356 KiB

[startup+1.50041 s]
/proc/loadavg: 3.99 4.11 4.08 5/259 207365
/proc/meminfo: memFree=110062764/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=448760 memory=403884 CPUtime=1.45 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 37853 0 0 0 134 11 0 0 20 0 1 0 23397112 459530240 100971 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 112190 100971 468 659 0 111394 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 458692 KiB
Current children cumulated memory: 406588 KiB

[startup+3.10604 s]
/proc/loadavg: 3.99 4.11 4.08 6/259 207366
/proc/meminfo: memFree=108644428/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=555448 memory=489608 CPUtime=3.05 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 45493 0 0 0 289 16 0 0 20 0 1 0 23397112 568778752 122402 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 138862 122402 468 659 0 138066 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 565380 KiB
Current children cumulated memory: 492312 KiB

[startup+6.30025 s]
/proc/loadavg: 3.99 4.11 4.08 6/259 207366
/proc/meminfo: memFree=107864712/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=736388 memory=678024 CPUtime=6.23 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 66165 0 0 0 601 22 0 0 20 0 1 0 23397112 754061312 169506 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 184097 169506 468 659 0 183301 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 746320 KiB
Current children cumulated memory: 680728 KiB

[startup+12.7003 s]
/proc/loadavg: 3.99 4.10 4.08 6/259 207368
/proc/meminfo: memFree=106863508/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1128912 memory=1038940 CPUtime=12.6 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 108720 0 0 0 1225 35 0 0 20 0 1 0 23397112 1156005888 259735 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 282228 259735 468 659 0 281432 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1138844 KiB
Current children cumulated memory: 1041644 KiB

[startup+25.5003 s]
/proc/loadavg: 3.99 4.10 4.08 6/259 207369
/proc/meminfo: memFree=106971640/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1138024 memory=1045124 CPUtime=25.36 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 109495 0 0 0 2500 36 0 0 20 0 1 0 23397112 1165336576 261281 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 284506 261281 468 659 0 283710 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1147956 KiB
Current children cumulated memory: 1047828 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.11 4.08 6/259 207372
/proc/meminfo: memFree=105135692/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1138024 memory=1047172 CPUtime=50.87 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 109756 0 0 0 5050 37 0 0 20 0 1 0 23397112 1165336576 261793 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 284506 261793 468 659 0 283710 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1147956 KiB
Current children cumulated memory: 1049876 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.08 6/259 207383
/proc/meminfo: memFree=105057988/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1188112 memory=1063304 CPUtime=101.87 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 110519 0 0 0 10149 38 0 0 20 0 1 0 23397112 1216626688 265826 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 297028 265826 468 659 0 296232 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1198044 KiB
Current children cumulated memory: 1066008 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.08 6/259 207394
/proc/meminfo: memFree=104977664/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1188112 memory=1065472 CPUtime=161.66 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 110688 0 0 0 16127 39 0 0 20 0 1 0 23397112 1216626688 266368 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 297028 266368 468 659 0 296232 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1198044 KiB
Current children cumulated memory: 1068176 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/260 207791
/proc/meminfo: memFree=105057464/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1188112 memory=1069900 CPUtime=221.44 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 110886 0 0 0 22104 40 0 0 20 0 1 0 23397112 1216626688 267475 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 297028 267475 468 659 0 296232 0
Current children cumulated CPU time: 221.44 s

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

/proc/207279/statm: 301680 278966 468 659 0 300884 0
Current children cumulated CPU time: 3090.8 s
Current children cumulated vsize: 1216652 KiB
Current children cumulated memory: 1118568 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.21 4.20 6/261 209143
/proc/meminfo: memFree=104464232/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1206720 memory=1122008 CPUtime=3150.58 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 126894 0 0 0 314978 80 0 0 20 0 1 0 23397112 1235681280 280502 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 301680 280502 468 659 0 300884 0
Current children cumulated CPU time: 3150.58 s
Current children cumulated vsize: 1216652 KiB
Current children cumulated memory: 1124712 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.20 4.19 6/258 209154
/proc/meminfo: memFree=104418936/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1288108 memory=1124156 CPUtime=3210.37 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 127623 0 0 0 320956 81 0 0 20 0 1 0 23397112 1319022592 281039 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 322027 281039 468 659 0 321231 0
Current children cumulated CPU time: 3210.37 s
Current children cumulated vsize: 1298040 KiB
Current children cumulated memory: 1126860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.17 4.18 6/258 209165
/proc/meminfo: memFree=104448588/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1288108 memory=1128824 CPUtime=3270.16 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 127960 0 0 0 326935 81 0 0 20 0 1 0 23397112 1319022592 282206 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 322027 282206 468 659 0 321231 0
Current children cumulated CPU time: 3270.16 s
Current children cumulated vsize: 1298040 KiB
Current children cumulated memory: 1131528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.15 4.17 6/258 209177
/proc/meminfo: memFree=104403436/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1288108 memory=1138020 CPUtime=3329.96 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 128140 0 0 0 332914 82 0 0 20 0 1 0 23397112 1319022592 284505 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 322027 284505 468 659 0 321231 0
Current children cumulated CPU time: 3329.96 s
Current children cumulated vsize: 1298040 KiB
Current children cumulated memory: 1140724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/258 209187
/proc/meminfo: memFree=104354208/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1288108 memory=1145876 CPUtime=3389.75 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 128342 0 0 0 338893 82 0 0 20 0 1 0 23397112 1319022592 286469 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 322027 286469 468 659 0 321231 0
Current children cumulated CPU time: 3389.75 s
Current children cumulated vsize: 1298040 KiB
Current children cumulated memory: 1148580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.17 6/258 209197
/proc/meminfo: memFree=104310080/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1288108 memory=1150916 CPUtime=3449.18 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 128586 0 0 0 344836 82 0 0 20 0 1 0 23397112 1319022592 287729 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 322027 287729 468 659 0 321231 0
Current children cumulated CPU time: 3449.18 s
Current children cumulated vsize: 1298040 KiB
Current children cumulated memory: 1153620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.16 6/260 209212
/proc/meminfo: memFree=104347984/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1156632 memory=1076784 CPUtime=3508.61 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 129195 0 0 0 350777 84 0 0 20 0 1 0 23397112 1184391168 269196 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 289158 269196 468 659 0 288362 0
Current children cumulated CPU time: 3508.61 s
Current children cumulated vsize: 1166564 KiB
Current children cumulated memory: 1079488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.16 6/260 209222
/proc/meminfo: memFree=104308348/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1206720 memory=1082872 CPUtime=3568.39 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 130060 0 0 0 356754 85 0 0 20 0 1 0 23397112 1235681280 270718 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 301680 270718 468 659 0 300884 0
Current children cumulated CPU time: 3568.39 s
Current children cumulated vsize: 1216652 KiB
Current children cumulated memory: 1085576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.11 s]
/proc/loadavg: 4.14 4.12 4.16 5/260 209379
/proc/meminfo: memFree=109151840/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1206720 memory=1082904 CPUtime=3600.08 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 130169 0 0 0 359923 85 0 0 20 0 1 0 23397112 1235681280 270726 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 301680 270726 468 659 0 300884 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1216652 KiB
Current children cumulated memory: 1085608 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001047 s, system=0.001802 s

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

# cumulated CPU time of all completed processes:  user=3599.24 s, system=0.866792 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+3614.11 s]
/proc/loadavg: 4.14 4.12 4.16 5/260 209379
/proc/meminfo: memFree=109151840/131524600 swapFree=131054736/131071996
[pid=207274] ppid=207271 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/207274/stat : 207274 (naps-1.03.sh) S 207271 207274 205129 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 23397112 10170368 676 134679101440 94839052369920 94839053449240 140721575775040 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94839055547696 94839055594884 94839060652032 140721575777248 140721575777377 140721575777377 140721575784392 0
/proc/207274/statm: 2483 676 598 264 0 134 0
[pid=207279] ppid=207274 vsize=1206720 memory=1082904 CPUtime=3600.08 cores=0,2
/proc/207279/stat : 207279 (naps-1.03) R 207274 207274 205129 0 -1 4194304 130169 0 0 0 359923 85 0 0 20 0 1 0 23397112 1235681280 270726 134679101440 4194304 6891213 140720987348240 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17178624 140720987350001 140720987350117 140720987350117 140720987357131 0
/proc/207279/statm: 301680 270726 468 659 0 300884 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1216652 KiB
Current children cumulated memory: 1085608 KiB

Child status: 10

Real time (s): 3614.12
CPU time (s): 3600.11
CPU user time (s): 3599.24
CPU system time (s): 0.866792
CPU usage (%): 99.6124
Max. virtual memory (cumulated for all children) (KiB): 1378180
Max. memory (cumulated for all children) (KiB): 1234064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.866792
maximum resident set size= 1231360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130636
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= 137
involuntary context switches= 25875


# summary of solver processes directly reported to runsolver:
#   pid: 207274,207279
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.24
#   total CPU system time (s): 0.866792

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06302 second user time and 17.9795 second system time

The end