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/gj-paranoid-solver-0.1/randa45895.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//randa45895.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randa45895.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.34 1.38 1.27 4/46 30829 /proc/meminfo: memFree=694648/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=10924 CPUtime=0.01 /proc/30829/stat : 30829 (java) R 30828 30828 2059 34821 2220 4202496 646 0 0 0 0 1 0 0 25 0 1 0 876588802 11186176 383 1283457024 134512640 134550932 4288772992 18446744073709551615 4159682370 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30829/statm: 2731 383 176 10 0 1101 0 [startup+0.195268 s] /proc/loadavg: 1.34 1.38 1.27 4/46 30829 /proc/meminfo: memFree=694648/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=409672 CPUtime=0.19 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 3785 0 1 0 17 2 0 0 25 0 9 0 876588802 419504128 3250 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102418 3250 1732 10 0 96598 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412240 [startup+0.205261 s] /proc/loadavg: 1.34 1.38 1.27 4/46 30829 /proc/meminfo: memFree=694648/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=409672 CPUtime=0.2 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 3811 0 1 0 18 2 0 0 25 0 9 0 876588802 419504128 3276 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102418 3276 1732 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412240 [startup+0.305311 s] /proc/loadavg: 1.34 1.38 1.27 4/46 30829 /proc/meminfo: memFree=694648/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=410100 CPUtime=0.3 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 4331 0 1 0 28 2 0 0 25 0 9 0 876588802 419942400 3796 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102525 3796 1881 10 0 96705 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412668 [startup+0.707707 s] /proc/loadavg: 1.34 1.38 1.27 4/46 30829 /proc/meminfo: memFree=694648/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=410704 CPUtime=0.71 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 12935 0 1 0 67 4 0 0 25 0 9 0 876588802 420560896 12221 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102676 12221 2878 10 0 96856 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413272 [startup+1.50568 s] /proc/loadavg: 1.34 1.38 1.27 2/55 30838 /proc/meminfo: memFree=634424/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=410836 CPUtime=1.5 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 28564 0 1 0 142 8 0 0 25 0 9 0 876588802 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102709 27850 2879 10 0 96889 0 [pid=30829/tid=30831] ppid=30828 vsize=410836 CPUtime=0.69 /proc/30829/task/30831/stat : 30831 (java) R 30828 30828 2059 34821 2220 4202560 6785 0 1 0 67 2 0 0 25 0 9 0 876588803 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30829/tid=30832] ppid=30828 vsize=410836 CPUtime=0.74 /proc/30829/task/30832/stat : 30832 (java) R 30828 30828 2059 34821 2220 4202560 20392 0 0 0 70 4 0 0 20 0 9 0 876588804 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4150997496 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30829/tid=30833] ppid=30828 vsize=410836 CPUtime=0.01 /proc/30829/task/30833/stat : 30833 (java) S 30828 30828 2059 34821 2220 4202560 18 0 0 0 1 0 0 0 20 0 9 0 876588804 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30834] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30834/stat : 30834 (java) S 30828 30828 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876588804 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30835] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30835/stat : 30835 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30836] ppid=30828 vsize=410836 CPUtime=0.03 /proc/30829/task/30836/stat : 30836 (java) S 30828 30828 2059 34821 2220 4202560 454 0 0 0 3 0 0 0 16 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30837] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30837/stat : 30837 (java) S 30828 30828 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30838] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30838/stat : 30838 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413404 Solver just ended. Dumping a history of the last processes samples [startup+1.60572 s] /proc/loadavg: 1.34 1.38 1.27 2/55 30838 /proc/meminfo: memFree=634424/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=410836 CPUtime=1.6 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 28564 0 1 0 152 8 0 0 25 0 9 0 876588802 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102709 27850 2879 10 0 96889 0 [pid=30829/tid=30831] ppid=30828 vsize=410836 CPUtime=0.69 /proc/30829/task/30831/stat : 30831 (java) S 30828 30828 2059 34821 2220 4202560 6785 0 1 0 67 2 0 0 25 0 9 0 876588803 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30832] ppid=30828 vsize=410836 CPUtime=0.84 /proc/30829/task/30832/stat : 30832 (java) R 30828 30828 2059 34821 2220 4202560 20392 0 0 0 80 4 0 0 20 0 9 0 876588804 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4152690448 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30829/tid=30833] ppid=30828 vsize=410836 CPUtime=0.01 /proc/30829/task/30833/stat : 30833 (java) S 30828 30828 2059 34821 2220 4202560 18 0 0 0 1 0 0 0 20 0 9 0 876588804 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30834] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30834/stat : 30834 (java) S 30828 30828 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876588804 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30835] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30835/stat : 30835 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30836] ppid=30828 vsize=410836 CPUtime=0.03 /proc/30829/task/30836/stat : 30836 (java) S 30828 30828 2059 34821 2220 4202560 454 0 0 0 3 0 0 0 16 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30837] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30837/stat : 30837 (java) S 30828 30828 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30838] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30838/stat : 30838 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876588805 420696064 27850 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 413404 [startup+2.00584 s] /proc/loadavg: 1.34 1.38 1.27 2/55 30838 /proc/meminfo: memFree=634424/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=410836 CPUtime=2 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 36965 0 1 0 186 14 0 0 25 0 9 0 876588802 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102709 36251 2879 10 0 96889 0 [pid=30829/tid=30831] ppid=30828 vsize=410836 CPUtime=0.83 /proc/30829/task/30831/stat : 30831 (java) S 30828 30828 2059 34821 2220 4202560 9633 0 1 0 79 4 0 0 24 0 9 0 876588803 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30832] ppid=30828 vsize=410836 CPUtime=1.1 /proc/30829/task/30832/stat : 30832 (java) R 30828 30828 2059 34821 2220 4202560 25945 0 0 0 102 8 0 0 19 0 9 0 876588804 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4150918480 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30829/tid=30833] ppid=30828 vsize=410836 CPUtime=0.01 /proc/30829/task/30833/stat : 30833 (java) S 30828 30828 2059 34821 2220 4202560 18 0 0 0 1 0 0 0 20 0 9 0 876588804 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30834] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30834/stat : 30834 (java) S 30828 30828 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876588804 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30835] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30835/stat : 30835 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30836] ppid=30828 vsize=410836 CPUtime=0.03 /proc/30829/task/30836/stat : 30836 (java) S 30828 30828 2059 34821 2220 4202560 454 0 0 0 3 0 0 0 16 0 9 0 876588805 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30837] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30837/stat : 30837 (java) S 30828 30828 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30838] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30838/stat : 30838 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876588805 420696064 36251 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 413404 [startup+2.20529 s] /proc/loadavg: 1.34 1.38 1.27 1/55 30838 /proc/meminfo: memFree=557668/1048576 swapFree=2078760/2097144 [pid=30828] ppid=30827 vsize=2568 CPUtime=0 /proc/30828/stat : 30828 (gj-paranoid-sol) S 30827 30828 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876588802 2629632 271 1283457024 134512640 135304128 4292374432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30828/statm: 642 271 232 194 0 28 0 [pid=30829] ppid=30828 vsize=410836 CPUtime=2.16 /proc/30829/stat : 30829 (java) S 30828 30828 2059 34821 2220 4202496 37909 0 1 0 201 15 0 0 25 0 9 0 876588802 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30829/statm: 102709 37192 2880 10 0 96889 0 [pid=30829/tid=30831] ppid=30828 vsize=410836 CPUtime=0.98 /proc/30829/task/30831/stat : 30831 (java) S 30828 30828 2059 34821 2220 4202560 9641 0 1 0 94 4 0 0 25 0 9 0 876588803 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30832] ppid=30828 vsize=410836 CPUtime=1.11 /proc/30829/task/30832/stat : 30832 (java) S 30828 30828 2059 34821 2220 4202560 26878 0 0 0 102 9 0 0 19 0 9 0 876588804 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30833] ppid=30828 vsize=410836 CPUtime=0.01 /proc/30829/task/30833/stat : 30833 (java) S 30828 30828 2059 34821 2220 4202560 18 0 0 0 1 0 0 0 20 0 9 0 876588804 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30834] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30834/stat : 30834 (java) S 30828 30828 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876588804 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30835] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30835/stat : 30835 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30836] ppid=30828 vsize=410836 CPUtime=0.03 /proc/30829/task/30836/stat : 30836 (java) S 30828 30828 2059 34821 2220 4202560 457 0 0 0 3 0 0 0 16 0 9 0 876588805 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30837] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30837/stat : 30837 (java) S 30828 30828 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 9 0 876588805 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=30829/tid=30838] ppid=30828 vsize=410836 CPUtime=0 /proc/30829/task/30838/stat : 30838 (java) S 30828 30828 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876588805 420696064 37192 1283457024 134512640 134550932 4288772992 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 413404 Child status: 1 Real time (s): 2.22106 CPU time (s): 2.17214 CPU user time (s): 2.01613 CPU system time (s): 0.156009 CPU usage (%): 97.7972 Max. virtual memory (cumulated for all children) (KiB): 413404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.01613 system time used= 0.156009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38296 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 215 involuntary context switches= 228 runsolver used 0 second user time and 0 second system time The end