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 (14265 MiB free)
memory of node 1: 16384 MiB (14869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265942-1502586431/watcher-4265942-1502586431 -o /tmp/evaluation-result-4265942-1502586431/solver-4265942-1502586431 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265942-1502586431.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=26716, runsolver pid=26713
[startup+0.10012 s]*
/proc/loadavg: 1.92 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29796824/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68228 memory=42492 CPUtime=0.1 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 9923 0 0 0 9 1 0 0 20 0 1 0 91731356 69865472 10623 33554432000 4194304 5972588 140724074625344 140724074621992 4935463 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17057 10623 765 435 0 10420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68228 KiB
Current children cumulated memory: 42492 KiB
[startup+0.209535 s]*
/proc/loadavg: 1.92 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29794220/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68228 memory=42492 CPUtime=0.21 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 9927 0 0 0 20 1 0 0 20 0 1 0 91731356 69865472 10623 33554432000 4194304 5972588 140724074625344 140724074612552 4935490 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17057 10623 765 435 0 10420 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 68228 KiB
Current children cumulated memory: 42492 KiB
[startup+0.309413 s]*
/proc/loadavg: 1.92 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29794220/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68228 memory=42492 CPUtime=0.31 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 9927 0 0 0 30 1 0 0 20 0 1 0 91731356 69865472 10623 33554432000 4194304 5972588 140724074625344 140724074612552 4935408 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17057 10623 765 435 0 10420 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68228 KiB
Current children cumulated memory: 42492 KiB
[startup+0.700435 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29793848/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68624 memory=43020 CPUtime=0.69 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 10033 0 0 0 68 1 0 0 20 0 1 0 91731356 70270976 10755 33554432000 4194304 5972588 140724074625344 140724074612552 4935471 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17156 10755 783 435 0 10519 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 68624 KiB
Current children cumulated memory: 43020 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29793848/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68624 memory=43020 CPUtime=1.49 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 10033 0 0 0 148 1 0 0 20 0 1 0 91731356 70270976 10755 33554432000 4194304 5972588 140724074625344 140724074612536 5327769 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17156 10755 783 435 0 10519 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68624 KiB
Current children cumulated memory: 43020 KiB
[startup+3.10944 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29793736/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68624 memory=43180 CPUtime=3.09 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 13871 0 0 0 308 1 0 0 20 0 1 0 91731356 70270976 10795 33554432000 4194304 5972588 140724074625344 140724074612536 5048020 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17156 10795 785 435 0 10519 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68624 KiB
Current children cumulated memory: 43180 KiB
[startup+6.30026 s]
/proc/loadavg: 1.93 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29793392/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68756 memory=43260 CPUtime=6.29 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 19077 0 0 0 627 2 0 0 20 0 1 0 91731356 70406144 10815 33554432000 4194304 5972588 140724074625344 140724074622200 4935525 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17189 10815 785 435 0 10552 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 68756 KiB
Current children cumulated memory: 43260 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 2.04 2.06 3/187 26717
/proc/meminfo: memFree=29793400/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68756 memory=43364 CPUtime=12.68 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 25025 0 0 0 1266 2 0 0 20 0 1 0 91731356 70406144 10841 33554432000 4194304 5972588 140724074625344 140724074622200 4935502 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17189 10841 785 435 0 10552 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 68756 KiB
Current children cumulated memory: 43364 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.04 2.05 3/187 26717
/proc/meminfo: memFree=29793216/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=68756 memory=43588 CPUtime=25.48 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 36319 0 0 0 2545 3 0 0 20 0 1 0 91731356 70406144 10897 33554432000 4194304 5972588 140724074625344 140724074622792 4935454 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 17189 10897 785 435 0 10552 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 68756 KiB
Current children cumulated memory: 43588 KiB
[startup+51.1095 s]
/proc/loadavg: 1.97 2.04 2.05 3/187 26717
/proc/meminfo: memFree=29791524/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76068 memory=44224 CPUtime=51.08 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 40199 0 0 0 5104 4 0 0 20 0 1 0 91731356 77893632 11056 33554432000 4194304 5972588 140724074625344 140724074622504 4934350 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19017 11056 785 435 0 12380 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 76068 KiB
Current children cumulated memory: 44224 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 26718
/proc/meminfo: memFree=29790532/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76068 memory=45104 CPUtime=102.25 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 44157 0 0 0 10221 4 0 0 20 0 1 0 91731356 77893632 11276 33554432000 4194304 5972588 140724074625344 140724074622504 4935478 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19017 11276 785 435 0 12380 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 76068 KiB
Current children cumulated memory: 45104 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 26720
/proc/meminfo: memFree=29787508/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76332 memory=48264 CPUtime=162.26 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 46195 0 0 0 16221 5 0 0 20 0 1 0 91731356 78163968 12066 33554432000 4194304 5972588 140724074625344 140724074621992 4935787 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19083 12066 785 435 0 12446 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 76332 KiB
Current children cumulated memory: 48264 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26721
/proc/meminfo: memFree=29787084/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76332 memory=48320 CPUtime=222.26 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 47006 0 0 0 22221 5 0 0 20 0 1 0 91731356 78163968 12080 33554432000 4194304 5972588 140724074625344 140724074621992 4935428 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19083 12080 785 435 0 12446 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 76332 KiB
Current children cumulated memory: 48320 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26722
/proc/meminfo: memFree=29787552/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76332 memory=48340 CPUtime=282.26 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 47840 0 0 0 28221 5 0 0 20 0 1 0 91731356 78163968 12085 33554432000 4194304 5972588 140724074625344 140724074621992 4935486 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19083 12085 785 435 0 12446 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 76332 KiB
Current children cumulated memory: 48340 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26724
/proc/meminfo: memFree=29787056/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48364 CPUtime=342.26 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 48556 0 0 0 34221 5 0 0 20 0 1 0 91731356 78299136 12091 33554432000 4194304 5972588 140724074625344 140724074622200 4935471 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12091 785 435 0 12479 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48364 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26725
/proc/meminfo: memFree=29786912/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48376 CPUtime=402.26 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 49299 0 0 0 40221 5 0 0 20 0 1 0 91731356 78299136 12094 33554432000 4194304 5972588 140724074625344 140724074622200 4935463 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12094 785 435 0 12479 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48376 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26734
/proc/meminfo: memFree=29785780/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48380 CPUtime=462.26 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 49956 0 0 0 46221 5 0 0 20 0 1 0 91731356 78299136 12095 33554432000 4194304 5972588 140724074625344 140724074622200 5139327 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12095 785 435 0 12479 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48380 KiB
################
# More data... #
################
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 26789
/proc/meminfo: memFree=29784848/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=1782.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 61127 0 0 0 178223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4935463 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 26836
/proc/meminfo: memFree=29781752/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=1842.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 61403 0 0 0 184223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4935502 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 26837
/proc/meminfo: memFree=29783348/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=1902.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 61677 0 0 0 190223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4935463 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 26839
/proc/meminfo: memFree=29783628/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=1962.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 61997 0 0 0 196223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4935692 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26840
/proc/meminfo: memFree=29783636/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2022.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 62292 0 0 0 202223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4936025 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2082.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 26902
/proc/meminfo: memFree=29154476/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2082.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 62957 0 0 0 208223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4977681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2142.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 26904
/proc/meminfo: memFree=29138464/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2142.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 63553 0 0 0 214223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4935490 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2202.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 26905
/proc/meminfo: memFree=29137088/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2202.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 64079 0 0 0 220223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4934289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 26914
/proc/meminfo: memFree=29136296/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2262.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 64593 0 0 0 226223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4935490 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 26915
/proc/meminfo: memFree=29136324/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2322.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 65261 0 0 0 232223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4936000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 26916
/proc/meminfo: memFree=29136928/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2382.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 65527 0 0 0 238223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4935408 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 26917
/proc/meminfo: memFree=29135936/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2442.28 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 66234 0 0 0 244223 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4978055 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 26918
/proc/meminfo: memFree=29135836/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2502.29 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 66692 0 0 0 250224 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4971333 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 26918
/proc/meminfo: memFree=29134856/32770624 swapFree=67108860/67108860
[pid=26716] ppid=26713 vsize=76464 memory=48472 CPUtime=2519.99 cores=0,2,4,6
/proc/26716/stat : 26716 (cosoco) R 26713 26716 24168 0 -1 4202496 67088 0 0 0 251994 5 0 0 20 0 1 0 91731356 78299136 12118 33554432000 4194304 5972588 140724074625344 140724074622200 4975428 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 24305664 140724074628282 140724074628382 140724074628382 140724074631118 0
/proc/26716/statm: 19116 12118 785 435 0 12479 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 76464 KiB
Current children cumulated memory: 48472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 26716 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.95 s, system=0.059 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.01
CPU user time (s): 2519.95
CPU system time (s): 0.059
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 76464
Max. memory (cumulated for all children) (KiB): 48472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.059
maximum resident set size= 48556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67155
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= 16
involuntary context switches= 770
# summary of solver processes directly reported to runsolver:
# pid: 26716
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.95
# total CPU system time (s): 0.059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.59227 second user time and 15.9023 second system time
The end