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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499548-1751418220/watcher-4499548-1751418220 -o /tmp/evaluation-result-4499548-1751418220/solver-4499548-1751418220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751418220-60952 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4499548-1751418220.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=60998, runsolver pid=60992

[startup+0.10007 s]*
/proc/loadavg: 0.33 0.85 1.06 5/271 61015
/proc/meminfo: memFree=129549928/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=52628 memory=42880 CPUtime=0.08 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 9902 0 0 0 7 1 0 0 20 0 1 0 57499462 53891072 10720 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 13157 10720 928 1162 0 11766 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56820 KiB
Current children cumulated memory: 45952 KiB

[startup+0.20586 s]*
/proc/loadavg: 0.33 0.85 1.06 5/271 61015
/proc/meminfo: memFree=129387784/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=94028 memory=84352 CPUtime=0.19 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 20292 0 0 0 16 3 0 0 20 0 1 0 57499462 96284672 21088 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 23507 21088 928 1162 0 22116 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98220 KiB
Current children cumulated memory: 87424 KiB

[startup+0.305688 s]*
/proc/loadavg: 0.33 0.85 1.06 5/271 61015
/proc/meminfo: memFree=129220960/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=133496 memory=123776 CPUtime=0.29 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 30168 0 0 0 24 5 0 0 20 0 1 0 57499462 136699904 30944 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 33374 30944 928 1162 0 31983 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137688 KiB
Current children cumulated memory: 126848 KiB

[startup+0.700208 s]
/proc/loadavg: 0.62 0.90 1.08 5/271 61015
/proc/meminfo: memFree=128899408/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=288092 memory=278532 CPUtime=0.67 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 68900 0 0 0 58 9 0 0 20 0 1 0 57499462 295006208 69633 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 72023 69633 928 1162 0 70632 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 292284 KiB
Current children cumulated memory: 281604 KiB

[startup+1.50021 s]
/proc/loadavg: 0.62 0.90 1.08 5/271 61015
/proc/meminfo: memFree=127987688/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=466552 memory=456620 CPUtime=1.47 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 113769 0 0 0 130 17 0 0 20 0 1 0 57499462 477749248 114155 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 116638 114155 992 1162 0 115247 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 470744 KiB
Current children cumulated memory: 459692 KiB

[startup+3.1057 s]
/proc/loadavg: 0.62 0.90 1.08 5/271 61015
/proc/meminfo: memFree=127835032/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=471484 memory=461612 CPUtime=3.08 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 116000 0 0 0 290 18 0 0 20 0 1 0 57499462 482799616 115403 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 117871 115403 1024 1162 0 116480 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 475676 KiB
Current children cumulated memory: 464684 KiB

[startup+6.30022 s]
/proc/loadavg: 0.89 0.95 1.09 5/271 61015
/proc/meminfo: memFree=127835328/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=472640 memory=463924 CPUtime=6.26 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 116679 0 0 0 608 18 0 0 20 0 1 0 57499462 483983360 115981 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 118160 115981 1184 1162 0 116769 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 476832 KiB
Current children cumulated memory: 466996 KiB

[startup+12.7002 s]
/proc/loadavg: 1.14 1.00 1.11 5/271 61015
/proc/meminfo: memFree=127833364/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=476744 memory=467252 CPUtime=12.64 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 117515 0 0 0 1246 18 0 0 20 0 1 0 57499462 488185856 116813 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 119186 116813 1184 1162 0 117795 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 480936 KiB
Current children cumulated memory: 470324 KiB

[startup+25.5002 s]
/proc/loadavg: 1.73 1.14 1.15 5/271 61015
/proc/meminfo: memFree=127811788/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=480840 memory=470876 CPUtime=25.39 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 118431 0 0 0 2521 18 0 0 20 0 1 0 57499462 492380160 117719 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120210 117719 1184 1162 0 118819 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 485032 KiB
Current children cumulated memory: 473948 KiB

