runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) 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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand986.sarge-etch.cudf.sarge-etch.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/icse/sarge-etch/rand986.sarge-etch.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand986.sarge-etch.cudf.sarge-etch.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.87 1.05 1.15 2/45 26898 /proc/meminfo: memFree=733292/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=1220 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) R 26897 26898 2059 34821 2220 4194304 118 0 0 0 0 0 0 0 25 0 1 0 876352870 1249280 43 1283457024 134512640 135304128 4289807648 18446744073709551615 4160122863 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26898/statm: 305 43 30 194 0 11 0 [startup+0.150482 s] /proc/loadavg: 0.87 1.05 1.15 2/45 26898 /proc/meminfo: memFree=733292/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+0.210499 s] /proc/loadavg: 0.87 1.05 1.15 2/45 26898 /proc/meminfo: memFree=733292/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+0.310514 s] /proc/loadavg: 0.87 1.05 1.15 2/45 26898 /proc/meminfo: memFree=733292/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+0.713029 s] /proc/loadavg: 0.87 1.05 1.15 2/45 26898 /proc/meminfo: memFree=733292/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2572 [startup+1.5132 s] /proc/loadavg: 0.87 1.05 1.15 5/57 26921 /proc/meminfo: memFree=697012/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 [pid=26900] ppid=26898 vsize=2576 CPUtime=0.02 /proc/26900/stat : 26900 (p2cudf) S 26898 26898 2059 34821 2220 4202496 392 3001 0 1 0 0 0 2 25 0 1 0 876352870 2637824 282 1283457024 134512640 135304128 4287757120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26900/statm: 644 282 241 194 0 30 0 [pid=26912] ppid=26900 vsize=871640 CPUtime=1.45 /proc/26912/stat : 26912 (java) S 26900 26898 2059 34821 2220 4202496 18312 0 1 0 139 6 0 0 25 0 10 0 876352874 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26912/statm: 217910 16107 1741 10 0 215000 0 [pid=26912/tid=26913] ppid=26900 vsize=871640 CPUtime=0.7 /proc/26912/task/26913/stat : 26913 (java) R 26900 26898 2059 34821 2220 4202560 11104 0 1 0 65 5 0 0 25 0 10 0 876352874 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4095378742 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26914] ppid=26900 vsize=871640 CPUtime=0 /proc/26912/task/26914/stat : 26914 (java) S 26900 26898 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876352876 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26915] ppid=26900 vsize=871640 CPUtime=0 /proc/26912/task/26915/stat : 26915 (java) S 26900 26898 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876352876 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26916] ppid=26900 vsize=871640 CPUtime=0 /proc/26912/task/26916/stat : 26916 (java) S 26900 26898 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876352876 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26917] ppid=26900 vsize=871640 CPUtime=0 /proc/26912/task/26917/stat : 26917 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26918] ppid=26900 vsize=871640 CPUtime=0.26 /proc/26912/task/26918/stat : 26918 (java) R 26900 26898 2059 34821 2220 4202560 2694 0 0 0 25 1 0 0 25 0 10 0 876352879 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26919] ppid=26900 vsize=871640 CPUtime=0.47 /proc/26912/task/26919/stat : 26919 (java) S 26900 26898 2059 34821 2220 4202560 3397 0 0 0 47 0 0 0 21 0 10 0 876352879 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26920] ppid=26900 vsize=871640 CPUtime=0 /proc/26912/task/26920/stat : 26920 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26921] ppid=26900 vsize=871640 CPUtime=0 /proc/26912/task/26921/stat : 26921 (java) S 26900 26898 2059 34821 2220 4202560 3 0 0 0 0 0 0 0 15 0 10 0 876352879 892559360 16107 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 876788 [startup+3.12398 s] /proc/loadavg: 0.87 1.05 1.15 3/57 26921 /proc/meminfo: memFree=589220/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 [pid=26900] ppid=26898 vsize=2576 CPUtime=0.02 /proc/26900/stat : 26900 (p2cudf) S 26898 26898 2059 34821 2220 4202496 392 3001 0 1 0 0 0 2 25 0 1 0 876352870 2637824 282 1283457024 134512640 135304128 4287757120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26900/statm: 644 282 241 194 0 30 0 [pid=26912] ppid=26900 vsize=876760 CPUtime=3.04 /proc/26912/stat : 26912 (java) S 26900 26898 2059 34821 2220 4202496 50051 0 1 0 288 16 0 0 25 0 10 0 876352874 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26912/statm: 219190 43872 1763 10 0 216280 0 [pid=26912/tid=26913] ppid=26900 vsize=876760 CPUtime=1.35 /proc/26912/task/26913/stat : 26913 (java) R 26900 26898 2059 34821 2220 4202560 37541 0 1 0 120 15 0 0 25 0 10 0 876352874 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26914] ppid=26900 vsize=876760 CPUtime=0 /proc/26912/task/26914/stat : 26914 (java) S 26900 26898 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876352876 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26915] ppid=26900 vsize=876760 CPUtime=0 /proc/26912/task/26915/stat : 26915 (java) S 26900 26898 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876352876 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26916] ppid=26900 vsize=876760 CPUtime=0 /proc/26912/task/26916/stat : 26916 (java) S 26900 26898 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876352876 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26917] ppid=26900 vsize=876760 CPUtime=0 /proc/26912/task/26917/stat : 26917 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26918] ppid=26900 vsize=876760 CPUtime=0.49 /proc/26912/task/26918/stat : 26918 (java) R 26900 26898 2059 34821 2220 4202560 2713 0 0 0 48 1 0 0 22 0 10 0 876352879 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4149637623 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26919] ppid=26900 vsize=876760 CPUtime=1.18 /proc/26912/task/26919/stat : 26919 (java) R 26900 26898 2059 34821 2220 4202560 8680 0 0 0 118 0 0 0 15 0 10 0 876352879 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4153018688 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26920] ppid=26900 vsize=876760 CPUtime=0 /proc/26912/task/26920/stat : 26920 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26921] ppid=26900 vsize=876760 CPUtime=0 /proc/26912/task/26921/stat : 26921 (java) S 26900 26898 2059 34821 2220 4202560 3 0 0 0 0 0 0 0 15 0 10 0 876352879 897802240 43872 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 881908 Solver just ended. Dumping a history of the last processes samples [startup+3.214 s] /proc/loadavg: 0.87 1.05 1.15 3/57 26921 /proc/meminfo: memFree=589220/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 [pid=26900] ppid=26898 vsize=2576 CPUtime=0.02 /proc/26900/stat : 26900 (p2cudf) S 26898 26898 2059 34821 2220 4202496 392 3001 0 1 0 0 0 2 25 0 1 0 876352870 2637824 282 1283457024 134512640 135304128 4287757120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26900/statm: 644 282 241 194 0 30 0 [pid=26912] ppid=26900 vsize=875736 CPUtime=3.13 /proc/26912/stat : 26912 (java) S 26900 26898 2059 34821 2220 4202496 50196 0 1 0 297 16 0 0 25 0 10 0 876352874 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26912/statm: 218934 43717 1763 10 0 216024 0 [pid=26912/tid=26913] ppid=26900 vsize=875736 CPUtime=1.35 /proc/26912/task/26913/stat : 26913 (java) R 26900 26898 2059 34821 2220 4202560 37664 0 1 0 120 15 0 0 25 0 10 0 876352874 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26914] ppid=26900 vsize=875736 CPUtime=0 /proc/26912/task/26914/stat : 26914 (java) S 26900 26898 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876352876 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26915] ppid=26900 vsize=875736 CPUtime=0 /proc/26912/task/26915/stat : 26915 (java) S 26900 26898 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876352876 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26916] ppid=26900 vsize=875736 CPUtime=0 /proc/26912/task/26916/stat : 26916 (java) S 26900 26898 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876352876 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26917] ppid=26900 vsize=875736 CPUtime=0 /proc/26912/task/26917/stat : 26917 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26918] ppid=26900 vsize=875736 CPUtime=0.49 /proc/26912/task/26918/stat : 26918 (java) R 26900 26898 2059 34821 2220 4202560 2713 0 0 0 48 1 0 0 22 0 10 0 876352879 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4149637623 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26919] ppid=26900 vsize=875736 CPUtime=1.27 /proc/26912/task/26919/stat : 26919 (java) R 26900 26898 2059 34821 2220 4202560 8702 0 0 0 127 0 0 0 16 0 10 0 876352879 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4147816509 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26920] ppid=26900 vsize=875736 CPUtime=0 /proc/26912/task/26920/stat : 26920 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26921] ppid=26900 vsize=875736 CPUtime=0 /proc/26912/task/26921/stat : 26921 (java) S 26900 26898 2059 34821 2220 4202560 3 0 0 0 0 0 0 0 15 0 10 0 876352879 896753664 43717 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.15 Current children cumulated vsize (KiB) 880884 [startup+4.01416 s] /proc/loadavg: 0.87 1.05 1.15 3/57 26921 /proc/meminfo: memFree=554872/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 [pid=26900] ppid=26898 vsize=2576 CPUtime=0.02 /proc/26900/stat : 26900 (p2cudf) S 26898 26898 2059 34821 2220 4202496 392 3001 0 1 0 0 0 2 25 0 1 0 876352870 2637824 282 1283457024 134512640 135304128 4287757120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26900/statm: 644 282 241 194 0 30 0 [pid=26912] ppid=26900 vsize=876384 CPUtime=3.94 /proc/26912/stat : 26912 (java) S 26900 26898 2059 34821 2220 4202496 60280 0 1 0 371 23 0 0 25 0 12 0 876352874 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26912/statm: 219096 53801 1776 10 0 216186 0 [pid=26912/tid=26913] ppid=26900 vsize=876384 CPUtime=1.72 /proc/26912/task/26913/stat : 26913 (java) R 26900 26898 2059 34821 2220 4202560 47689 0 1 0 151 21 0 0 25 0 12 0 876352874 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4095968080 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26914] ppid=26900 vsize=876384 CPUtime=0 /proc/26912/task/26914/stat : 26914 (java) R 26900 26898 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 12 0 876352876 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26915] ppid=26900 vsize=876384 CPUtime=0 /proc/26912/task/26915/stat : 26915 (java) S 26900 26898 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 12 0 876352876 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26916] ppid=26900 vsize=876384 CPUtime=0 /proc/26912/task/26916/stat : 26916 (java) S 26900 26898 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 12 0 876352876 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26917] ppid=26900 vsize=876384 CPUtime=0 /proc/26912/task/26917/stat : 26917 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 12 0 876352879 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26918] ppid=26900 vsize=876384 CPUtime=0.76 /proc/26912/task/26918/stat : 26918 (java) R 26900 26898 2059 34821 2220 4202560 2747 0 0 0 75 1 0 0 20 0 12 0 876352879 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4149851888 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26912/tid=26919] ppid=26900 vsize=876384 CPUtime=1.42 /proc/26912/task/26919/stat : 26919 (java) S 26900 26898 2059 34821 2220 4202560 8723 0 0 0 142 0 0 0 15 0 12 0 876352879 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26920] ppid=26900 vsize=876384 CPUtime=0 /proc/26912/task/26920/stat : 26920 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 12 0 876352879 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26921] ppid=26900 vsize=876384 CPUtime=0 /proc/26912/task/26921/stat : 26921 (java) S 26900 26898 2059 34821 2220 4202560 3 0 0 0 0 0 0 0 15 0 12 0 876352879 897417216 53801 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 881532 [startup+4.8049 s] /proc/loadavg: 1.12 1.10 1.16 5/60 26925 /proc/meminfo: memFree=511944/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 [pid=26900] ppid=26898 vsize=2576 CPUtime=0.02 /proc/26900/stat : 26900 (p2cudf) S 26898 26898 2059 34821 2220 4202496 392 3001 0 1 0 0 0 2 25 0 1 0 876352870 2637824 282 1283457024 134512640 135304128 4287757120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26900/statm: 644 282 241 194 0 30 0 [pid=26912] ppid=26900 vsize=877356 CPUtime=4.42 /proc/26912/stat : 26912 (java) S 26900 26898 2059 34821 2220 4202496 62163 0 1 0 418 24 0 0 25 0 11 0 876352874 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26912/statm: 219339 55684 1787 10 0 216429 0 [pid=26912/tid=26913] ppid=26900 vsize=877356 CPUtime=1.9 /proc/26912/task/26913/stat : 26913 (java) S 26900 26898 2059 34821 2220 4202560 49511 0 1 0 168 22 0 0 25 0 11 0 876352874 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26914] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26914/stat : 26914 (java) S 26900 26898 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 11 0 876352876 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26915] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26915/stat : 26915 (java) S 26900 26898 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 876352876 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26916] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26916/stat : 26916 (java) S 26900 26898 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 876352876 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26917] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26917/stat : 26917 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26918] ppid=26900 vsize=877356 CPUtime=1.07 /proc/26912/task/26918/stat : 26918 (java) S 26900 26898 2059 34821 2220 4202560 2791 0 0 0 106 1 0 0 19 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26919] ppid=26900 vsize=877356 CPUtime=1.42 /proc/26912/task/26919/stat : 26919 (java) S 26900 26898 2059 34821 2220 4202560 8723 0 0 0 142 0 0 0 15 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26920] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26920/stat : 26920 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26921] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26921/stat : 26921 (java) S 26900 26898 2059 34821 2220 4202560 3 0 0 0 0 0 0 0 15 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 882504 [startup+5.0049 s] /proc/loadavg: 1.12 1.10 1.16 5/60 26925 /proc/meminfo: memFree=511944/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 [pid=26900] ppid=26898 vsize=2576 CPUtime=0.02 /proc/26900/stat : 26900 (p2cudf) S 26898 26898 2059 34821 2220 4202496 392 3001 0 1 0 0 0 2 25 0 1 0 876352870 2637824 282 1283457024 134512640 135304128 4287757120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26900/statm: 644 282 241 194 0 30 0 [pid=26912] ppid=26900 vsize=877356 CPUtime=4.42 /proc/26912/stat : 26912 (java) S 26900 26898 2059 34821 2220 4202496 62163 0 1 0 418 24 0 0 25 0 11 0 876352874 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26912/statm: 219339 55684 1787 10 0 216429 0 [pid=26912/tid=26913] ppid=26900 vsize=877356 CPUtime=1.9 /proc/26912/task/26913/stat : 26913 (java) S 26900 26898 2059 34821 2220 4202560 49511 0 1 0 168 22 0 0 25 0 11 0 876352874 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26914] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26914/stat : 26914 (java) S 26900 26898 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 11 0 876352876 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26915] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26915/stat : 26915 (java) S 26900 26898 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 876352876 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26916] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26916/stat : 26916 (java) S 26900 26898 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 876352876 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26917] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26917/stat : 26917 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26918] ppid=26900 vsize=877356 CPUtime=1.07 /proc/26912/task/26918/stat : 26918 (java) S 26900 26898 2059 34821 2220 4202560 2791 0 0 0 106 1 0 0 19 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26919] ppid=26900 vsize=877356 CPUtime=1.42 /proc/26912/task/26919/stat : 26919 (java) S 26900 26898 2059 34821 2220 4202560 8723 0 0 0 142 0 0 0 15 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26920] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26920/stat : 26920 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26921] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26921/stat : 26921 (java) R 26900 26898 2059 34821 2220 4202560 3 0 0 0 0 0 0 0 15 0 11 0 876352879 898412544 55684 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 882504 [startup+5.10493 s] /proc/loadavg: 1.12 1.10 1.16 5/60 26925 /proc/meminfo: memFree=511944/1048576 swapFree=2078764/2097144 [pid=26898] ppid=26897 vsize=2572 CPUtime=0 /proc/26898/stat : 26898 (p2cudf-paranoid) S 26897 26898 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 25 0 1 0 876352870 2633728 274 1283457024 134512640 135304128 4289807648 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26898/statm: 643 274 233 194 0 29 0 [pid=26900] ppid=26898 vsize=2576 CPUtime=0.02 /proc/26900/stat : 26900 (p2cudf) S 26898 26898 2059 34821 2220 4202496 392 3001 0 1 0 0 0 2 25 0 1 0 876352870 2637824 282 1283457024 134512640 135304128 4287757120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26900/statm: 644 282 241 194 0 30 0 [pid=26912] ppid=26900 vsize=877356 CPUtime=4.49 /proc/26912/stat : 26912 (java) S 26900 26898 2059 34821 2220 4202496 62322 0 1 0 425 24 0 0 25 0 10 0 876352874 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26912/statm: 219339 55843 1787 10 0 216429 0 [pid=26912/tid=26913] ppid=26900 vsize=877356 CPUtime=1.9 /proc/26912/task/26913/stat : 26913 (java) S 26900 26898 2059 34821 2220 4202560 49511 0 1 0 168 22 0 0 20 0 10 0 876352874 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26914] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26914/stat : 26914 (java) S 26900 26898 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 10 0 876352876 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26915] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26915/stat : 26915 (java) S 26900 26898 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876352876 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26916] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26916/stat : 26916 (java) S 26900 26898 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876352876 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26917] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26917/stat : 26917 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26918] ppid=26900 vsize=877356 CPUtime=1.1 /proc/26912/task/26918/stat : 26918 (java) S 26900 26898 2059 34821 2220 4202560 2794 0 0 0 109 1 0 0 16 0 10 0 876352879 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26919] ppid=26900 vsize=877356 CPUtime=1.42 /proc/26912/task/26919/stat : 26919 (java) S 26900 26898 2059 34821 2220 4202560 8723 0 0 0 142 0 0 0 15 0 10 0 876352879 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26920] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26920/stat : 26920 (java) S 26900 26898 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876352879 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=26912/tid=26921] ppid=26900 vsize=877356 CPUtime=0 /proc/26912/task/26921/stat : 26921 (java) S 26900 26898 2059 34821 2220 4202560 3 0 0 0 0 0 0 0 15 0 10 0 876352879 898412544 55843 1283457024 134512640 134550932 4288098864 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.51 Current children cumulated vsize (KiB) 882504 Child status: 0 Real time (s): 5.14121 CPU time (s): 4.54428 CPU user time (s): 4.26427 CPU system time (s): 0.280017 CPU usage (%): 88.3894 Max. virtual memory (cumulated for all children) (KiB): 882504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.26427 system time used= 0.280017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66119 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 723 involuntary context switches= 714 runsolver used 0 second user time and 0 second system time The end