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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488600-1751338493/watcher-4488600-1751338493 -o /tmp/evaluation-result-4488600-1751338493/solver-4488600-1751338493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751331234-47283 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4488600-1751338493.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=49523, runsolver pid=49520

[startup+0.10007 s]*
/proc/loadavg: 4.13 4.13 4.13 5/254 49525
/proc/meminfo: memFree=128339940/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=30268 memory=20736 CPUtime=0.09 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 4368 0 0 0 8 1 0 0 20 0 1 0 49528719 30994432 5184 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 7567 5184 928 1162 0 6176 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34460 KiB
Current children cumulated memory: 23808 KiB

[startup+0.213705 s]*
/proc/loadavg: 4.13 4.13 4.13 5/254 49525
/proc/meminfo: memFree=128323812/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=41012 memory=31872 CPUtime=0.2 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 7055 0 0 0 19 1 0 0 20 0 1 0 49528719 41996288 7968 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 10253 7968 1024 1162 0 8862 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45204 KiB
Current children cumulated memory: 34944 KiB

[startup+0.313689 s]*
/proc/loadavg: 4.13 4.13 4.13 5/254 49525
/proc/meminfo: memFree=128323812/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=41464 memory=33408 CPUtime=0.31 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 7282 0 0 0 29 2 0 0 20 0 1 0 49528719 42459136 8352 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 10366 8352 1184 1162 0 8975 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45656 KiB
Current children cumulated memory: 36480 KiB

[startup+0.700332 s]
/proc/loadavg: 4.13 4.13 4.13 5/254 49525
/proc/meminfo: memFree=128323812/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=41600 memory=33408 CPUtime=0.68 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 7304 0 0 0 66 2 0 0 20 0 1 0 49528719 42598400 8352 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 10400 8352 1184 1162 0 9009 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45792 KiB
Current children cumulated memory: 36480 KiB

[startup+1.50037 s]
/proc/loadavg: 4.13 4.13 4.13 5/254 49525
/proc/meminfo: memFree=128323812/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=41940 memory=33792 CPUtime=1.48 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 7394 0 0 0 146 2 0 0 20 0 1 0 49528719 42946560 8448 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 10485 8448 1184 1162 0 9094 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46132 KiB
Current children cumulated memory: 36864 KiB

[startup+3.11304 s]
/proc/loadavg: 4.12 4.13 4.13 5/254 49525
/proc/meminfo: memFree=128324272/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=42864 memory=34348 CPUtime=3.08 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 7677 0 0 0 306 2 0 0 20 0 1 0 49528719 43892736 8587 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 10716 8587 1184 1162 0 9325 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47056 KiB
Current children cumulated memory: 37420 KiB

[startup+6.30036 s]
/proc/loadavg: 4.12 4.13 4.13 5/254 49525
/proc/meminfo: memFree=128324556/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=42864 memory=34604 CPUtime=6.26 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 7730 0 0 0 624 2 0 0 20 0 1 0 49528719 43892736 8651 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 10716 8651 1184 1162 0 9325 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47056 KiB
Current children cumulated memory: 37676 KiB

[startup+12.7004 s]
/proc/loadavg: 4.10 4.12 4.13 5/254 49525
/proc/meminfo: memFree=128325372/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=44784 memory=35760 CPUtime=12.64 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 8500 0 0 0 1262 2 0 0 20 0 1 0 49528719 45858816 8940 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 11196 8940 1184 1162 0 9805 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 48976 KiB
Current children cumulated memory: 38832 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.13 4.13 5/254 49526
/proc/meminfo: memFree=128322300/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=47856 memory=38168 CPUtime=25.4 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 9388 0 0 0 2538 2 0 0 20 0 1 0 49528719 49004544 9542 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 11964 9542 1184 1162 0 10573 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 52048 KiB
Current children cumulated memory: 41240 KiB

[startup+51.1133 s]
/proc/loadavg: 4.25 4.16 4.14 5/254 49526
/proc/meminfo: memFree=128324336/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=50928 memory=41688 CPUtime=50.96 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 9993 0 0 0 5093 3 0 0 20 0 1 0 49528719 52150272 10422 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 12732 10422 1184 1162 0 11341 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 55120 KiB
Current children cumulated memory: 44760 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/254 49528
/proc/meminfo: memFree=128317676/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=54000 memory=45092 CPUtime=102 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 10615 0 0 0 10197 3 0 0 20 0 1 0 49528719 55296000 11273 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 13500 11273 1184 1162 0 12109 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 58192 KiB
Current children cumulated memory: 48164 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.14 5/254 49532
/proc/meminfo: memFree=128301232/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=66288 memory=55008 CPUtime=161.85 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 11553 0 0 0 16181 4 0 0 20 0 1 0 49528719 67878912 13752 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 16572 13752 1184 1162 0 15181 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 70480 KiB
Current children cumulated memory: 58080 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/253 49534
/proc/meminfo: memFree=128276660/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=78576 memory=61208 CPUtime=221.68 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 12114 0 0 0 22164 4 0 0 20 0 1 0 49528719 80461824 15302 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 19644 15302 1184 1162 0 18253 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 82768 KiB

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

