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-4260231-1502025154/watcher-4260231-1502025154 -o /tmp/evaluation-result-4260231-1502025154/solver-4260231-1502025154 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10661 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260231-1502025154.xml
pid=12889
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.92 2.02 2.04 3/180 12892
/proc/meminfo: memFree=31738892/32770624 swapFree=0/317792
[pid=12892] ppid=12889 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12892/stat : 12892 (runsolver) D 12889 12892 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4736376 24240128 106 18446744073709551615 4194304 4338465 140737030802048 140737030799688 140444138390231 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 33501184 140737030803650 140737030804042 140737030804042 140737030807498 0
/proc/12892/statm: 5918 106 53 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 1.92 2.02 2.04 3/180 12892
/proc/meminfo: memFree=31738892/32770624 swapFree=0/317792
[pid=12892] ppid=12889 vsize=27084 CPUtime=0.01 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 1001 0 0 0 1 0 0 0 20 0 1 0 4736376 27734016 825 18446744073709551615 4194304 5747388 140722004144208 140722004140856 5183598 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 6771 825 702 380 0 189 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27084
[startup+0.200335 s]
/proc/loadavg: 1.92 2.02 2.04 3/180 12892
/proc/meminfo: memFree=31738892/32770624 swapFree=0/317792
[pid=12892] ppid=12889 vsize=28384 CPUtime=0.11 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 1430 0 0 0 11 0 0 0 20 0 1 0 4736376 29065216 1079 18446744073709551615 4194304 5747388 140722004144208 140722004140856 5477181 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 7096 1079 702 380 0 514 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28384
[startup+0.300318 s]
/proc/loadavg: 1.92 2.02 2.04 3/180 12892
/proc/meminfo: memFree=31738892/32770624 swapFree=0/317792
[pid=12892] ppid=12889 vsize=29944 CPUtime=0.21 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 1910 0 0 0 21 0 0 0 20 0 1 0 4736376 30662656 1367 18446744073709551615 4194304 5747388 140722004144208 140722004140856 5186952 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 7486 1367 702 380 0 904 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29944
[startup+0.700309 s]
/proc/loadavg: 1.92 2.02 2.04 3/180 12892
/proc/meminfo: memFree=31738892/32770624 swapFree=0/317792
[pid=12892] ppid=12889 vsize=38344 CPUtime=0.61 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 4282 0 0 0 61 0 0 0 20 0 1 0 4736376 39264256 3485 18446744073709551615 4194304 5747388 140722004144208 140722004140200 5478123 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 9586 3485 705 380 0 3004 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 38344
[startup+1.50031 s]
/proc/loadavg: 1.85 2.00 2.03 3/181 12893
/proc/meminfo: memFree=31706652/32770624 swapFree=0/317792
[pid=12892] ppid=12889 vsize=46752 CPUtime=1.41 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 6212 0 0 0 141 0 0 0 20 0 1 0 4736376 47874048 5465 18446744073709551615 4194304 5747388 140722004144208 140722004140856 5478150 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 11688 5465 705 380 0 5106 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 46752
[startup+3.10028 s]
/proc/loadavg: 1.85 2.00 2.03 3/181 12893
/proc/meminfo: memFree=31687556/32770624 swapFree=0/317780
[pid=12892] ppid=12889 vsize=61716 CPUtime=3.01 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 11039 0 0 0 300 1 0 0 20 0 1 0 4736376 63197184 8897 18446744073709551615 4194304 5747388 140722004144208 140722004140856 5181248 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 15429 8897 705 380 0 8847 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 61716
[startup+6.30028 s]
/proc/loadavg: 1.85 2.00 2.03 3/181 12893
/proc/meminfo: memFree=31619996/32770624 swapFree=0/317788
[pid=12892] ppid=12889 vsize=99036 CPUtime=6.21 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 21458 0 0 0 618 3 0 0 20 0 1 0 4736376 101412864 17434 18446744073709551615 4194304 5747388 140722004144208 140722004140856 5473800 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 24759 17434 705 380 0 18177 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 99036
[startup+12.7003 s]
/proc/loadavg: 1.87 2.00 2.03 3/181 12894
/proc/meminfo: memFree=31487460/32770624 swapFree=0/317796
[pid=12892] ppid=12889 vsize=167780 CPUtime=12.61 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 39195 0 0 0 1256 5 0 0 20 0 1 0 4736376 171806720 33388 18446744073709551615 4194304 5747388 140722004144208 140722004140856 5220038 0 0 1 0 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 41945 33388 705 380 0 35363 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 167780
[startup+25.5004 s]
/proc/loadavg: 1.89 2.00 2.03 3/181 12894
/proc/meminfo: memFree=31416024/32770624 swapFree=0/317808
[pid=12892] ppid=12889 vsize=195536 CPUtime=25.41 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 119604 0 0 0 2533 8 0 0 20 0 1 0 4736376 200228864 40403 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4894113 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 40403 748 380 0 42302 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 195536
[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 13208
/proc/meminfo: memFree=30223632/32770624 swapFree=0/318096
[pid=12892] ppid=12889 vsize=195536 CPUtime=51.01 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 154878 0 0 0 5091 10 0 0 20 0 1 0 4736376 200228864 40801 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4894191 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 40801 748 380 0 42302 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 195536
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 13223
/proc/meminfo: memFree=29136476/32770624 swapFree=0/318200
[pid=12892] ppid=12889 vsize=195536 CPUtime=102.19 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 179806 0 0 0 10208 11 0 0 20 0 1 0 4736376 200228864 42227 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42227 748 380 0 42302 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 195536
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 13311
/proc/meminfo: memFree=31594972/32770624 swapFree=0/318360
[pid=12892] ppid=12889 vsize=195536 CPUtime=162.17 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 186605 0 0 0 16206 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 195536
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 13313
/proc/meminfo: memFree=31596072/32770624 swapFree=0/318440
[pid=12892] ppid=12889 vsize=195536 CPUtime=222.19 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 187341 0 0 0 22208 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 195536
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13376
/proc/meminfo: memFree=31601128/32770624 swapFree=0/318520
[pid=12892] ppid=12889 vsize=195536 CPUtime=282.19 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 187341 0 0 0 28208 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 195536
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13378
/proc/meminfo: memFree=31600488/32770624 swapFree=0/318620
[pid=12892] ppid=12889 vsize=195536 CPUtime=342.19 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 188077 0 0 0 34208 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 195536
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 13380
/proc/meminfo: memFree=31600248/32770624 swapFree=0/318712
[pid=12892] ppid=12889 vsize=195536 CPUtime=402.2 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 188077 0 0 0 40209 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893936 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 195536
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 13382
/proc/meminfo: memFree=31600352/32770624 swapFree=0/318744
[pid=12892] ppid=12889 vsize=195536 CPUtime=462.2 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 188813 0 0 0 46209 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893982 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 195536
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 13384
/proc/meminfo: memFree=31600484/32770624 swapFree=0/318796
[pid=12892] ppid=12889 vsize=195536 CPUtime=522.21 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 188813 0 0 0 52210 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 195536
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 13386
/proc/meminfo: memFree=31600340/32770624 swapFree=0/318824
[pid=12892] ppid=12889 vsize=195536 CPUtime=582.21 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 189549 0 0 0 58210 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893982 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 195536
################
# More data... #
################
/proc/loadavg: 1.99 2.01 2.04 3/184 13527
/proc/meminfo: memFree=31595132/32770624 swapFree=0/319164
[pid=12892] ppid=12889 vsize=195536 CPUtime=762.24 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 190285 0 0 0 76213 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 195536
[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/181 13589
/proc/meminfo: memFree=31595812/32770624 swapFree=0/319244
[pid=12892] ppid=12889 vsize=195536 CPUtime=822.24 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 190769 0 0 0 82213 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4892846 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 195536
[startup+882.306 s]
/proc/loadavg: 2.01 2.01 2.04 3/181 13591
/proc/meminfo: memFree=31595904/32770624 swapFree=0/319308
[pid=12892] ppid=12889 vsize=195536 CPUtime=882.25 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 191021 0 0 0 88214 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 195536
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 13593
/proc/meminfo: memFree=31596368/32770624 swapFree=0/319360
[pid=12892] ppid=12889 vsize=195536 CPUtime=942.25 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 191757 0 0 0 94214 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4894018 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 195536
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/180 13595
/proc/meminfo: memFree=31596772/32770624 swapFree=0/319408
[pid=12892] ppid=12889 vsize=195536 CPUtime=1002.26 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 191757 0 0 0 100215 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 195536
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 13598
/proc/meminfo: memFree=31596640/32770624 swapFree=0/319464
[pid=12892] ppid=12889 vsize=195536 CPUtime=1062.26 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 192246 0 0 0 106215 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 195536
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 13600
/proc/meminfo: memFree=31596400/32770624 swapFree=0/319500
[pid=12892] ppid=12889 vsize=195536 CPUtime=1122.27 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 192493 0 0 0 112216 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 195536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 13724
/proc/meminfo: memFree=31600196/32770624 swapFree=0/319620
[pid=12892] ppid=12889 vsize=195536 CPUtime=1182.28 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 192982 0 0 0 118217 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 195536
[startup+1242.3 s]
/proc/loadavg: 1.93 1.99 2.03 3/181 13786
/proc/meminfo: memFree=31600472/32770624 swapFree=0/319716
[pid=12892] ppid=12889 vsize=195536 CPUtime=1242.28 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193229 0 0 0 124217 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4892815 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 195536
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12892 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.11 2.02 2.05 2/177 13955
/proc/meminfo: memFree=31601608/32770624 swapFree=0/319824
[pid=12892] ppid=12889 vsize=195536 CPUtime=1254.38 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193229 0 0 0 125427 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1254.38
Current children cumulated vsize (KiB) 195536
[startup+1280 s]
/proc/loadavg: 2.19 2.05 2.05 3/181 14293
/proc/meminfo: memFree=31579968/32770624 swapFree=0/320080
[pid=12892] ppid=12889 vsize=195536 CPUtime=1279.99 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193694 0 0 0 127988 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4894006 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1279.99
Current children cumulated vsize (KiB) 195536
[startup+1286.4 s]
/proc/loadavg: 2.18 2.05 2.05 3/181 14293
/proc/meminfo: memFree=31579976/32770624 swapFree=0/320084
[pid=12892] ppid=12889 vsize=195536 CPUtime=1286.39 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193694 0 0 0 128628 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4894006 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1286.39
Current children cumulated vsize (KiB) 195536
[startup+1289.6 s]
/proc/loadavg: 2.16 2.05 2.05 3/181 14293
/proc/meminfo: memFree=31579976/32770624 swapFree=0/320084
[pid=12892] ppid=12889 vsize=195536 CPUtime=1289.59 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193694 0 0 0 128948 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4894021 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1289.59
Current children cumulated vsize (KiB) 195536
[startup+1292.8 s]
/proc/loadavg: 2.15 2.05 2.05 3/184 14307
/proc/meminfo: memFree=31574724/32770624 swapFree=0/320100
[pid=12892] ppid=12889 vsize=195536 CPUtime=1292.79 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193694 0 0 0 129268 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4892736 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1292.79
Current children cumulated vsize (KiB) 195536
[startup+1294.4 s]
/proc/loadavg: 2.15 2.05 2.05 3/184 14307
/proc/meminfo: memFree=31574724/32770624 swapFree=0/320108
[pid=12892] ppid=12889 vsize=195536 CPUtime=1294.39 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193694 0 0 0 129428 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893982 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1294.39
Current children cumulated vsize (KiB) 195536
[startup+1294.81 s]
/proc/loadavg: 2.15 2.05 2.05 3/184 14307
/proc/meminfo: memFree=31574724/32770624 swapFree=0/320108
[pid=12892] ppid=12889 vsize=195536 CPUtime=1294.79 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193694 0 0 0 129468 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1294.79
Current children cumulated vsize (KiB) 195536
[startup+1295 s]
/proc/loadavg: 2.15 2.05 2.05 3/184 14307
/proc/meminfo: memFree=31574724/32770624 swapFree=0/320108
[pid=12892] ppid=12889 vsize=195536 CPUtime=1294.99 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193694 0 0 0 129488 11 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1294.99
Current children cumulated vsize (KiB) 195536
[startup+1295.1 s]
/proc/loadavg: 2.15 2.05 2.05 3/184 14307
/proc/meminfo: memFree=31574724/32770624 swapFree=0/320108
[pid=12892] ppid=12889 vsize=195536 CPUtime=1295.1 cores=0,2,4,6
/proc/12892/stat : 12892 (cosoco) R 12889 12892 9955 0 -1 4202496 193743 0 0 0 129498 12 0 0 20 0 1 0 4736376 200228864 42956 18446744073709551615 4194304 5747388 140722004144208 140722004141608 4889859 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 15925248 140722004152815 140722004152910 140722004152910 140722004156366 0
/proc/12892/statm: 48884 42956 748 380 0 42302 0
Current children cumulated CPU time (s) 1295.1
Current children cumulated vsize (KiB) 195536
Child status: 0
Real time (s): 1295.1
CPU time (s): 1295.11
CPU user time (s): 1294.99
CPU system time (s): 0.121011
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 195536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1294.99
system time used= 0.121011
maximum resident set size= 171896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193785
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= 77
involuntary context switches= 341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.34249 second user time and 5.23493 second system time
The end