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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499467-1751405669/watcher-4499467-1751405669 -o /tmp/evaluation-result-4499467-1751405669/solver-4499467-1751405669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751395941-51665 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4499467-1751405669.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=53284, runsolver pid=53281

[startup+0.100067 s]*
/proc/loadavg: 4.72 4.27 4.20 5/250 53285
/proc/meminfo: memFree=127455764/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=51436 memory=10880 CPUtime=0.08 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 1264 0 0 0 8 0 0 0 20 0 1 0 56246026 52670464 2720 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 12859 2720 1664 2271 0 7497 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 10880 KiB

[startup+0.213063 s]*
/proc/loadavg: 4.72 4.27 4.20 5/250 53285
/proc/meminfo: memFree=127454000/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=53416 memory=15200 CPUtime=0.2 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 1852 0 0 0 19 1 0 0 20 0 1 0 56246026 54697984 3800 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 13354 3800 1664 2271 0 7992 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53416 KiB
Current children cumulated memory: 15200 KiB

[startup+0.313053 s]*
/proc/loadavg: 4.72 4.27 4.20 5/250 53285
/proc/meminfo: memFree=127451984/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=55524 memory=17248 CPUtime=0.3 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 2386 0 0 0 29 1 0 0 20 0 1 0 56246026 56856576 4312 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 13881 4312 1664 2271 0 8519 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55524 KiB
Current children cumulated memory: 17248 KiB

[startup+0.700318 s]
/proc/loadavg: 4.72 4.27 4.20 5/250 53285
/proc/meminfo: memFree=127437808/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=91788 memory=54080 CPUtime=0.67 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 12343 0 0 0 62 5 0 0 20 0 1 0 56246026 93990912 13520 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 22947 13520 1856 2271 0 17585 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 91788 KiB
Current children cumulated memory: 54080 KiB

[startup+1.50027 s]
/proc/loadavg: 4.72 4.27 4.20 6/250 53285
/proc/meminfo: memFree=127410276/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=210732 memory=168000 CPUtime=1.46 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 39478 0 0 0 136 10 0 0 20 0 1 0 56246026 215789568 42000 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 52683 42000 3296 2271 0 47321 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 210732 KiB
Current children cumulated memory: 168000 KiB

[startup+3.11247 s]
/proc/loadavg: 4.74 4.29 4.20 6/250 53285
/proc/meminfo: memFree=127197340/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=326112 memory=281372 CPUtime=3.07 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 65812 0 0 0 293 14 0 0 20 0 1 0 56246026 333938688 70343 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81528 70343 3360 2271 0 76166 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 326112 KiB
Current children cumulated memory: 281372 KiB

[startup+6.30028 s]
/proc/loadavg: 4.74 4.29 4.20 6/250 53285
/proc/meminfo: memFree=127190032/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=326964 memory=282140 CPUtime=6.25 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66013 0 0 0 611 14 0 0 20 0 1 0 56246026 334811136 70535 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81741 70535 3360 2271 0 76379 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 326964 KiB
Current children cumulated memory: 282140 KiB

[startup+12.7003 s]
/proc/loadavg: 4.68 4.28 4.20 6/249 53285
/proc/meminfo: memFree=127191624/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=326964 memory=282140 CPUtime=12.64 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66032 0 0 0 1249 15 0 0 20 0 1 0 56246026 334811136 70535 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81741 70535 3360 2271 0 76379 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 326964 KiB
Current children cumulated memory: 282140 KiB

[startup+25.5003 s]
/proc/loadavg: 4.61 4.28 4.20 6/249 53285
/proc/meminfo: memFree=127169860/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=327924 memory=283164 CPUtime=25.4 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66273 0 0 0 2525 15 0 0 20 0 1 0 56246026 335794176 70791 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81981 70791 3360 2271 0 76619 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 327924 KiB
Current children cumulated memory: 283164 KiB

