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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433828-1721069090/watcher-4433828-1721069090 -o /tmp/evaluation-result-4433828-1721069090/solver-4433828-1721069090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721060969-828424 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433828-1721069090.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100395 s]*
/proc/loadavg: 4.16 4.14 4.10 5/260 833388
/proc/meminfo: memFree=122692752/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=13816 memory=9544 CPUtime=0.09 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 1549 0 0 0 9 0 0 0 20 0 1 0 159076437 14147584 2386 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 3454 2386 436 659 0 2658 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23748 KiB
Current children cumulated memory: 12280 KiB

[startup+0.206394 s]*
/proc/loadavg: 4.16 4.14 4.10 5/260 833388
/proc/meminfo: memFree=122682428/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=23768 memory=19696 CPUtime=0.19 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 4047 0 0 0 19 0 0 0 20 0 1 0 159076437 24338432 4924 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 5942 4924 468 659 0 5146 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33700 KiB
Current children cumulated memory: 22432 KiB

[startup+0.305724 s]*
/proc/loadavg: 4.16 4.14 4.10 5/260 833388
/proc/meminfo: memFree=122679436/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=26440 memory=22368 CPUtime=0.29 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 5001 0 0 0 28 1 0 0 20 0 1 0 159076437 27074560 5592 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 6610 5592 468 659 0 5814 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36372 KiB
Current children cumulated memory: 25104 KiB

[startup+0.700284 s]
/proc/loadavg: 4.16 4.14 4.10 5/260 833388
/proc/meminfo: memFree=122672196/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=53116 memory=50476 CPUtime=0.67 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 12900 0 0 0 65 2 0 0 20 0 1 0 159076437 54390784 12619 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 13279 12619 468 659 0 12483 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63048 KiB
Current children cumulated memory: 53212 KiB

[startup+1.50029 s]
/proc/loadavg: 4.16 4.14 4.10 5/260 833389
/proc/meminfo: memFree=122619188/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=135628 memory=131488 CPUtime=1.48 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 32667 0 0 0 142 6 0 0 20 0 1 0 159076437 138883072 32872 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 33907 32872 468 659 0 33111 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145560 KiB
Current children cumulated memory: 134224 KiB

[startup+3.10563 s]
/proc/loadavg: 4.16 4.14 4.10 5/260 833389
/proc/meminfo: memFree=122480700/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=267260 memory=255852 CPUtime=3.08 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 60479 0 0 0 298 10 0 0 20 0 1 0 159076437 273674240 63963 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 66815 63963 468 659 0 66019 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 277192 KiB
Current children cumulated memory: 258588 KiB

[startup+6.30028 s]
/proc/loadavg: 4.31 4.17 4.11 5/260 833389
/proc/meminfo: memFree=122464272/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=281876 memory=271476 CPUtime=6.26 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 61835 0 0 0 616 10 0 0 20 0 1 0 159076437 288641024 67869 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 70469 67869 468 659 0 69673 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 291808 KiB
Current children cumulated memory: 274212 KiB

[startup+12.7003 s]
/proc/loadavg: 4.28 4.17 4.10 5/260 833391
/proc/meminfo: memFree=122450276/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=289056 memory=280896 CPUtime=12.65 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 62171 0 0 0 1254 11 0 0 20 0 1 0 159076437 295993344 70224 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 72264 70224 468 659 0 71468 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 298988 KiB
Current children cumulated memory: 283632 KiB

[startup+25.5003 s]
/proc/loadavg: 4.29 4.18 4.11 5/260 833392
/proc/meminfo: memFree=122484160/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=293480 memory=285204 CPUtime=25.4 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 62793 0 0 0 2529 11 0 0 20 0 1 0 159076437 300523520 71301 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 73370 71301 468 659 0 72574 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 303412 KiB
Current children cumulated memory: 287940 KiB

[startup+51.1057 s]
/proc/loadavg: 4.25 4.18 4.11 5/258 833397
/proc/meminfo: memFree=122441684/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=300868 memory=292808 CPUtime=50.93 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 64013 0 0 0 5080 13 0 0 20 0 1 0 159076437 308088832 73202 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 75217 73202 468 659 0 74421 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 310800 KiB
Current children cumulated memory: 295544 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/258 833405
/proc/meminfo: memFree=122442596/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=331216 memory=321068 CPUtime=101.97 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 64496 0 0 0 10183 14 0 0 20 0 1 0 159076437 339165184 80267 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 82804 80267 468 659 0 82008 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 341148 KiB
Current children cumulated memory: 323804 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/258 833416
/proc/meminfo: memFree=122390852/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=331216 memory=323260 CPUtime=161.78 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 64786 0 0 0 16163 15 0 0 20 0 1 0 159076437 339165184 80815 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 82804 80815 468 659 0 82008 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 341148 KiB
Current children cumulated memory: 325996 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/258 833426
/proc/meminfo: memFree=122410696/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=350148 memory=341856 CPUtime=221.6 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 65407 0 0 0 22143 17 0 0 20 0 1 0 159076437 358551552 85464 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 87537 85464 468 659 0 86741 0
Current children cumulated CPU time: 221.6 s

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

