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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497712-1751399926/watcher-4497712-1751399926 -o /tmp/evaluation-result-4497712-1751399926/solver-4497712-1751399926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751392700-52736 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4497712-1751399926.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
solver pid=54185, runsolver pid=54182
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 54187
/proc/meminfo: memFree=92748880/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=56840 memory=47104 CPUtime=0.08 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 10951 0 0 0 6 2 0 0 20 0 1 0 55667139 58204160 11776 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 14210 11776 928 1162 0 12819 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61032 KiB
Current children cumulated memory: 50048 KiB

[startup+0.205622 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 54187
/proc/meminfo: memFree=92695960/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=114320 memory=104716 CPUtime=0.19 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 25406 0 0 0 14 5 0 0 20 0 1 0 55667139 117063680 26179 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 28580 26179 992 1162 0 27189 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118512 KiB
Current children cumulated memory: 107660 KiB

[startup+0.305569 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 54187
/proc/meminfo: memFree=92693944/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=115520 memory=106124 CPUtime=0.29 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 25708 0 0 0 24 5 0 0 20 0 1 0 55667139 118292480 26531 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 28880 26531 1024 1162 0 27489 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 119712 KiB
Current children cumulated memory: 109068 KiB

[startup+0.70022 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 54187
/proc/meminfo: memFree=92693944/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=117672 memory=108044 CPUtime=0.68 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 26194 0 0 0 63 5 0 0 20 0 1 0 55667139 120496128 27011 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 29418 27011 1024 1162 0 28027 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 121864 KiB
Current children cumulated memory: 110988 KiB

[startup+1.50021 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 54188
/proc/meminfo: memFree=92632204/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=317556 memory=307716 CPUtime=1.48 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 76671 0 0 0 135 13 0 0 20 0 1 0 55667139 325177344 76929 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 79389 76929 1024 1162 0 77998 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 321748 KiB
Current children cumulated memory: 310660 KiB

[startup+3.10544 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 54188
/proc/meminfo: memFree=92043800/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=789916 memory=780164 CPUtime=3.08 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 194768 0 0 0 278 30 0 0 20 0 1 0 55667139 808873984 195041 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 197479 195041 1024 1162 0 196088 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 794108 KiB
Current children cumulated memory: 783108 KiB

[startup+6.30014 s]
/proc/loadavg: 4.19 4.11 4.10 4/261 54213
/proc/meminfo: memFree=115070700/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1092796 memory=1085700 CPUtime=6.24 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 271275 0 0 0 581 43 0 0 20 0 1 0 55667139 1119023104 271425 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 273199 271425 1184 1162 0 271808 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1096988 KiB
Current children cumulated memory: 1088644 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.12 4.10 5/268 54283
/proc/meminfo: memFree=112827924/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1114612 memory=1107588 CPUtime=12.6 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 276726 0 0 0 1213 47 0 0 20 0 1 0 55667139 1141362688 276897 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 278653 276897 1184 1162 0 277262 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1118804 KiB
Current children cumulated memory: 1110532 KiB

[startup+25.5002 s]
/proc/loadavg: 4.37 4.15 4.11 5/268 54283
/proc/meminfo: memFree=111278712/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1122376 memory=1115268 CPUtime=25.37 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 278672 0 0 0 2489 48 0 0 20 0 1 0 55667139 1149313024 278817 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 280594 278817 1184 1162 0 279203 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1126568 KiB
Current children cumulated memory: 1118212 KiB

[startup+51.1053 s]
/proc/loadavg: 4.34 4.17 4.12 5/268 54283
/proc/meminfo: memFree=111246748/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1127096 memory=1120004 CPUtime=50.91 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 279852 0 0 0 5042 49 0 0 20 0 1 0 55667139 1154146304 280001 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 281774 280001 1184 1162 0 280383 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1131288 KiB
Current children cumulated memory: 1122948 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/269 54290
/proc/meminfo: memFree=111220376/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1128396 memory=1121284 CPUtime=101.98 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 280159 0 0 0 10148 50 0 0 20 0 1 0 55667139 1155477504 280321 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 282099 280321 1184 1162 0 280708 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1132588 KiB
Current children cumulated memory: 1124228 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/269 54303
/proc/meminfo: memFree=111205556/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1133208 memory=1126020 CPUtime=161.83 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 281354 0 0 0 16132 51 0 0 20 0 1 0 55667139 1160404992 281505 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 283302 281505 1184 1162 0 281911 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1137400 KiB
Current children cumulated memory: 1128964 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/269 54351
/proc/meminfo: memFree=118216432/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1133908 memory=1126788 CPUtime=221.68 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 281542 0 0 0 22115 53 0 0 20 0 1 0 55667139 1161121792 281697 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 283477 281697 1184 1162 0 282086 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1138100 KiB

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

/proc/54187/statm: 288893 287510 1184 1162 0 287502 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1152984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 54496
/proc/meminfo: memFree=118068496/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150040 CPUtime=3094.52 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 300812 0 0 0 309396 56 0 0 20 0 1 0 55667139 1183305728 287510 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287510 1184 1162 0 287502 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1152984 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 54498
/proc/meminfo: memFree=118059352/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150040 CPUtime=3154.36 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 301099 0 0 0 315380 56 0 0 20 0 1 0 55667139 1183305728 287510 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287510 1184 1162 0 287502 0
Current children cumulated CPU time: 3154.36 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1152984 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/268 54500
/proc/meminfo: memFree=118060400/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150040 CPUtime=3214.2 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 301397 0 0 0 321364 56 0 0 20 0 1 0 55667139 1183305728 287510 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287510 1184 1162 0 287502 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1152984 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 54503
/proc/meminfo: memFree=118061480/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150168 CPUtime=3274.04 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 301776 0 0 0 327348 56 0 0 20 0 1 0 55667139 1183305728 287542 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287542 1184 1162 0 287502 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1153112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 54506
/proc/meminfo: memFree=118057348/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150168 CPUtime=3333.88 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 302071 0 0 0 333331 57 0 0 20 0 1 0 55667139 1183305728 287542 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287542 1184 1162 0 287502 0
Current children cumulated CPU time: 3333.88 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1153112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 54508
/proc/meminfo: memFree=118048944/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150296 CPUtime=3393.72 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 302515 0 0 0 339315 57 0 0 20 0 1 0 55667139 1183305728 287574 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287574 1184 1162 0 287502 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1153240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 54510
/proc/meminfo: memFree=118018312/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150424 CPUtime=3453.56 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 302782 0 0 0 345299 57 0 0 20 0 1 0 55667139 1183305728 287606 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287606 1184 1162 0 287502 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1153368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 54512
/proc/meminfo: memFree=118017812/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150552 CPUtime=3513.4 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 303107 0 0 0 351283 57 0 0 20 0 1 0 55667139 1183305728 287638 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287638 1184 1162 0 287502 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1153496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 54515
/proc/meminfo: memFree=118044388/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150552 CPUtime=3573.23 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 303661 0 0 0 357266 57 0 0 20 0 1 0 55667139 1183305728 287638 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287638 1184 1162 0 287502 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1153496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.23 4.12 4.10 6/268 54515
/proc/meminfo: memFree=118044044/131249992 swapFree=33010160/33010684
[pid=54185] ppid=54182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54185/stat : 54185 (toulbar2.sh) S 54182 54185 52726 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 55667138 4292608 736 18446744073709551615 94596528025600 94596528920133 140731948881696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94596529159184 94596529206928 94596537225216 140731948886327 140731948886503 140731948886503 140731948892105 0
/proc/54185/statm: 1048 736 672 219 0 110 0
[pid=54187] ppid=54185 vsize=1155572 memory=1150680 CPUtime=3600.06 cores=0,2
/proc/54187/stat : 54187 (toulbar2) R 54185 54185 52726 0 -1 4194304 303677 0 0 0 359949 57 0 0 20 0 1 0 55667139 1183305728 287670 18446744073709551615 4198400 8956741 140723547268512 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 38248448 140723547273589 140723547273708 140723547273708 140723547279308 0
/proc/54187/statm: 288893 287670 1184 1162 0 287502 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1159764 KiB
Current children cumulated memory: 1153624 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.2 s]
# the end of solver process 54185 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.002448 s
Sleeping 2 seconds

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

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

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

Child status: 0

Real time (s): 3609.21
CPU time (s): 3600.08
CPU user time (s): 3599.5
CPU system time (s): 0.582724
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 1159764
Max. memory (cumulated for all children) (KiB): 1153624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.5
system time used= 0.582724
maximum resident set size= 1151064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303885
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= 147
involuntary context switches= 8148


# summary of solver processes directly reported to runsolver:
#   pid: 54185,54187
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.5
#   total CPU system time (s): 0.582724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67693 second user time and 14.5668 second system time

The end