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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=75663, runsolver pid=75650

[startup+0.100061 s]*
/proc/loadavg: 1.11 2.77 3.54 6/270 75671
/proc/meminfo: memFree=127681056/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=66764 memory=56960 CPUtime=0.08 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 13465 0 0 0 6 2 0 0 20 0 1 0 69134934 68366336 14240 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 16691 14240 928 1162 0 15300 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70956 KiB
Current children cumulated memory: 59904 KiB

[startup+0.205696 s]*
/proc/loadavg: 1.11 2.77 3.54 6/270 75671
/proc/meminfo: memFree=127574208/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=71512 memory=62080 CPUtime=0.19 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 14641 0 0 0 17 2 0 0 20 0 1 0 69134934 73228288 15520 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 17878 15520 1024 1162 0 16487 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75704 KiB
Current children cumulated memory: 65024 KiB

[startup+0.305551 s]*
/proc/loadavg: 1.11 2.77 3.54 6/270 75671
/proc/meminfo: memFree=127510044/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=88440 memory=79104 CPUtime=0.29 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 18902 0 0 0 26 3 0 0 20 0 1 0 69134934 90562560 19776 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 22110 19776 1024 1162 0 20719 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92632 KiB
Current children cumulated memory: 82048 KiB

[startup+0.700152 s]
/proc/loadavg: 1.11 2.77 3.54 6/270 75671
/proc/meminfo: memFree=127389784/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=151400 memory=141952 CPUtime=0.67 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 34600 0 0 0 62 5 0 0 20 0 1 0 69134934 155033600 35488 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 37850 35488 1024 1162 0 36459 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 155592 KiB
Current children cumulated memory: 144896 KiB

[startup+1.50018 s]
/proc/loadavg: 1.11 2.77 3.54 5/270 75671
/proc/meminfo: memFree=127041772/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=163044 memory=156372 CPUtime=1.47 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 38837 0 0 0 141 6 0 0 20 0 1 0 69134934 166957056 39093 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 40761 39093 1184 1162 0 39370 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 167236 KiB
Current children cumulated memory: 159316 KiB

[startup+3.10541 s]
/proc/loadavg: 1.11 2.77 3.54 6/270 75671
/proc/meminfo: memFree=126866332/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=169528 memory=160132 CPUtime=3.08 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 39800 0 0 0 301 7 0 0 20 0 1 0 69134934 173596672 40033 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42382 40033 1184 1162 0 40991 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 173720 KiB
Current children cumulated memory: 163076 KiB

[startup+6.30017 s]
/proc/loadavg: 1.42 2.81 3.55 5/270 75671
/proc/meminfo: memFree=126685868/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=170396 memory=161156 CPUtime=6.27 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40041 0 0 0 620 7 0 0 20 0 1 0 69134934 174485504 40289 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42599 40289 1184 1162 0 41208 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 174588 KiB
Current children cumulated memory: 164100 KiB

[startup+12.7002 s]
/proc/loadavg: 1.63 2.83 3.55 6/270 75717
/proc/meminfo: memFree=126852188/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=170680 memory=161412 CPUtime=12.65 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40104 0 0 0 1258 7 0 0 20 0 1 0 69134934 174776320 40353 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42670 40353 1184 1162 0 41279 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 174872 KiB
Current children cumulated memory: 164356 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 2.90 3.57 5/270 75809
/proc/meminfo: memFree=126288352/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=170960 memory=161668 CPUtime=25.4 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40158 0 0 0 2533 7 0 0 20 0 1 0 69134934 175063040 40417 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42740 40417 1184 1162 0 41349 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 175152 KiB
Current children cumulated memory: 164612 KiB

[startup+51.1058 s]
/proc/loadavg: 2.83 2.99 3.58 5/271 75810
/proc/meminfo: memFree=126266652/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171112 memory=161796 CPUtime=50.92 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40193 0 0 0 5085 7 0 0 20 0 1 0 69134934 175218688 40449 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42778 40449 1184 1162 0 41387 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 175304 KiB
Current children cumulated memory: 164740 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 3.26 3.64 5/271 75816
/proc/meminfo: memFree=126258804/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171268 memory=161924 CPUtime=101.96 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40262 0 0 0 10189 7 0 0 20 0 1 0 69134934 175378432 40481 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42817 40481 1184 1162 0 41426 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 175460 KiB
Current children cumulated memory: 164868 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 3.51 3.71 5/271 75818
/proc/meminfo: memFree=126255048/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171424 memory=162180 CPUtime=161.78 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40350 0 0 0 16171 7 0 0 20 0 1 0 69134934 175538176 40545 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42856 40545 1184 1162 0 41465 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 175616 KiB
Current children cumulated memory: 165124 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 3.62 3.73 5/270 75820
/proc/meminfo: memFree=126234460/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171732 memory=166020 CPUtime=221.62 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40496 0 0 0 22155 7 0 0 20 0 1 0 69134934 175853568 41505 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42933 41505 1184 1162 0 41542 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 175924 KiB
Current children cumulated memory: 168964 KiB

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