[startup+51.113 s]
/proc/loadavg: 4.40 4.26 4.19 6/249 53286
/proc/meminfo: memFree=127158384/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=327924 memory=283164 CPUtime=50.93 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66273 0 0 0 5078 15 0 0 20 0 1 0 56246026 335794176 70791 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81981 70791 3360 2271 0 76619 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 327924 KiB
Current children cumulated memory: 283164 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.23 4.18 6/250 53333
/proc/meminfo: memFree=127192220/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=327924 memory=285084 CPUtime=101.95 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66276 0 0 0 10180 15 0 0 20 0 1 0 56246026 335794176 71271 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81981 71271 3360 2271 0 76619 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 327924 KiB
Current children cumulated memory: 285084 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.20 4.18 6/250 53335
/proc/meminfo: memFree=127139724/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=327924 memory=293660 CPUtime=161.75 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66281 0 0 0 16160 15 0 0 20 0 1 0 56246026 335794176 73415 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81981 73415 3360 2271 0 76619 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 327924 KiB
Current children cumulated memory: 293660 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.18 4.17 6/250 53337
/proc/meminfo: memFree=127128932/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=327924 memory=296860 CPUtime=221.56 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66292 0 0 0 22141 15 0 0 20 0 1 0 56246026 335794176 74215 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81981 74215 3360 2271 0 76619 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 327924 KiB
Current children cumulated memory: 296860 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.16 4.16 6/250 53339
/proc/meminfo: memFree=127128584/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=327924 memory=298140 CPUtime=281.35 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 66306 0 0 0 28120 15 0 0 20 0 1 0 56246026 335794176 74535 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81981 74535 3360 2271 0 76619 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 327924 KiB
Current children cumulated memory: 298140 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.16 6/250 53341
/proc/meminfo: memFree=127092332/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=350376 memory=312520 CPUtime=341.17 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 68838 0 0 0 34101 16 0 0 20 0 1 0 56246026 358785024 78130 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 87594 78130 3488 2271 0 82232 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 350376 KiB
Current children cumulated memory: 312520 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.13 4.15 6/250 53343
/proc/meminfo: memFree=127093436/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=350376 memory=312520 CPUtime=400.99 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 68844 0 0 0 40083 16 0 0 20 0 1 0 56246026 358785024 78130 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 87594 78130 3488 2271 0 82232 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 350376 KiB
Current children cumulated memory: 312520 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.15 6/250 53345
/proc/meminfo: memFree=127066460/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=350376 memory=312520 CPUtime=460.81 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 68847 0 0 0 46065 16 0 0 20 0 1 0 56246026 358785024 78130 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 87594 78130 3488 2271 0 82232 0

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

/proc/loadavg: 4.15 4.12 4.13 6/249 53361
/proc/meminfo: memFree=127019748/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=392500 memory=343240 CPUtime=759.9 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76674 0 0 0 75973 17 0 0 20 0 1 0 56246026 401920000 85810 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 98125 85810 3488 2271 0 92763 0
Current children cumulated CPU time: 759.9 s
Current children cumulated vsize: 392500 KiB
Current children cumulated memory: 343240 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 4.11 4.13 6/249 53363
/proc/meminfo: memFree=127031152/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=392500 memory=343240 CPUtime=819.72 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76674 0 0 0 81955 17 0 0 20 0 1 0 56246026 401920000 85810 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 98125 85810 3488 2271 0 92763 0
Current children cumulated CPU time: 819.72 s
Current children cumulated vsize: 392500 KiB
Current children cumulated memory: 343240 KiB

[startup+882.3 s]
/proc/loadavg: 4.08 4.11 4.12 6/249 53365
/proc/meminfo: memFree=127033168/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=392500 memory=343240 CPUtime=879.54 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76674 0 0 0 87937 17 0 0 20 0 1 0 56246026 401920000 85810 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 98125 85810 3488 2271 0 92763 0
Current children cumulated CPU time: 879.54 s
Current children cumulated vsize: 392500 KiB
Current children cumulated memory: 343240 KiB

[startup+942.3 s]
/proc/loadavg: 4.13 4.11 4.12 6/249 53367
/proc/meminfo: memFree=127033568/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=392500 memory=343240 CPUtime=939.36 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76706 0 0 0 93919 17 0 0 20 0 1 0 56246026 401920000 85810 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 98125 85810 3488 2271 0 92763 0
Current children cumulated CPU time: 939.36 s
Current children cumulated vsize: 392500 KiB
Current children cumulated memory: 343240 KiB

