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/randd8bf6a.cudf.difficult.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/randd8bf6a.cudf.difficult.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: 1.39 1.34 1.27 4/46 1842 /proc/meminfo: memFree=707240/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) R 1840 1841 2059 34821 2220 4202496 359 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0 /proc/1842/stat : 1842 (p2cudf-paranoid) R 1841 1841 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 40 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1842/statm: 643 40 0 194 0 29 0 [startup+0.161287 s] /proc/loadavg: 1.39 1.34 1.27 4/46 1842 /proc/meminfo: memFree=707240/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.211307 s] /proc/loadavg: 1.39 1.34 1.27 4/46 1842 /proc/meminfo: memFree=707240/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.311329 s] /proc/loadavg: 1.39 1.34 1.27 4/46 1842 /proc/meminfo: memFree=707240/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.706213 s] /proc/loadavg: 1.39 1.34 1.27 4/46 1842 /proc/meminfo: memFree=707240/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+1.50636 s] /proc/loadavg: 1.39 1.34 1.27 5/57 1864 /proc/meminfo: memFree=672776/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 [pid=1855] ppid=1842 vsize=867264 CPUtime=1.46 /proc/1855/stat : 1855 (java) S 1842 1841 2059 34821 2220 4202496 20265 0 1 0 138 8 0 0 25 0 10 0 876711154 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1855/statm: 216816 18629 1741 10 0 213906 0 [pid=1855/tid=1856] ppid=1842 vsize=867264 CPUtime=0.75 /proc/1855/task/1856/stat : 1856 (java) R 1842 1841 2059 34821 2220 4202560 14558 0 1 0 70 5 0 0 25 0 10 0 876711155 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4096115292 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1855/tid=1857] ppid=1842 vsize=867264 CPUtime=0 /proc/1855/task/1857/stat : 1857 (java) S 1842 1841 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876711157 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1858] ppid=1842 vsize=867264 CPUtime=0 /proc/1855/task/1858/stat : 1858 (java) S 1842 1841 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876711157 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1859] ppid=1842 vsize=867264 CPUtime=0 /proc/1855/task/1859/stat : 1859 (java) S 1842 1841 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876711157 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1860] ppid=1842 vsize=867264 CPUtime=0 /proc/1855/task/1860/stat : 1860 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1861] ppid=1842 vsize=867264 CPUtime=0.28 /proc/1855/task/1861/stat : 1861 (java) R 1842 1841 2059 34821 2220 4202560 2616 0 0 0 26 2 0 0 25 0 10 0 876711160 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1855/tid=1862] ppid=1842 vsize=867264 CPUtime=0.41 /proc/1855/task/1862/stat : 1862 (java) S 1842 1841 2059 34821 2220 4202560 1978 0 0 0 41 0 0 0 21 0 10 0 876711160 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1863] ppid=1842 vsize=867264 CPUtime=0 /proc/1855/task/1863/stat : 1863 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1864] ppid=1842 vsize=867264 CPUtime=0 /proc/1855/task/1864/stat : 1864 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876711160 888078336 18629 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 872408 [startup+3.11302 s] /proc/loadavg: 1.36 1.33 1.26 2/57 1864 /proc/meminfo: memFree=509916/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 [pid=1855] ppid=1842 vsize=873920 CPUtime=2.97 /proc/1855/stat : 1855 (java) S 1842 1841 2059 34821 2220 4202496 58171 0 1 0 272 25 0 0 25 0 10 0 876711154 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1855/statm: 218480 54847 1762 10 0 215570 0 [pid=1855/tid=1856] ppid=1842 vsize=873920 CPUtime=1.48 /proc/1855/task/1856/stat : 1856 (java) R 1842 1841 2059 34821 2220 4202560 49099 0 1 0 128 20 0 0 25 0 10 0 876711155 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1855/tid=1857] ppid=1842 vsize=873920 CPUtime=0 /proc/1855/task/1857/stat : 1857 (java) R 1842 1841 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876711157 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1855/tid=1858] ppid=1842 vsize=873920 CPUtime=0 /proc/1855/task/1858/stat : 1858 (java) S 1842 1841 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876711157 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1859] ppid=1842 vsize=873920 CPUtime=0 /proc/1855/task/1859/stat : 1859 (java) S 1842 1841 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876711157 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1860] ppid=1842 vsize=873920 CPUtime=0 /proc/1855/task/1860/stat : 1860 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1861] ppid=1842 vsize=873920 CPUtime=1.06 /proc/1855/task/1861/stat : 1861 (java) R 1842 1841 2059 34821 2220 4202560 5981 0 0 0 102 4 0 0 18 0 10 0 876711160 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4150529499 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1855/tid=1862] ppid=1842 vsize=873920 CPUtime=0.41 /proc/1855/task/1862/stat : 1862 (java) S 1842 1841 2059 34821 2220 4202560 1978 0 0 0 41 0 0 0 20 0 10 0 876711160 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1863] ppid=1842 vsize=873920 CPUtime=0 /proc/1855/task/1863/stat : 1863 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1864] ppid=1842 vsize=873920 CPUtime=0 /proc/1855/task/1864/stat : 1864 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876711160 894894080 54847 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 879064 Solver just ended. Dumping a history of the last processes samples [startup+3.20301 s] /proc/loadavg: 1.36 1.33 1.26 2/57 1864 /proc/meminfo: memFree=509916/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 [pid=1855] ppid=1842 vsize=871976 CPUtime=3.06 /proc/1855/stat : 1855 (java) S 1842 1841 2059 34821 2220 4202496 59061 0 1 0 281 25 0 0 25 0 10 0 876711154 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1855/statm: 217994 55258 1762 10 0 215084 0 [pid=1855/tid=1856] ppid=1842 vsize=871976 CPUtime=1.53 /proc/1855/task/1856/stat : 1856 (java) R 1842 1841 2059 34821 2220 4202560 49805 0 1 0 133 20 0 0 25 0 10 0 876711155 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4095718110 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1855/tid=1857] ppid=1842 vsize=871976 CPUtime=0.01 /proc/1855/task/1857/stat : 1857 (java) S 1842 1841 2059 34821 2220 4202560 5 0 0 0 1 0 0 0 17 0 10 0 876711157 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1858] ppid=1842 vsize=871976 CPUtime=0 /proc/1855/task/1858/stat : 1858 (java) S 1842 1841 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876711157 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1859] ppid=1842 vsize=871976 CPUtime=0 /proc/1855/task/1859/stat : 1859 (java) S 1842 1841 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876711157 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1860] ppid=1842 vsize=871976 CPUtime=0 /proc/1855/task/1860/stat : 1860 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1861] ppid=1842 vsize=871976 CPUtime=1.09 /proc/1855/task/1861/stat : 1861 (java) S 1842 1841 2059 34821 2220 4202560 6165 0 0 0 105 4 0 0 17 0 10 0 876711160 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1862] ppid=1842 vsize=871976 CPUtime=0.41 /proc/1855/task/1862/stat : 1862 (java) S 1842 1841 2059 34821 2220 4202560 1978 0 0 0 41 0 0 0 20 0 10 0 876711160 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1863] ppid=1842 vsize=871976 CPUtime=0 /proc/1855/task/1863/stat : 1863 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1864] ppid=1842 vsize=871976 CPUtime=0 /proc/1855/task/1864/stat : 1864 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876711160 892903424 55258 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 877120 [startup+4.01728 s] /proc/loadavg: 1.36 1.33 1.26 3/57 1864 /proc/meminfo: memFree=468996/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 [pid=1855] ppid=1842 vsize=872300 CPUtime=3.86 /proc/1855/stat : 1855 (java) S 1842 1841 2059 34821 2220 4202496 73386 0 1 0 360 26 0 0 25 0 11 0 876711154 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1855/statm: 218075 69583 1773 10 0 215165 0 [pid=1855/tid=1856] ppid=1842 vsize=872300 CPUtime=1.79 /proc/1855/task/1856/stat : 1856 (java) R 1842 1841 2059 34821 2220 4202560 50435 0 1 0 159 20 0 0 25 0 11 0 876711155 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1855/tid=1857] ppid=1842 vsize=872300 CPUtime=0.33 /proc/1855/task/1857/stat : 1857 (java) S 1842 1841 2059 34821 2220 4202560 13651 0 0 0 32 1 0 0 16 0 11 0 876711157 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1858] ppid=1842 vsize=872300 CPUtime=0 /proc/1855/task/1858/stat : 1858 (java) S 1842 1841 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876711157 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1859] ppid=1842 vsize=872300 CPUtime=0 /proc/1855/task/1859/stat : 1859 (java) S 1842 1841 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876711157 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1860] ppid=1842 vsize=872300 CPUtime=0 /proc/1855/task/1860/stat : 1860 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876711160 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1861] ppid=1842 vsize=872300 CPUtime=1.31 /proc/1855/task/1861/stat : 1861 (java) S 1842 1841 2059 34821 2220 4202560 6207 0 0 0 127 4 0 0 15 0 11 0 876711160 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1862] ppid=1842 vsize=872300 CPUtime=0.41 /proc/1855/task/1862/stat : 1862 (java) S 1842 1841 2059 34821 2220 4202560 1978 0 0 0 41 0 0 0 20 0 11 0 876711160 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1863] ppid=1842 vsize=872300 CPUtime=0 /proc/1855/task/1863/stat : 1863 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876711160 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1864] ppid=1842 vsize=872300 CPUtime=0 /proc/1855/task/1864/stat : 1864 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876711160 893235200 69583 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 877444 [startup+4.80615 s] /proc/loadavg: 1.36 1.33 1.26 4/58 1866 /proc/meminfo: memFree=421992/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 [pid=1855] ppid=1842 vsize=873272 CPUtime=4.55 /proc/1855/stat : 1855 (java) S 1842 1841 2059 34821 2220 4202496 73476 0 1 0 429 26 0 0 25 0 11 0 876711154 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1855/statm: 218318 69673 1792 10 0 215408 0 [pid=1855/tid=1856] ppid=1842 vsize=873272 CPUtime=2.04 /proc/1855/task/1856/stat : 1856 (java) S 1842 1841 2059 34821 2220 4202560 50450 0 1 0 184 20 0 0 25 0 11 0 876711155 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1857] ppid=1842 vsize=873272 CPUtime=0.33 /proc/1855/task/1857/stat : 1857 (java) S 1842 1841 2059 34821 2220 4202560 13651 0 0 0 32 1 0 0 16 0 11 0 876711157 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1858] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1858/stat : 1858 (java) S 1842 1841 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876711157 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1859] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1859/stat : 1859 (java) S 1842 1841 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876711157 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1860] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1860/stat : 1860 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1861] ppid=1842 vsize=873272 CPUtime=1.74 /proc/1855/task/1861/stat : 1861 (java) S 1842 1841 2059 34821 2220 4202560 6270 0 0 0 170 4 0 0 15 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1862] ppid=1842 vsize=873272 CPUtime=0.41 /proc/1855/task/1862/stat : 1862 (java) S 1842 1841 2059 34821 2220 4202560 1978 0 0 0 41 0 0 0 20 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1863] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1863/stat : 1863 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1864] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1864/stat : 1864 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.57 Current children cumulated vsize (KiB) 878416 [startup+5.20558 s] /proc/loadavg: 1.36 1.33 1.26 4/58 1866 /proc/meminfo: memFree=421992/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 [pid=1855] ppid=1842 vsize=873272 CPUtime=4.55 /proc/1855/stat : 1855 (java) S 1842 1841 2059 34821 2220 4202496 73476 0 1 0 429 26 0 0 25 0 11 0 876711154 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1855/statm: 218318 69673 1792 10 0 215408 0 [pid=1855/tid=1856] ppid=1842 vsize=873272 CPUtime=2.04 /proc/1855/task/1856/stat : 1856 (java) S 1842 1841 2059 34821 2220 4202560 50450 0 1 0 184 20 0 0 25 0 11 0 876711155 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1857] ppid=1842 vsize=873272 CPUtime=0.33 /proc/1855/task/1857/stat : 1857 (java) S 1842 1841 2059 34821 2220 4202560 13651 0 0 0 32 1 0 0 16 0 11 0 876711157 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1858] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1858/stat : 1858 (java) S 1842 1841 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876711157 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1859] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1859/stat : 1859 (java) S 1842 1841 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876711157 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1860] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1860/stat : 1860 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1861] ppid=1842 vsize=873272 CPUtime=1.74 /proc/1855/task/1861/stat : 1861 (java) S 1842 1841 2059 34821 2220 4202560 6270 0 0 0 170 4 0 0 15 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1862] ppid=1842 vsize=873272 CPUtime=0.41 /proc/1855/task/1862/stat : 1862 (java) S 1842 1841 2059 34821 2220 4202560 1978 0 0 0 41 0 0 0 20 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1863] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1863/stat : 1863 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1864] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1864/stat : 1864 (java) R 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876711160 894230528 69673 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.57 Current children cumulated vsize (KiB) 878416 [startup+5.30553 s] /proc/loadavg: 1.36 1.33 1.26 4/58 1866 /proc/meminfo: memFree=421992/1048576 swapFree=2078696/2097144 [pid=1841] ppid=1840 vsize=2572 CPUtime=0 /proc/1841/stat : 1841 (p2cudf-paranoid) S 1840 1841 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 25 0 1 0 876711151 2633728 273 1283457024 134512640 135304128 4287712048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1841/statm: 643 273 233 194 0 29 0 [pid=1842] ppid=1841 vsize=2572 CPUtime=0.02 /proc/1842/stat : 1842 (p2cudf) S 1841 1841 2059 34821 2220 4202496 390 2996 0 1 0 0 2 0 25 0 1 0 876711151 2633728 281 1283457024 134512640 135304128 4293734656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1842/statm: 643 281 241 194 0 29 0 [pid=1855] ppid=1842 vsize=873272 CPUtime=4.62 /proc/1855/stat : 1855 (java) S 1842 1841 2059 34821 2220 4202496 73477 0 1 0 436 26 0 0 25 0 10 0 876711154 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1855/statm: 218318 69674 1792 10 0 215408 0 [pid=1855/tid=1856] ppid=1842 vsize=873272 CPUtime=2.04 /proc/1855/task/1856/stat : 1856 (java) S 1842 1841 2059 34821 2220 4202560 50450 0 1 0 184 20 0 0 20 0 10 0 876711155 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1857] ppid=1842 vsize=873272 CPUtime=0.33 /proc/1855/task/1857/stat : 1857 (java) S 1842 1841 2059 34821 2220 4202560 13651 0 0 0 32 1 0 0 16 0 10 0 876711157 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 0 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1858] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1858/stat : 1858 (java) S 1842 1841 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876711157 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1859] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1859/stat : 1859 (java) S 1842 1841 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876711157 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1860] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1860/stat : 1860 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1861] ppid=1842 vsize=873272 CPUtime=1.78 /proc/1855/task/1861/stat : 1861 (java) S 1842 1841 2059 34821 2220 4202560 6270 0 0 0 174 4 0 0 16 0 10 0 876711160 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1862] ppid=1842 vsize=873272 CPUtime=0.41 /proc/1855/task/1862/stat : 1862 (java) S 1842 1841 2059 34821 2220 4202560 1978 0 0 0 41 0 0 0 20 0 10 0 876711160 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1863] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1863/stat : 1863 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876711160 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 [pid=1855/tid=1864] ppid=1842 vsize=873272 CPUtime=0 /proc/1855/task/1864/stat : 1864 (java) S 1842 1841 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876711160 894230528 69674 1283457024 134512640 134550932 4291706288 18446744073709551615 4294960130 0 4 0 16800975 18446612132680193024 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 878416 Child status: 0 Real time (s): 5.34282 CPU time (s): 4.68029 CPU user time (s): 4.38027 CPU system time (s): 0.300018 CPU usage (%): 87.5996 Max. virtual memory (cumulated for all children) (KiB): 879064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.38027 system time used= 0.300018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77265 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= 780 involuntary context switches= 755 runsolver used 0 second user time and 0.004 second system time The end