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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=82394, runsolver pid=82391

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.11 4.07 5/273 82398
/proc/meminfo: memFree=108901432/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=28680 memory=10112 CPUtime=0.07 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 1884 0 0 0 7 0 0 0 20 0 1 0 74885274 29368320 2528 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 7170 2528 736 2416 0 4272 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35664 KiB
Current children cumulated memory: 14592 KiB

[startup+0.205955 s]*
/proc/loadavg: 4.08 4.11 4.07 5/273 82398
/proc/meminfo: memFree=108874392/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=36780 memory=18176 CPUtime=0.16 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 3874 0 0 0 16 0 0 0 20 0 1 0 74885274 37662720 4544 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 9195 4544 736 2416 0 6297 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 43764 KiB
Current children cumulated memory: 22656 KiB

[startup+0.305931 s]*
/proc/loadavg: 4.08 4.11 4.07 6/273 82398
/proc/meminfo: memFree=108866328/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=44764 memory=25728 CPUtime=0.26 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 5802 0 0 0 26 0 0 0 20 0 1 0 74885274 45838336 6432 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 11191 6432 736 2416 0 8293 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 51748 KiB
Current children cumulated memory: 30208 KiB

[startup+0.700232 s]
/proc/loadavg: 4.08 4.11 4.07 5/273 82398
/proc/meminfo: memFree=108850892/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=76492 memory=55168 CPUtime=0.65 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 13150 0 0 0 63 2 0 0 20 0 1 0 74885274 78327808 13792 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 19123 13792 736 2416 0 16225 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 83476 KiB
Current children cumulated memory: 59648 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.11 4.07 5/273 82398
/proc/meminfo: memFree=108720352/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=204592 memory=180792 CPUtime=1.44 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 30724 0 0 0 138 6 0 0 20 0 1 0 74885274 209502208 45198 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 51148 45198 768 2416 0 48250 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 211576 KiB
Current children cumulated memory: 185272 KiB

[startup+3.10566 s]
/proc/loadavg: 4.07 4.11 4.07 5/273 82398
/proc/meminfo: memFree=108424332/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=333040 memory=301668 CPUtime=3.05 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 41154 0 0 0 295 10 0 0 20 0 1 0 74885274 341032960 75417 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 83260 75417 992 2416 0 80362 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 340024 KiB
Current children cumulated memory: 306148 KiB

[startup+6.30023 s]
/proc/loadavg: 4.07 4.11 4.07 5/273 82398
/proc/meminfo: memFree=108051384/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=620956 memory=599060 CPUtime=6.24 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 65093 0 0 0 603 21 0 0 20 0 1 0 74885274 635858944 149765 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 155239 149765 992 2416 0 152341 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 627940 KiB
Current children cumulated memory: 603540 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.07 5/273 82398
/proc/meminfo: memFree=107324152/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=1167684 memory=1046832 CPUtime=12.62 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 95630 0 0 0 1226 36 0 0 20 0 1 0 74885274 1195708416 261708 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 291921 261708 992 2416 0 289023 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1174668 KiB
Current children cumulated memory: 1051312 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.08 5/273 82398
/proc/meminfo: memFree=103894548/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=4493944 memory=3807980 CPUtime=25.39 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 253527 0 0 0 2427 112 0 0 20 0 1 0 74885274 4601798656 951995 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 1123486 951995 992 2416 0 1120588 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4500928 KiB
Current children cumulated memory: 3812460 KiB

[startup+51.1061 s]
/proc/loadavg: 4.08 4.11 4.08 5/273 82398
/proc/meminfo: memFree=102674212/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82397/stat : 82397 (timeout) S 82394 82397 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74885273 2723840 352 18446744073709551615 94592557158400 94592557174913 140728595484832 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94592557189680 94592557191768 94592573935616 140728595491222 140728595491362 140728595491362 140728595496935 0
/proc/82397/statm: 665 352 352 5 0 90 0
[pid=82398] ppid=82397 vsize=5524740 memory=4808928 CPUtime=50.92 cores=5,7
/proc/82398/stat : 82398 (CASHWMaxSAT-Dis) R 82397 82397 81700 0 -1 4194304 330727 0 0 0 4940 152 0 0 20 0 1 0 74885274 5657333760 1202232 18446744073709551615 4198400 14093885 140737191680512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 32432128 140737191684508 140737191684635 140737191684635 140737191690208 0
/proc/82398/statm: 1381185 1202232 992 2416 0 1378287 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 5531724 KiB
Current children cumulated memory: 4813408 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.08 5/273 82400
/proc/meminfo: memFree=101420168/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82397] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2197.81 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820453 0 0 0 219555 226 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 82901
/proc/meminfo: memFree=119892660/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2257.63 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 225534 229 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 82903
/proc/meminfo: memFree=119832352/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2317.46 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 231513 233 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 82906
/proc/meminfo: memFree=119936284/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2377.27 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 237493 234 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

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

# cumulated CPU time of all completed processes:  user=3581.64 s, system=4.22565 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 82906
/proc/meminfo: memFree=119935324/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2378.97 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 237663 234 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 82906
/proc/meminfo: memFree=119935640/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2385.35 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 238300 235 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3580.13 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 82906
/proc/meminfo: memFree=119935640/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2388.54 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 238619 235 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3583.32 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 82906
/proc/meminfo: memFree=119932276/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2390.13 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 238778 235 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3584.91 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.08 4.09 5/272 82906
/proc/meminfo: memFree=119932276/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 283 340693 0 0 0 0 119294 184 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
[pid=82562] ppid=82394 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82562/stat : 82562 (timeout) S 82394 82562 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75005081 2723840 352 18446744073709551615 93893899083776 93893899100289 140726746109296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93893899115056 93893899117144 93893925236736 140726746114438 140726746114594 140726746114594 140726746120167 0
/proc/82562/statm: 665 352 352 5 0 90 0
[pid=82563] ppid=82562 vsize=690748 memory=675568 CPUtime=2390.93 cores=5,7
/proc/82563/stat : 82563 (ExactPR-S) R 82562 82562 81700 0 -1 4194304 820481 0 0 0 238858 235 0 0 20 0 1 0 75005082 707325952 168892 18446744073709551615 94829167583232 94829176883269 140730977811344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94829178669376 94829178708456 94829211578368 140730977819038 140730977819175 140730977819175 140730977824748 0
/proc/82563/statm: 172687 168892 3360 2271 0 167325 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 697732 KiB
Current children cumulated memory: 680048 KiB

[startup+3596.2 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 82906
/proc/meminfo: memFree=119932276/131249996 swapFree=33010160/33010684
[pid=82394] ppid=82391 vsize=4324 memory=3072 CPUtime=3585.86 cores=5,7
/proc/82394/stat : 82394 (Hybrid-CASHWMax) S 82391 82394 81700 0 -1 4194304 536 1164022 0 0 0 0 358164 422 20 0 1 0 74885272 4427776 768 18446744073709551615 94361564565504 94361565460037 140726667459344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94361565699088 94361565746832 94361577496576 140726667462999 140726667463153 140726667463153 140726667468755 0
/proc/82394/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.21
CPU time (s): 3585.87
CPU user time (s): 3581.64
CPU system time (s): 4.22565
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 6137424
Max. memory (cumulated for all children) (KiB): 5426772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.64
system time used= 4.22565
maximum resident set size= 5422292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1164671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1980
involuntary context switches= 2031


# summary of solver processes directly reported to runsolver:
#   pid: 82394
#   total CPU time (s): 3585.87
#   total CPU user time (s): 3581.64
#   total CPU system time (s): 4.22565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1558 second user time and 16.9322 second system time

The end