runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3299476-1307654091/watcher-3299476-1307654091 -o /tmp/evaluation-result-3299476-1307654091/solver-3299476-1307654091 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299476-1307654091.cnf
running on 4 cores: 0,2,4,6
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: 1.84 1.97 1.93 2/176 12263
/proc/meminfo: memFree=32596156/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=20924 CPUtime=0 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) D 12261 12263 10687 0 -1 4194304 362 0 0 0 0 0 0 0 25 0 1 0 877009593 21426176 298 33554432000 4194304 4964704 140735429993040 18446744073709551615 230804242055 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12263/statm: 5231 298 252 189 0 92 0
[startup+0.092144 s]
/proc/loadavg: 1.84 1.97 1.93 2/176 12263
/proc/meminfo: memFree=32596156/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=25460 CPUtime=0.07 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 1874 0 0 0 7 0 0 0 24 0 1 0 877009593 26071040 1497 33554432000 4194304 4964704 140735429993040 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12263/statm: 6365 1497 398 189 0 1239 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25460
[startup+0.101077 s]
/proc/loadavg: 1.84 1.97 1.93 2/176 12263
/proc/meminfo: memFree=32596156/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=25460 CPUtime=0.08 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 1874 0 0 0 8 0 0 0 24 0 1 0 877009593 26071040 1497 33554432000 4194304 4964704 140735429993040 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12263/statm: 6365 1497 398 189 0 1239 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25460
[startup+0.30101 s]
/proc/loadavg: 1.84 1.97 1.93 2/176 12263
/proc/meminfo: memFree=32596156/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=237504 CPUtime=0.52 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 2748 0 0 0 52 0 0 0 25 0 4 0 877009593 243204096 2241 33554432000 4194304 4964704 140735429993040 18446744073709551615 4628055 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 59376 2241 458 189 0 53725 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 237504
[startup+0.700938 s]
/proc/loadavg: 1.84 1.97 1.93 2/176 12263
/proc/meminfo: memFree=32596156/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=238188 CPUtime=2.12 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 4396 0 0 0 211 1 0 0 25 0 4 0 877009593 243904512 3889 33554432000 4194304 4964704 140735429993040 18446744073709551615 4342208 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 59547 3889 458 189 0 53896 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 238188
[startup+1.50079 s]
/proc/loadavg: 1.84 1.97 1.93 10/184 12271
/proc/meminfo: memFree=32565884/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=240072 CPUtime=5.32 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 5985 0 0 0 530 2 0 0 25 0 4 0 877009593 245833728 5478 33554432000 4194304 4964704 140735429993040 18446744073709551615 4668953 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 60018 5478 458 189 0 54367 0
[pid=12263/tid=12269] ppid=12261 vsize=240072 CPUtime=1.3 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 1041 0 0 0 130 0 0 0 19 0 4 0 877009611 245833728 5478 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=240072 CPUtime=1.3 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 804 0 0 0 130 0 0 0 25 0 4 0 877009611 245833728 5478 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=240072 CPUtime=1.3 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 1187 0 0 0 130 0 0 0 25 0 4 0 877009611 245833728 5478 33554432000 4194304 4964704 140735429993040 18446744073709551615 4627341 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 240072
[startup+3.1005 s]
/proc/loadavg: 1.84 1.97 1.93 11/184 12271
/proc/meminfo: memFree=32554912/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=240604 CPUtime=11.71 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 6980 0 0 0 1169 2 0 0 25 0 4 0 877009593 246378496 6473 33554432000 4194304 4964704 140735429993040 18446744073709551615 4668953 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 60151 6473 460 189 0 54500 0
[pid=12263/tid=12269] ppid=12261 vsize=240604 CPUtime=2.9 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 1191 0 0 0 290 0 0 0 23 0 4 0 877009611 246378496 6473 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670286 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=240604 CPUtime=2.89 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 1150 0 0 0 289 0 0 0 25 0 4 0 877009611 246378496 6473 33554432000 4194304 4964704 140735429993040 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=240604 CPUtime=2.9 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 1317 0 0 0 290 0 0 0 25 0 4 0 877009611 246378496 6473 33554432000 4194304 4964704 140735429993040 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 240604
[startup+6.30092 s]
/proc/loadavg: 2.33 2.07 1.96 10/184 12272
/proc/meminfo: memFree=32538644/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=244460 CPUtime=24.5 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 9083 0 0 0 2447 3 0 0 25 0 4 0 877009593 250327040 8576 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 61115 8576 460 189 0 55464 0
[pid=12263/tid=12269] ppid=12261 vsize=244460 CPUtime=6.11 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 1718 0 0 0 610 1 0 0 25 0 4 0 877009611 250327040 8576 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=244460 CPUtime=6.08 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 2146 0 0 0 608 0 0 0 25 0 4 0 877009611 250327040 8576 33554432000 4194304 4964704 140735429993040 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=244460 CPUtime=6.11 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 1583 0 0 0 611 0 0 0 25 0 4 0 877009611 250327040 8576 33554432000 4194304 4964704 140735429993040 18446744073709551615 4362938 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.5
Current children cumulated vsize (KiB) 244460
[startup+12.7008 s]
/proc/loadavg: 2.79 2.16 1.99 10/184 12272
/proc/meminfo: memFree=32505832/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=247140 CPUtime=50.06 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 13832 0 0 0 5002 4 0 0 25 0 4 0 877009593 253071360 13325 33554432000 4194304 4964704 140735429993040 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 61785 13325 460 189 0 56134 0
[pid=12263/tid=12269] ppid=12261 vsize=247140 CPUtime=12.5 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 3203 0 0 0 1249 1 0 0 25 0 4 0 877009611 253071360 13325 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=247140 CPUtime=12.45 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 3716 0 0 0 1244 1 0 0 25 0 4 0 877009611 253071360 13325 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=247140 CPUtime=12.5 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 1903 0 0 0 1250 0 0 0 25 0 4 0 877009611 253071360 13325 33554432000 4194304 4964704 140735429993040 18446744073709551615 230808825267 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (KiB) 247140
[startup+25.5004 s]
/proc/loadavg: 3.94 2.45 2.09 10/184 12272
/proc/meminfo: memFree=32480044/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=251176 CPUtime=101.2 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 17742 0 0 0 10112 8 0 0 25 0 4 0 877009593 257204224 17234 33554432000 4194304 4964704 140735429993040 18446744073709551615 230808863346 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 62794 17234 460 189 0 57143 0
[pid=12263/tid=12269] ppid=12261 vsize=251176 CPUtime=25.3 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 4829 0 0 0 2528 2 0 0 25 0 4 0 877009611 257204224 17234 33554432000 4194304 4964704 140735429993040 18446744073709551615 4660796 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=251176 CPUtime=25.18 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 4153 0 0 0 2517 1 0 0 25 0 4 0 877009611 257204224 17234 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=251176 CPUtime=25.3 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 2118 0 0 0 2530 0 0 0 25 0 4 0 877009611 257204224 17234 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.2
Current children cumulated vsize (KiB) 251176
[startup+51.1007 s]
/proc/loadavg: 5.32 2.89 2.24 10/184 12273
/proc/meminfo: memFree=32420736/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=265776 CPUtime=203.47 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 26485 0 0 0 20335 12 0 0 25 0 4 0 877009593 272154624 25550 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670440 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 66444 25550 460 189 0 60793 0
[pid=12263/tid=12269] ppid=12261 vsize=265776 CPUtime=50.9 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 9665 0 0 0 5085 5 0 0 25 0 4 0 877009611 272154624 25550 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=265776 CPUtime=50.66 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 6272 0 0 0 5064 2 0 0 25 0 4 0 877009611 272154624 25550 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=265776 CPUtime=50.91 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 2538 0 0 0 5090 1 0 0 25 0 4 0 877009611 272154624 25550 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.47
Current children cumulated vsize (KiB) 265776
[startup+102.306 s]
/proc/loadavg: 6.88 3.69 2.55 10/184 12274
/proc/meminfo: memFree=32358708/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=266076 CPUtime=408.03 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 36523 0 0 0 40782 21 0 0 25 0 4 0 877009593 272461824 35280 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 66519 35280 460 189 0 60868 0
[pid=12263/tid=12269] ppid=12261 vsize=266076 CPUtime=102.1 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 13846 0 0 0 10201 9 0 0 25 0 4 0 877009611 272461824 35280 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=266076 CPUtime=101.6 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 9371 0 0 0 10157 3 0 0 25 0 4 0 877009611 272461824 35280 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=266076 CPUtime=102.11 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 5212 0 0 0 10207 4 0 0 25 0 4 0 877009611 272461824 35280 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670462 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.03
Current children cumulated vsize (KiB) 266076
[startup+162.3 s]
/proc/loadavg: 7.62 4.49 2.89 10/184 12276
/proc/meminfo: memFree=32327920/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=273404 CPUtime=647.68 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 40816 0 0 0 64744 24 0 0 25 0 4 0 877009593 279965696 39567 33554432000 4194304 4964704 140735429993040 18446744073709551615 4333158 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 68351 39567 460 189 0 62700 0
[pid=12263/tid=12269] ppid=12261 vsize=273404 CPUtime=162.09 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 15786 0 0 0 16199 10 0 0 25 0 4 0 877009611 279965696 39567 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=273404 CPUtime=161.29 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 10058 0 0 0 16125 4 0 0 25 0 4 0 877009611 279965696 39567 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320864 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=273404 CPUtime=162.1 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 5426 0 0 0 16206 4 0 0 25 0 4 0 877009611 279965696 39567 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.68
Current children cumulated vsize (KiB) 273404
[startup+222.3 s]
/proc/loadavg: 8.00 5.17 3.22 10/184 12277
/proc/meminfo: memFree=32291184/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=273536 CPUtime=887.37 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 46209 0 0 0 88707 30 0 0 25 0 4 0 877009593 280100864 44868 33554432000 4194304 4964704 140735429993040 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 68384 44868 460 189 0 62733 0
[pid=12263/tid=12269] ppid=12261 vsize=273536 CPUtime=222.08 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 18696 0 0 0 22196 12 0 0 25 0 4 0 877009611 280100864 44868 33554432000 4194304 4964704 140735429993040 18446744073709551615 4660062 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=273536 CPUtime=220.97 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 11953 0 0 0 22092 5 0 0 25 0 4 0 877009611 280100864 44868 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=273536 CPUtime=222.11 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 5946 0 0 0 22206 5 0 0 25 0 4 0 877009611 280100864 44868 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.37
Current children cumulated vsize (KiB) 273536
[startup+282.301 s]
################
# More data... #
################
/proc/12263/statm: 72892 53605 460 189 0 67241 0
[pid=12263/tid=12269] ppid=12261 vsize=291568 CPUtime=342.08 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 19633 0 0 0 34195 13 0 0 25 0 4 0 877009611 298565632 53605 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=291568 CPUtime=340.36 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 13783 0 0 0 34029 7 0 0 25 0 4 0 877009611 298565632 53605 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=291568 CPUtime=342.11 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 10041 0 0 0 34203 8 0 0 25 0 4 0 877009611 298565632 53605 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1366.74
Current children cumulated vsize (KiB) 291568
[startup+402.301 s]
/proc/loadavg: 8.04 6.48 4.07 10/184 12282
/proc/meminfo: memFree=32226476/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=291948 CPUtime=1606.42 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 58150 0 0 0 160601 41 0 0 25 0 4 0 877009593 298954752 56304 33554432000 4194304 4964704 140735429993040 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 72987 56304 460 189 0 67336 0
[pid=12263/tid=12269] ppid=12261 vsize=291948 CPUtime=402.07 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 20200 0 0 0 40193 14 0 0 25 0 4 0 877009611 298954752 56304 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=291948 CPUtime=400.05 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 14515 0 0 0 39997 8 0 0 25 0 4 0 877009611 298954752 56304 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=291948 CPUtime=402.11 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 11616 0 0 0 40201 10 0 0 25 0 4 0 877009611 298954752 56304 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1606.42
Current children cumulated vsize (KiB) 291948
[startup+462.301 s]
/proc/loadavg: 8.01 6.75 4.31 10/184 12284
/proc/meminfo: memFree=32216516/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=292764 CPUtime=1846.11 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 59248 0 0 0 184569 42 0 0 25 0 4 0 877009593 299790336 57402 33554432000 4194304 4964704 140735429993040 18446744073709551615 4684040 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 73191 57402 460 189 0 67540 0
[pid=12263/tid=12269] ppid=12261 vsize=292764 CPUtime=462.07 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 20461 0 0 0 46193 14 0 0 25 0 4 0 877009611 299790336 57402 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=292764 CPUtime=459.74 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 14770 0 0 0 45966 8 0 0 25 0 4 0 877009611 299790336 57402 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=292764 CPUtime=462.12 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 11679 0 0 0 46202 10 0 0 25 0 4 0 877009611 299790336 57402 33554432000 4194304 4964704 140735429993040 18446744073709551615 4653184 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1846.11
Current children cumulated vsize (KiB) 292764
[startup+522.301 s]
/proc/loadavg: 8.07 6.99 4.55 10/184 12285
/proc/meminfo: memFree=32202228/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=298088 CPUtime=2085.79 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 62145 0 0 0 208535 44 0 0 25 0 4 0 877009593 305242112 60299 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 74522 60299 460 189 0 68871 0
[pid=12263/tid=12269] ppid=12261 vsize=298088 CPUtime=522.06 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 22437 0 0 0 52191 15 0 0 25 0 4 0 877009611 305242112 60299 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=298088 CPUtime=519.44 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 15282 0 0 0 51935 9 0 0 25 0 4 0 877009611 305242112 60299 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=298088 CPUtime=522.11 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 11723 0 0 0 52201 10 0 0 25 0 4 0 877009611 305242112 60299 33554432000 4194304 4964704 140735429993040 18446744073709551615 4669056 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2085.79
Current children cumulated vsize (KiB) 298088
[startup+582.301 s]
/proc/loadavg: 8.15 7.21 4.77 10/184 12287
/proc/meminfo: memFree=32177508/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=366048 CPUtime=2325.46 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 67292 0 0 0 232496 50 0 0 25 0 4 0 877009593 374833152 65338 33554432000 4194304 4964704 140735429993040 18446744073709551615 4654520 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 91512 65338 460 189 0 85861 0
[pid=12263/tid=12269] ppid=12261 vsize=366048 CPUtime=582.06 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 24674 0 0 0 58188 18 0 0 25 0 4 0 877009611 374833152 65338 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670057 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=366048 CPUtime=579.11 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 15874 0 0 0 57902 9 0 0 25 0 4 0 877009611 374833152 65338 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=366048 CPUtime=582.12 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 11782 0 0 0 58202 10 0 0 25 0 4 0 877009611 374833152 65338 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2325.46
Current children cumulated vsize (KiB) 366048
[startup+642.301 s]
/proc/loadavg: 8.17 7.38 4.98 10/184 12289
/proc/meminfo: memFree=32168668/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=432012 CPUtime=2565.15 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 68340 0 0 0 256463 52 0 0 25 0 4 0 877009593 442380288 66191 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321029 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 108003 66191 460 189 0 102352 0
[pid=12263/tid=12269] ppid=12261 vsize=432012 CPUtime=642.06 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 25088 0 0 0 64187 19 0 0 25 0 4 0 877009611 442380288 66191 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=432012 CPUtime=638.8 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 16465 0 0 0 63870 10 0 0 25 0 4 0 877009611 442380288 66191 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=432012 CPUtime=642.12 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 11824 0 0 0 64202 10 0 0 25 0 4 0 877009611 442380288 66191 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.15
Current children cumulated vsize (KiB) 432012
Solver just ended. Dumping a history of the last processes samples
[startup+652.701 s]
/proc/loadavg: 8.14 7.40 5.01 10/184 12289
/proc/meminfo: memFree=32168040/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=432200 CPUtime=2606.67 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 68388 0 0 0 260615 52 0 0 25 0 4 0 877009593 442572800 66239 33554432000 4194304 4964704 140735429993040 18446744073709551615 4668931 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 108050 66239 460 189 0 102399 0
[pid=12263/tid=12269] ppid=12261 vsize=432200 CPUtime=652.46 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 25091 0 0 0 65227 19 0 0 25 0 4 0 877009611 442572800 66239 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321116 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=432200 CPUtime=649.14 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 16510 0 0 0 64904 10 0 0 25 0 4 0 877009611 442572800 66239 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=432200 CPUtime=652.52 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 11824 0 0 0 65242 10 0 0 25 0 4 0 877009611 442572800 66239 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2606.67
Current children cumulated vsize (KiB) 432200
[startup+659.101 s]
/proc/loadavg: 8.12 7.42 5.04 10/184 12289
/proc/meminfo: memFree=32167288/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=432200 CPUtime=2632.24 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 68569 0 0 0 263172 52 0 0 25 0 4 0 877009593 442572800 66420 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 108050 66420 460 189 0 102399 0
[pid=12263/tid=12269] ppid=12261 vsize=432200 CPUtime=658.86 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 25091 0 0 0 65867 19 0 0 25 0 4 0 877009611 442572800 66420 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=432200 CPUtime=655.5 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 16510 0 0 0 65540 10 0 0 25 0 4 0 877009611 442572800 66420 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=432200 CPUtime=658.91 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 12005 0 0 0 65881 10 0 0 25 0 4 0 877009611 442572800 66420 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2632.24
Current children cumulated vsize (KiB) 432200
[startup+662.301 s]
/proc/loadavg: 8.12 7.42 5.04 10/184 12289
/proc/meminfo: memFree=32166296/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=432200 CPUtime=2645.02 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 68723 0 0 0 264450 52 0 0 25 0 4 0 877009593 442572800 66574 33554432000 4194304 4964704 140735429993040 18446744073709551615 4332346 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 108050 66574 460 189 0 102399 0
[pid=12263/tid=12269] ppid=12261 vsize=432200 CPUtime=662.06 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 25091 0 0 0 66187 19 0 0 25 0 4 0 877009611 442572800 66574 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=432200 CPUtime=658.68 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 16510 0 0 0 65858 10 0 0 25 0 4 0 877009611 442572800 66574 33554432000 4194304 4964704 140735429993040 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=432200 CPUtime=662.11 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 12159 0 0 0 66201 10 0 0 25 0 4 0 877009611 442572800 66574 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2645.02
Current children cumulated vsize (KiB) 432200
[startup+663.101 s]
/proc/loadavg: 8.12 7.42 5.04 10/184 12289
/proc/meminfo: memFree=32166296/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=432200 CPUtime=2648.22 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 68724 0 0 0 264770 52 0 0 25 0 4 0 877009593 442572800 66575 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 108050 66575 460 189 0 102399 0
[pid=12263/tid=12269] ppid=12261 vsize=432200 CPUtime=662.86 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 25091 0 0 0 66267 19 0 0 25 0 4 0 877009611 442572800 66575 33554432000 4194304 4964704 140735429993040 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=432200 CPUtime=659.48 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 16510 0 0 0 65938 10 0 0 25 0 4 0 877009611 442572800 66575 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=432200 CPUtime=662.91 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 12160 0 0 0 66281 10 0 0 25 0 4 0 877009611 442572800 66575 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2648.22
Current children cumulated vsize (KiB) 432200
[startup+663.901 s]
/proc/loadavg: 8.11 7.43 5.06 10/184 12289
/proc/meminfo: memFree=32166296/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=432200 CPUtime=2651.41 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202496 68735 0 0 0 265089 52 0 0 25 0 4 0 877009593 442572800 66586 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 108050 66586 460 189 0 102399 0
[pid=12263/tid=12269] ppid=12261 vsize=432200 CPUtime=663.66 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (claspmt) R 12261 12263 10687 0 -1 4202560 25091 0 0 0 66347 19 0 0 25 0 4 0 877009611 442572800 66586 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=432200 CPUtime=660.28 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (claspmt) R 12261 12263 10687 0 -1 4202560 16510 0 0 0 66018 10 0 0 25 0 4 0 877009611 442572800 66586 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=432200 CPUtime=663.71 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (claspmt) R 12261 12263 10687 0 -1 4202560 12171 0 0 0 66361 10 0 0 25 0 4 0 877009611 442572800 66586 33554432000 4194304 4964704 140735429993040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2651.41
Current children cumulated vsize (KiB) 432200
[startup+664.101 s]
/proc/loadavg: 8.11 7.43 5.06 10/184 12289
/proc/meminfo: memFree=32166296/32951124 swapFree=67052920/67111528
[pid=12263] ppid=12261 vsize=0 CPUtime=2652.02 cores=0,2,4,6
/proc/12263/stat : 12263 (claspmt) R 12261 12263 10687 0 -1 4202500 68760 0 0 0 265149 53 0 0 25 0 1 0 877009593 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/12263/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2652.02
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 664.102
CPU time (s): 2652.04
CPU user time (s): 2651.5
CPU system time (s): 0.537918
CPU usage (%): 399.341
Max. virtual memory (cumulated for all children) (KiB): 432200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2651.5
system time used= 0.537918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68760
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= 3106
involuntary context switches= 14882
runsolver used 1.05484 second user time and 2.38264 second system time
The end