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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519666-1751562611/watcher-4519666-1751562611 -o /tmp/evaluation-result-4519666-1751562611/solver-4519666-1751562611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751562611-81219 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4519666-1751562611.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=81269, runsolver pid=81260

[startup+0.100066 s]*
/proc/loadavg: 0.22 0.85 1.82 6/268 81282
/proc/meminfo: memFree=129427732/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=37672 memory=28416 CPUtime=0.08 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 6179 0 0 0 8 0 0 0 20 0 1 0 71941033 38576128 7104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 9418 7104 1024 1162 0 8027 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 31488 KiB

[startup+0.205437 s]*
/proc/loadavg: 0.22 0.85 1.82 6/268 81282
/proc/meminfo: memFree=129387664/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=40464 memory=30848 CPUtime=0.19 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 6853 0 0 0 18 1 0 0 20 0 1 0 71941033 41435136 7712 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 10116 7712 1024 1162 0 8725 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44656 KiB
Current children cumulated memory: 33920 KiB

[startup+0.305109 s]*
/proc/loadavg: 0.22 0.85 1.82 6/268 81282
/proc/meminfo: memFree=129370024/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=50376 memory=40832 CPUtime=0.28 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 9350 0 0 0 27 1 0 0 20 0 1 0 71941033 51585024 10208 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 12594 10208 1024 1162 0 11203 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 54568 KiB
Current children cumulated memory: 43904 KiB

[startup+0.700156 s]
/proc/loadavg: 0.22 0.85 1.82 6/268 81282
/proc/meminfo: memFree=129348140/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=56256 memory=48128 CPUtime=0.68 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11019 0 0 0 66 2 0 0 20 0 1 0 71941033 57606144 12032 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14064 12032 1184 1162 0 12673 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60448 KiB
Current children cumulated memory: 51200 KiB

[startup+1.50015 s]
/proc/loadavg: 0.22 0.85 1.82 6/268 81282
/proc/meminfo: memFree=129348140/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=57476 memory=50048 CPUtime=1.47 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11512 0 0 0 145 2 0 0 20 0 1 0 71941033 58855424 12512 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14369 12512 1184 1162 0 12978 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 61668 KiB
Current children cumulated memory: 53120 KiB

[startup+3.10465 s]
/proc/loadavg: 0.22 0.85 1.82 6/268 81282
/proc/meminfo: memFree=129260528/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=57612 memory=50176 CPUtime=3.08 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11537 0 0 0 306 2 0 0 20 0 1 0 71941033 58994688 12544 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14403 12544 1184 1162 0 13012 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61804 KiB
Current children cumulated memory: 53248 KiB

[startup+6.30012 s]
/proc/loadavg: 0.52 0.90 1.83 6/268 81282
/proc/meminfo: memFree=129218684/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=57612 memory=50176 CPUtime=6.26 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11537 0 0 0 624 2 0 0 20 0 1 0 71941033 58994688 12544 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14403 12544 1184 1162 0 13012 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61804 KiB
Current children cumulated memory: 53248 KiB

[startup+12.7001 s]
/proc/loadavg: 0.80 0.96 1.85 6/268 81282
/proc/meminfo: memFree=129211684/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=57612 memory=50176 CPUtime=12.64 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11538 0 0 0 1262 2 0 0 20 0 1 0 71941033 58994688 12544 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14403 12544 1184 1162 0 13012 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 61804 KiB
Current children cumulated memory: 53248 KiB

[startup+25.5001 s]
/proc/loadavg: 1.59 1.12 1.89 6/268 81283
/proc/meminfo: memFree=129196828/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=57612 memory=50176 CPUtime=25.41 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11538 0 0 0 2539 2 0 0 20 0 1 0 71941033 58994688 12544 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14403 12544 1184 1162 0 13012 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61804 KiB
Current children cumulated memory: 53248 KiB

[startup+51.1047 s]
/proc/loadavg: 2.41 1.35 1.94 6/268 81283
/proc/meminfo: memFree=129189328/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=57916 memory=50432 CPUtime=50.94 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11596 0 0 0 5092 2 0 0 20 0 1 0 71941033 59305984 12608 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14479 12608 1184 1162 0 13088 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 62108 KiB
Current children cumulated memory: 53504 KiB

