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/201007051419/p2cudf-paranoid-1.6/rand81406f.cudf.impossible.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/impossible//rand81406f.cudf /home/misc2010/tmp/201007051419/p2cudf-paranoid-1.6/rand81406f.cudf.impossible.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.23 1.13 1.04 2/94 22083 /proc/meminfo: memFree=1113668/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2376 CPUtime=0 /proc/22084/stat : 22084 (p2cudf) R 22083 22083 13759 34823 13904 4194304 329 0 0 0 0 0 0 0 25 0 1 0 416779975 2433024 259 1283457024 134512640 135191968 4293685104 18446744073709551615 4159394448 0 65538 4 65536 0 0 0 17 1 0 0 0 /proc/22084/statm: 594 259 223 166 0 26 0 [pid=22085] ppid=22084 vsize=2376 CPUtime=0 /proc/22085/stat : 22085 (p2cudf) R 22084 22083 13759 34823 13904 4194368 87 0 0 0 0 0 0 0 25 0 1 0 416779975 2433024 109 1283457024 134512640 135191968 4293685104 18446744073709551615 4159394448 0 65538 0 65538 0 0 0 17 1 0 0 0 /proc/22085/statm: 594 109 71 166 0 26 0 [pid=22086] ppid=22085 vsize=2376 CPUtime=0 /proc/22086/stat : 22086 (p2cudf) R 22085 22083 13759 34823 13904 4194368 0 0 0 0 0 0 0 0 25 0 1 0 416779975 2433024 38 1283457024 134512640 135191968 4293685104 18446744073709551615 4159394448 0 65538 0 65538 0 0 0 17 1 0 0 0 /proc/22086/statm: 594 41 3 166 0 26 0 [startup+0.156274 s] /proc/loadavg: 1.23 1.13 1.04 2/94 22083 /proc/meminfo: memFree=1113668/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4768 [startup+0.206256 s] /proc/loadavg: 1.23 1.13 1.04 2/94 22083 /proc/meminfo: memFree=1113668/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4768 [startup+0.306285 s] /proc/loadavg: 1.23 1.13 1.04 2/94 22083 /proc/meminfo: memFree=1113668/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4768 [startup+1.04079 s] /proc/loadavg: 1.23 1.13 1.04 2/94 22083 /proc/meminfo: memFree=1113668/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4768 [startup+1.50656 s] /proc/loadavg: 1.23 1.13 1.04 3/108 22111 /proc/meminfo: memFree=1016216/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=911716 CPUtime=2.47 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 35528 0 0 0 231 16 0 0 25 0 12 0 416779982 933597184 29045 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 227929 29046 1742 10 0 225014 0 [pid=22100/tid=22101] ppid=22084 vsize=911716 CPUtime=0.68 /proc/22100/task/22101/stat : 22101 (java) R 22084 22083 13759 34823 13904 4202560 14461 0 0 0 57 11 0 0 18 0 12 0 416779984 933597184 29047 1283457024 134512640 134550932 4289325520 18446744073709551615 4095689642 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22102/stat : 22102 (java) S 22084 22083 13759 34823 13904 4202560 3 0 0 0 0 0 0 0 25 0 12 0 416779985 933597184 29048 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22103/stat : 22103 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416779985 933597184 29050 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 18 0 12 0 416779986 933597184 29051 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 0 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 25 0 12 0 416779987 933597184 29052 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 25 0 12 0 416779987 933597184 29053 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416779990 933597184 29054 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=911716 CPUtime=1.02 /proc/22100/task/22108/stat : 22108 (java) R 22084 22083 13759 34823 13904 4202560 11121 0 0 0 98 4 0 0 18 0 12 0 416779990 933597184 29055 1283457024 134512640 134550932 4289325520 18446744073709551615 4148817065 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=911716 CPUtime=0.74 /proc/22100/task/22109/stat : 22109 (java) S 22084 22083 13759 34823 13904 4202560 8852 0 0 0 74 0 0 0 16 0 12 0 416779990 933597184 29060 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416779990 933597184 29061 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=911716 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 12 0 416779990 933597184 29062 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.51 Current children cumulated vsize (KiB) 916484 [startup+3.10665 s] /proc/loadavg: 1.23 1.13 1.04 4/108 22111 /proc/meminfo: memFree=821164/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=908192 CPUtime=4.29 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 83139 0 0 0 390 39 0 0 25 0 12 0 416779982 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 227048 74592 1744 10 0 224133 0 [pid=22100/tid=22101] ppid=22084 vsize=908192 CPUtime=2.05 /proc/22100/task/22101/stat : 22101 (java) R 22084 22083 13759 34823 13904 4202560 47573 0 0 0 177 28 0 0 17 0 12 0 416779984 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4095914836 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=908192 CPUtime=0.18 /proc/22100/task/22102/stat : 22102 (java) S 22084 22083 13759 34823 13904 4202560 7408 0 0 0 13 5 0 0 18 0 12 0 416779985 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=908192 CPUtime=0.16 /proc/22100/task/22103/stat : 22103 (java) S 22084 22083 13759 34823 13904 4202560 7002 0 0 0 16 0 0 0 18 0 12 0 416779985 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=908192 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 15 0 12 0 416779986 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 0 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=908192 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 12 0 416779987 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=908192 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416779987 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=908192 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 416779990 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=908192 CPUtime=1.08 /proc/22100/task/22108/stat : 22108 (java) S 22084 22083 13759 34823 13904 4202560 11209 0 0 0 104 4 0 0 16 0 12 0 416779990 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=908192 CPUtime=0.77 /proc/22100/task/22109/stat : 22109 (java) S 22084 22083 13759 34823 13904 4202560 8852 0 0 0 77 0 0 0 15 0 12 0 416779990 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=908192 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416779990 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=908192 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 12 0 416779990 929988608 74592 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 912960 [startup+6.31254 s] /proc/loadavg: 1.29 1.14 1.04 4/108 22111 /proc/meminfo: memFree=719376/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=908512 CPUtime=9.52 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 114743 0 0 0 904 48 0 0 25 0 13 0 416779982 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 227128 100086 1792 10 0 224213 0 [pid=22100/tid=22101] ppid=22084 vsize=908512 CPUtime=3.96 /proc/22100/task/22101/stat : 22101 (java) R 22084 22083 13759 34823 13904 4202560 47766 0 0 0 368 28 0 0 17 0 13 0 416779984 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4095221375 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=908512 CPUtime=0.72 /proc/22100/task/22102/stat : 22102 (java) S 22084 22083 13759 34823 13904 4202560 24019 0 0 0 62 10 0 0 18 0 13 0 416779985 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=908512 CPUtime=0.72 /proc/22100/task/22103/stat : 22103 (java) S 22084 22083 13759 34823 13904 4202560 19526 0 0 0 67 5 0 0 18 0 13 0 416779985 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=908512 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 16 0 13 0 416779986 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 0 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=908512 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 13 0 416779987 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=908512 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 13 0 416779987 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=908512 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 13 0 416779990 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=908512 CPUtime=2.42 /proc/22100/task/22108/stat : 22108 (java) R 22084 22083 13759 34823 13904 4202560 13299 0 0 0 238 4 0 0 16 0 13 0 416779990 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4159219441 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=908512 CPUtime=1.67 /proc/22100/task/22109/stat : 22109 (java) R 22084 22083 13759 34823 13904 4202560 9036 0 0 0 167 0 0 0 16 0 13 0 416779990 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4153328112 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=908512 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 416779990 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=908512 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 13 0 416779990 930316288 100086 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 9.56 Current children cumulated vsize (KiB) 913280 Solver just ended. Dumping a history of the last processes samples [startup+6.71269 s] /proc/loadavg: 1.29 1.14 1.04 4/108 22111 /proc/meminfo: memFree=719376/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=902104 CPUtime=10.16 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 116392 0 0 0 966 50 0 0 25 0 13 0 416779982 923754496 100009 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 225526 100010 1792 10 0 222611 0 [pid=22100/tid=22101] ppid=22084 vsize=902104 CPUtime=4.19 /proc/22100/task/22101/stat : 22101 (java) S 22084 22083 13759 34823 13904 4202560 47767 0 0 0 391 28 0 0 17 0 13 0 416779984 923754496 100012 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=902104 CPUtime=0.87 /proc/22100/task/22102/stat : 22102 (java) R 22084 22083 13759 34823 13904 4202560 24723 0 0 0 76 11 0 0 18 0 13 0 416779985 923754496 100013 1283457024 134512640 134550932 4289325520 18446744073709551615 4152543925 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=902104 CPUtime=0.89 /proc/22100/task/22103/stat : 22103 (java) R 22084 22083 13759 34823 13904 4202560 20456 0 0 0 84 5 0 0 18 0 13 0 416779985 923754496 100014 1283457024 134512640 134550932 4289325520 18446744073709551615 4152543960 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 13 0 416779986 923754496 100016 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 0 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 13 0 416779987 923754496 100017 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 13 0 416779987 923754496 100018 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 13 0 416779990 923754496 100020 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=902104 CPUtime=2.49 /proc/22100/task/22108/stat : 22108 (java) S 22084 22083 13759 34823 13904 4202560 13309 0 0 0 245 4 0 0 16 0 13 0 416779990 923754496 100021 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=902104 CPUtime=1.69 /proc/22100/task/22109/stat : 22109 (java) S 22084 22083 13759 34823 13904 4202560 9040 0 0 0 169 0 0 0 15 0 13 0 416779990 923754496 100023 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 416779990 923754496 100024 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) R 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 13 0 416779990 923754496 100025 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 10.2 Current children cumulated vsize (KiB) 906872 [startup+9.90464 s] /proc/loadavg: 1.43 1.17 1.05 2/109 22113 /proc/meminfo: memFree=704860/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=902104 CPUtime=14.39 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 120481 0 0 0 1388 51 0 0 25 0 13 0 416779982 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 225526 103617 1794 10 0 222611 0 [pid=22100/tid=22101] ppid=22084 vsize=902104 CPUtime=7.3 /proc/22100/task/22101/stat : 22101 (java) R 22084 22083 13759 34823 13904 4202560 47780 0 0 0 702 28 0 0 18 0 13 0 416779984 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4096895464 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=902104 CPUtime=0.94 /proc/22100/task/22102/stat : 22102 (java) S 22084 22083 13759 34823 13904 4202560 27574 0 0 0 82 12 0 0 18 0 13 0 416779985 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=902104 CPUtime=0.95 /proc/22100/task/22103/stat : 22103 (java) S 22084 22083 13759 34823 13904 4202560 21550 0 0 0 90 5 0 0 18 0 13 0 416779985 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 13 0 416779986 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 0 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 13 0 416779987 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 13 0 416779987 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=902104 CPUtime=2.82 /proc/22100/task/22108/stat : 22108 (java) S 22084 22083 13759 34823 13904 4202560 13344 0 0 0 278 4 0 0 15 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=902104 CPUtime=2.33 /proc/22100/task/22109/stat : 22109 (java) S 22084 22083 13759 34823 13904 4202560 9132 0 0 0 233 0 0 0 15 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22112] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22112/stat : 22112 (java) S 22084 22083 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 17 0 13 0 416780588 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.43 Current children cumulated vsize (KiB) 906872 [startup+10.7047 s] /proc/loadavg: 1.43 1.17 1.05 2/109 22113 /proc/meminfo: memFree=704860/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=902104 CPUtime=15.19 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 120481 0 0 0 1468 51 0 0 25 0 13 0 416779982 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 225526 103617 1794 10 0 222611 0 [pid=22100/tid=22101] ppid=22084 vsize=902104 CPUtime=8.1 /proc/22100/task/22101/stat : 22101 (java) R 22084 22083 13759 34823 13904 4202560 47780 0 0 0 782 28 0 0 19 0 13 0 416779984 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4096699878 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=902104 CPUtime=0.94 /proc/22100/task/22102/stat : 22102 (java) S 22084 22083 13759 34823 13904 4202560 27574 0 0 0 82 12 0 0 18 0 13 0 416779985 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=902104 CPUtime=0.95 /proc/22100/task/22103/stat : 22103 (java) S 22084 22083 13759 34823 13904 4202560 21550 0 0 0 90 5 0 0 18 0 13 0 416779985 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 13 0 416779986 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 0 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 13 0 416779987 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 13 0 416779987 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=902104 CPUtime=2.82 /proc/22100/task/22108/stat : 22108 (java) S 22084 22083 13759 34823 13904 4202560 13344 0 0 0 278 4 0 0 15 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=902104 CPUtime=2.33 /proc/22100/task/22109/stat : 22109 (java) S 22084 22083 13759 34823 13904 4202560 9132 0 0 0 233 0 0 0 15 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 13 0 416779990 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22112] ppid=22084 vsize=902104 CPUtime=0 /proc/22100/task/22112/stat : 22112 (java) S 22084 22083 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 17 0 13 0 416780588 923754496 103617 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 15.23 Current children cumulated vsize (KiB) 906872 [startup+11.5047 s] /proc/loadavg: 1.43 1.17 1.05 2/109 22113 /proc/meminfo: memFree=704736/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=902424 CPUtime=15.89 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 120495 0 0 0 1538 51 0 0 25 0 14 0 416779982 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 225606 103631 1794 10 0 222691 0 [pid=22100/tid=22101] ppid=22084 vsize=902424 CPUtime=8.77 /proc/22100/task/22101/stat : 22101 (java) S 22084 22083 13759 34823 13904 4202560 47787 0 0 0 849 28 0 0 21 0 14 0 416779984 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=902424 CPUtime=0.94 /proc/22100/task/22102/stat : 22102 (java) S 22084 22083 13759 34823 13904 4202560 27574 0 0 0 82 12 0 0 18 0 14 0 416779985 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=902424 CPUtime=0.95 /proc/22100/task/22103/stat : 22103 (java) S 22084 22083 13759 34823 13904 4202560 21550 0 0 0 90 5 0 0 18 0 14 0 416779985 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 14 0 416779986 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 0 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 14 0 416779987 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 14 0 416779987 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=902424 CPUtime=2.85 /proc/22100/task/22108/stat : 22108 (java) S 22084 22083 13759 34823 13904 4202560 13347 0 0 0 281 4 0 0 15 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=902424 CPUtime=2.33 /proc/22100/task/22109/stat : 22109 (java) S 22084 22083 13759 34823 13904 4202560 9132 0 0 0 233 0 0 0 15 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22112] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22112/stat : 22112 (java) S 22084 22083 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 17 0 14 0 416780588 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 15.93 Current children cumulated vsize (KiB) 907192 [startup+11.9048 s] /proc/loadavg: 1.43 1.17 1.05 2/109 22113 /proc/meminfo: memFree=704736/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=902424 CPUtime=15.9 /proc/22100/stat : 22100 (java) S 22084 22083 13759 34823 13904 4202496 120496 0 0 0 1538 52 0 0 25 0 14 0 416779982 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160058514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 225606 103631 1794 10 0 222691 0 [pid=22100/tid=22101] ppid=22084 vsize=902424 CPUtime=8.77 /proc/22100/task/22101/stat : 22101 (java) S 22084 22083 13759 34823 13904 4202560 47787 0 0 0 849 28 0 0 21 0 14 0 416779984 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22102] ppid=22084 vsize=902424 CPUtime=0.94 /proc/22100/task/22102/stat : 22102 (java) S 22084 22083 13759 34823 13904 4202560 27574 0 0 0 82 12 0 0 18 0 14 0 416779985 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=902424 CPUtime=0.95 /proc/22100/task/22103/stat : 22103 (java) S 22084 22083 13759 34823 13904 4202560 21550 0 0 0 90 5 0 0 18 0 14 0 416779985 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22104] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22104/stat : 22104 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 14 0 416779986 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 0 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22105] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22105/stat : 22105 (java) S 22084 22083 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 14 0 416779987 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22106] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22106/stat : 22106 (java) S 22084 22083 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 14 0 416779987 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 [pid=22100/tid=22107] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22107/stat : 22107 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160080208 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22108] ppid=22084 vsize=902424 CPUtime=2.85 /proc/22100/task/22108/stat : 22108 (java) S 22084 22083 13759 34823 13904 4202560 13347 0 0 0 281 4 0 0 15 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22109] ppid=22084 vsize=902424 CPUtime=2.33 /proc/22100/task/22109/stat : 22109 (java) S 22084 22083 13759 34823 13904 4202560 9132 0 0 0 233 0 0 0 15 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22110] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22110/stat : 22110 (java) S 22084 22083 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160071920 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22111] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22111/stat : 22111 (java) S 22084 22083 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 15 0 14 0 416779990 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 0 0 0 0 [pid=22100/tid=22112] ppid=22084 vsize=902424 CPUtime=0 /proc/22100/task/22112/stat : 22112 (java) S 22084 22083 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 17 0 14 0 416780588 924082176 103631 1283457024 134512640 134550932 4289325520 18446744073709551615 4160072712 0 4 0 16800975 18446612134439143232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 15.94 Current children cumulated vsize (KiB) 907192 [startup+12.0053 s] /proc/loadavg: 1.43 1.17 1.05 2/109 22113 /proc/meminfo: memFree=704736/2097152 swapFree=2055620/2097144 [pid=22083] ppid=22082 vsize=2384 CPUtime=0 /proc/22083/stat : 22083 (p2cudf-paranoid) S 22082 22083 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 25 0 1 0 416779975 2441216 260 1283457024 134512640 135191968 4287752592 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22083/statm: 596 260 222 166 0 28 0 [pid=22084] ppid=22083 vsize=2384 CPUtime=0.04 /proc/22084/stat : 22084 (p2cudf) S 22083 22083 13759 34823 13904 4202496 373 3245 0 0 0 0 2 2 25 0 1 0 416779975 2441216 269 1283457024 134512640 135191968 4293685104 18446744073709551615 4159392398 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22084/statm: 596 269 231 166 0 28 0 [pid=22100] ppid=22084 vsize=0 CPUtime=15.96 /proc/22100/stat : 22100 (java) Z 22084 22083 13759 34823 13904 4203532 120500 0 0 0 1539 57 0 0 18 0 2 0 416779982 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22100/statm: 0 0 0 0 0 0 0 [pid=22100/tid=22103] ppid=22084 vsize=0 CPUtime=0.99 /proc/22100/task/22103/stat : 22103 (java) R 22084 22083 13759 34823 13904 4203588 21550 0 0 0 90 9 0 0 18 0 2 0 416779985 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 4768 Child status: 0 Real time (s): 12.0814 CPU time (s): 16.089 CPU user time (s): 15.421 CPU system time (s): 0.668041 CPU usage (%): 133.172 Max. virtual memory (cumulated for all children) (KiB): 916484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.421 system time used= 0.668041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124498 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= 968 involuntary context switches= 602 runsolver used 0.004 second user time and 0.016001 second system time The end