[startup+1002.3 s]
/proc/loadavg: 4.14 4.12 4.12 6/249 53369
/proc/meminfo: memFree=127056044/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=326012 memory=296928 CPUtime=999.18 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76801 0 0 0 99894 24 0 0 20 0 1 0 56246026 333836288 74232 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81503 74232 3488 2271 0 76141 0
Current children cumulated CPU time: 999.18 s
Current children cumulated vsize: 326012 KiB
Current children cumulated memory: 296928 KiB

[startup+1062.3 s]
/proc/loadavg: 4.16 4.13 4.12 6/249 53371
/proc/meminfo: memFree=127048456/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=300168 CPUtime=1059.03 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76808 0 0 0 105355 548 0 0 20 0 1 0 56246026 332947456 75042 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75042 3488 2271 0 75924 0
Current children cumulated CPU time: 1059.03 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 300168 KiB

[startup+1122.3 s]
/proc/loadavg: 4.12 4.12 4.12 4/243 53404
/proc/meminfo: memFree=128670348/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1118.85 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 111335 550 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1118.85 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1182.3 s]
/proc/loadavg: 3.01 3.82 4.01 3/237 53436
/proc/meminfo: memFree=129027244/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1178.67 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 117314 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1178.67 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1191.31 s]
# the end of solver process 53284 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1182.12 s, system=5.53348 s

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

[startup+1184 s]*
/proc/loadavg: 2.93 3.79 4.00 3/237 53436
/proc/meminfo: memFree=129027244/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1180.38 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 117485 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1180.38 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1187.2 s]
/proc/loadavg: 2.93 3.79 4.00 3/237 53436
/proc/meminfo: memFree=129027244/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1183.56 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 117803 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1183.56 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1188.8 s]
/proc/loadavg: 2.94 3.77 3.99 3/237 53436
/proc/meminfo: memFree=129027244/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1185.15 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 117962 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1185.15 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1190.4 s]
/proc/loadavg: 2.94 3.77 3.99 3/237 53436
/proc/meminfo: memFree=129027496/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1186.75 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 118122 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1186.75 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1190.8 s]
/proc/loadavg: 2.94 3.77 3.99 3/237 53436
/proc/meminfo: memFree=129027496/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1187.15 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 118162 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1187.15 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1191.2 s]
/proc/loadavg: 2.94 3.77 3.99 3/237 53436
/proc/meminfo: memFree=129027496/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1187.55 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 118202 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1187.55 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

[startup+1191.3 s]
/proc/loadavg: 2.94 3.77 3.99 3/237 53436
/proc/meminfo: memFree=129027496/131382120 swapFree=33010160/33010684
[pid=53284] ppid=53281 vsize=325144 memory=302216 CPUtime=1187.64 cores=0,2
/proc/53284/stat : 53284 (ExactPR-S) R 53281 53284 51655 0 -1 4194304 76814 0 0 0 118211 553 0 0 20 0 1 0 56246026 332947456 75554 18446744073709551615 94704259915776 94704269215813 140722087387712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94704271001920 94704271041000 94704305721344 140722087393665 140722087393802 140722087393802 140722087399404 0
/proc/53284/statm: 81286 75554 3488 2271 0 75924 0
Current children cumulated CPU time: 1187.64 s
Current children cumulated vsize: 325144 KiB
Current children cumulated memory: 302216 KiB

Child status: 30

Real time (s): 1191.31
CPU time (s): 1187.66
CPU user time (s): 1182.12
CPU system time (s): 5.53348
CPU usage (%): 99.6938
Max. virtual memory (cumulated for all children) (KiB): 392500
Max. memory (cumulated for all children) (KiB): 343240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1182.12
system time used= 5.53348
maximum resident set size= 343240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76822
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= 126
involuntary context switches= 2587


# summary of solver processes directly reported to runsolver:
#   pid: 53284
#   total CPU time (s): 1187.66
#   total CPU user time (s): 1182.12
#   total CPU system time (s): 5.53348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03637 second user time and 11.1017 second system time

The end