runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (8141 MiB free)
memory of node 1: 16384 MiB (15760 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394676-1568326799/watcher-4394676-1568326799 -o /tmp/evaluation-result-4394676-1568326799/solver-4394676-1568326799 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394676-1568326799.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7922, runsolver pid=7919
[startup+0.100151 s]*
/proc/loadavg: 2.14 2.12 2.05 3/199 7923
/proc/meminfo: memFree=24470652/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=32100 memory=8296 CPUtime=0.1 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 2293 0 0 0 10 0 0 0 20 0 1 0 408952504 32870400 2074 33554432000 4194304 6210612 140726438645344 140726438641880 139866200407013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 8025 2074 821 493 0 1330 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32100 KiB
Current children cumulated memory: 8296 KiB
[startup+0.209537 s]*
/proc/loadavg: 2.14 2.12 2.05 3/199 7923
/proc/meminfo: memFree=24466188/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=36704 memory=12904 CPUtime=0.21 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 3430 0 0 0 21 0 0 0 20 0 1 0 408952504 37584896 3226 33554432000 4194304 6210612 140726438645344 140726438641880 139866200407013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 9176 3226 821 493 0 2481 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 12904 KiB
[startup+0.309235 s]*
/proc/loadavg: 2.14 2.12 2.05 3/199 7923
/proc/meminfo: memFree=24462096/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=40784 memory=17112 CPUtime=0.31 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 4470 0 0 0 31 0 0 0 20 0 1 0 408952504 41762816 4278 33554432000 4194304 6210612 140726438645344 140726438641880 139866200407013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 10196 4278 821 493 0 3501 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40784 KiB
Current children cumulated memory: 17112 KiB
[startup+0.700316 s]
/proc/loadavg: 2.14 2.12 2.05 3/199 7923
/proc/meminfo: memFree=24453540/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28152 CPUtime=0.69 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 7232 0 0 0 69 0 0 0 20 0 1 0 408952504 52953088 7038 33554432000 4194304 6210612 140726438645344 140726438643480 5008619 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7038 866 493 0 6233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28152 KiB
[startup+1.50028 s]
/proc/loadavg: 2.14 2.12 2.05 3/199 7923
/proc/meminfo: memFree=24450532/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28152 CPUtime=1.49 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 7232 0 0 0 149 0 0 0 20 0 1 0 408952504 52953088 7038 33554432000 4194304 6210612 140726438645344 140726438643480 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7038 866 493 0 6233 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28152 KiB
[startup+3.10913 s]
/proc/loadavg: 2.13 2.12 2.05 3/199 7923
/proc/meminfo: memFree=24450468/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28276 CPUtime=3.1 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 8280 0 0 0 310 0 0 0 20 0 1 0 408952504 52953088 7069 33554432000 4194304 6210612 140726438645344 140726438643480 5008730 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7069 866 493 0 6233 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28276 KiB
[startup+6.30027 s]
/proc/loadavg: 2.13 2.12 2.05 3/200 7925
/proc/meminfo: memFree=24449084/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28276 CPUtime=6.29 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 9332 0 0 0 629 0 0 0 20 0 1 0 408952504 52953088 7069 33554432000 4194304 6210612 140726438645344 140726438643480 5390284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7069 866 493 0 6233 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28276 KiB
[startup+12.7003 s]
/proc/loadavg: 2.12 2.11 2.05 3/199 7925
/proc/meminfo: memFree=24448840/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28276 CPUtime=12.69 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 10382 0 0 0 1269 0 0 0 20 0 1 0 408952504 52953088 7069 33554432000 4194304 6210612 140726438645344 140726438643480 5165296 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7069 866 493 0 6233 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28276 KiB
[startup+25.5003 s]
/proc/loadavg: 2.09 2.11 2.05 3/199 7926
/proc/meminfo: memFree=24449056/32770624 swapFree=67018080/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28276 CPUtime=25.49 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 12480 0 0 0 2549 0 0 0 20 0 1 0 408952504 52953088 7069 33554432000 4194304 6210612 140726438645344 140726438643480 5185944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7069 866 493 0 6233 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28276 KiB
[startup+51.1091 s]
/proc/loadavg: 2.06 2.10 2.05 3/201 7936
/proc/meminfo: memFree=24448404/32770624 swapFree=67018084/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28276 CPUtime=51.09 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 13532 0 0 0 5109 0 0 0 20 0 1 0 408952504 52953088 7069 33554432000 4194304 6210612 140726438645344 140726438643480 5008603 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7069 866 493 0 6233 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28276 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.10 2.05 3/201 7941
/proc/meminfo: memFree=24448856/32770624 swapFree=67018084/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28276 CPUtime=102.28 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 14582 0 0 0 10228 0 0 0 20 0 1 0 408952504 52953088 7069 33554432000 4194304 6210612 140726438645344 140726438643480 5008496 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7069 866 493 0 6233 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28276 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/201 7945
/proc/meminfo: memFree=24449500/32770624 swapFree=67018084/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=162.27 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 15643 0 0 0 16227 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5397312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/201 7949
/proc/meminfo: memFree=24449660/32770624 swapFree=67018084/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=222.27 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 15967 0 0 0 22227 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5390258 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/201 7955
/proc/meminfo: memFree=24449224/32770624 swapFree=67018084/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=282.27 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 16291 0 0 0 28227 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5165225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 7960
/proc/meminfo: memFree=24449440/32770624 swapFree=67018088/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=342.26 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 16615 0 0 0 34226 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5165305 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 7964
/proc/meminfo: memFree=24449168/32770624 swapFree=67018088/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=402.26 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 16939 0 0 0 40226 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5165225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 7970
/proc/meminfo: memFree=24449372/32770624 swapFree=67018088/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=462.26 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 17263 0 0 0 46226 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5397192 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
################
# More data... #
################
Current children cumulated memory: 28284 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 7979
/proc/meminfo: memFree=24448772/32770624 swapFree=67018096/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=582.25 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 17911 0 0 0 58225 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5409316 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 582.25 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7993
/proc/meminfo: memFree=24448348/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=642.25 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 18235 0 0 0 64225 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 642.25 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7997
/proc/meminfo: memFree=24448556/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=702.25 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 18559 0 0 0 70225 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 702.25 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8001
/proc/meminfo: memFree=24448044/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=762.24 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 18883 0 0 0 76224 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5390289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 762.24 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8007
/proc/meminfo: memFree=24448100/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=822.24 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 19207 0 0 0 82224 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5397301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 822.24 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8011
/proc/meminfo: memFree=24448756/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=882.24 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 19531 0 0 0 88224 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5396232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+942.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/200 8015
/proc/meminfo: memFree=24448676/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=942.23 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 19855 0 0 0 94223 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5397222 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 942.23 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1002.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448308/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1002.23 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 100223 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5397282 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1014.32 s]
# the end of solver process 7922 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1014.26 s, system=0.00701 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1004.8 s]
/proc/loadavg: 2.18 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448356/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1004.73 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 100473 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5397222 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1004.73 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1011.2 s]
/proc/loadavg: 2.16 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448588/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1011.13 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 101113 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1011.13 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1012.8 s]
/proc/loadavg: 2.16 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448712/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1012.73 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 101273 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5165236 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1012.73 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1013.6 s]
/proc/loadavg: 2.15 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448712/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1013.53 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 101353 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5165225 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1013.53 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1014 s]*
/proc/loadavg: 2.15 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448712/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1013.94 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 101394 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1013.94 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1014.2 s]
/proc/loadavg: 2.15 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448712/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1014.13 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 101413 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5165242 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1014.13 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
[startup+1014.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/199 8021
/proc/meminfo: memFree=24448712/32770624 swapFree=67018112/67108860
[pid=7922] ppid=7919 vsize=51712 memory=28284 CPUtime=1014.23 cores=1,3,5,7
/proc/7922/stat : 7922 (cosoco) R 7919 7922 7017 0 -1 4202496 20179 0 0 0 101423 0 0 0 20 0 1 0 408952504 52953088 7071 33554432000 4194304 6210612 140726438645344 140726438643480 5409289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 29941760 140726438646795 140726438646897 140726438646897 140726438649806 0
/proc/7922/statm: 12928 7071 866 493 0 6233 0
Current children cumulated CPU time: 1014.23 s
Current children cumulated vsize: 51712 KiB
Current children cumulated memory: 28284 KiB
Child status: 0
Real time (s): 1014.32
CPU time (s): 1014.26
CPU user time (s): 1014.26
CPU system time (s): 0.00701
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 51712
Max. memory (cumulated for all children) (KiB): 28284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1014.26
system time used= 0.00701
maximum resident set size= 28352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20260
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= 25
involuntary context switches= 256
# summary of solver processes directly reported to runsolver:
# pid: 7922
# total CPU time (s): 1014.26
# total CPU user time (s): 1014.26
# total CPU system time (s): 0.00701
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.27503 second user time and 6.71387 second system time
The end