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-4260206-1502032883/watcher-4260206-1502032883 -o /tmp/evaluation-result-4260206-1502032883/solver-4260206-1502032883 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260206-1502032883.xml
pid=26102
running on 4 cores: 1,3,5,7
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.97 2.01 2.04 3/180 26105
/proc/meminfo: memFree=31696644/32770624 swapFree=0/347580
[pid=26105] ppid=26102 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26105/stat : 26105 (runsolver) D 26102 26105 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5484159 24240128 108 18446744073709551615 4194304 4338465 140726107405936 140726107403576 140331964486359 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 8974336 140726107410626 140726107411018 140726107411018 140726107414474 0
/proc/26105/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.97 2.01 2.04 3/180 26105
/proc/meminfo: memFree=31696644/32770624 swapFree=0/347580
[pid=26105] ppid=26102 vsize=28712 CPUtime=0.02 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1425 0 0 0 2 0 0 0 20 0 1 0 5484159 29401088 1248 18446744073709551615 4194304 5747388 140729224704016 140729224699400 140521474838960 0 0 1 0 0 0 0 17 7 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 7178 1248 693 380 0 596 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 28712
[startup+0.201155 s]
/proc/loadavg: 1.97 2.01 2.04 3/180 26105
/proc/meminfo: memFree=31696644/32770624 swapFree=0/347580
[pid=26105] ppid=26102 vsize=39488 CPUtime=0.12 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 4112 0 0 0 12 0 0 0 20 0 1 0 5484159 40435712 3888 18446744073709551615 4194304 5747388 140729224704016 140729224700664 5210679 0 0 1 0 0 0 0 17 7 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 9872 3888 705 380 0 3290 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 39488
[startup+0.301157 s]
/proc/loadavg: 1.97 2.01 2.04 3/180 26105
/proc/meminfo: memFree=31696644/32770624 swapFree=0/347580
[pid=26105] ppid=26102 vsize=57368 CPUtime=0.22 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 8609 0 0 0 22 0 0 0 20 0 1 0 5484159 58744832 8442 18446744073709551615 4194304 5747388 140729224704016 140729224697736 5354207 0 0 1 0 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 14342 8442 726 380 0 7760 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 57368
[startup+0.700295 s]
/proc/loadavg: 1.97 2.01 2.04 3/180 26105
/proc/meminfo: memFree=31696644/32770624 swapFree=0/347580
[pid=26105] ppid=26102 vsize=392868 CPUtime=0.62 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 92457 0 0 0 52 10 0 0 20 0 1 0 5484159 402296832 92245 18446744073709551615 4194304 5747388 140729224704016 140729224697736 140521465440160 0 0 1 0 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 98217 92311 727 380 0 91635 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 392868
[startup+1.50029 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 26106
/proc/meminfo: memFree=30856104/32770624 swapFree=0/347580
[pid=26105] ppid=26102 vsize=1233292 CPUtime=1.42 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 302668 0 0 0 106 36 0 0 20 0 1 0 5484159 1262891008 302414 18446744073709551615 4194304 5747388 140729224704016 140729224697736 5121136 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 308323 302414 728 380 0 301741 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 1233292
[startup+3.10031 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 26106
/proc/meminfo: memFree=30487416/32770624 swapFree=0/347640
[pid=26105] ppid=26102 vsize=1270532 CPUtime=3.02 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 323798 0 0 0 263 39 0 0 20 0 1 0 5484159 1301024768 311742 18446744073709551615 4194304 5747388 140729224704016 140729224701048 5000090 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 317633 311742 758 380 0 311051 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 1270532
[startup+6.3003 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 26106
/proc/meminfo: memFree=30029416/32770624 swapFree=0/347652
[pid=26105] ppid=26102 vsize=1761052 CPUtime=6.22 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 479599 0 0 0 564 58 0 0 20 0 1 0 5484159 1803317248 430211 18446744073709551615 4194304 5747388 140729224704016 140729224701096 4946836 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 440263 430211 758 380 0 433681 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 1761052
[startup+12.7003 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 26106
/proc/meminfo: memFree=29722020/32770624 swapFree=0/347652
[pid=26105] ppid=26102 vsize=2046636 CPUtime=12.62 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 695476 0 0 0 1188 74 0 0 20 0 1 0 5484159 2095755264 493248 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5142949 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 511659 493248 760 380 0 505077 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 2046636
[startup+25.5004 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 26106
/proc/meminfo: memFree=29468936/32770624 swapFree=0/347668
[pid=26105] ppid=26102 vsize=2322296 CPUtime=25.41 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 917000 0 0 0 2450 91 0 0 20 0 1 0 5484159 2378031104 556392 18446744073709551615 4194304 5747388 140729224704016 140729224701048 4947632 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 580574 556392 760 380 0 573992 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 2322296
[startup+51.1004 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 26106
/proc/meminfo: memFree=29402104/32770624 swapFree=0/347692
[pid=26105] ppid=26102 vsize=2392084 CPUtime=51.01 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1068235 0 0 0 4998 103 0 0 20 0 1 0 5484159 2449494016 573058 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4995152 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573058 760 380 0 591439 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 2392084
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 26108
/proc/meminfo: memFree=29400468/32770624 swapFree=0/347756
[pid=26105] ppid=26102 vsize=2392084 CPUtime=102.21 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1182022 0 0 0 10110 111 0 0 20 0 1 0 5484159 2449494016 573064 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4949045 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573064 760 380 0 591439 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 2392084
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 26124
/proc/meminfo: memFree=29397248/32770624 swapFree=0/347840
[pid=26105] ppid=26102 vsize=2392084 CPUtime=162.19 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1244338 0 0 0 16102 117 0 0 20 0 1 0 5484159 2449494016 573064 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4948396 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573064 760 380 0 591439 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 2392084
[startup+222.306 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 26126
/proc/meminfo: memFree=29397112/32770624 swapFree=0/347880
[pid=26105] ppid=26102 vsize=2392084 CPUtime=222.18 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1296033 0 0 0 22097 121 0 0 20 0 1 0 5484159 2449494016 573065 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5142945 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573065 760 380 0 591439 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 2392084
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 26128
/proc/meminfo: memFree=29400260/32770624 swapFree=0/347936
[pid=26105] ppid=26102 vsize=2392084 CPUtime=282.18 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1362535 0 0 0 28092 126 0 0 20 0 1 0 5484159 2449494016 573065 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4873180 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573065 760 380 0 591439 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 2392084
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26130
/proc/meminfo: memFree=29400784/32770624 swapFree=0/347972
[pid=26105] ppid=26102 vsize=2392084 CPUtime=342.17 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1414794 0 0 0 34087 130 0 0 20 0 1 0 5484159 2449494016 573065 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025392 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573065 760 380 0 591439 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 2392084
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26132
/proc/meminfo: memFree=29401336/32770624 swapFree=0/348000
[pid=26105] ppid=26102 vsize=2392084 CPUtime=402.16 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1446272 0 0 0 40084 132 0 0 20 0 1 0 5484159 2449494016 573065 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025404 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573065 760 380 0 591439 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 2392084
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26134
/proc/meminfo: memFree=29400760/32770624 swapFree=0/348040
[pid=26105] ppid=26102 vsize=2392084 CPUtime=462.16 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1498709 0 0 0 46080 136 0 0 20 0 1 0 5484159 2449494016 573065 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025344 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573065 760 380 0 591439 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 2392084
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26136
/proc/meminfo: memFree=29400620/32770624 swapFree=0/348072
[pid=26105] ppid=26102 vsize=2392084 CPUtime=522.15 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1535134 0 0 0 52077 138 0 0 20 0 1 0 5484159 2449494016 573065 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4946836 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573065 760 380 0 591439 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 2392084
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26138
/proc/meminfo: memFree=29400412/32770624 swapFree=0/348080
[pid=26105] ppid=26102 vsize=2392084 CPUtime=582.14 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1565916 0 0 0 58074 140 0 0 20 0 1 0 5484159 2449494016 573065 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025392 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 573065 760 380 0 591439 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 2392084
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.16 2.04 2.05 3/181 26502
/proc/meminfo: memFree=29283080/32770624 swapFree=0/348816
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1482.02 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1861123 0 0 0 148041 161 0 0 20 0 1 0 5484159 2449494016 589296 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4947183 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589296 760 380 0 591439 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 2392084
[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 26504
/proc/meminfo: memFree=29281376/32770624 swapFree=0/348844
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1542.03 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1869485 0 0 0 154041 162 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4948935 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2392084
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 26506
/proc/meminfo: memFree=29282276/32770624 swapFree=0/348876
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1602.02 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1870825 0 0 0 160040 162 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4946829 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2392084
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 26508
/proc/meminfo: memFree=29282156/32770624 swapFree=0/348916
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1662.02 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1878416 0 0 0 166039 163 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5142932 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2392084
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/181 26510
/proc/meminfo: memFree=29282412/32770624 swapFree=0/348948
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1722.01 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1884393 0 0 0 172038 163 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4947744 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2392084
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 26512
/proc/meminfo: memFree=29281888/32770624 swapFree=0/348976
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1782.01 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1886250 0 0 0 178037 164 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025578 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2392084
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 26514
/proc/meminfo: memFree=29281640/32770624 swapFree=0/349008
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1842.01 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1887547 0 0 0 184037 164 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025399 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1842.01
Current children cumulated vsize (KiB) 2392084
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 26516
/proc/meminfo: memFree=29281640/32770624 swapFree=0/349036
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1902 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1888961 0 0 0 190036 164 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025392 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 2392084
[startup+1962.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 26533
/proc/meminfo: memFree=29278692/32770624 swapFree=0/349068
[pid=26105] ppid=26102 vsize=2392084 CPUtime=1962 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1896961 0 0 0 196035 165 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5142941 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 1962
Current children cumulated vsize (KiB) 2392084
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 26535
/proc/meminfo: memFree=29278236/32770624 swapFree=0/349128
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2022 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1899354 0 0 0 202034 166 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5142949 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 2392084
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 26537
/proc/meminfo: memFree=29280912/32770624 swapFree=0/349164
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2082.01 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1900797 0 0 0 208035 166 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4946836 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 2392084
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 26539
/proc/meminfo: memFree=29281284/32770624 swapFree=0/349172
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2142 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1902263 0 0 0 214034 166 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5142941 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 2392084
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 26541
/proc/meminfo: memFree=29281748/32770624 swapFree=0/349220
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2202 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1908971 0 0 0 220034 166 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4947953 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2202
Current children cumulated vsize (KiB) 2392084
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 26543
/proc/meminfo: memFree=29281764/32770624 swapFree=0/349252
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2261.99 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1910717 0 0 0 226033 166 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5142949 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 2392084
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 26545
/proc/meminfo: memFree=29282136/32770624 swapFree=0/349280
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2321.98 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1913073 0 0 0 232032 166 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4948396 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 2392084
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 26547
/proc/meminfo: memFree=29282080/32770624 swapFree=0/349312
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2381.99 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1914568 0 0 0 238032 167 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 4946833 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 2392084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26547
/proc/meminfo: memFree=29282204/32770624 swapFree=0/349328
[pid=26105] ppid=26102 vsize=2392084 CPUtime=2400.08 cores=1,3,5,7
/proc/26105/stat : 26105 (cosoco) R 26102 26105 21827 0 -1 4202496 1915347 0 0 0 239841 167 0 0 20 0 1 0 5484159 2449494016 589687 18446744073709551615 4194304 5747388 140729224704016 140729224701416 5025579 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 29020160 140729224712687 140729224712782 140729224712782 140729224716238 0
/proc/26105/statm: 598021 589687 760 380 0 591439 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 2392084
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 26105 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.42
CPU time (s): 2400.11
CPU user time (s): 2398.42
CPU system time (s): 1.69191
CPU usage (%): 99.9872
Max. virtual memory (cumulated for all children) (KiB): 2392084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.42
system time used= 1.69191
maximum resident set size= 2358824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1915401
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= 214
involuntary context switches= 665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59109 second user time and 9.90738 second system time
The end