# cumulated CPU time of all completed processes:  user=232.06 s, system=0.078235 s

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

[startup+224 s]*
/proc/loadavg: 4.16 3.62 3.73 5/270 75820
/proc/meminfo: memFree=126234712/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171732 memory=166020 CPUtime=223.32 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40496 0 0 0 22325 7 0 0 20 0 1 0 69134934 175853568 41505 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42933 41505 1184 1162 0 41542 0
Current children cumulated CPU time: 223.32 s
Current children cumulated vsize: 175924 KiB
Current children cumulated memory: 168964 KiB

[startup+227.2 s]
/proc/loadavg: 4.15 3.63 3.73 5/270 75820
/proc/meminfo: memFree=126234776/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171732 memory=166020 CPUtime=226.51 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40496 0 0 0 22644 7 0 0 20 0 1 0 69134934 175853568 41505 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42933 41505 1184 1162 0 41542 0
Current children cumulated CPU time: 226.51 s
Current children cumulated vsize: 175924 KiB
Current children cumulated memory: 168964 KiB

[startup+230.4 s]
/proc/loadavg: 4.22 3.65 3.74 5/270 75820
/proc/meminfo: memFree=126218416/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171732 memory=166020 CPUtime=229.7 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40501 0 0 0 22963 7 0 0 20 0 1 0 69134934 175853568 41505 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42933 41505 1184 1162 0 41542 0
Current children cumulated CPU time: 229.7 s
Current children cumulated vsize: 175924 KiB
Current children cumulated memory: 168964 KiB

[startup+232 s]*
/proc/loadavg: 4.22 3.65 3.74 5/270 75820
/proc/meminfo: memFree=126226732/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171764 memory=166148 CPUtime=231.3 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40523 0 0 0 23123 7 0 0 20 0 1 0 69134934 175886336 41537 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42941 41537 1184 1162 0 41550 0
Current children cumulated CPU time: 231.3 s
Current children cumulated vsize: 175956 KiB
Current children cumulated memory: 169092 KiB

[startup+232.4 s]
/proc/loadavg: 4.22 3.65 3.74 5/270 75820
/proc/meminfo: memFree=126226732/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171792 memory=166148 CPUtime=231.7 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40530 0 0 0 23163 7 0 0 20 0 1 0 69134934 175915008 41537 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42948 41537 1184 1162 0 41557 0
Current children cumulated CPU time: 231.7 s
Current children cumulated vsize: 175984 KiB
Current children cumulated memory: 169092 KiB

[startup+232.8 s]
/proc/loadavg: 4.22 3.65 3.74 5/270 75820
/proc/meminfo: memFree=126226732/131250000 swapFree=33010672/33010684
[pid=75663] ppid=75650 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/75663/stat : 75663 (toulbar2.sh) S 75650 75663 75595 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69134933 4292608 736 18446744073709551615 93868378583040 93868379477573 140723003960672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93868379716624 93868379764368 93868404695040 140723003963703 140723003963879 140723003963879 140723003969481 0
/proc/75663/statm: 1048 736 672 219 0 110 0
[pid=75670] ppid=75663 vsize=171812 memory=166148 CPUtime=232.1 cores=1,3
/proc/75670/stat : 75670 (toulbar2) R 75663 75663 75595 0 -1 4194304 40535 0 0 0 23203 7 0 0 20 0 1 0 69134934 175935488 41537 18446744073709551615 4198400 8956741 140736785930896 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 36929536 140736785938805 140736785938924 140736785938924 140736785944524 0
/proc/75670/statm: 42953 41537 1184 1162 0 41562 0
Current children cumulated CPU time: 232.1 s
Current children cumulated vsize: 176004 KiB
Current children cumulated memory: 169092 KiB

Child status: 0

Real time (s): 232.831
CPU time (s): 232.138
CPU user time (s): 232.06
CPU system time (s): 0.078235
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 176004
Max. memory (cumulated for all children) (KiB): 169092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.06
system time used= 0.078235
maximum resident set size= 166148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40752
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= 112
involuntary context switches= 379


# summary of solver processes directly reported to runsolver:
#   pid: 75663
#   total CPU time (s): 232.138
#   total CPU user time (s): 232.06
#   total CPU system time (s): 0.078235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.598169 second user time and 1.00932 second system time

The end