runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240013-1500635808/watcher-4240013-1500635808 -o /tmp/evaluation-result-4240013-1500635808/solver-4240013-1500635808 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500635808-9680 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240013-1500635808.xml
pid=9698
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.14 1.69 1.92 3/182 9701
/proc/meminfo: memFree=31468024/32770624 swapFree=6172/400792
[pid=9701] ppid=9698 vsize=5512 CPUtime=0 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) D 9698 9701 6087 0 -1 1077936128 160 0 2 0 0 0 0 0 20 0 1 0 17006659 5644288 37 33554432000 4194304 5970956 140731679790016 140731679787208 139974207686343 0 0 4096 0 18446744072101715492 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 1378 37 27 434 0 40 0
[startup+0.100117 s]
/proc/loadavg: 1.14 1.69 1.92 3/182 9701
/proc/meminfo: memFree=31468024/32770624 swapFree=6172/400792
[pid=9701] ppid=9698 vsize=27640 CPUtime=0.08 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1242 0 3 0 8 0 0 0 20 0 1 0 17006659 28303360 1037 33554432000 4194304 5970956 140731679790016 140731679777320 5098954 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1037 824 434 0 274 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27640
[startup+0.200273 s]
/proc/loadavg: 1.14 1.69 1.92 3/182 9701
/proc/meminfo: memFree=31468024/32770624 swapFree=6172/400792
[pid=9701] ppid=9698 vsize=27640 CPUtime=0.18 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1242 0 3 0 18 0 0 0 20 0 1 0 17006659 28303360 1037 33554432000 4194304 5970956 140731679790016 140731679787576 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1037 824 434 0 274 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 27640
[startup+0.300214 s]
/proc/loadavg: 1.14 1.69 1.92 3/182 9701
/proc/meminfo: memFree=31468024/32770624 swapFree=6172/400792
[pid=9701] ppid=9698 vsize=27640 CPUtime=0.28 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1245 0 3 0 28 0 0 0 20 0 1 0 17006659 28303360 1037 33554432000 4194304 5970956 140731679790016 140731679787576 5136570 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1037 824 434 0 274 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27640
[startup+0.700172 s]
/proc/loadavg: 1.14 1.69 1.92 3/182 9701
/proc/meminfo: memFree=31468024/32770624 swapFree=6172/400792
[pid=9701] ppid=9698 vsize=27640 CPUtime=0.68 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1245 0 3 0 68 0 0 0 20 0 1 0 17006659 28303360 1037 33554432000 4194304 5970956 140731679790016 140731679777320 5319868 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1037 824 434 0 274 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27640
[startup+1.50017 s]
/proc/loadavg: 1.14 1.69 1.92 3/189 9712
/proc/meminfo: memFree=31462988/32770624 swapFree=6172/402016
[pid=9701] ppid=9698 vsize=27640 CPUtime=1.48 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1245 0 3 0 148 0 0 0 20 0 1 0 17006659 28303360 1037 33554432000 4194304 5970956 140731679790016 140731679787576 5040105 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1037 824 434 0 274 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27640
[startup+3.10017 s]
/proc/loadavg: 1.14 1.69 1.92 3/189 9712
/proc/meminfo: memFree=31462120/32770624 swapFree=6172/402016
[pid=9701] ppid=9698 vsize=27640 CPUtime=3.08 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1446 0 3 0 308 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679777320 5045760 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27640
[startup+6.30017 s]
/proc/loadavg: 1.20 1.69 1.92 3/189 9712
/proc/meminfo: memFree=31461796/32770624 swapFree=6172/402020
[pid=9701] ppid=9698 vsize=27640 CPUtime=6.27 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1645 0 3 0 627 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5039162 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 27640
[startup+12.7002 s]
/proc/loadavg: 1.27 1.70 1.92 3/189 9712
/proc/meminfo: memFree=31461468/32770624 swapFree=6172/402032
[pid=9701] ppid=9698 vsize=27640 CPUtime=12.67 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 1833 0 3 0 1267 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679777320 5136577 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27640
[startup+25.5002 s]
/proc/loadavg: 1.43 1.71 1.92 3/189 9712
/proc/meminfo: memFree=31461472/32770624 swapFree=6172/402048
[pid=9701] ppid=9698 vsize=27640 CPUtime=25.46 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 2205 0 3 0 2546 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679777320 4908338 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 27640
[startup+51.1002 s]
/proc/loadavg: 1.62 1.73 1.92 3/189 9712
/proc/meminfo: memFree=31461608/32770624 swapFree=6172/402056
[pid=9701] ppid=9698 vsize=27640 CPUtime=51.06 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 2404 0 3 0 5106 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5045021 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 27640
[startup+102.3 s]
/proc/loadavg: 1.84 1.77 1.93 3/188 9713
/proc/meminfo: memFree=31461252/32770624 swapFree=6172/402096
[pid=9701] ppid=9698 vsize=27640 CPUtime=102.25 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 2620 0 3 0 10225 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679777320 5045760 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 27640
[startup+162.3 s]
/proc/loadavg: 1.94 1.82 1.94 3/188 9714
/proc/meminfo: memFree=31461112/32770624 swapFree=6172/402120
[pid=9701] ppid=9698 vsize=27640 CPUtime=162.23 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 2806 0 3 0 16223 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679777320 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 27640
[startup+222.306 s]
/proc/loadavg: 1.98 1.85 1.94 3/189 9723
/proc/meminfo: memFree=31452432/32770624 swapFree=6172/402144
[pid=9701] ppid=9698 vsize=27640 CPUtime=222.23 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 3005 0 3 0 22223 0 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5038728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27640
[startup+282.3 s]
/proc/loadavg: 1.99 1.88 1.95 3/189 9724
/proc/meminfo: memFree=31452856/32770624 swapFree=6172/402188
[pid=9701] ppid=9698 vsize=27640 CPUtime=282.21 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 3191 0 3 0 28220 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136789 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 27640
[startup+342.3 s]
/proc/loadavg: 2.00 1.90 1.95 3/188 9725
/proc/meminfo: memFree=31452564/32770624 swapFree=6172/402236
[pid=9701] ppid=9698 vsize=27640 CPUtime=342.2 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 3377 0 3 0 34219 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 4912815 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27640
[startup+402.3 s]
/proc/loadavg: 2.00 1.92 1.95 3/188 9726
/proc/meminfo: memFree=31452620/32770624 swapFree=6172/402268
[pid=9701] ppid=9698 vsize=27640 CPUtime=402.19 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 3563 0 3 0 40218 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5044939 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 27640
[startup+462.3 s]
/proc/loadavg: 2.00 1.93 1.95 3/188 9727
/proc/meminfo: memFree=31452868/32770624 swapFree=6172/402292
[pid=9701] ppid=9698 vsize=27640 CPUtime=462.17 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 3749 0 3 0 46216 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5044824 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 27640
[startup+522.3 s]
/proc/loadavg: 2.09 1.97 1.97 3/187 9729
/proc/meminfo: memFree=31452276/32770624 swapFree=6172/402304
[pid=9701] ppid=9698 vsize=27640 CPUtime=522.16 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 3935 0 3 0 52215 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136615 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 27640
[startup+582.3 s]
/proc/loadavg: 2.03 1.98 1.97 3/187 9730
/proc/meminfo: memFree=31452616/32770624 swapFree=6172/402324
[pid=9701] ppid=9698 vsize=27640 CPUtime=582.14 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 4121 0 3 0 58213 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 4912770 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 27640
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 9761
/proc/meminfo: memFree=31452172/32770624 swapFree=6172/402652
[pid=9701] ppid=9698 vsize=27640 CPUtime=1481.94 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 6911 0 3 0 148193 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 27640
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 1.99 3/187 9762
/proc/meminfo: memFree=31452184/32770624 swapFree=6172/402680
[pid=9701] ppid=9698 vsize=27640 CPUtime=1541.93 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 7097 0 3 0 154192 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5038701 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 27640
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 9763
/proc/meminfo: memFree=31451952/32770624 swapFree=6172/402696
[pid=9701] ppid=9698 vsize=27640 CPUtime=1601.91 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 7283 0 3 0 160190 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 27640
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/187 9764
/proc/meminfo: memFree=31451812/32770624 swapFree=6172/402720
[pid=9701] ppid=9698 vsize=27640 CPUtime=1661.9 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 7469 0 3 0 166189 1 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5039176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 27640
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/187 9765
/proc/meminfo: memFree=31451572/32770624 swapFree=6172/402752
[pid=9701] ppid=9698 vsize=27640 CPUtime=1721.89 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 7655 0 3 0 172187 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5045183 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 27640
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 9766
/proc/meminfo: memFree=31451572/32770624 swapFree=6172/402772
[pid=9701] ppid=9698 vsize=27640 CPUtime=1781.88 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 7841 0 3 0 178186 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 27640
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 9767
/proc/meminfo: memFree=31451712/32770624 swapFree=6172/402780
[pid=9701] ppid=9698 vsize=27640 CPUtime=1841.86 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 8027 0 3 0 184184 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5098896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 27640
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 9768
/proc/meminfo: memFree=31451960/32770624 swapFree=6172/402816
[pid=9701] ppid=9698 vsize=27640 CPUtime=1901.85 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 8213 0 3 0 190183 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 27640
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 9769
/proc/meminfo: memFree=31451836/32770624 swapFree=6172/402840
[pid=9701] ppid=9698 vsize=27640 CPUtime=1961.83 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 8399 0 3 0 196181 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5046962 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 27640
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/187 9777
/proc/meminfo: memFree=31450956/32770624 swapFree=6172/402848
[pid=9701] ppid=9698 vsize=27640 CPUtime=2021.82 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 8585 0 3 0 202180 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5045172 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 27640
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/187 9778
/proc/meminfo: memFree=31451452/32770624 swapFree=6172/402872
[pid=9701] ppid=9698 vsize=27640 CPUtime=2081.81 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 8771 0 3 0 208179 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5045183 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 27640
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/187 9779
/proc/meminfo: memFree=31451708/32770624 swapFree=6172/402892
[pid=9701] ppid=9698 vsize=27640 CPUtime=2141.79 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 8957 0 3 0 214177 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 27640
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 9780
/proc/meminfo: memFree=31451988/32770624 swapFree=6172/402912
[pid=9701] ppid=9698 vsize=27640 CPUtime=2201.78 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 9143 0 3 0 220176 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5093172 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2201.78
Current children cumulated vsize (KiB) 27640
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 9781
/proc/meminfo: memFree=31451848/32770624 swapFree=6172/402936
[pid=9701] ppid=9698 vsize=27640 CPUtime=2261.76 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 9329 0 3 0 226174 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 4912960 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 27640
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 9783
/proc/meminfo: memFree=31450996/32770624 swapFree=6172/402964
[pid=9701] ppid=9698 vsize=27640 CPUtime=2321.75 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 9515 0 3 0 232173 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5038202 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2321.75
Current children cumulated vsize (KiB) 27640
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 9784
/proc/meminfo: memFree=31450996/32770624 swapFree=6172/402992
[pid=9701] ppid=9698 vsize=27640 CPUtime=2381.73 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 9701 0 3 0 238171 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136587 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2381.73
Current children cumulated vsize (KiB) 27640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 9784
/proc/meminfo: memFree=31450996/32770624 swapFree=6172/403000
[pid=9701] ppid=9698 vsize=27640 CPUtime=2400.03 cores=0,2,4,6
/proc/9701/stat : 9701 (cosoco) R 9698 9701 6087 0 -1 4202496 9887 0 3 0 240001 2 0 0 20 0 1 0 17006659 28303360 1089 33554432000 4194304 5970956 140731679790016 140731679787576 5136629 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15503360 140731679794369 140731679794499 140731679794499 140731679797198 0
/proc/9701/statm: 6910 1089 828 434 0 274 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 27640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9701 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400.02
CPU system time (s): 0.029993
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 27640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.029993
maximum resident set size= 4404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9921
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 121477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73787 second user time and 7.28623 second system time
The end