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: 63665 MiB (62320 MiB free)
  memory of node 1: 64507 MiB (56919 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524563-1751615434/watcher-4524563-1751615434 -o /tmp/evaluation-result-4524563-1751615434/solver-4524563-1751615434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751615434-88300 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4524563-1751615434.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
Current StackSize limit: 8192 KiB

solver pid=88349, runsolver pid=88340

[startup+0.100059 s]*
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122066120/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=27224 memory=18176 CPUtime=0.08 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 3634 0 0 0 8 0 0 0 20 0 1 0 77221157 27877376 4544 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 6806 4544 1024 1162 0 5415 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 21120 KiB

[startup+0.204932 s]*
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122066120/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=27500 memory=18944 CPUtime=0.19 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 3821 0 0 0 19 0 0 0 20 0 1 0 77221157 28160000 4736 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 6875 4736 1024 1162 0 5484 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 31692 KiB
Current children cumulated memory: 21888 KiB

[startup+0.304696 s]*
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122065364/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=28164 memory=20992 CPUtime=0.28 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 4197 0 0 0 28 0 0 0 20 0 1 0 77221157 28839936 5248 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7041 5248 1184 1162 0 5650 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32356 KiB
Current children cumulated memory: 23936 KiB

[startup+0.700143 s]
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122065364/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=28164 memory=20992 CPUtime=0.67 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 4202 0 0 0 67 0 0 0 20 0 1 0 77221157 28839936 5248 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7041 5248 1184 1162 0 5650 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 32356 KiB
Current children cumulated memory: 23936 KiB

[startup+1.50013 s]
/proc/loadavg: 0.90 2.27 3.25 5/270 88362
/proc/meminfo: memFree=122057300/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=28572 memory=21504 CPUtime=1.47 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 4321 0 0 0 147 0 0 0 20 0 1 0 77221157 29257728 5376 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7143 5376 1184 1162 0 5752 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 32764 KiB
Current children cumulated memory: 24448 KiB

[startup+3.1047 s]
/proc/loadavg: 1.15 2.30 3.26 5/270 88362
/proc/meminfo: memFree=122057488/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=28956 memory=21716 CPUtime=3.07 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 4494 0 0 0 307 0 0 0 20 0 1 0 77221157 29650944 5429 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7239 5429 1184 1162 0 5848 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 33148 KiB
Current children cumulated memory: 24660 KiB

[startup+6.30013 s]
/proc/loadavg: 1.15 2.30 3.26 5/270 88362
/proc/meminfo: memFree=122058232/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=29724 memory=22368 CPUtime=6.26 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 4845 0 0 0 626 0 0 0 20 0 1 0 77221157 30437376 5592 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7431 5592 1184 1162 0 6040 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 33916 KiB
Current children cumulated memory: 25312 KiB

[startup+12.7001 s]
/proc/loadavg: 1.37 2.33 3.26 5/270 88362
/proc/meminfo: memFree=122058312/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=31260 memory=22988 CPUtime=12.64 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 5388 0 0 0 1264 0 0 0 20 0 1 0 77221157 32010240 5747 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7815 5747 1184 1162 0 6424 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 35452 KiB
Current children cumulated memory: 25932 KiB

[startup+25.5001 s]
/proc/loadavg: 2.04 2.42 3.28 5/270 88362
/proc/meminfo: memFree=122058188/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=31260 memory=22988 CPUtime=25.41 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 5388 0 0 0 2541 0 0 0 20 0 1 0 77221157 32010240 5747 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7815 5747 1184 1162 0 6424 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 35452 KiB
Current children cumulated memory: 25932 KiB

[startup+51.1044 s]
/proc/loadavg: 2.71 2.55 3.30 5/270 88363
/proc/meminfo: memFree=122030324/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=31260 memory=28748 CPUtime=50.96 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 5417 0 0 0 5095 1 0 0 20 0 1 0 77221157 32010240 7187 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7815 7187 1184 1162 0 6424 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 35452 KiB
Current children cumulated memory: 31692 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 2.79 3.34 5/270 88364
/proc/meminfo: memFree=122018120/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=31392 memory=29004 CPUtime=102.04 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 5498 0 0 0 10203 1 0 0 20 0 1 0 77221157 32145408 7251 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7848 7251 1184 1162 0 6457 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 35584 KiB
Current children cumulated memory: 31948 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.05 3.40 5/269 88366
/proc/meminfo: memFree=122041312/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=31392 memory=29132 CPUtime=161.89 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 5564 0 0 0 16188 1 0 0 20 0 1 0 77221157 32145408 7283 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7848 7283 1184 1162 0 6457 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 35584 KiB
Current children cumulated memory: 32076 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.24 3.44 5/269 88368
/proc/meminfo: memFree=122037436/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=31392 memory=29388 CPUtime=221.75 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 5622 0 0 0 22174 1 0 0 20 0 1 0 77221157 32145408 7347 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 7848 7347 1184 1162 0 6457 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 35584 KiB

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

/proc/loadavg: 4.12 4.11 4.05 5/267 88514
/proc/meminfo: memFree=122009884/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34068 CPUtime=3094.69 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 6953 0 0 0 309464 5 0 0 20 0 1 0 77221157 38473728 8517 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8517 1184 1162 0 8002 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/267 88516
/proc/meminfo: memFree=122009892/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34196 CPUtime=3154.54 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 6969 0 0 0 315449 5 0 0 20 0 1 0 77221157 38473728 8549 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8549 1184 1162 0 8002 0
Current children cumulated CPU time: 3154.54 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/267 88518
/proc/meminfo: memFree=122009956/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34196 CPUtime=3214.4 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7004 0 0 0 321434 6 0 0 20 0 1 0 77221157 38473728 8549 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8549 1184 1162 0 8002 0
Current children cumulated CPU time: 3214.4 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37140 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/266 88520
/proc/meminfo: memFree=122009588/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34324 CPUtime=3274.25 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7020 0 0 0 327419 6 0 0 20 0 1 0 77221157 38473728 8581 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8581 1184 1162 0 8002 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.06 5/267 88527
/proc/meminfo: memFree=122009940/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34452 CPUtime=3334.1 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7048 0 0 0 333404 6 0 0 20 0 1 0 77221157 38473728 8613 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8613 1184 1162 0 8002 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37396 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/267 88529
/proc/meminfo: memFree=122009624/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34452 CPUtime=3393.95 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7060 0 0 0 339389 6 0 0 20 0 1 0 77221157 38473728 8613 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8613 1184 1162 0 8002 0
Current children cumulated CPU time: 3393.95 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/267 88531
/proc/meminfo: memFree=122008712/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34580 CPUtime=3453.8 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7084 0 0 0 345374 6 0 0 20 0 1 0 77221157 38473728 8645 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8645 1184 1162 0 8002 0
Current children cumulated CPU time: 3453.8 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37524 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/267 88533
/proc/meminfo: memFree=122009520/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34708 CPUtime=3513.66 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7115 0 0 0 351359 7 0 0 20 0 1 0 77221157 38473728 8677 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8677 1184 1162 0 8002 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/266 88535
/proc/meminfo: memFree=122009640/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=37572 memory=34708 CPUtime=3573.51 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7127 0 0 0 357344 7 0 0 20 0 1 0 77221157 38473728 8677 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 9393 8677 1184 1162 0 8002 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 41764 KiB
Current children cumulated memory: 37652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.12 4.10 4.06 4/262 88544
/proc/meminfo: memFree=122012280/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=43716 memory=36876 CPUtime=3600.04 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7145 0 0 0 359997 7 0 0 20 0 1 0 77221157 44765184 9219 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 10929 9219 1184 1162 0 9538 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 47908 KiB
Current children cumulated memory: 39820 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.98 s, system=0.081627 s

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

[startup+3608.9 s]
/proc/loadavg: 4.12 4.10 4.06 4/262 88544
/proc/meminfo: memFree=122012280/131249996 swapFree=33010416/33010684
[pid=88349] ppid=88340 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88349/stat : 88349 (toulbar2.sh) S 88340 88349 88289 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 77221156 4292608 736 18446744073709551615 94637808119808 94637809014341 140735003890176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94637809253392 94637809301136 94637840048128 140735003892021 140735003892197 140735003892197 140735003897801 0
/proc/88349/statm: 1048 736 672 219 0 110 0
[pid=88352] ppid=88349 vsize=43716 memory=36876 CPUtime=3600.04 cores=4,6
/proc/88352/stat : 88352 (toulbar2) R 88349 88349 88289 0 -1 4194304 7145 0 0 0 359997 7 0 0 20 0 1 0 77221157 44765184 9219 18446744073709551615 4198400 8956741 140729089597680 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 35500032 140729089603955 140729089604074 140729089604074 140729089609676 0
/proc/88352/statm: 10929 9219 1184 1162 0 9538 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 47908 KiB
Current children cumulated memory: 39820 KiB

Child status: 0

Real time (s): 3608.9
CPU time (s): 3600.06
CPU user time (s): 3599.98
CPU system time (s): 0.081627
CPU usage (%): 99.7549
Max. virtual memory (cumulated for all children) (KiB): 47908
Max. memory (cumulated for all children) (KiB): 39820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.98
system time used= 0.081627
maximum resident set size= 40976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7359
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= 81
involuntary context switches= 2367


# summary of solver processes directly reported to runsolver:
#   pid: 88349
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.98
#   total CPU system time (s): 0.081627

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25026 second user time and 11.0275 second system time

The end