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 (7775 MiB free)
memory of node 1: 16384 MiB (11416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299230-1532794346/watcher-4299230-1532794346 -o /tmp/evaluation-result-4299230-1532794346/solver-4299230-1532794346 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299230-1532794346.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=13644, runsolver pid=13641
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19535884/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=144356 memory=120500 CPUtime=0.09 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 30299 0 0 0 7 2 0 0 20 0 1 0 96997965 147820544 30125 33554432000 4194304 6142532 140722912435248 140722912430584 5425517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 36089 30125 783 476 0 29411 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 144356 KiB
Current children cumulated memory: 120500 KiB
[startup+0.209713 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19535140/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=145008 memory=121144 CPUtime=0.2 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 30509 0 0 0 18 2 0 0 20 0 1 0 96997965 148488192 30286 33554432000 4194304 6142532 140722912435248 140722912430584 5801168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 36252 30286 783 476 0 29574 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145008 KiB
Current children cumulated memory: 121144 KiB
[startup+0.308919 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19534396/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=145536 memory=121668 CPUtime=0.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 30667 0 0 0 28 2 0 0 20 0 1 0 96997965 149028864 30417 33554432000 4194304 6142532 140722912435248 140722912430584 5802381 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 36384 30417 783 476 0 29706 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145536 KiB
Current children cumulated memory: 121668 KiB
[startup+0.700284 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19533280/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=148536 memory=124164 CPUtime=0.69 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 31556 0 0 0 66 3 0 0 20 0 1 0 96997965 152100864 31041 33554432000 4194304 6142532 140722912435248 140722912431896 139747485318117 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 37134 31041 783 476 0 30456 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148536 KiB
Current children cumulated memory: 124164 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19530304/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=153900 memory=129076 CPUtime=1.49 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 33188 0 0 0 146 3 0 0 20 0 1 0 96997965 157593600 32269 33554432000 4194304 6142532 140722912435248 140722912431896 139747485318117 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 38475 32269 783 476 0 31797 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 153900 KiB
Current children cumulated memory: 129076 KiB
[startup+3.10949 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19517032/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=164628 memory=139980 CPUtime=3.1 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 35698 0 0 0 306 4 0 0 20 0 1 0 96997965 168579072 34995 33554432000 4194304 6142532 140722912435248 140722912431896 139747485756416 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 41157 34995 783 476 0 34479 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 164628 KiB
Current children cumulated memory: 139980 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19468656/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=209624 memory=185792 CPUtime=6.29 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 54724 0 0 0 623 6 0 0 20 0 1 0 96997965 214654976 46448 33554432000 4194304 6142532 140722912435248 140722912429896 5802410 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 52406 46448 792 476 0 45728 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 209624 KiB
Current children cumulated memory: 185792 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19463484/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=219788 memory=195876 CPUtime=12.69 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 65936 0 0 0 1262 7 0 0 20 0 1 0 96997965 225062912 48969 33554432000 4194304 6142532 140722912435248 140722912431896 5802391 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 54947 48969 792 476 0 48269 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 219788 KiB
Current children cumulated memory: 195876 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=19354452/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=324648 memory=300436 CPUtime=25.49 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 117833 0 0 0 2537 12 0 0 20 0 1 0 96997965 332439552 75109 33554432000 4194304 6142532 140722912435248 140722912431896 139747485316652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 81162 75109 793 476 0 74484 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 324648 KiB
Current children cumulated memory: 300436 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 13645
/proc/meminfo: memFree=18878964/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=775536 CPUtime=51.1 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 317357 0 0 0 5081 29 0 0 20 0 1 0 96997965 819798016 193884 33554432000 4194304 6142532 140722912435248 140722912422536 5017958 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 193884 843 476 0 193468 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 775536 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13646
/proc/meminfo: memFree=18878640/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=775552 CPUtime=102.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 483216 0 0 0 10194 36 0 0 20 0 1 0 96997965 819798016 193888 33554432000 4194304 6142532 140722912435248 140722912432776 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 193888 847 476 0 193468 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 775552 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13647
/proc/meminfo: memFree=18878916/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=775552 CPUtime=162.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 634114 0 0 0 16187 43 0 0 20 0 1 0 96997965 819798016 193888 33554432000 4194304 6142532 140722912435248 140722912422520 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 193888 847 476 0 193468 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 775552 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13648
/proc/meminfo: memFree=18878744/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=775600 CPUtime=222.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 759720 0 0 0 22180 50 0 0 20 0 1 0 96997965 819798016 193900 33554432000 4194304 6142532 140722912435248 140722912422520 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 193900 847 476 0 193468 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 775600 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13649
/proc/meminfo: memFree=18878096/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=775828 CPUtime=282.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 874998 0 0 0 28175 55 0 0 20 0 1 0 96997965 819798016 193957 33554432000 4194304 6142532 140722912435248 140722912432776 5017997 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 193957 847 476 0 193468 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 775828 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13650
/proc/meminfo: memFree=18877196/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=342.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 984078 0 0 0 34169 61 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13651
/proc/meminfo: memFree=18877228/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=402.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1066491 0 0 0 40166 64 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13660
/proc/meminfo: memFree=18876996/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=462.3 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1119949 0 0 0 46162 68 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912422520 5333295 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
################
# More data... #
################
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 13701
/proc/meminfo: memFree=18877180/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=1842.41 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1204580 0 0 0 184167 74 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017803 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 13702
/proc/meminfo: memFree=18877416/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=1902.41 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1206389 0 0 0 190167 74 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017799 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13703
/proc/meminfo: memFree=18877304/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=1962.41 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1208221 0 0 0 196167 74 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13704
/proc/meminfo: memFree=18877228/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2022.42 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1209898 0 0 0 202167 75 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017810 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13705
/proc/meminfo: memFree=18877800/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2082.42 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1211884 0 0 0 208167 75 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2142.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 13770
/proc/meminfo: memFree=19369152/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2142.42 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1213693 0 0 0 214167 75 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017782 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2202.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 13771
/proc/meminfo: memFree=19180664/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2202.43 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1215501 0 0 0 220168 75 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 13779
/proc/meminfo: memFree=19179248/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2262.43 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1218204 0 0 0 226168 75 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 13780
/proc/meminfo: memFree=19179588/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2322.43 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1220747 0 0 0 232168 75 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912422520 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 13781
/proc/meminfo: memFree=19178424/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2382.44 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1223290 0 0 0 238168 76 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2382.44 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 13782
/proc/meminfo: memFree=19177400/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2442.44 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1225833 0 0 0 244168 76 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912422520 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
[startup+2502.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/187 13783
/proc/meminfo: memFree=19177268/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2502.45 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1228205 0 0 0 250169 76 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2502.45 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 13783
/proc/meminfo: memFree=19177548/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2520.05 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1228318 0 0 0 251929 76 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5333269 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 13644 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.29 s, system=0.768056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 13783
/proc/meminfo: memFree=19177548/32770624 swapFree=67108860/67108860
[pid=13644] ppid=13641 vsize=800584 memory=776640 CPUtime=2520.05 cores=1,3,5,7
/proc/13644/stat : 13644 (cosoco) R 13641 13644 11466 0 -1 4202496 1228318 0 0 0 251929 76 0 0 20 0 1 0 96997965 819798016 194160 33554432000 4194304 6142532 140722912435248 140722912432776 5333269 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 38727680 140722912437382 140722912437512 140722912437512 140722912440270 0
/proc/13644/statm: 200146 194160 847 476 0 193468 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 800584 KiB
Current children cumulated memory: 776640 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.06
CPU user time (s): 2519.29
CPU system time (s): 0.768056
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 800584
Max. memory (cumulated for all children) (KiB): 776640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.29
system time used= 0.768056
maximum resident set size= 776704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1228370
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= 45
involuntary context switches= 650
# summary of solver processes directly reported to runsolver:
# pid: 13644
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.29
# total CPU system time (s): 0.768056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79413 second user time and 19.9868 second system time
The end