/proc/loadavg: 4.15 4.14 4.13 5/255 49814
/proc/meminfo: memFree=128428856/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=404800 CPUtime=3034.4 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 18822 0 0 0 303419 21 0 0 20 0 1 0 49528719 651743232 101200 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 101200 1184 1162 0 157726 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 407872 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/254 49816
/proc/meminfo: memFree=128413556/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=412992 CPUtime=3094.26 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 18968 0 0 0 309404 22 0 0 20 0 1 0 49528719 651743232 103248 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 103248 1184 1162 0 157726 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 416064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/254 49818
/proc/meminfo: memFree=128395672/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=417088 CPUtime=3154.1 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19012 0 0 0 315388 22 0 0 20 0 1 0 49528719 651743232 104272 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 104272 1184 1162 0 157726 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 420160 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/254 49823
/proc/meminfo: memFree=128356320/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=423244 CPUtime=3213.95 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19092 0 0 0 321373 22 0 0 20 0 1 0 49528719 651743232 105811 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 105811 1184 1162 0 157726 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 426316 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/254 49825
/proc/meminfo: memFree=128321512/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=429412 CPUtime=3273.8 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19185 0 0 0 327358 22 0 0 20 0 1 0 49528719 651743232 107353 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 107353 1184 1162 0 157726 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 432484 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 49827
/proc/meminfo: memFree=128309436/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=435584 CPUtime=3333.64 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19231 0 0 0 333342 22 0 0 20 0 1 0 49528719 651743232 108896 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 108896 1184 1162 0 157726 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 438656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/255 49834
/proc/meminfo: memFree=128296700/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=441752 CPUtime=3393.5 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19348 0 0 0 339327 23 0 0 20 0 1 0 49528719 651743232 110438 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 110438 1184 1162 0 157726 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 444824 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/255 49836
/proc/meminfo: memFree=128288508/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=447920 CPUtime=3453.35 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19409 0 0 0 345312 23 0 0 20 0 1 0 49528719 651743232 111980 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 111980 1184 1162 0 157726 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 450992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/255 49838
/proc/meminfo: memFree=128260420/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=454088 CPUtime=3513.2 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19467 0 0 0 351297 23 0 0 20 0 1 0 49528719 651743232 113522 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 113522 1184 1162 0 157726 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 457160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 49840
/proc/meminfo: memFree=128197004/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=458204 CPUtime=3573.05 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19515 0 0 0 357282 23 0 0 20 0 1 0 49528719 651743232 114551 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 114551 1184 1162 0 157726 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 461276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.12 4.11 4.10 6/256 49841
/proc/meminfo: memFree=128196776/131382112 swapFree=33010684/33010684
[pid=49523] ppid=49520 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49523/stat : 49523 (toulbar2.sh) S 49520 49523 47269 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49528718 4292608 768 18446744073709551615 94226218573824 94226219468357 140735889918416 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94226219707408 94226219755152 94226220859392 140735889922359 140735889922535 140735889922535 140735889928137 0
/proc/49523/statm: 1048 768 704 219 0 110 0
[pid=49525] ppid=49523 vsize=636468 memory=462316 CPUtime=3600.08 cores=0,2
/proc/49525/stat : 49525 (toulbar2) R 49523 49523 47269 0 -1 4194304 19616 0 0 0 359985 23 0 0 20 0 1 0 49528719 651743232 115579 18446744073709551615 4198400 8956741 140732057595360 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 23224320 140732057602421 140732057602540 140732057602540 140732057608140 0
/proc/49525/statm: 159117 115579 1184 1162 0 157726 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 640660 KiB
Current children cumulated memory: 465388 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.85 s, system=0.242518 s

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

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.09
CPU user time (s): 3599.85
CPU system time (s): 0.242518
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 640660
Max. memory (cumulated for all children) (KiB): 465388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 0.242518
maximum resident set size= 601412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19832
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= 80
involuntary context switches= 8867


# summary of solver processes directly reported to runsolver:
#   pid: 49523
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.85
#   total CPU system time (s): 0.242518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7449 second user time and 34.6851 second system time

The end