[startup+102.3 s]
/proc/loadavg: 3.36 1.78 2.06 6/269 81286
/proc/meminfo: memFree=129176352/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=57916 memory=50432 CPUtime=101.99 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11617 0 0 0 10197 2 0 0 20 0 1 0 71941033 59305984 12608 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14479 12608 1184 1162 0 13088 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 62108 KiB
Current children cumulated memory: 53504 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 2.20 2.19 6/269 81292
/proc/meminfo: memFree=129157712/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=58304 memory=54784 CPUtime=161.85 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11766 0 0 0 16183 2 0 0 20 0 1 0 71941033 59703296 13696 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14576 13696 1184 1162 0 13185 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 62496 KiB
Current children cumulated memory: 57856 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.55 2.31 6/269 81294
/proc/meminfo: memFree=129163768/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=58304 memory=54784 CPUtime=221.7 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 11788 0 0 0 22168 2 0 0 20 0 1 0 71941033 59703296 13696 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 14576 13696 1184 1162 0 13185 0
Current children cumulated CPU time: 221.7 s

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

/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13143 0 0 0 339404 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/267 81499
/proc/meminfo: memFree=129084744/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3453.93 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13165 0 0 0 345389 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/266 81501
/proc/meminfo: memFree=129084496/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3513.79 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13168 0 0 0 351375 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3513.79 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/267 81504
/proc/meminfo: memFree=129084752/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3573.64 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13169 0 0 0 357360 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3573.64 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

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

# cumulated CPU time of all completed processes:  user=3600.01 s, system=0.045916 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.04 5/267 81504
/proc/meminfo: memFree=129084816/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3575.34 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13169 0 0 0 357530 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3575.34 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.04 5/267 81504
/proc/meminfo: memFree=129084600/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3588.11 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13169 0 0 0 358807 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3588.11 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3603.2 s]
/proc/loadavg: 4.06 4.08 4.04 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3594.49 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13170 0 0 0 359445 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3594.49 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3606.4 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3597.69 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13170 0 0 0 359765 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3597.69 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3608 s]*
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3599.29 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13170 0 0 0 359925 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3599.29 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3608.4 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3599.68 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13170 0 0 0 359964 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3599.68 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3608.6 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3599.88 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13170 0 0 0 359984 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

[startup+3608.7 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 81504
/proc/meminfo: memFree=129084632/131250000 swapFree=33010416/33010684
[pid=81269] ppid=81260 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/81269/stat : 81269 (toulbar2.sh) S 81260 81269 81183 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 71941032 4292608 768 18446744073709551615 93864363507712 93864364402245 140737446026928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93864364641296 93864364689040 93864368947200 140737446033719 140737446033895 140737446033895 140737446039497 0
/proc/81269/statm: 1048 768 704 219 0 110 0
[pid=81276] ppid=81269 vsize=60992 memory=56416 CPUtime=3599.98 cores=0,2
/proc/81276/stat : 81276 (toulbar2) R 81269 81269 81183 0 -1 4194304 13170 0 0 0 359994 4 0 0 20 0 1 0 71941033 62455808 14104 18446744073709551615 4198400 8956741 140732065121968 0 0 0 0 0 33570818 0 0 0 17 0 0 0 0 0 0 9785056 9890480 39505920 140732065130869 140732065130988 140732065130988 140732065136588 0
/proc/81276/statm: 15248 14104 1184 1162 0 13857 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 65184 KiB
Current children cumulated memory: 59488 KiB

Child status: 0

Real time (s): 3608.76
CPU time (s): 3600.05
CPU user time (s): 3600.01
CPU system time (s): 0.045916
CPU usage (%): 99.7587
Max. virtual memory (cumulated for all children) (KiB): 65184
Max. memory (cumulated for all children) (KiB): 59488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.01
system time used= 0.045916
maximum resident set size= 57696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13385
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= 110
involuntary context switches= 7914


# summary of solver processes directly reported to runsolver:
#   pid: 81269
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3600.01
#   total CPU system time (s): 0.045916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25913 second user time and 12.3785 second system time

The end