runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3299607-1304097173/watcher-3299607-1304097173 -o /tmp/evaluation-result-3299607-1304097173/solver-3299607-1304097173 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299607-1304097173.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.50 7.99 8.01 3/177 28979
/proc/meminfo: memFree=18298160/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=21504 CPUtime=0 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 655 0 0 0 0 0 0 0 25 0 1 0 521313962 22020096 578 33554432000 4194304 4964704 140736635305072 18446744073709551615 4327781 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/28979/statm: 5376 578 385 189 0 250 0
[startup+0.095187 s]
/proc/loadavg: 7.50 7.99 8.01 3/177 28979
/proc/meminfo: memFree=18298160/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=25596 CPUtime=0.09 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 1927 0 0 0 9 0 0 0 25 0 1 0 521313962 26210304 1551 33554432000 4194304 4964704 140736635305072 18446744073709551615 4607414 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/28979/statm: 6399 1551 398 189 0 1273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25596
[startup+0.101188 s]
/proc/loadavg: 7.50 7.99 8.01 3/177 28979
/proc/meminfo: memFree=18298160/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=25596 CPUtime=0.09 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 1927 0 0 0 9 0 0 0 25 0 1 0 521313962 26210304 1551 33554432000 4194304 4964704 140736635305072 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/28979/statm: 6399 1551 398 189 0 1273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25596
[startup+0.300142 s]
/proc/loadavg: 7.50 7.99 8.01 3/177 28979
/proc/meminfo: memFree=18298160/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=26012 CPUtime=0.29 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 2067 0 0 0 29 0 0 0 25 0 1 0 521313962 26636288 1691 33554432000 4194304 4964704 140736635305072 18446744073709551615 4646234 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/28979/statm: 6503 1691 401 189 0 1377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26012
[startup+0.700991 s]
/proc/loadavg: 7.50 7.99 8.01 3/177 28979
/proc/meminfo: memFree=18298160/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=239512 CPUtime=1.83 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 5529 0 0 0 180 3 0 0 18 0 4 0 521313962 245260288 5018 33554432000 4194304 4964704 140736635305072 18446744073709551615 4654497 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 59878 5020 458 189 0 54227 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 239512
[startup+1.50083 s]
/proc/loadavg: 7.50 7.99 8.01 6/181 28984
/proc/meminfo: memFree=18276312/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=242060 CPUtime=5.02 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 8604 0 0 0 496 6 0 0 19 0 4 0 521313962 247869440 8093 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320911 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 60515 8093 458 189 0 54864 0
[pid=28979/tid=28982] ppid=28977 vsize=242060 CPUtime=1.17 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 1420 0 0 0 116 1 0 0 18 0 4 0 521313992 247869440 8093 33554432000 4194304 4964704 140736635305072 18446744073709551615 4654400 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=242060 CPUtime=1.17 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 1474 0 0 0 116 1 0 0 19 0 4 0 521313992 247869440 8093 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670416 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=242060 CPUtime=1.18 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 1829 0 0 0 117 1 0 0 19 0 4 0 521313992 247869440 8093 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 242060
[startup+3.10052 s]
/proc/loadavg: 7.50 7.99 8.01 9/184 28987
/proc/meminfo: memFree=18249284/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=244732 CPUtime=11.41 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 11618 0 0 0 1134 7 0 0 22 0 4 0 521313962 250605568 11107 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670454 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 61183 11107 460 189 0 55532 0
[pid=28979/tid=28982] ppid=28977 vsize=244732 CPUtime=2.78 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 2125 0 0 0 276 2 0 0 21 0 4 0 521313992 250605568 11107 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=244732 CPUtime=2.76 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 2199 0 0 0 275 1 0 0 23 0 4 0 521313992 250605568 11107 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=244732 CPUtime=2.78 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 2618 0 0 0 276 2 0 0 22 0 4 0 521313992 250605568 11107 33554432000 4194304 4964704 140736635305072 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 244732
[startup+6.30088 s]
/proc/loadavg: 7.54 7.99 8.01 9/184 28987
/proc/meminfo: memFree=18223416/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=246864 CPUtime=24.2 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 14976 0 0 0 2411 9 0 0 25 0 4 0 521313962 252788736 14465 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 61716 14465 460 189 0 56065 0
[pid=28979/tid=28982] ppid=28977 vsize=246864 CPUtime=5.97 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 2923 0 0 0 595 2 0 0 25 0 4 0 521313992 252788736 14465 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=246864 CPUtime=5.94 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 2969 0 0 0 593 1 0 0 25 0 4 0 521313992 252788736 14465 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=246864 CPUtime=5.98 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 3077 0 0 0 596 2 0 0 25 0 4 0 521313992 252788736 14465 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 246864
[startup+12.7006 s]
/proc/loadavg: 7.58 7.99 8.01 9/184 28987
/proc/meminfo: memFree=18189620/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=250272 CPUtime=49.76 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 19311 0 0 0 4965 11 0 0 25 0 4 0 521313962 256278528 18800 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 62568 18800 460 189 0 56917 0
[pid=28979/tid=28982] ppid=28977 vsize=250272 CPUtime=12.37 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 4072 0 0 0 1235 2 0 0 25 0 4 0 521313992 256278528 18800 33554432000 4194304 4964704 140736635305072 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=250272 CPUtime=12.31 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 4015 0 0 0 1229 2 0 0 25 0 4 0 521313992 256278528 18800 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627254 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=250272 CPUtime=12.38 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 4475 0 0 0 1236 2 0 0 25 0 4 0 521313992 256278528 18800 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (KiB) 250272
[startup+25.5011 s]
/proc/loadavg: 7.67 7.99 8.01 9/184 28987
/proc/meminfo: memFree=18140644/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=256516 CPUtime=100.89 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 28053 0 0 0 10074 15 0 0 25 0 4 0 521313962 262672384 27526 33554432000 4194304 4964704 140736635305072 18446744073709551615 4334283 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 64129 27526 460 189 0 58478 0
[pid=28979/tid=28982] ppid=28977 vsize=256516 CPUtime=25.17 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 6945 0 0 0 2513 4 0 0 25 0 4 0 521313992 262672384 27526 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=256516 CPUtime=25.03 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 5700 0 0 0 2501 2 0 0 25 0 4 0 521313992 262672384 27526 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=256516 CPUtime=25.18 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 6867 0 0 0 2515 3 0 0 25 0 4 0 521313992 262672384 27526 33554432000 4194304 4964704 140736635305072 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.89
Current children cumulated vsize (KiB) 256516
[startup+51.101 s]
/proc/loadavg: 7.78 7.99 8.01 9/184 28988
/proc/meminfo: memFree=18071312/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=275400 CPUtime=203.15 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 41810 0 0 0 20290 25 0 0 25 0 4 0 521313962 282009600 41196 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627536 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 68850 41196 460 189 0 63199 0
[pid=28979/tid=28982] ppid=28977 vsize=275400 CPUtime=50.77 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 11923 0 0 0 5069 8 0 0 25 0 4 0 521313992 282009600 41196 33554432000 4194304 4964704 140736635305072 18446744073709551615 4660505 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=275400 CPUtime=50.5 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 7882 0 0 0 5047 3 0 0 25 0 4 0 521313992 282009600 41196 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=275400 CPUtime=50.79 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 11786 0 0 0 5072 7 0 0 25 0 4 0 521313992 282009600 41196 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.15
Current children cumulated vsize (KiB) 275400
[startup+102.307 s]
/proc/loadavg: 7.94 8.00 8.01 9/184 28989
/proc/meminfo: memFree=18001744/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=347492 CPUtime=407.7 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 55513 0 0 0 40732 38 0 0 25 0 4 0 521313962 355831808 54549 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 86873 54549 460 189 0 81222 0
[pid=28979/tid=28982] ppid=28977 vsize=347492 CPUtime=101.97 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 16246 0 0 0 10184 13 0 0 25 0 4 0 521313992 355831808 54549 33554432000 4194304 4964704 140736635305072 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=347492 CPUtime=101.42 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 11082 0 0 0 10138 4 0 0 25 0 4 0 521313992 355831808 54549 33554432000 4194304 4964704 140736635305072 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=347492 CPUtime=101.99 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 15248 0 0 0 10189 10 0 0 25 0 4 0 521313992 355831808 54549 33554432000 4194304 4964704 140736635305072 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.7
Current children cumulated vsize (KiB) 347492
[startup+162.301 s]
/proc/loadavg: 8.07 8.03 8.01 9/184 28991
/proc/meminfo: memFree=17950016/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=418396 CPUtime=647.35 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 66301 0 0 0 64685 50 0 0 25 0 4 0 521313962 428437504 65240 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 104599 65240 460 189 0 98948 0
[pid=28979/tid=28982] ppid=28977 vsize=418396 CPUtime=161.96 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 17581 0 0 0 16182 14 0 0 25 0 4 0 521313992 428437504 65240 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=418396 CPUtime=161.1 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 13745 0 0 0 16105 5 0 0 25 0 4 0 521313992 428437504 65240 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=418396 CPUtime=161.99 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 21695 0 0 0 16179 20 0 0 25 0 4 0 521313992 428437504 65240 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.35
Current children cumulated vsize (KiB) 418396
[startup+222.301 s]
/proc/loadavg: 8.08 8.04 8.01 9/184 28992
/proc/meminfo: memFree=17898536/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=492932 CPUtime=887.03 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 76738 0 0 0 88640 63 0 0 25 0 4 0 521313962 504762368 75677 33554432000 4194304 4964704 140736635305072 18446744073709551615 4660077 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 123233 75677 460 189 0 117582 0
[pid=28979/tid=28982] ppid=28977 vsize=492932 CPUtime=221.96 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 18418 0 0 0 22181 15 0 0 25 0 4 0 521313992 504762368 75677 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=492932 CPUtime=220.77 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 16438 0 0 0 22069 8 0 0 25 0 4 0 521313992 504762368 75677 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670283 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=492932 CPUtime=221.99 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 28587 0 0 0 22170 29 0 0 25 0 4 0 521313992 504762368 75677 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.03
Current children cumulated vsize (KiB) 492932
[startup+282.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 8.01 8.05 8.02 9/184 29008
/proc/meminfo: memFree=17645124/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=618416 CPUtime=3283.78 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 127601 0 0 0 328265 113 0 0 25 0 4 0 521313962 633257984 124884 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 154604 124884 460 189 0 148953 0
[pid=28979/tid=28982] ppid=28977 vsize=618416 CPUtime=821.92 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 28163 0 0 0 82167 25 0 0 25 0 4 0 521313992 633257984 124884 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=618416 CPUtime=817.52 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 31264 0 0 0 81738 14 0 0 25 0 4 0 521313992 633257984 124884 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320921 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=618416 CPUtime=822 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46895 0 0 0 82146 54 0 0 25 0 4 0 521313992 633257984 124884 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.78
Current children cumulated vsize (KiB) 618416
[startup+882.301 s]
/proc/loadavg: 8.00 8.04 8.02 9/184 29010
/proc/meminfo: memFree=17641136/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=618416 CPUtime=3523.46 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 127666 0 0 0 352232 114 0 0 25 0 4 0 521313962 633257984 124949 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627536 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 154604 124949 460 189 0 148953 0
[pid=28979/tid=28982] ppid=28977 vsize=618416 CPUtime=881.93 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 28165 0 0 0 88168 25 0 0 25 0 4 0 521313992 633257984 124949 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=618416 CPUtime=877.2 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 31295 0 0 0 87705 15 0 0 25 0 4 0 521313992 633257984 124949 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=618416 CPUtime=882 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46926 0 0 0 88146 54 0 0 25 0 4 0 521313992 633257984 124949 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.46
Current children cumulated vsize (KiB) 618416
[startup+942.301 s]
/proc/loadavg: 8.00 8.03 8.01 9/184 29012
/proc/meminfo: memFree=17637396/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=618416 CPUtime=3763.14 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 127733 0 0 0 376200 114 0 0 25 0 4 0 521313962 633257984 125016 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 154604 125016 460 189 0 148953 0
[pid=28979/tid=28982] ppid=28977 vsize=618416 CPUtime=941.93 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 28184 0 0 0 94167 26 0 0 25 0 4 0 521313992 633257984 125016 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=618416 CPUtime=936.87 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 31332 0 0 0 93672 15 0 0 25 0 4 0 521313992 633257984 125016 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=618416 CPUtime=942 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46927 0 0 0 94146 54 0 0 25 0 4 0 521313992 633257984 125016 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.14
Current children cumulated vsize (KiB) 618416
[startup+1002.3 s]
/proc/loadavg: 8.00 8.02 8.01 9/184 29013
/proc/meminfo: memFree=17614936/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=620976 CPUtime=4002.82 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 132579 0 0 0 400163 119 0 0 25 0 4 0 521313962 635879424 129739 33554432000 4194304 4964704 140736635305072 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 155244 129739 460 189 0 149593 0
[pid=28979/tid=28982] ppid=28977 vsize=620976 CPUtime=1001.92 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 32424 0 0 0 100162 30 0 0 25 0 4 0 521313992 635879424 129739 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=620976 CPUtime=996.55 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 31935 0 0 0 99640 15 0 0 25 0 4 0 521313992 635879424 129739 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=620976 CPUtime=1002.01 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46930 0 0 0 100147 54 0 0 25 0 4 0 521313992 635879424 129739 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.82
Current children cumulated vsize (KiB) 620976
[startup+1062.3 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 29015
/proc/meminfo: memFree=17610452/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=622416 CPUtime=4242.49 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 133606 0 0 0 424130 119 0 0 25 0 4 0 521313962 637353984 130643 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 155604 130643 460 189 0 149953 0
[pid=28979/tid=28982] ppid=28977 vsize=622416 CPUtime=1061.93 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 33068 0 0 0 106162 31 0 0 25 0 4 0 521313992 637353984 130643 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=622416 CPUtime=1056.22 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 32298 0 0 0 105607 15 0 0 25 0 4 0 521313992 637353984 130643 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=622416 CPUtime=1062.01 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46950 0 0 0 106147 54 0 0 25 0 4 0 521313992 637353984 130643 33554432000 4194304 4964704 140736635305072 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.49
Current children cumulated vsize (KiB) 622416
[startup+1122.3 s]
/proc/loadavg: 8.08 8.03 8.01 9/184 29016
/proc/meminfo: memFree=17608204/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=622416 CPUtime=4482.17 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 133630 0 0 0 448097 120 0 0 25 0 4 0 521313962 637353984 130667 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 155604 130667 460 189 0 149953 0
[pid=28979/tid=28982] ppid=28977 vsize=622416 CPUtime=1121.94 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 33074 0 0 0 112163 31 0 0 25 0 4 0 521313992 637353984 130667 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=622416 CPUtime=1115.89 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 32303 0 0 0 111574 15 0 0 25 0 4 0 521313992 637353984 130667 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=622416 CPUtime=1122.01 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46963 0 0 0 112146 55 0 0 19 0 4 0 521313992 637353984 130667 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.17
Current children cumulated vsize (KiB) 622416
[startup+1182.3 s]
/proc/loadavg: 8.03 8.02 8.00 9/184 29018
/proc/meminfo: memFree=17599752/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=627576 CPUtime=4721.85 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 135008 0 0 0 472064 121 0 0 25 0 4 0 521313962 642637824 132045 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 156894 132045 460 189 0 151243 0
[pid=28979/tid=28982] ppid=28977 vsize=627576 CPUtime=1181.94 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 33084 0 0 0 118163 31 0 0 25 0 4 0 521313992 642637824 132045 33554432000 4194304 4964704 140736635305072 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=627576 CPUtime=1175.57 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 32329 0 0 0 117542 15 0 0 25 0 4 0 521313992 642637824 132045 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=627576 CPUtime=1182.01 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46991 0 0 0 118146 55 0 0 25 0 4 0 521313992 642637824 132045 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670466 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.85
Current children cumulated vsize (KiB) 627576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.9 s]
/proc/loadavg: 8.02 8.02 8.00 9/184 29019
/proc/meminfo: memFree=17598876/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=628276 CPUtime=4800.16 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 135178 0 0 0 479895 121 0 0 25 0 4 0 521313962 643354624 132215 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670250 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 157069 132215 460 189 0 151418 0
[pid=28979/tid=28982] ppid=28977 vsize=628276 CPUtime=1201.54 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 33235 0 0 0 120123 31 0 0 25 0 4 0 521313992 643354624 132215 33554432000 4194304 4964704 140736635305072 18446744073709551615 254500389466 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28979/tid=28983] ppid=28977 vsize=628276 CPUtime=1195.07 cores=1,3,5,7
/proc/28979/task/28983/stat : 28983 (claspmt) R 28977 28979 28449 0 -1 4202560 32347 0 0 0 119492 15 0 0 25 0 4 0 521313992 643354624 132215 33554432000 4194304 4964704 140736635305072 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28979/tid=28984] ppid=28977 vsize=628276 CPUtime=1201.62 cores=1,3,5,7
/proc/28979/task/28984/stat : 28984 (claspmt) R 28977 28979 28449 0 -1 4202560 46991 0 0 0 120107 55 0 0 25 0 4 0 521313992 643354624 132215 33554432000 4194304 4964704 140736635305072 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 628276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.2 s]
/proc/loadavg: 8.02 8.02 8.00 6/183 29020
/proc/meminfo: memFree=17598512/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=628276 CPUtime=4800.48 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) S 28977 28979 28449 0 -1 4202496 135180 0 0 0 479927 121 0 0 25 0 2 0 521313962 643354624 132217 33554432000 4194304 4964704 140736635305072 18446744073709551615 254512494565 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 157069 132217 462 189 0 151418 0
[pid=28979/tid=28982] ppid=28977 vsize=628276 CPUtime=1201.84 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 33235 0 0 0 120153 31 0 0 25 0 2 0 521313992 643354624 132217 33554432000 4194304 4964704 140736635305072 18446744073709551615 4644874 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.48
Current children cumulated vsize (KiB) 628276
[startup+1202.6 s]
/proc/loadavg: 8.02 8.02 8.00 6/183 29020
/proc/meminfo: memFree=17598512/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=628276 CPUtime=4800.88 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) S 28977 28979 28449 0 -1 4202496 135180 0 0 0 479967 121 0 0 25 0 2 0 521313962 643354624 132217 33554432000 4194304 4964704 140736635305072 18446744073709551615 254512494565 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 157069 132217 462 189 0 151418 0
[pid=28979/tid=28982] ppid=28977 vsize=628276 CPUtime=1202.23 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 33235 0 0 0 120192 31 0 0 25 0 2 0 521313992 643354624 132217 33554432000 4194304 4964704 140736635305072 18446744073709551615 4644840 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.88
Current children cumulated vsize (KiB) 628276
[startup+1202.8 s]
/proc/loadavg: 8.02 8.02 8.00 6/183 29020
/proc/meminfo: memFree=17598512/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=628276 CPUtime=4801.08 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) S 28977 28979 28449 0 -1 4202496 135180 0 0 0 479987 121 0 0 25 0 2 0 521313962 643354624 132217 33554432000 4194304 4964704 140736635305072 18446744073709551615 254512494565 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/28979/statm: 157069 132217 462 189 0 151418 0
[pid=28979/tid=28982] ppid=28977 vsize=628276 CPUtime=1202.43 cores=1,3,5,7
/proc/28979/task/28982/stat : 28982 (claspmt) R 28977 28979 28449 0 -1 4202560 33235 0 0 0 120212 31 0 0 25 0 2 0 521313992 643354624 132217 33554432000 4194304 4964704 140736635305072 18446744073709551615 4644854 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4801.08
Current children cumulated vsize (KiB) 628276
[startup+1202.9 s]
/proc/loadavg: 8.02 8.02 8.00 6/183 29020
/proc/meminfo: memFree=17598512/32950928 swapFree=67111528/67111528
[pid=28979] ppid=28977 vsize=422484 CPUtime=4801.18 cores=1,3,5,7
/proc/28979/stat : 28979 (claspmt) R 28977 28979 28449 0 -1 4202496 135189 0 0 0 479995 123 0 0 18 0 1 0 521313962 432623616 61421 33554432000 4194304 4964704 140736635305072 18446744073709551615 254500735111 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/28979/statm: 105621 61421 471 189 0 99970 0
Current children cumulated CPU time (s) 4801.18
Current children cumulated vsize (KiB) 422484
Child status: 0
Real time (s): 1202.91
CPU time (s): 4801.2
CPU user time (s): 4799.96
CPU system time (s): 1.24281
CPU usage (%): 399.131
Max. virtual memory (cumulated for all children) (KiB): 628276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.96
system time used= 1.24281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135190
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= 7999
involuntary context switches= 33173
runsolver used 1.78773 second user time and 4.78127 second system time
The end