[startup+51.1058 s]
/proc/loadavg: 2.63 1.41 1.24 5/271 61016
/proc/meminfo: memFree=127811440/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=480840 memory=470876 CPUtime=50.91 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 118435 0 0 0 5073 18 0 0 20 0 1 0 57499462 492380160 117719 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120210 117719 1184 1162 0 118819 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 485032 KiB
Current children cumulated memory: 473948 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.83 1.39 5/271 61018
/proc/meminfo: memFree=127792668/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=480840 memory=472540 CPUtime=101.94 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 118867 0 0 0 10175 19 0 0 20 0 1 0 57499462 492380160 118135 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120210 118135 1184 1162 0 118819 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 485032 KiB
Current children cumulated memory: 475612 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.26 1.57 5/271 61020
/proc/meminfo: memFree=127791452/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=480844 memory=472668 CPUtime=161.74 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 118926 0 0 0 16155 19 0 0 20 0 1 0 57499462 492384256 118167 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120211 118167 1184 1162 0 118820 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 485036 KiB
Current children cumulated memory: 475740 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.59 1.73 5/269 61022
/proc/meminfo: memFree=127789672/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=480856 memory=472796 CPUtime=221.54 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 118957 0 0 0 22135 19 0 0 20 0 1 0 57499462 492396544 118199 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120214 118199 1184 1162 0 118823 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 485048 KiB

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

/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3092.31 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.24 4.10 5/269 61167
/proc/meminfo: memFree=127801096/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3152.12 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 121971 0 0 0 315191 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.21 4.10 5/269 61168
/proc/meminfo: memFree=127801376/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3211.93 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 121983 0 0 0 321172 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3211.93 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.18 4.09 5/267 61172
/proc/meminfo: memFree=127801112/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3271.74 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 121997 0 0 0 327153 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3271.74 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/267 61174
/proc/meminfo: memFree=127801120/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3331.54 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 122010 0 0 0 333133 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3331.54 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/266 61177
/proc/meminfo: memFree=127796796/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3391.35 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 122132 0 0 0 339114 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3391.35 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/266 61190
/proc/meminfo: memFree=127804328/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3451.16 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 122150 0 0 0 345095 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3451.16 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/266 61192
/proc/meminfo: memFree=127804392/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3510.97 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 122265 0 0 0 351076 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3510.97 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/267 61199
/proc/meminfo: memFree=127804964/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3570.78 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 122281 0 0 0 357057 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.12 4.14 4.09 4/262 61206
/proc/meminfo: memFree=128269108/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3600.09 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 122289 0 0 0 359988 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002467 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.89 s, system=0.217486 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.7 s]
/proc/loadavg: 4.12 4.14 4.09 4/262 61206
/proc/meminfo: memFree=128269108/131249996 swapFree=33006296/33010684
[pid=60998] ppid=60992 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/60998/stat : 60998 (toulbar2.sh) S 60992 60998 60915 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 57499461 4292608 768 18446744073709551615 93909323694080 93909324588613 140730381161232 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93909324827664 93909324875408 93909333676032 140730381162807 140730381162983 140730381162983 140730381168585 0
/proc/60998/statm: 1048 768 704 219 0 110 0
[pid=61004] ppid=60998 vsize=481576 memory=476764 CPUtime=3600.09 cores=0,2
/proc/61004/stat : 61004 (toulbar2) R 60998 60998 60915 0 -1 4194304 122289 0 0 0 359988 21 0 0 20 0 1 0 57499462 493133824 119191 18446744073709551615 4198400 8956741 140736984486256 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 16736256 140736984492405 140736984492524 140736984492524 140736984498124 0
/proc/61004/statm: 120394 119191 1184 1162 0 119003 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 485768 KiB
Current children cumulated memory: 479836 KiB

Child status: 0

Real time (s): 3611.71
CPU time (s): 3600.11
CPU user time (s): 3599.89
CPU system time (s): 0.217486
CPU usage (%): 99.6789
Max. virtual memory (cumulated for all children) (KiB): 485768
Max. memory (cumulated for all children) (KiB): 479836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.89
system time used= 0.217486
maximum resident set size= 476764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122495
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= 175
involuntary context switches= 4685


# summary of solver processes directly reported to runsolver:
#   pid: 60998,61004
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.89
#   total CPU system time (s): 0.217486

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55672 second user time and 17.2363 second system time

The end