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 (5741 MiB free)
memory of node 1: 16384 MiB (10518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293507-1532317578/watcher-4293507-1532317578 -o /tmp/evaluation-result-4293507-1532317578/solver-4293507-1532317578 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532294888-5352 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293507-1532317578.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=7739, runsolver pid=7736
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.07 2.05 2.05 3/187 7740
/proc/meminfo: memFree=16647128/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=29784 memory=5872 CPUtime=0.1 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 1682 0 0 0 10 0 0 0 20 0 1 0 49320924 30498816 1468 33554432000 4194304 6142532 140720780249840 140720780246472 140091786141292 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 7446 1468 775 476 0 768 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29784 KiB
Current children cumulated memory: 5872 KiB
[startup+0.209426 s]*
/proc/loadavg: 2.07 2.05 2.05 3/187 7740
/proc/meminfo: memFree=16642664/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=34208 memory=10376 CPUtime=0.21 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 2815 0 0 0 21 0 0 0 20 0 1 0 49320924 35028992 2594 33554432000 4194304 6142532 140720780249840 140720780246472 5375945 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 8552 2594 794 476 0 1874 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34208 KiB
Current children cumulated memory: 10376 KiB
[startup+0.309166 s]*
/proc/loadavg: 2.07 2.05 2.05 3/187 7740
/proc/meminfo: memFree=16638572/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=38384 memory=14552 CPUtime=0.31 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 3852 0 0 0 30 1 0 0 20 0 1 0 49320924 39305216 3638 33554432000 4194304 6142532 140720780249840 140720780246472 140091785198565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 9596 3638 794 476 0 2918 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 14552 KiB
[startup+0.70029 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 7740
/proc/meminfo: memFree=16630296/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=54304 memory=30608 CPUtime=0.69 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 7824 0 0 0 67 2 0 0 20 0 1 0 49320924 55607296 7652 33554432000 4194304 6142532 140720780249840 140720780239192 140091785198565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 13576 7652 794 476 0 6898 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54304 KiB
Current children cumulated memory: 30608 KiB
[startup+1.5003 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 7740
/proc/meminfo: memFree=16609884/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=87596 memory=63896 CPUtime=1.48 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 16147 0 0 0 146 2 0 0 20 0 1 0 49320924 89698304 15974 33554432000 4194304 6142532 140720780249840 140720780240440 140091785198565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 21899 15974 794 476 0 15221 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87596 KiB
Current children cumulated memory: 63896 KiB
[startup+3.10928 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 7740
/proc/meminfo: memFree=16553712/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99332 CPUtime=3.1 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 45300 0 0 0 305 5 0 0 20 0 1 0 49320924 125906944 24833 33554432000 4194304 6142532 140720780249840 140720780246728 5372484 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24833 833 476 0 24061 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99332 KiB
[startup+6.30026 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 7740
/proc/meminfo: memFree=16553624/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=6.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 49257 0 0 0 624 5 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 140091786124723 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 7740
/proc/meminfo: memFree=16553624/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=12.69 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 53211 0 0 0 1264 5 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5146589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 7740
/proc/meminfo: memFree=16553752/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=25.49 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 61119 0 0 0 2544 5 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 4965024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+51.109 s]
/proc/loadavg: 2.09 2.06 2.05 3/187 7740
/proc/meminfo: memFree=16553580/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=51.1 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 65066 0 0 0 5104 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5044618 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 7741
/proc/meminfo: memFree=16553504/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=102.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 67135 0 0 0 10223 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 140091786119089 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 7742
/proc/meminfo: memFree=16552760/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=162.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 67550 0 0 0 16223 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5396940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7743
/proc/meminfo: memFree=16553008/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=222.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 67965 0 0 0 22223 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5366709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 7752
/proc/meminfo: memFree=16552416/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=282.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 68380 0 0 0 28223 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5374057 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7753
/proc/meminfo: memFree=16552588/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=342.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 68795 0 0 0 34223 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5336826 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+402.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/188 7754
/proc/meminfo: memFree=16552456/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=402.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 69210 0 0 0 40223 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5366783 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 7755
/proc/meminfo: memFree=16552456/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=462.29 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 69625 0 0 0 46223 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 140091786119089 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
################
# More data... #
################
Current children cumulated memory: 99448 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 7796
/proc/meminfo: memFree=16551844/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=942.31 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 72935 0 0 0 94225 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5146800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 942.31 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 7797
/proc/meminfo: memFree=16551968/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1002.31 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 73350 0 0 0 100225 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5375774 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1002.31 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 7798
/proc/meminfo: memFree=16552216/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1062.31 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 73755 0 0 0 106225 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5396701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1062.31 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 7799
/proc/meminfo: memFree=16552216/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1122.31 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 74170 0 0 0 112225 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5363536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1122.31 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7800
/proc/meminfo: memFree=16552108/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1182.31 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 74575 0 0 0 118225 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5366690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1182.31 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7801
/proc/meminfo: memFree=16552000/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1242.31 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 74990 0 0 0 124225 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5048269 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1242.31 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7802
/proc/meminfo: memFree=16552372/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1302.32 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 75395 0 0 0 130226 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5366742 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1302.32 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7803
/proc/meminfo: memFree=16552248/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1362.32 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 75810 0 0 0 136226 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5146980 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1362.32 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7804
/proc/meminfo: memFree=16552484/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1422.32 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 76215 0 0 0 142226 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5367122 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1422.32 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1429.95 s]
# the end of solver process 7739 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1429.91 s, system=0.065001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1424 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7812
/proc/meminfo: memFree=16551476/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1424.03 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 76215 0 0 0 142397 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 140091795143528 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1424.03 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1427.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7812
/proc/meminfo: memFree=16551476/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1427.22 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 76215 0 0 0 142716 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5363668 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1427.22 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1428.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7812
/proc/meminfo: memFree=16551476/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1428.82 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 76215 0 0 0 142876 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5363683 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1428.82 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1429.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7812
/proc/meminfo: memFree=16551476/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1429.62 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 76215 0 0 0 142956 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5375777 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1429.62 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1429.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7812
/proc/meminfo: memFree=16551476/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1429.82 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 76215 0 0 0 142976 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5372476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1429.82 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
[startup+1429.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7812
/proc/meminfo: memFree=16551476/32770624 swapFree=67108860/67108860
[pid=7739] ppid=7736 vsize=122956 memory=99448 CPUtime=1429.92 cores=1,3,5,7
/proc/7739/stat : 7739 (cosoco) R 7736 7739 5320 0 -1 4202496 76215 0 0 0 142986 6 0 0 20 0 1 0 49320924 125906944 24862 33554432000 4194304 6142532 140720780249840 140720780247240 5371833 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19496960 140720780252294 140720780252424 140720780252424 140720780255182 0
/proc/7739/statm: 30739 24862 835 476 0 24061 0
Current children cumulated CPU time: 1429.92 s
Current children cumulated vsize: 122956 KiB
Current children cumulated memory: 99448 KiB
Child status: 0
Real time (s): 1429.95
CPU time (s): 1429.97
CPU user time (s): 1429.91
CPU system time (s): 0.065001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 122956
Max. memory (cumulated for all children) (KiB): 99448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1429.91
system time used= 0.065001
maximum resident set size= 99520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76264
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= 35
involuntary context switches= 365
# summary of solver processes directly reported to runsolver:
# pid: 7739
# total CPU time (s): 1429.97
# total CPU user time (s): 1429.91
# total CPU system time (s): 0.065001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76939 second user time and 9.32318 second system time
The end