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: 63794 MiB (62670 MiB free)
  memory of node 1: 64507 MiB (62718 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524635-1751616660/watcher-4524635-1751616660 -o /tmp/evaluation-result-4524635-1751616660/solver-4524635-1751616660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751613047-86342 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4524635-1751616660.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=86736, runsolver pid=86724
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.10 4.12 4.09 5/249 86745
/proc/meminfo: memFree=128378224/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=24568 memory=15232 CPUtime=0.08 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 2890 0 0 0 7 1 0 0 20 0 1 0 77344880 25157632 3808 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 6 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6142 3808 1024 1162 0 4751 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28760 KiB
Current children cumulated memory: 18304 KiB

[startup+0.215947 s]*
/proc/loadavg: 4.10 4.12 4.09 4/249 86751
/proc/meminfo: memFree=128378224/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=24572 memory=15488 CPUtime=0.19 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 2959 0 0 0 18 1 0 0 20 0 1 0 77344880 25161728 3872 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6143 3872 1024 1162 0 4752 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28764 KiB
Current children cumulated memory: 18560 KiB

[startup+0.312546 s]*
/proc/loadavg: 4.10 4.12 4.09 5/249 86754
/proc/meminfo: memFree=128373972/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=24680 memory=15744 CPUtime=0.29 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3024 0 0 0 28 1 0 0 20 0 1 0 77344880 25272320 3936 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6170 3936 1024 1162 0 4779 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 18816 KiB

[startup+0.700337 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 86764
/proc/meminfo: memFree=128371960/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25368 memory=17792 CPUtime=0.66 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3411 0 0 0 65 1 0 0 20 0 1 0 77344880 25976832 4448 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6342 4448 1152 1162 0 4951 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 29560 KiB
Current children cumulated memory: 20864 KiB

[startup+1.50034 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 86764
/proc/meminfo: memFree=128371204/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25368 memory=17792 CPUtime=1.45 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3412 0 0 0 144 1 0 0 20 0 1 0 77344880 25976832 4448 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6342 4448 1152 1162 0 4951 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 29560 KiB
Current children cumulated memory: 20864 KiB

[startup+3.11225 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 86764
/proc/meminfo: memFree=128371416/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25580 memory=17920 CPUtime=3.06 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3449 0 0 0 305 1 0 0 20 0 1 0 77344880 26193920 4480 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6395 4480 1152 1162 0 5004 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 20992 KiB

[startup+6.30032 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 86764
/proc/meminfo: memFree=128371684/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25580 memory=17920 CPUtime=6.24 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3449 0 0 0 623 1 0 0 20 0 1 0 77344880 26193920 4480 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6395 4480 1152 1162 0 5004 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 20992 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 86764
/proc/meminfo: memFree=128363540/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25580 memory=17920 CPUtime=12.63 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3449 0 0 0 1262 1 0 0 20 0 1 0 77344880 26193920 4480 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6395 4480 1152 1162 0 5004 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 20992 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 86764
/proc/meminfo: memFree=128364044/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25680 memory=18048 CPUtime=25.39 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3480 0 0 0 2538 1 0 0 20 0 1 0 77344880 26296320 4512 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6420 4512 1152 1162 0 5029 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 21120 KiB

[startup+51.1123 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 86766
/proc/meminfo: memFree=128355084/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25680 memory=18048 CPUtime=50.93 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3497 0 0 0 5092 1 0 0 20 0 1 0 77344880 26296320 4512 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6420 4512 1152 1162 0 5029 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 29872 KiB
Current children cumulated memory: 21120 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 86816
/proc/meminfo: memFree=128573076/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25872 memory=22648 CPUtime=102 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3611 0 0 0 10198 2 0 0 20 0 1 0 77344880 26492928 5662 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6468 5662 1152 1162 0 5077 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 30064 KiB
Current children cumulated memory: 25720 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/257 86819
/proc/meminfo: memFree=128567072/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25872 memory=22648 CPUtime=161.86 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3647 0 0 0 16184 2 0 0 20 0 1 0 77344880 26492928 5662 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6468 5662 1152 1162 0 5077 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 30064 KiB
Current children cumulated memory: 25720 KiB

[startup+222.3 s]
/proc/loadavg: 4.68 4.29 4.16 5/257 86821
/proc/meminfo: memFree=128570600/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=25872 memory=22776 CPUtime=221.72 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 3677 0 0 0 22170 2 0 0 20 0 1 0 77344880 26492928 5694 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 6468 5694 1152 1162 0 5077 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 30064 KiB

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

/proc/loadavg: 4.10 4.12 4.11 5/254 86964
/proc/meminfo: memFree=128517972/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27316 CPUtime=3035.41 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4805 0 0 0 303533 8 0 0 20 0 1 0 77344880 32391168 6829 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6829 1152 1162 0 6517 0
Current children cumulated CPU time: 3035.41 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30388 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/254 86968
/proc/meminfo: memFree=128518004/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27316 CPUtime=3095.28 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4805 0 0 0 309519 9 0 0 20 0 1 0 77344880 32391168 6829 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6829 1152 1162 0 6517 0
Current children cumulated CPU time: 3095.28 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30388 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/254 86970
/proc/meminfo: memFree=128518020/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27316 CPUtime=3155.15 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4813 0 0 0 315506 9 0 0 20 0 1 0 77344880 32391168 6829 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6829 1152 1162 0 6517 0
Current children cumulated CPU time: 3155.15 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30388 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/254 86972
/proc/meminfo: memFree=128517796/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27316 CPUtime=3215.01 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4830 0 0 0 321492 9 0 0 20 0 1 0 77344880 32391168 6829 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6829 1152 1162 0 6517 0
Current children cumulated CPU time: 3215.01 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30388 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/254 86974
/proc/meminfo: memFree=128518708/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27444 CPUtime=3274.88 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4849 0 0 0 327479 9 0 0 20 0 1 0 77344880 32391168 6861 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6861 1152 1162 0 6517 0
Current children cumulated CPU time: 3274.88 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/254 86976
/proc/meminfo: memFree=128517968/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27444 CPUtime=3334.74 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4864 0 0 0 333465 9 0 0 20 0 1 0 77344880 32391168 6861 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6861 1152 1162 0 6517 0
Current children cumulated CPU time: 3334.74 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 86978
/proc/meminfo: memFree=128518484/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27444 CPUtime=3394.61 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4875 0 0 0 339452 9 0 0 20 0 1 0 77344880 32391168 6861 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6861 1152 1162 0 6517 0
Current children cumulated CPU time: 3394.61 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 86980
/proc/meminfo: memFree=128517752/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27572 CPUtime=3454.47 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4898 0 0 0 345438 9 0 0 20 0 1 0 77344880 32391168 6893 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6893 1152 1162 0 6517 0
Current children cumulated CPU time: 3454.47 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 86982
/proc/meminfo: memFree=128517768/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27700 CPUtime=3514.34 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4916 0 0 0 351425 9 0 0 20 0 1 0 77344880 32391168 6925 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6925 1152 1162 0 6517 0
Current children cumulated CPU time: 3514.34 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 86990
/proc/meminfo: memFree=128506900/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27700 CPUtime=3574.21 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4938 0 0 0 357411 10 0 0 20 0 1 0 77344880 32391168 6925 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6925 1152 1162 0 6517 0
Current children cumulated CPU time: 3574.21 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 86990
/proc/meminfo: memFree=128523244/131382112 swapFree=33009904/33010684
[pid=86736] ppid=86724 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/86736/stat : 86736 (toulbar2.sh) S 86724 86736 86043 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 77344879 4292608 768 18446744073709551615 94895072681984 94895073576517 140731986944144 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895073815568 94895073863312 94895098929152 140731986946357 140731986946533 140731986946533 140731986952137 0
/proc/86736/statm: 1048 768 704 219 0 110 0
[pid=86738] ppid=86736 vsize=31632 memory=27700 CPUtime=3600.06 cores=4,6
/proc/86738/stat : 86738 (toulbar2) R 86736 86736 86043 0 -1 4194304 4942 0 0 0 359996 10 0 0 20 0 1 0 77344880 32391168 6925 18446744073709551615 4198400 8956741 140730024868512 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 26222592 140730024872307 140730024872426 140730024872426 140730024878028 0
/proc/86738/statm: 7908 6925 1152 1162 0 6517 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 35824 KiB
Current children cumulated memory: 30772 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.97 s, system=0.10637 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): 3608.2
CPU time (s): 3600.07
CPU user time (s): 3599.97
CPU system time (s): 0.10637
CPU usage (%): 99.7747
Max. virtual memory (cumulated for all children) (KiB): 35824
Max. memory (cumulated for all children) (KiB): 30772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.97
system time used= 0.10637
maximum resident set size= 30392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5157
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= 1543


# summary of solver processes directly reported to runsolver:
#   pid: 86736
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.97
#   total CPU system time (s): 0.10637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8909 second user time and 30.9157 second system time

The end