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: 63708 MiB (56843 MiB free)
  memory of node 1: 64465 MiB (60833 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523635-1751594070/watcher-4523635-1751594070 -o /tmp/evaluation-result-4523635-1751594070/solver-4523635-1751594070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751588478-81717 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4523635-1751594070.opb 3600 HOME 

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=82705, runsolver pid=82702

[startup+0.10006 s]*
/proc/loadavg: 4.14 4.11 4.09 5/270 82709
/proc/meminfo: memFree=120493820/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=29088 memory=10624 CPUtime=0.07 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 1992 0 0 0 7 0 0 0 20 0 1 0 75085487 29786112 2656 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 7272 2656 736 2416 0 4374 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36072 KiB
Current children cumulated memory: 14976 KiB

[startup+0.205696 s]*
/proc/loadavg: 4.14 4.11 4.09 5/270 82709
/proc/meminfo: memFree=120485756/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=37868 memory=19072 CPUtime=0.18 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 4116 0 0 0 18 0 0 0 20 0 1 0 75085487 38776832 4768 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 9467 4768 736 2416 0 6569 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44852 KiB
Current children cumulated memory: 23424 KiB

[startup+0.305579 s]*
/proc/loadavg: 4.14 4.11 4.09 5/270 82709
/proc/meminfo: memFree=120477692/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=46100 memory=27136 CPUtime=0.27 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 6135 0 0 0 27 0 0 0 20 0 1 0 75085487 47206400 6784 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 11525 6784 736 2416 0 8627 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 53084 KiB
Current children cumulated memory: 31488 KiB

[startup+0.700218 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 82709
/proc/meminfo: memFree=120461564/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=78144 memory=56192 CPUtime=0.67 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 13390 0 0 0 65 2 0 0 20 0 1 0 75085487 80019456 14048 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 19536 14048 736 2416 0 16638 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 85128 KiB
Current children cumulated memory: 60544 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 82709
/proc/meminfo: memFree=120383376/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=233668 memory=195244 CPUtime=1.46 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 33316 0 0 0 140 6 0 0 20 0 1 0 75085487 239276032 48811 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 58417 48811 768 2416 0 55519 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 240652 KiB
Current children cumulated memory: 199596 KiB

[startup+3.1055 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 82709
/proc/meminfo: memFree=120192720/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=336148 memory=306888 CPUtime=3.06 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 41932 0 0 0 296 10 0 0 20 0 1 0 75085487 344215552 76722 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 84037 76722 992 2416 0 81139 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 343132 KiB
Current children cumulated memory: 311240 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 82709
/proc/meminfo: memFree=119907272/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=731052 memory=608188 CPUtime=6.24 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 65831 0 0 0 605 19 0 0 20 0 1 0 75085487 748597248 152047 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 182763 152047 992 2416 0 179865 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 738036 KiB
Current children cumulated memory: 612540 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 82709
/proc/meminfo: memFree=119374920/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=1174116 memory=1059500 CPUtime=12.62 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 96150 0 0 0 1228 34 0 0 20 0 1 0 75085487 1202294784 264875 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 293529 264875 992 2416 0 290631 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1181100 KiB
Current children cumulated memory: 1063852 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 82710
/proc/meminfo: memFree=116252160/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=4589816 memory=3936300 CPUtime=25.39 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 276983 0 0 0 2425 114 0 0 20 0 1 0 75085487 4699971584 984075 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 1147454 984075 992 2416 0 1144556 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4596800 KiB
Current children cumulated memory: 3940652 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 82710
/proc/meminfo: memFree=116385784/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82708/stat : 82708 (timeout) S 82705 82708 81700 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 75085487 2723840 352 18446744073709551615 93867933937664 93867933954177 140724576203424 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93867933968944 93867933971032 93867959140352 140724576209302 140724576209442 140724576209442 140724576215015 0
/proc/82708/statm: 665 352 352 5 0 90 0
[pid=82709] ppid=82708 vsize=4612428 memory=3956360 CPUtime=50.93 cores=1,3
/proc/82709/stat : 82709 (CASHWMaxSAT-Dis) R 82708 82708 81700 0 -1 4194304 278971 0 0 0 4978 115 0 0 20 0 1 0 75085487 4723126272 989090 18446744073709551615 4198400 14093885 140722908527200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 42287104 140722908531100 140722908531227 140722908531227 140722908536800 0
/proc/82709/statm: 1153107 989090 992 2416 0 1150209 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4619412 KiB
Current children cumulated memory: 3960712 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 82718
/proc/meminfo: memFree=116315584/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82708] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=814912 memory=787740 CPUtime=1061.21 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 283989 0 0 0 106062 59 0 0 20 0 1 0 75205294 834469888 196935 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 203728 196935 3520 2271 0 198366 0
Current children cumulated CPU time: 2256.24 s
Current children cumulated vsize: 821896 KiB
Current children cumulated memory: 792092 KiB

[startup+2322.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 83068
/proc/meminfo: memFree=115899888/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=790076 CPUtime=1121.07 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284006 0 0 0 112045 62 0 0 20 0 1 0 75205294 828080128 197519 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 197519 3520 2271 0 196806 0
Current children cumulated CPU time: 2316.1 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 794428 KiB

[startup+2351.31 s]
# the end of solver process 82705 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2342.46 s, system=2.56241 s

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

[startup+2329.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 83068
/proc/meminfo: memFree=115887940/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=794172 CPUtime=1128.35 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284008 0 0 0 112773 62 0 0 20 0 1 0 75205294 828080128 198543 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 198543 3520 2271 0 196806 0
Current children cumulated CPU time: 2323.38 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 798524 KiB

[startup+2342.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 83069
/proc/meminfo: memFree=115829612/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=794172 CPUtime=1141.11 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284008 0 0 0 114049 62 0 0 20 0 1 0 75205294 828080128 198543 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 198543 3520 2271 0 196806 0
Current children cumulated CPU time: 2336.14 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 798524 KiB

[startup+2345.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 83069
/proc/meminfo: memFree=115821420/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=794172 CPUtime=1144.3 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284008 0 0 0 114368 62 0 0 20 0 1 0 75205294 828080128 198543 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 198543 3520 2271 0 196806 0
Current children cumulated CPU time: 2339.33 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 798524 KiB

[startup+2348.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 83069
/proc/meminfo: memFree=115816820/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=794172 CPUtime=1147.49 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284008 0 0 0 114687 62 0 0 20 0 1 0 75205294 828080128 198543 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 198543 3520 2271 0 196806 0
Current children cumulated CPU time: 2342.52 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 798524 KiB

[startup+2350.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 83069
/proc/meminfo: memFree=115810164/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=794172 CPUtime=1149.09 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284008 0 0 0 114846 63 0 0 20 0 1 0 75205294 828080128 198543 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 198543 3520 2271 0 196806 0
Current children cumulated CPU time: 2344.12 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 798524 KiB

[startup+2350.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 83069
/proc/meminfo: memFree=115810164/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=794172 CPUtime=1149.49 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284008 0 0 0 114886 63 0 0 20 0 1 0 75205294 828080128 198543 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 198543 3520 2271 0 196806 0
Current children cumulated CPU time: 2344.52 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 798524 KiB

[startup+2351.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 83069
/proc/meminfo: memFree=115806068/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=1195.03 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 283 360998 0 0 0 0 119313 190 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
[pid=82884] ppid=82705 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/82884/stat : 82884 (timeout) S 82705 82884 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75205294 2723840 352 18446744073709551615 94556013686784 94556013703297 140725206951136 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94556013718064 94556013720152 94556015644672 140725206956422 140725206956578 140725206956578 140725206962151 0
/proc/82884/statm: 665 352 352 5 0 90 0
[pid=82885] ppid=82884 vsize=808672 memory=794172 CPUtime=1149.89 cores=1,3
/proc/82885/stat : 82885 (ExactPR-S) R 82884 82884 81700 0 -1 4194304 284008 0 0 0 114926 63 0 0 20 0 1 0 75205294 828080128 198543 18446744073709551615 94670225993728 94670235293765 140736930871232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94670237079872 94670237118952 94670259752960 140736930875806 140736930875943 140736930875943 140736930881516 0
/proc/82885/statm: 202168 198543 3520 2271 0 196806 0
Current children cumulated CPU time: 2344.92 s
Current children cumulated vsize: 815656 KiB
Current children cumulated memory: 798524 KiB

[startup+2351.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 83069
/proc/meminfo: memFree=115806068/131249996 swapFree=33010160/33010684
[pid=82705] ppid=82702 vsize=4324 memory=2944 CPUtime=2345.01 cores=1,3
/proc/82705/stat : 82705 (Hybrid-CASHWMax) S 82702 82705 81700 0 -1 4194304 374 645564 0 0 0 0 234246 255 20 0 1 0 75085485 4427776 736 18446744073709551615 94569031626752 94569032521285 140737408040240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94569032760336 94569032808080 94569055875072 140737408043351 140737408043505 140737408043505 140737408049107 0
/proc/82705/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2345.01 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2351.31
CPU time (s): 2345.03
CPU user time (s): 2342.46
CPU system time (s): 2.56241
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 6566428
Max. memory (cumulated for all children) (KiB): 5554072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2342.46
system time used= 2.56241
maximum resident set size= 5549720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 852
involuntary context switches= 1796


# summary of solver processes directly reported to runsolver:
#   pid: 82705
#   total CPU time (s): 2345.03
#   total CPU user time (s): 2342.46
#   total CPU system time (s): 2.56241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.0673 second user time and 11.0717 second system time

The end