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-4241200-1500648176/watcher-4241200-1500648176 -o /tmp/evaluation-result-4241200-1500648176/solver-4241200-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9843 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241200-1500648176.xml
pid=9857
running on 8 cores: 0,2,4,6,8,10,12,14
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: 0.00 0.09 0.18 2/236 9862
/proc/meminfo: memFree=32078588/32770624 swapFree=5956/173592
[pid=9862] ppid=9857 vsize=5512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) D 9857 9862 9811 0 -1 4194304 157 0 0 0 0 0 0 0 20 0 1 0 82686 5644288 36 33554432000 4194304 5970956 140731726410752 140731726407848 139946755111418 0 0 4096 0 18446744071580431491 0 0 17 12 0 0 0 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 1378 36 27 434 0 39 0
[startup+0.100187 s]
/proc/loadavg: 0.00 0.09 0.18 2/236 9862
/proc/meminfo: memFree=32078588/32770624 swapFree=5956/173592
[pid=9862] ppid=9857 vsize=27256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1004 0 3 0 5 0 0 0 20 0 1 0 82686 27910144 829 33554432000 4194304 5970956 140731726410752 140731726404504 5672369 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 6814 829 710 434 0 178 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27256
[startup+0.200363 s]
/proc/loadavg: 0.00 0.09 0.18 2/236 9862
/proc/meminfo: memFree=32078588/32770624 swapFree=5956/173592
[pid=9862] ppid=9857 vsize=27584 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1078 0 3 0 15 0 0 0 20 0 1 0 82686 28246016 895 33554432000 4194304 5970956 140731726410752 140731726407352 5397376 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 6896 895 710 434 0 260 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 27584
[startup+0.300315 s]
/proc/loadavg: 0.00 0.09 0.18 2/236 9862
/proc/meminfo: memFree=32078588/32770624 swapFree=5956/173592
[pid=9862] ppid=9857 vsize=29364 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1613 0 3 0 25 0 0 0 20 0 1 0 82686 30068736 1354 33554432000 4194304 5970956 140731726410752 140731726404344 139946739002341 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 7341 1354 782 434 0 705 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 29364
[startup+0.700276 s]
/proc/loadavg: 0.00 0.09 0.18 2/236 9862
/proc/meminfo: memFree=32078588/32770624 swapFree=5956/173592
[pid=9862] ppid=9857 vsize=40932 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 4513 0 3 0 65 1 0 0 20 0 1 0 82686 41914368 4258 33554432000 4194304 5970956 140731726410752 140731726404344 4966541 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 10233 4258 782 434 0 3597 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 40932
[startup+1.50027 s]
/proc/loadavg: 0.00 0.09 0.18 3/244 9877
/proc/meminfo: memFree=32020932/32770624 swapFree=5956/172684
[pid=9862] ppid=9857 vsize=64064 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 10282 0 3 0 144 2 0 0 20 0 1 0 82686 65601536 10066 33554432000 4194304 5970956 140731726410752 140731726404344 5219491 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 16016 10066 782 434 0 9380 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 64064
[startup+3.10028 s]
/proc/loadavg: 0.00 0.09 0.18 3/244 9877
/proc/meminfo: memFree=31955428/32770624 swapFree=5956/172688
[pid=9862] ppid=9857 vsize=110056 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 21884 0 3 0 302 4 0 0 20 0 1 0 82686 112697344 21533 33554432000 4194304 5970956 140731726410752 140731726404344 139946748357532 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 27514 21533 782 434 0 20878 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 110056
[startup+6.30028 s]
/proc/loadavg: 0.08 0.10 0.18 3/244 9877
/proc/meminfo: memFree=31765460/32770624 swapFree=5956/172688
[pid=9862] ppid=9857 vsize=202048 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 45004 0 3 0 619 6 0 0 20 0 1 0 82686 206897152 44578 33554432000 4194304 5970956 140731726410752 140731726404344 5188297 0 0 4096 0 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 50512 44578 782 434 0 43876 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 202048
[startup+12.7003 s]
/proc/loadavg: 0.24 0.13 0.19 3/244 9877
/proc/meminfo: memFree=31160300/32770624 swapFree=5956/172700
[pid=9862] ppid=9857 vsize=607740 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 174948 0 3 0 1246 19 0 0 20 0 1 0 82686 622325760 141011 33554432000 4194304 5970956 140731726410752 140731726407720 4964469 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 151935 141011 839 434 0 145299 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 607740
[startup+25.5004 s]
/proc/loadavg: 0.63 0.22 0.22 3/244 9877
/proc/meminfo: memFree=31035796/32770624 swapFree=5956/172712
[pid=9862] ppid=9857 vsize=674796 CPUtime=25.45 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 274587 0 3 0 2520 25 0 0 20 0 1 0 82686 690991104 157818 33554432000 4194304 5970956 140731726410752 140731726407720 4964386 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 168699 157818 839 434 0 162063 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 674796
[startup+51.1004 s]
/proc/loadavg: 1.10 0.37 0.27 3/244 9877
/proc/meminfo: memFree=30986528/32770624 swapFree=5956/172728
[pid=9862] ppid=9857 vsize=707928 CPUtime=51.03 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 353478 0 3 0 5075 28 0 0 20 0 1 0 82686 724918272 166109 33554432000 4194304 5970956 140731726410752 140731726407720 5070080 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 176982 166109 839 434 0 170346 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 707928
[startup+102.3 s]
/proc/loadavg: 1.61 0.62 0.36 3/245 9881
/proc/meminfo: memFree=30962884/32770624 swapFree=5956/173572
[pid=9862] ppid=9857 vsize=726012 CPUtime=102.23 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 464970 0 3 0 10189 34 0 0 20 0 1 0 82686 743436288 170633 33554432000 4194304 5970956 140731726410752 140731726407720 4968237 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 181503 170633 839 434 0 174867 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 726012
[startup+162.3 s]
/proc/loadavg: 1.86 0.87 0.46 3/245 9882
/proc/meminfo: memFree=30941916/32770624 swapFree=5956/173616
[pid=9862] ppid=9857 vsize=745284 CPUtime=162.19 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 570899 0 3 0 16181 38 0 0 20 0 1 0 82686 763170816 175454 33554432000 4194304 5970956 140731726410752 140731726407720 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 186321 175454 840 434 0 179685 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 745284
[startup+222.308 s]
/proc/loadavg: 1.95 1.08 0.56 3/245 9883
/proc/meminfo: memFree=30933800/32770624 swapFree=5956/173664
[pid=9862] ppid=9857 vsize=752412 CPUtime=222.17 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 704493 0 3 0 22174 43 0 0 20 0 1 0 82686 770469888 177232 33554432000 4194304 5970956 140731726410752 140731726407720 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 188103 177232 840 434 0 181467 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 752412
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.65 3/245 9884
/proc/meminfo: memFree=30925728/32770624 swapFree=5956/173704
[pid=9862] ppid=9857 vsize=758352 CPUtime=282.14 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 814734 0 3 0 28166 48 0 0 20 0 1 0 82686 776552448 178728 33554432000 4194304 5970956 140731726410752 140731726407720 4908912 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 189588 178728 840 434 0 182952 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 758352
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.73 3/244 9885
/proc/meminfo: memFree=30924760/32770624 swapFree=5956/173732
[pid=9862] ppid=9857 vsize=759276 CPUtime=342.11 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 917796 0 3 0 34157 54 0 0 20 0 1 0 82686 777498624 178963 33554432000 4194304 5970956 140731726410752 140731726407720 5052114 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 189819 178963 840 434 0 183183 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 759276
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.81 3/243 9886
/proc/meminfo: memFree=30924024/32770624 swapFree=5956/173768
[pid=9862] ppid=9857 vsize=760200 CPUtime=402.07 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1003541 0 3 0 40150 57 0 0 20 0 1 0 82686 778444800 179191 33554432000 4194304 5970956 140731726410752 140731726407720 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 190050 179191 840 434 0 183414 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 760200
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.89 3/243 9894
/proc/meminfo: memFree=30922904/32770624 swapFree=5956/173812
[pid=9862] ppid=9857 vsize=760860 CPUtime=462.04 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1068000 0 3 0 46144 60 0 0 20 0 1 0 82686 779120640 179349 33554432000 4194304 5970956 140731726410752 140731726407720 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 190215 179349 840 434 0 183579 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 760860
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.96 3/243 9895
/proc/meminfo: memFree=30916948/32770624 swapFree=5956/173840
[pid=9862] ppid=9857 vsize=760992 CPUtime=522.02 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1119938 0 3 0 52139 63 0 0 20 0 1 0 82686 779255808 179454 33554432000 4194304 5970956 140731726410752 140731726407720 4964738 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 190248 179454 840 434 0 183612 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 760992
[startup+582.3 s]
/proc/loadavg: 2.04 1.74 1.03 3/243 9896
/proc/meminfo: memFree=30916924/32770624 swapFree=5956/173864
[pid=9862] ppid=9857 vsize=761256 CPUtime=581.98 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1159514 0 3 0 58133 65 0 0 20 0 1 0 82686 779526144 179507 33554432000 4194304 5970956 140731726410752 140731726407720 4967831 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 190314 179507 840 434 0 183678 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 761256
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.03 2.00 1.64 3/243 9944
/proc/meminfo: memFree=30899996/32770624 swapFree=5956/174328
[pid=9862] ppid=9857 vsize=773928 CPUtime=1481.58 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1228795 0 3 0 148089 69 0 0 20 0 1 0 82686 792502272 183263 33554432000 4194304 5970956 140731726410752 140731726407720 4961363 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 193482 183263 840 434 0 186846 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 773928
[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 1.67 3/243 9945
/proc/meminfo: memFree=30898008/32770624 swapFree=5956/174356
[pid=9862] ppid=9857 vsize=773928 CPUtime=1541.56 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1229440 0 3 0 154087 69 0 0 20 0 1 0 82686 792502272 183297 33554432000 4194304 5970956 140731726410752 140731726407720 5069735 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 193482 183297 840 434 0 186846 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 773928
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.69 3/243 9946
/proc/meminfo: memFree=30898124/32770624 swapFree=5956/174376
[pid=9862] ppid=9857 vsize=774060 CPUtime=1601.52 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1230057 0 3 0 160083 69 0 0 20 0 1 0 82686 792637440 183329 33554432000 4194304 5970956 140731726410752 140731726407720 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 193515 183329 840 434 0 186879 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 774060
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.71 3/244 9955
/proc/meminfo: memFree=30897784/32770624 swapFree=5956/174424
[pid=9862] ppid=9857 vsize=774324 CPUtime=1661.5 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1230744 0 3 0 166081 69 0 0 20 0 1 0 82686 792907776 183364 33554432000 4194304 5970956 140731726410752 140731726407720 5052048 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 193581 183364 840 434 0 186945 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 774324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.72 3/244 9956
/proc/meminfo: memFree=30897820/32770624 swapFree=5956/174452
[pid=9862] ppid=9857 vsize=774456 CPUtime=1721.47 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1231307 0 3 0 172078 69 0 0 20 0 1 0 82686 793042944 183403 33554432000 4194304 5970956 140731726410752 140731726407720 5070064 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 193614 183403 840 434 0 186978 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 774456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/244 9957
/proc/meminfo: memFree=30898464/32770624 swapFree=5956/174484
[pid=9862] ppid=9857 vsize=774456 CPUtime=1781.45 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1231701 0 3 0 178076 69 0 0 20 0 1 0 82686 793042944 183405 33554432000 4194304 5970956 140731726410752 140731726407720 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 193614 183405 840 434 0 186978 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 774456
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/244 9958
/proc/meminfo: memFree=30894656/32770624 swapFree=5956/174500
[pid=9862] ppid=9857 vsize=778680 CPUtime=1841.43 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1233408 0 3 0 184073 70 0 0 20 0 1 0 82686 797368320 184465 33554432000 4194304 5970956 140731726410752 140731726407720 5069735 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 194670 184465 840 434 0 188034 0
Current children cumulated CPU time (s) 1841.43
Current children cumulated vsize (KiB) 778680
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 1.78 3/244 9959
/proc/meminfo: memFree=30895068/32770624 swapFree=5956/174528
[pid=9862] ppid=9857 vsize=778680 CPUtime=1901.41 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1233801 0 3 0 190071 70 0 0 20 0 1 0 82686 797368320 184472 33554432000 4194304 5970956 140731726410752 140731726407720 4964686 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 194670 184472 840 434 0 188034 0
Current children cumulated CPU time (s) 1901.41
Current children cumulated vsize (KiB) 778680
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 1.79 3/243 9960
/proc/meminfo: memFree=30894144/32770624 swapFree=5956/174560
[pid=9862] ppid=9857 vsize=780000 CPUtime=1961.38 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1234878 0 3 0 196068 70 0 0 20 0 1 0 82686 798720000 184795 33554432000 4194304 5970956 140731726410752 140731726407720 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195000 184795 840 434 0 188364 0
Current children cumulated CPU time (s) 1961.38
Current children cumulated vsize (KiB) 780000
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 1.81 3/243 9961
/proc/meminfo: memFree=30893640/32770624 swapFree=5956/174588
[pid=9862] ppid=9857 vsize=780132 CPUtime=2021.35 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1235825 0 3 0 202065 70 0 0 20 0 1 0 82686 798855168 184849 33554432000 4194304 5970956 140731726410752 140731726407720 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195033 184849 840 434 0 188397 0
Current children cumulated CPU time (s) 2021.35
Current children cumulated vsize (KiB) 780132
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/243 9962
/proc/meminfo: memFree=30893524/32770624 swapFree=5956/174620
[pid=9862] ppid=9857 vsize=780396 CPUtime=2081.33 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1237563 0 3 0 208063 70 0 0 20 0 1 0 82686 799125504 184888 33554432000 4194304 5970956 140731726410752 140731726407720 4964714 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195099 184888 840 434 0 188463 0
Current children cumulated CPU time (s) 2081.33
Current children cumulated vsize (KiB) 780396
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/243 9963
/proc/meminfo: memFree=30893440/32770624 swapFree=5956/174636
[pid=9862] ppid=9857 vsize=780396 CPUtime=2141.29 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1239432 0 3 0 214059 70 0 0 20 0 1 0 82686 799125504 184912 33554432000 4194304 5970956 140731726410752 140731726407720 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195099 184912 840 434 0 188463 0
Current children cumulated CPU time (s) 2141.29
Current children cumulated vsize (KiB) 780396
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.84 3/243 9964
/proc/meminfo: memFree=30893736/32770624 swapFree=5956/174668
[pid=9862] ppid=9857 vsize=780396 CPUtime=2201.28 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1239945 0 3 0 220058 70 0 0 20 0 1 0 82686 799125504 184913 33554432000 4194304 5970956 140731726410752 140731726407720 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195099 184913 840 434 0 188463 0
Current children cumulated CPU time (s) 2201.28
Current children cumulated vsize (KiB) 780396
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/244 9973
/proc/meminfo: memFree=30892476/32770624 swapFree=5956/174716
[pid=9862] ppid=9857 vsize=780792 CPUtime=2261.25 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1240849 0 3 0 226054 71 0 0 20 0 1 0 82686 799531008 184988 33554432000 4194304 5970956 140731726410752 140731726407720 4964693 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195198 184988 840 434 0 188562 0
Current children cumulated CPU time (s) 2261.25
Current children cumulated vsize (KiB) 780792
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/244 9974
/proc/meminfo: memFree=30892036/32770624 swapFree=5956/174744
[pid=9862] ppid=9857 vsize=780792 CPUtime=2321.22 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1241365 0 3 0 232051 71 0 0 20 0 1 0 82686 799531008 184995 33554432000 4194304 5970956 140731726410752 140731726407720 4961400 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195198 184995 840 434 0 188562 0
Current children cumulated CPU time (s) 2321.22
Current children cumulated vsize (KiB) 780792
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/244 9975
/proc/meminfo: memFree=30892944/32770624 swapFree=5956/174776
[pid=9862] ppid=9857 vsize=780792 CPUtime=2381.2 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1241800 0 3 0 238049 71 0 0 20 0 1 0 82686 799531008 185000 33554432000 4194304 5970956 140731726410752 140731726407720 5327993 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195198 185000 840 434 0 188562 0
Current children cumulated CPU time (s) 2381.2
Current children cumulated vsize (KiB) 780792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.2 s]
/proc/loadavg: 2.00 2.01 1.87 3/244 9975
/proc/meminfo: memFree=30892944/32770624 swapFree=5956/174780
[pid=9862] ppid=9857 vsize=780792 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/9862/stat : 9862 (cosoco) R 9857 9862 9811 0 -1 4202496 1241898 0 3 0 239938 71 0 0 20 0 1 0 82686 799531008 185000 33554432000 4194304 5970956 140731726410752 140731726407720 5052123 0 0 4096 8405026 0 0 0 17 12 0 0 1 0 0 8070896 8075904 14393344 140731726415036 140731726415171 140731726415171 140731726417870 0
/proc/9862/statm: 195198 185000 840 434 0 188562 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 780792
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 9862 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.2
CPU time (s): 2400.1
CPU user time (s): 2399.39
CPU system time (s): 0.715701
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 780792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.39
system time used= 0.715701
maximum resident set size= 740040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1241931
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= 111
involuntary context switches= 121546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.3486 second user time and 12.8658 second system time
The end