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-3299484-1304044818/watcher-3299484-1304044818 -o /tmp/evaluation-result-3299484-1304044818/solver-3299484-1304044818 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299484-1304044818.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: 3.14 3.86 4.60 2/174 825
/proc/meminfo: memFree=20028704/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=20872 CPUtime=0 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 486 0 0 0 0 0 0 0 25 0 1 0 516081561 21372928 415 33554432000 4194304 4964704 140736629419296 18446744073709551615 47529344642743 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/825/statm: 5218 415 353 189 0 92 0
[startup+0.026846 s]
/proc/loadavg: 3.14 3.86 4.60 2/174 825
/proc/meminfo: memFree=20028704/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=169540 CPUtime=0.05 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 1272 0 0 0 5 0 0 0 25 0 4 0 516081561 173608960 1159 33554432000 4194304 4964704 140736629419296 18446744073709551615 4334298 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/825/statm: 42385 1159 457 189 0 36734 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 169540
[startup+0.109769 s]
/proc/loadavg: 3.14 3.86 4.60 2/174 825
/proc/meminfo: memFree=20028704/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=235736 CPUtime=0.36 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 2037 0 0 0 34 2 0 0 25 0 4 0 516081561 241393664 1924 33554432000 4194304 4964704 140736629419296 18446744073709551615 237278540485 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/825/statm: 58934 1924 458 189 0 53283 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 235736
[startup+0.300748 s]
/proc/loadavg: 3.14 3.86 4.60 2/174 825
/proc/meminfo: memFree=20028704/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=236008 CPUtime=1.13 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 2689 0 0 0 111 2 0 0 25 0 4 0 516081561 241672192 2576 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 59002 2576 458 189 0 53351 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 236008
[startup+0.700678 s]
/proc/loadavg: 3.14 3.86 4.60 2/174 825
/proc/meminfo: memFree=20028704/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=237064 CPUtime=2.73 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 3373 0 0 0 270 3 0 0 25 0 4 0 516081561 242753536 3260 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670255 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 59266 3260 458 189 0 53615 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 237064
[startup+1.50054 s]
/proc/loadavg: 3.14 3.86 4.60 9/184 847
/proc/meminfo: memFree=19961920/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=237880 CPUtime=5.93 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 4319 0 0 0 589 4 0 0 25 0 4 0 516081561 243589120 4206 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 59470 4206 458 189 0 53819 0
[pid=825/tid=827] ppid=823 vsize=237880 CPUtime=1.47 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 582 0 0 0 147 0 0 0 25 0 4 0 516081563 243589120 4206 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668645 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=237880 CPUtime=1.48 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 1117 0 0 0 148 0 0 0 25 0 4 0 516081563 243589120 4206 33554432000 4194304 4964704 140736629419296 18446744073709551615 4363687 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=237880 CPUtime=1.47 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 1037 0 0 0 146 1 0 0 25 0 4 0 516081563 243589120 4206 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 237880
[startup+3.10025 s]
/proc/loadavg: 3.14 3.86 4.60 9/184 847
/proc/meminfo: memFree=19934516/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=239620 CPUtime=12.32 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 6913 0 0 0 1227 5 0 0 25 0 4 0 516081561 245370880 6710 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668942 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 59905 6710 460 189 0 54254 0
[pid=825/tid=827] ppid=823 vsize=239620 CPUtime=3.07 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 1264 0 0 0 306 1 0 0 25 0 4 0 516081563 245370880 6710 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=239620 CPUtime=3.07 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 1905 0 0 0 307 0 0 0 25 0 4 0 516081563 245370880 6710 33554432000 4194304 4964704 140736629419296 18446744073709551615 4362720 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=239620 CPUtime=3.07 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 1580 0 0 0 306 1 0 0 25 0 4 0 516081563 245370880 6710 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 239620
[startup+6.30069 s]
/proc/loadavg: 3.53 3.93 4.62 9/184 847
/proc/meminfo: memFree=19876000/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=241404 CPUtime=25.1 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 9962 0 0 0 2503 7 0 0 25 0 4 0 516081561 247197696 9723 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670215 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 60351 9723 460 189 0 54700 0
[pid=825/tid=827] ppid=823 vsize=241404 CPUtime=6.27 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 1843 0 0 0 625 2 0 0 25 0 4 0 516081563 247197696 9723 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=241404 CPUtime=6.28 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 3155 0 0 0 627 1 0 0 25 0 4 0 516081563 247197696 9723 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=241404 CPUtime=6.27 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 2167 0 0 0 626 1 0 0 25 0 4 0 516081563 247197696 9723 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669432 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 241404
[startup+12.7005 s]
/proc/loadavg: 3.89 3.99 4.64 9/184 847
/proc/meminfo: memFree=19820288/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=244328 CPUtime=50.67 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 13086 0 0 0 5058 9 0 0 25 0 4 0 516081561 250191872 12847 33554432000 4194304 4964704 140736629419296 18446744073709551615 4342208 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 61082 12847 460 189 0 55431 0
[pid=825/tid=827] ppid=823 vsize=244328 CPUtime=12.67 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 2181 0 0 0 1265 2 0 0 25 0 4 0 516081563 250191872 12847 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=244328 CPUtime=12.67 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 4222 0 0 0 1266 1 0 0 25 0 4 0 516081563 250191872 12847 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=244328 CPUtime=12.67 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 3237 0 0 0 1265 2 0 0 25 0 4 0 516081563 250191872 12847 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 244328
[startup+25.5003 s]
/proc/loadavg: 4.80 4.19 4.69 9/184 848
/proc/meminfo: memFree=19726136/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=250360 CPUtime=101.79 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 17106 0 0 0 10168 11 0 0 25 0 4 0 516081561 256368640 16859 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 62590 16859 460 189 0 56939 0
[pid=825/tid=827] ppid=823 vsize=250360 CPUtime=25.47 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 3955 0 0 0 2544 3 0 0 25 0 4 0 516081563 256368640 16859 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669423 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=250360 CPUtime=25.47 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 5472 0 0 0 2545 2 0 0 25 0 4 0 516081563 256368640 16859 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=250360 CPUtime=25.46 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 3734 0 0 0 2544 2 0 0 25 0 4 0 516081563 256368640 16859 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 250360
[startup+51.1007 s]
/proc/loadavg: 5.89 4.49 4.78 9/184 848
/proc/meminfo: memFree=19630376/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=252480 CPUtime=204.06 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 21566 0 0 0 20392 14 0 0 25 0 4 0 516081561 258539520 21319 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669399 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 63120 21319 460 189 0 57469 0
[pid=825/tid=827] ppid=823 vsize=252480 CPUtime=51.07 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 4918 0 0 0 5103 4 0 0 25 0 4 0 516081563 258539520 21319 33554432000 4194304 4964704 140736629419296 18446744073709551615 4653284 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=252480 CPUtime=51.07 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 7252 0 0 0 5104 3 0 0 25 0 4 0 516081563 258539520 21319 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669455 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=252480 CPUtime=51.07 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4540 0 0 0 5104 3 0 0 25 0 4 0 516081563 258539520 21319 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 252480
Solver just ended. Dumping a history of the last processes samples
[startup+76.7012 s]
/proc/loadavg: 6.61 4.78 4.86 9/184 855
/proc/meminfo: memFree=19536384/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=253296 CPUtime=306.34 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 23341 0 0 0 30619 15 0 0 25 0 4 0 516081561 259375104 23094 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 63324 23094 460 189 0 57673 0
[pid=825/tid=827] ppid=823 vsize=253296 CPUtime=76.66 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 5744 0 0 0 7662 4 0 0 25 0 4 0 516081563 259375104 23094 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=253296 CPUtime=76.68 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 7704 0 0 0 7664 4 0 0 25 0 4 0 516081563 259375104 23094 33554432000 4194304 4964704 140736629419296 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=253296 CPUtime=76.67 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4846 0 0 0 7664 3 0 0 25 0 4 0 516081563 259375104 23094 33554432000 4194304 4964704 140736629419296 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 306.34
Current children cumulated vsize (KiB) 253296
[startup+83.101 s]
/proc/loadavg: 6.72 4.83 4.88 9/184 855
/proc/meminfo: memFree=19522000/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=254616 CPUtime=331.9 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 23685 0 0 0 33175 15 0 0 25 0 4 0 516081561 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 63654 23438 460 189 0 58003 0
[pid=825/tid=827] ppid=823 vsize=254616 CPUtime=83.06 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 5744 0 0 0 8302 4 0 0 25 0 4 0 516081563 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4380082 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=254616 CPUtime=83.08 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 7717 0 0 0 8304 4 0 0 25 0 4 0 516081563 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668942 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=254616 CPUtime=83.06 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4925 0 0 0 8303 3 0 0 25 0 4 0 516081563 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4675462 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 331.9
Current children cumulated vsize (KiB) 254616
[startup+86.3005 s]
/proc/loadavg: 6.82 4.88 4.89 9/184 855
/proc/meminfo: memFree=19509352/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=254616 CPUtime=344.68 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 23685 0 0 0 34453 15 0 0 25 0 4 0 516081561 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 63654 23438 460 189 0 58003 0
[pid=825/tid=827] ppid=823 vsize=254616 CPUtime=86.26 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 5744 0 0 0 8622 4 0 0 25 0 4 0 516081563 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=254616 CPUtime=86.28 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 7717 0 0 0 8624 4 0 0 25 0 4 0 516081563 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=254616 CPUtime=86.26 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4925 0 0 0 8623 3 0 0 25 0 4 0 516081563 260726784 23438 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 344.68
Current children cumulated vsize (KiB) 254616
[startup+89.5009 s]
/proc/loadavg: 6.82 4.88 4.89 9/184 855
/proc/meminfo: memFree=19493976/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=256932 CPUtime=357.46 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 24326 0 0 0 35731 15 0 0 25 0 4 0 516081561 263098368 24079 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 64233 24079 460 189 0 58582 0
[pid=825/tid=827] ppid=823 vsize=256932 CPUtime=89.46 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 6053 0 0 0 8942 4 0 0 25 0 4 0 516081563 263098368 24079 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669420 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=256932 CPUtime=89.48 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 8049 0 0 0 8944 4 0 0 25 0 4 0 516081563 263098368 24079 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669309 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=256932 CPUtime=89.46 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4925 0 0 0 8943 3 0 0 25 0 4 0 516081563 263098368 24079 33554432000 4194304 4964704 140736629419296 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 357.46
Current children cumulated vsize (KiB) 256932
[startup+90.3008 s]
/proc/loadavg: 6.92 4.93 4.91 9/184 855
/proc/meminfo: memFree=19491372/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=256932 CPUtime=360.66 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 24349 0 0 0 36051 15 0 0 25 0 4 0 516081561 263098368 24102 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 64233 24102 460 189 0 58582 0
[pid=825/tid=827] ppid=823 vsize=256932 CPUtime=90.26 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 6076 0 0 0 9022 4 0 0 25 0 4 0 516081563 263098368 24102 33554432000 4194304 4964704 140736629419296 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=256932 CPUtime=90.28 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 8049 0 0 0 9024 4 0 0 25 0 4 0 516081563 263098368 24102 33554432000 4194304 4964704 140736629419296 18446744073709551615 4321069 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=256932 CPUtime=90.26 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4925 0 0 0 9023 3 0 0 25 0 4 0 516081563 263098368 24102 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 360.66
Current children cumulated vsize (KiB) 256932
[startup+90.7007 s]
/proc/loadavg: 6.92 4.93 4.91 9/184 855
/proc/meminfo: memFree=19491372/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=256932 CPUtime=362.26 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 24361 0 0 0 36211 15 0 0 25 0 4 0 516081561 263098368 24114 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669399 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 64233 24114 460 189 0 58582 0
[pid=825/tid=827] ppid=823 vsize=256932 CPUtime=90.66 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 6088 0 0 0 9062 4 0 0 25 0 4 0 516081563 263098368 24114 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=256932 CPUtime=90.68 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 8049 0 0 0 9064 4 0 0 25 0 4 0 516081563 263098368 24114 33554432000 4194304 4964704 140736629419296 18446744073709551615 4320864 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=256932 CPUtime=90.66 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4925 0 0 0 9063 3 0 0 25 0 4 0 516081563 263098368 24114 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 362.26
Current children cumulated vsize (KiB) 256932
[startup+90.9007 s]
/proc/loadavg: 6.92 4.93 4.91 9/184 855
/proc/meminfo: memFree=19491372/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=256932 CPUtime=363.06 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 24531 0 0 0 36291 15 0 0 25 0 4 0 516081561 263098368 24284 33554432000 4194304 4964704 140736629419296 18446744073709551615 4668717 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/825/statm: 64233 24284 460 189 0 58582 0
[pid=825/tid=827] ppid=823 vsize=256932 CPUtime=90.86 cores=0,2,4,6
/proc/825/task/827/stat : 827 (claspmt) R 823 825 793 0 -1 4202560 6094 0 0 0 9082 4 0 0 25 0 4 0 516081563 263098368 24284 33554432000 4194304 4964704 140736629419296 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=825/tid=828] ppid=823 vsize=256932 CPUtime=90.88 cores=0,2,4,6
/proc/825/task/828/stat : 828 (claspmt) R 823 825 793 0 -1 4202560 8049 0 0 0 9084 4 0 0 25 0 4 0 516081563 263098368 24284 33554432000 4194304 4964704 140736629419296 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=825/tid=829] ppid=823 vsize=256932 CPUtime=90.86 cores=0,2,4,6
/proc/825/task/829/stat : 829 (claspmt) R 823 825 793 0 -1 4202560 4925 0 0 0 9083 3 0 0 25 0 4 0 516081563 263098368 24284 33554432000 4194304 4964704 140736629419296 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 363.06
Current children cumulated vsize (KiB) 256932
[startup+91.0006 s]
/proc/loadavg: 6.92 4.93 4.91 9/184 855
/proc/meminfo: memFree=19491372/32950904 swapFree=67082284/67111528
[pid=825] ppid=823 vsize=255568 CPUtime=363.42 cores=0,2,4,6
/proc/825/stat : 825 (claspmt) R 823 825 793 0 -1 4202496 24634 0 0 0 36327 15 0 0 25 0 1 0 516081561 261701632 24048 33554432000 4194304 4964704 140736629419296 18446744073709551615 237278534681 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/825/statm: 63892 24048 470 189 0 58241 0
Current children cumulated CPU time (s) 363.42
Current children cumulated vsize (KiB) 255568
Child status: 10
Real time (s): 91.008
CPU time (s): 363.443
CPU user time (s): 363.282
CPU system time (s): 0.160975
CPU usage (%): 399.352
Max. virtual memory (cumulated for all children) (KiB): 256932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.282
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24636
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= 2709
involuntary context switches= 1607
runsolver used 0.145977 second user time and 0.315951 second system time
The end