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: 63968 MiB (59774 MiB free)
  memory of node 1: 64473 MiB (62942 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426362-1720901869/watcher-4426362-1720901869 -o /tmp/evaluation-result-4426362-1720901869/solver-4426362-1720901869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720901807-721913 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426362-1720901869.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=722398, runsolver pid=722395

[startup+0.100091 s]*
/proc/loadavg: 2.90 0.98 0.42 5/259 722403
/proc/meminfo: memFree=125654376/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=15680 memory=9208 CPUtime=0.09 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 2015 0 0 0 9 0 0 0 20 0 1 0 142353584 16056320 2302 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 3920 2302 436 659 0 3124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25612 KiB
Current children cumulated memory: 11968 KiB

[startup+0.205651 s]*
/proc/loadavg: 2.90 0.98 0.42 5/259 722403
/proc/meminfo: memFree=125646820/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=21332 memory=14744 CPUtime=0.2 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 3451 0 0 0 20 0 0 0 20 0 1 0 142353584 21843968 3686 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 5333 3686 436 659 0 4537 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31264 KiB
Current children cumulated memory: 17504 KiB

[startup+0.305573 s]*
/proc/loadavg: 2.90 0.98 0.42 5/259 722403
/proc/meminfo: memFree=125638136/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=27716 memory=22340 CPUtime=0.3 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 5031 0 0 0 29 1 0 0 20 0 1 0 142353584 28381184 5585 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 6929 5585 436 659 0 6133 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37648 KiB
Current children cumulated memory: 25100 KiB

[startup+0.700259 s]
/proc/loadavg: 2.90 0.98 0.42 5/259 722403
/proc/meminfo: memFree=125628896/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=50580 memory=41968 CPUtime=0.69 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 10334 0 0 0 67 2 0 0 20 0 1 0 142353584 51793920 10492 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 12645 10492 436 659 0 11849 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60512 KiB
Current children cumulated memory: 44728 KiB

[startup+1.50027 s]
/proc/loadavg: 2.90 0.98 0.42 5/259 722403
/proc/meminfo: memFree=125601180/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=111108 memory=104200 CPUtime=1.48 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 25574 0 0 0 144 4 0 0 20 0 1 0 142353584 113774592 26050 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 27777 26050 436 659 0 26981 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121040 KiB
Current children cumulated memory: 106960 KiB

[startup+3.10551 s]
/proc/loadavg: 2.90 0.98 0.42 5/259 722403
/proc/meminfo: memFree=125484528/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=198160 memory=176532 CPUtime=3.09 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 45521 0 0 0 302 7 0 0 20 0 1 0 142353584 202915840 44133 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 49540 44133 468 659 0 48744 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 208092 KiB
Current children cumulated memory: 179292 KiB

[startup+6.30026 s]
/proc/loadavg: 3.07 1.04 0.45 5/259 722403
/proc/meminfo: memFree=124562040/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1239604 memory=1155108 CPUtime=6.27 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 164640 0 0 0 591 36 0 0 20 0 1 0 142353584 1269354496 288777 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 309901 288777 468 659 0 309105 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1249536 KiB
Current children cumulated memory: 1157868 KiB

[startup+12.7003 s]
/proc/loadavg: 3.14 1.09 0.46 5/259 722405
/proc/meminfo: memFree=124448064/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1297200 memory=1250696 CPUtime=12.66 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 178820 0 0 0 1227 39 0 0 20 0 1 0 142353584 1328332800 312674 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 324300 312674 468 659 0 323504 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1307132 KiB
Current children cumulated memory: 1253456 KiB

[startup+25.5003 s]
/proc/loadavg: 3.33 1.24 0.52 5/259 722406
/proc/meminfo: memFree=124397372/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1301160 memory=1254412 CPUtime=25.42 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 179863 0 0 0 2502 40 0 0 20 0 1 0 142353584 1332387840 313603 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 325290 313603 468 659 0 324494 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1311092 KiB
Current children cumulated memory: 1257172 KiB

[startup+51.1056 s]
/proc/loadavg: 3.64 1.47 0.62 5/259 722411
/proc/meminfo: memFree=124400024/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1304064 memory=1259396 CPUtime=50.95 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 180741 0 0 0 5055 40 0 0 20 0 1 0 142353584 1335361536 314849 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 326016 314849 468 659 0 325220 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1313996 KiB
Current children cumulated memory: 1262156 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 1.88 0.81 5/259 722420
/proc/meminfo: memFree=124481816/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1308928 memory=1264096 CPUtime=102 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 182201 0 0 0 10159 41 0 0 20 0 1 0 142353584 1340342272 316024 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 327232 316024 468 659 0 326436 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1318860 KiB
Current children cumulated memory: 1266856 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 2.29 1.01 5/261 722483
/proc/meminfo: memFree=123554864/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1313020 memory=1268340 CPUtime=161.84 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 183414 0 0 0 16142 42 0 0 20 0 1 0 142353584 1344532480 317085 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 328255 317085 468 659 0 327459 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1322952 KiB
Current children cumulated memory: 1271100 KiB

[startup+222.3 s]
/proc/loadavg: 3.52 2.46 1.16 4/253 722524
/proc/meminfo: memFree=127551624/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1315944 memory=1271232 CPUtime=221.67 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 184276 0 0 0 22125 42 0 0 20 0 1 0 142353584 1347526656 317808 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 328986 317808 468 659 0 328190 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1325876 KiB

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

/proc/722403/statm: 374671 341258 468 659 0 373875 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 1508616 KiB
Current children cumulated memory: 1367792 KiB

[startup+3102.3 s]
/proc/loadavg: 3.23 3.27 3.11 4/250 724217
/proc/meminfo: memFree=126989416/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1499212 memory=1367620 CPUtime=3093.66 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 218100 0 0 0 309311 55 0 0 20 0 1 0 142353584 1535193088 341905 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 374803 341905 468 659 0 374007 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 1509144 KiB
Current children cumulated memory: 1370380 KiB

[startup+3162.3 s]
/proc/loadavg: 3.18 3.25 3.11 4/253 724233
/proc/meminfo: memFree=126884068/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1499740 memory=1368068 CPUtime=3153.52 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 218815 0 0 0 315296 56 0 0 20 0 1 0 142353584 1535733760 342017 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 374935 342017 468 659 0 374139 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 1509672 KiB
Current children cumulated memory: 1370828 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.22 3.11 4/253 724243
/proc/meminfo: memFree=126823628/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1500400 memory=1370740 CPUtime=3213.36 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 219571 0 0 0 321280 56 0 0 20 0 1 0 142353584 1536409600 342685 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 375100 342685 468 659 0 374304 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 1510332 KiB
Current children cumulated memory: 1373500 KiB

[startup+3282.3 s]
/proc/loadavg: 3.15 3.21 3.11 4/253 724253
/proc/meminfo: memFree=126808404/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1501192 memory=1371592 CPUtime=3273.19 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 220353 0 0 0 327263 56 0 0 20 0 1 0 142353584 1537220608 342898 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 375298 342898 468 659 0 374502 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 1511124 KiB
Current children cumulated memory: 1374352 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.18 3.10 4/253 724264
/proc/meminfo: memFree=127037524/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1502116 memory=1374532 CPUtime=3333.03 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 221086 0 0 0 333247 56 0 0 20 0 1 0 142353584 1538166784 343633 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 375529 343633 468 659 0 374733 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 1512048 KiB
Current children cumulated memory: 1377292 KiB

[startup+3402.3 s]
/proc/loadavg: 3.08 3.16 3.10 4/253 724275
/proc/meminfo: memFree=126962260/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1503040 memory=1375496 CPUtime=3392.88 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 221889 0 0 0 339231 57 0 0 20 0 1 0 142353584 1539112960 343874 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 375760 343874 468 659 0 374964 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 1512972 KiB
Current children cumulated memory: 1378256 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.16 3.10 4/250 724285
/proc/meminfo: memFree=126965292/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1503304 memory=1377868 CPUtime=3452.72 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 222560 0 0 0 345215 57 0 0 20 0 1 0 142353584 1539383296 344467 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 375826 344467 468 659 0 375030 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 1513236 KiB
Current children cumulated memory: 1380628 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.14 3.09 4/250 724295
/proc/meminfo: memFree=126893804/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1503964 memory=1378364 CPUtime=3512.56 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 223310 0 0 0 351199 57 0 0 20 0 1 0 142353584 1540059136 344591 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 375991 344591 468 659 0 375195 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 1513896 KiB
Current children cumulated memory: 1381124 KiB

[startup+3582.3 s]
/proc/loadavg: 2.40 2.96 3.03 2/234 724369
/proc/meminfo: memFree=128462392/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1504360 memory=1380904 CPUtime=3572.4 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 223991 0 0 0 357183 57 0 0 20 0 1 0 142353584 1540464640 345226 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 376090 345226 468 659 0 375294 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 1514292 KiB
Current children cumulated memory: 1383664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 1.85 2.77 2.96 2/234 724374
/proc/meminfo: memFree=128462000/131524600 swapFree=131071996/131071996
[pid=722398] ppid=722395 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/722398/stat : 722398 (naps-1.03.sh) S 722395 722398 721901 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142353583 10170368 690 134679101440 94824190476288 94824191555608 140730353678368 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94824193654064 94824193701252 94824221470720 140730353681324 140730353681453 140730353681453 140730353688520 0
/proc/722398/statm: 2483 690 612 264 0 134 0
[pid=722403] ppid=722398 vsize=1504624 memory=1381224 CPUtime=3600.04 cores=1,3
/proc/722403/stat : 722403 (naps-1.03) R 722398 722398 721901 0 -1 4194304 224307 0 0 0 359947 57 0 0 20 0 1 0 142353584 1540734976 345306 134679101440 4194304 6891213 140736981828960 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 29962240 140736981836733 140736981836849 140736981836849 140736981843915 0
/proc/722403/statm: 376156 345306 468 659 0 375360 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1514556 KiB
Current children cumulated memory: 1383984 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001516 s, system=0.001298 s

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

# cumulated CPU time of all completed processes:  user=3599.47 s, system=0.58273 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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.06
CPU user time (s): 3599.47
CPU system time (s): 0.58273
CPU usage (%): 99.7242
Max. virtual memory (cumulated for all children) (KiB): 1514556
Max. memory (cumulated for all children) (KiB): 1383984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.47
system time used= 0.58273
maximum resident set size= 1381240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224776
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= 303
involuntary context switches= 4784


# summary of solver processes directly reported to runsolver:
#   pid: 722398,722403
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.47
#   total CPU system time (s): 0.58273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.18854 second user time and 19.7068 second system time

The end