/proc/loadavg: 2.14 2.67 3.41 3/243 835187
/proc/meminfo: memFree=123047344/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=482344 memory=473264 CPUtime=3093.05 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 104526 0 0 0 309212 93 0 0 20 0 1 0 159076437 493920256 118316 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 120586 118316 468 659 0 119790 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 492276 KiB
Current children cumulated memory: 476000 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.56 3.33 3/243 835198
/proc/meminfo: memFree=123059212/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=451524 memory=434084 CPUtime=3152.9 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 105188 0 0 0 315195 95 0 0 20 0 1 0 159076437 462360576 108521 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 112881 108521 468 659 0 112085 0
Current children cumulated CPU time: 3152.9 s
Current children cumulated vsize: 461456 KiB
Current children cumulated memory: 436820 KiB

[startup+3222.3 s]
/proc/loadavg: 2.00 2.45 3.24 2/235 835239
/proc/meminfo: memFree=123301672/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=482344 memory=469168 CPUtime=3212.74 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 105899 0 0 0 321178 96 0 0 20 0 1 0 159076437 493920256 117292 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 120586 117292 468 659 0 119790 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 492276 KiB
Current children cumulated memory: 471904 KiB

[startup+3282.3 s]
/proc/loadavg: 1.42 2.20 3.10 2/235 835250
/proc/meminfo: memFree=123313596/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=482344 memory=456880 CPUtime=3272.57 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 107165 0 0 0 327160 97 0 0 20 0 1 0 159076437 493920256 114220 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 120586 114220 468 659 0 119790 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 492276 KiB
Current children cumulated memory: 459616 KiB

[startup+3342.3 s]
/proc/loadavg: 1.20 2.00 2.97 2/237 835265
/proc/meminfo: memFree=123281280/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=532432 memory=488804 CPUtime=3332.41 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 107586 0 0 0 333143 98 0 0 20 0 1 0 159076437 545210368 122201 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 133108 122201 468 659 0 132312 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 542364 KiB
Current children cumulated memory: 491540 KiB

[startup+3402.3 s]
/proc/loadavg: 1.18 1.84 2.86 2/237 835275
/proc/meminfo: memFree=123327760/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=451524 memory=442276 CPUtime=3392.24 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 107977 0 0 0 339125 99 0 0 20 0 1 0 159076437 462360576 110569 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 112881 110569 468 659 0 112085 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 461456 KiB
Current children cumulated memory: 445012 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 1.72 2.75 2/237 835285
/proc/meminfo: memFree=123289004/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=532432 memory=480612 CPUtime=3452.07 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 108974 0 0 0 345107 100 0 0 20 0 1 0 159076437 545210368 120153 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 133108 120153 468 659 0 132312 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 542364 KiB
Current children cumulated memory: 483348 KiB

[startup+3522.3 s]
/proc/loadavg: 1.17 1.62 2.65 2/237 835296
/proc/meminfo: memFree=123371056/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=402204 memory=398380 CPUtime=3511.9 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 109117 0 0 0 351089 101 0 0 20 0 1 0 159076437 411856896 99595 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 100551 99595 468 659 0 99755 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 412136 KiB
Current children cumulated memory: 401116 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.52 2.55 2/237 835307
/proc/meminfo: memFree=123295784/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=482344 memory=471216 CPUtime=3571.74 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 110086 0 0 0 357072 102 0 0 20 0 1 0 159076437 493920256 117804 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 120586 117804 468 659 0 119790 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 492276 KiB
Current children cumulated memory: 473952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 1.15 1.48 2.50 2/237 835311
/proc/meminfo: memFree=123335044/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=451524 memory=436024 CPUtime=3600.06 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 110435 0 0 0 359903 103 0 0 20 0 1 0 159076437 462360576 109006 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 112881 109006 468 659 0 112085 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 461456 KiB
Current children cumulated memory: 438760 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.04 s, system=1.03706 s

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

[startup+3610.7 s]
/proc/loadavg: 1.15 1.48 2.50 2/237 835311
/proc/meminfo: memFree=123335044/131524600 swapFree=131071996/131071996
[pid=833383] ppid=833380 vsize=9932 memory=2736 CPUtime=0 cores=5,7
/proc/833383/stat : 833383 (naps-1.03.sh) S 833380 833383 828411 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 159076437 10170368 684 134679101440 93967147208704 93967148288024 140729421778864 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93967150386480 93967150433668 93967159500800 140729421784032 140729421784161 140729421784161 140729421791176 0
/proc/833383/statm: 2483 684 605 264 0 134 0
[pid=833388] ppid=833383 vsize=451524 memory=436024 CPUtime=3600.06 cores=5,7
/proc/833388/stat : 833388 (naps-1.03) R 833383 833383 828411 0 -1 4194304 110435 0 0 0 359903 103 0 0 20 0 1 0 159076437 462360576 109006 134679101440 4194304 6891213 140737049606896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37371904 140737049613297 140737049613413 140737049613413 140737049620427 0
/proc/833388/statm: 112881 109006 468 659 0 112085 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 461456 KiB
Current children cumulated memory: 438760 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.08
CPU user time (s): 3599.04
CPU system time (s): 1.03706
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 542364
Max. memory (cumulated for all children) (KiB): 512020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.03706
maximum resident set size= 509284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110907
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= 99
involuntary context switches= 4071


# summary of solver processes directly reported to runsolver:
#   pid: 833383
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.04
#   total CPU system time (s): 1.03706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.11569 second user time and 17.1102 second system time

The end