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/201007050905/p2cudf-trendy-1.6/rand359ca0.cudf.easy.log.runsolver ./p2cudf-trendy-1.6 /home/misc2010/data/2010/easy//rand359ca0.cudf /home/misc2010/tmp/201007050905/p2cudf-trendy-1.6/rand359ca0.cudf.easy.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.31 1.13 0.63 5/35 25908 /proc/meminfo: memFree=464540/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2384 CPUtime=0 /proc/25907/stat : 25907 (p2cudf) R 25906 25906 24102 769 24102 4194304 333 0 0 0 0 0 0 0 25 0 1 0 524990368 2441216 263 1283457024 134512640 135191968 4290643728 18446744073709551615 4159656352 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25907/statm: 596 263 224 166 0 28 0 [pid=25908] ppid=25907 vsize=2384 CPUtime=0 /proc/25908/stat : 25908 (p2cudf) R 25907 25906 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 524990368 2441216 39 1283457024 134512640 135191968 4290643728 18446744073709551615 4159656352 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25908/statm: 596 39 0 166 0 28 0 [startup+0.126531 s] /proc/loadavg: 1.31 1.13 0.63 5/35 25908 /proc/meminfo: memFree=464540/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+0.206556 s] /proc/loadavg: 1.31 1.13 0.63 5/35 25908 /proc/meminfo: memFree=464540/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+0.306567 s] /proc/loadavg: 1.31 1.13 0.63 5/35 25908 /proc/meminfo: memFree=464540/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+0.706666 s] /proc/loadavg: 1.31 1.13 0.63 5/35 25908 /proc/meminfo: memFree=464540/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+1.50688 s] /proc/loadavg: 1.31 1.13 0.63 5/45 25929 /proc/meminfo: memFree=422228/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 [pid=25920] ppid=25907 vsize=884348 CPUtime=1.47 /proc/25920/stat : 25920 (java) S 25907 25906 24102 769 24102 4202496 22260 0 1 0 138 9 0 0 25 0 10 0 524990371 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159702162 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25920/statm: 221087 16930 1429 10 0 218359 0 [pid=25920/tid=25921] ppid=25907 vsize=884348 CPUtime=0.62 /proc/25920/task/25921/stat : 25921 (java) R 25907 25906 24102 769 24102 4202560 9130 0 1 0 58 4 0 0 25 0 10 0 524990371 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 103241164 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25922] ppid=25907 vsize=884348 CPUtime=0 /proc/25920/task/25922/stat : 25922 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 18 0 10 0 524990373 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25923] ppid=25907 vsize=884348 CPUtime=0 /proc/25920/task/25923/stat : 25923 (java) S 25907 25906 24102 769 24102 4202560 10 0 0 0 0 0 0 0 25 0 10 0 524990373 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25924] ppid=25907 vsize=884348 CPUtime=0 /proc/25920/task/25924/stat : 25924 (java) S 25907 25906 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 10 0 524990373 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25925] ppid=25907 vsize=884348 CPUtime=0 /proc/25920/task/25925/stat : 25925 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 524990375 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159723856 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25926] ppid=25907 vsize=884348 CPUtime=0.55 /proc/25920/task/25926/stat : 25926 (java) R 25907 25906 24102 769 24102 4202560 9523 0 0 0 52 3 0 0 25 0 10 0 524990375 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25927] ppid=25907 vsize=884348 CPUtime=0.27 /proc/25920/task/25927/stat : 25927 (java) R 25907 25906 24102 769 24102 4202560 2767 0 0 0 27 0 0 0 25 0 10 0 524990375 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 103152260 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25928] ppid=25907 vsize=884348 CPUtime=0 /proc/25920/task/25928/stat : 25928 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 524990375 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25929] ppid=25907 vsize=884348 CPUtime=0 /proc/25920/task/25929/stat : 25929 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 524990375 905572352 16930 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 889120 [startup+3.10731 s] /proc/loadavg: 1.31 1.13 0.63 3/45 25929 /proc/meminfo: memFree=367544/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 [pid=25920] ppid=25907 vsize=883028 CPUtime=3.06 /proc/25920/stat : 25920 (java) S 25907 25906 24102 769 24102 4202496 40783 0 1 0 290 16 0 0 25 0 10 0 524990371 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159702162 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25920/statm: 220757 30758 1464 10 0 218029 0 [pid=25920/tid=25921] ppid=25907 vsize=883028 CPUtime=1.35 /proc/25920/task/25921/stat : 25921 (java) R 25907 25906 24102 769 24102 4202560 18401 0 1 0 130 5 0 0 25 0 10 0 524990371 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4107050486 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25922] ppid=25907 vsize=883028 CPUtime=0.1 /proc/25920/task/25922/stat : 25922 (java) S 25907 25906 24102 769 24102 4202560 4579 0 0 0 10 0 0 0 17 0 10 0 524990373 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25923] ppid=25907 vsize=883028 CPUtime=0 /proc/25920/task/25923/stat : 25923 (java) S 25907 25906 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 10 0 524990373 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25924] ppid=25907 vsize=883028 CPUtime=0 /proc/25920/task/25924/stat : 25924 (java) S 25907 25906 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 10 0 524990373 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25925] ppid=25907 vsize=883028 CPUtime=0 /proc/25920/task/25925/stat : 25925 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 524990375 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159723856 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25926] ppid=25907 vsize=883028 CPUtime=0.73 /proc/25920/task/25926/stat : 25926 (java) S 25907 25906 24102 769 24102 4202560 9809 0 0 0 70 3 0 0 16 0 10 0 524990375 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25927] ppid=25907 vsize=883028 CPUtime=0.85 /proc/25920/task/25927/stat : 25927 (java) R 25907 25906 24102 769 24102 4202560 7152 0 0 0 79 6 0 0 25 0 10 0 524990375 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25928] ppid=25907 vsize=883028 CPUtime=0 /proc/25920/task/25928/stat : 25928 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 524990375 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25929] ppid=25907 vsize=883028 CPUtime=0 /proc/25920/task/25929/stat : 25929 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 524990375 904220672 30758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 887800 [startup+6.32814 s] /proc/loadavg: 1.37 1.14 0.63 4/46 25930 /proc/meminfo: memFree=318804/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 [pid=25920] ppid=25907 vsize=884072 CPUtime=6.25 /proc/25920/stat : 25920 (java) S 25907 25906 24102 769 24102 4202496 54318 0 1 0 603 22 0 0 25 0 11 0 524990371 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159702162 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25920/statm: 221018 39626 1499 10 0 218290 0 [pid=25920/tid=25921] ppid=25907 vsize=884072 CPUtime=2.83 /proc/25920/task/25921/stat : 25921 (java) R 25907 25906 24102 769 24102 4202560 18553 0 1 0 278 5 0 0 25 0 11 0 524990371 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159726279 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25922] ppid=25907 vsize=884072 CPUtime=0.35 /proc/25920/task/25922/stat : 25922 (java) R 25907 25906 24102 769 24102 4202560 12899 0 0 0 32 3 0 0 15 0 11 0 524990373 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 103644261 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25923] ppid=25907 vsize=884072 CPUtime=0 /proc/25920/task/25923/stat : 25923 (java) S 25907 25906 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 11 0 524990373 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25924] ppid=25907 vsize=884072 CPUtime=0 /proc/25920/task/25924/stat : 25924 (java) S 25907 25906 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 11 0 524990373 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25925] ppid=25907 vsize=884072 CPUtime=0 /proc/25920/task/25925/stat : 25925 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 11 0 524990375 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159723856 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25926] ppid=25907 vsize=884072 CPUtime=1.57 /proc/25920/task/25926/stat : 25926 (java) S 25907 25906 24102 769 24102 4202560 12089 0 0 0 152 5 0 0 16 0 11 0 524990375 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25927] ppid=25907 vsize=884072 CPUtime=1.46 /proc/25920/task/25927/stat : 25927 (java) S 25907 25906 24102 769 24102 4202560 9930 0 0 0 140 6 0 0 22 0 11 0 524990375 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25928] ppid=25907 vsize=884072 CPUtime=0 /proc/25920/task/25928/stat : 25928 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 11 0 524990375 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25929] ppid=25907 vsize=884072 CPUtime=0 /proc/25920/task/25929/stat : 25929 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 11 0 524990375 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25930] ppid=25907 vsize=884072 CPUtime=0 /proc/25920/task/25930/stat : 25930 (java) S 25907 25906 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 11 0 524990892 905289728 39626 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 888844 [startup+12.7094 s] /proc/loadavg: 1.34 1.14 0.64 2/50 25940 /proc/meminfo: memFree=302728/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 [pid=25920] ppid=25907 vsize=883220 CPUtime=12.54 /proc/25920/stat : 25920 (java) S 25907 25906 24102 769 24102 4202496 54607 0 1 0 1232 22 0 0 25 0 11 0 524990371 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159702162 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25920/statm: 220805 39734 1499 10 0 218077 0 [pid=25920/tid=25921] ppid=25907 vsize=883220 CPUtime=8.86 /proc/25920/task/25921/stat : 25921 (java) R 25907 25906 24102 769 24102 4202560 18555 0 1 0 880 6 0 0 25 0 11 0 524990371 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4108551284 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25922] ppid=25907 vsize=883220 CPUtime=0.35 /proc/25920/task/25922/stat : 25922 (java) S 25907 25906 24102 769 24102 4202560 13154 0 0 0 32 3 0 0 15 0 11 0 524990373 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25923] ppid=25907 vsize=883220 CPUtime=0 /proc/25920/task/25923/stat : 25923 (java) S 25907 25906 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 11 0 524990373 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25924] ppid=25907 vsize=883220 CPUtime=0 /proc/25920/task/25924/stat : 25924 (java) S 25907 25906 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 11 0 524990373 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25925] ppid=25907 vsize=883220 CPUtime=0 /proc/25920/task/25925/stat : 25925 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 11 0 524990375 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159723856 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25926] ppid=25907 vsize=883220 CPUtime=1.57 /proc/25920/task/25926/stat : 25926 (java) S 25907 25906 24102 769 24102 4202560 12089 0 0 0 152 5 0 0 16 0 11 0 524990375 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25927] ppid=25907 vsize=883220 CPUtime=1.73 /proc/25920/task/25927/stat : 25927 (java) S 25907 25906 24102 769 24102 4202560 9962 0 0 0 167 6 0 0 15 0 11 0 524990375 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25928] ppid=25907 vsize=883220 CPUtime=0 /proc/25920/task/25928/stat : 25928 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 11 0 524990375 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25929] ppid=25907 vsize=883220 CPUtime=0 /proc/25920/task/25929/stat : 25929 (java) R 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 11 0 524990375 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25930] ppid=25907 vsize=883220 CPUtime=0 /proc/25920/task/25930/stat : 25930 (java) S 25907 25906 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 11 0 524990892 904417280 39734 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 887992 [startup+25.5141 s] /proc/loadavg: 1.26 1.13 0.64 1/51 25941 /proc/meminfo: memFree=279424/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 [pid=25920] ppid=25907 vsize=883540 CPUtime=24.81 /proc/25920/stat : 25920 (java) S 25907 25906 24102 769 24102 4202496 54622 0 1 0 2457 24 0 0 25 0 12 0 524990371 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159702162 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25920/statm: 220885 39749 1499 10 0 218157 0 [pid=25920/tid=25921] ppid=25907 vsize=883540 CPUtime=21.07 /proc/25920/task/25921/stat : 25921 (java) S 25907 25906 24102 769 24102 4202560 18562 0 1 0 2101 6 0 0 25 0 12 0 524990371 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25922] ppid=25907 vsize=883540 CPUtime=0.35 /proc/25920/task/25922/stat : 25922 (java) R 25907 25906 24102 769 24102 4202560 13154 0 0 0 32 3 0 0 15 0 12 0 524990373 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25923] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25923/stat : 25923 (java) S 25907 25906 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 524990373 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25924] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25924/stat : 25924 (java) S 25907 25906 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 524990373 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25925] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25925/stat : 25925 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 524990375 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159723856 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25926] ppid=25907 vsize=883540 CPUtime=1.57 /proc/25920/task/25926/stat : 25926 (java) S 25907 25906 24102 769 24102 4202560 12089 0 0 0 152 5 0 0 16 0 12 0 524990375 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25927] ppid=25907 vsize=883540 CPUtime=1.74 /proc/25920/task/25927/stat : 25927 (java) S 25907 25906 24102 769 24102 4202560 9965 0 0 0 168 6 0 0 16 0 12 0 524990375 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25928] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25928/stat : 25928 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 524990375 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25929] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25929/stat : 25929 (java) R 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 524990375 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25920/tid=25930] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25930/stat : 25930 (java) S 25907 25906 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 12 0 524990892 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25941] ppid=25907 vsize=883540 CPUtime=0.03 /proc/25920/task/25941/stat : 25941 (java) R 25907 25906 24102 769 24102 4202560 5 0 0 0 2 1 0 0 20 0 12 0 524992865 904744960 39749 1283457024 134512640 134550932 4289442944 18446744073709551615 4107022470 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.84 Current children cumulated vsize (KiB) 888312 Solver just ended. Dumping a history of the last processes samples [startup+25.6141 s] /proc/loadavg: 1.26 1.13 0.64 1/51 25941 /proc/meminfo: memFree=279424/1048576 swapFree=2095456/2097144 [pid=25906] ppid=25905 vsize=2380 CPUtime=0 /proc/25906/stat : 25906 (p2cudf-trendy-1) S 25905 25906 24102 769 24102 4194304 364 0 0 0 0 0 0 0 18 0 1 0 524990368 2437120 261 1283457024 134512640 135191968 4294824672 18446744073709551615 4158777758 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25906/statm: 595 261 223 166 0 27 0 [pid=25907] ppid=25906 vsize=2392 CPUtime=0.03 /proc/25907/stat : 25907 (p2cudf) S 25906 25906 24102 769 24102 4202496 378 2735 0 1 0 0 1 2 25 0 1 0 524990368 2449408 273 1283457024 134512640 135191968 4290643728 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25907/statm: 598 273 232 166 0 30 0 [pid=25920] ppid=25907 vsize=883540 CPUtime=24.91 /proc/25920/stat : 25920 (java) S 25907 25906 24102 769 24102 4202496 54631 0 1 0 2465 26 0 0 25 0 12 0 524990371 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159702162 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25920/statm: 220885 39758 1499 10 0 218157 0 [pid=25920/tid=25921] ppid=25907 vsize=883540 CPUtime=21.07 /proc/25920/task/25921/stat : 25921 (java) S 25907 25906 24102 769 24102 4202560 18562 0 1 0 2101 6 0 0 25 0 12 0 524990371 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25922] ppid=25907 vsize=883540 CPUtime=0.35 /proc/25920/task/25922/stat : 25922 (java) S 25907 25906 24102 769 24102 4202560 13154 0 0 0 32 3 0 0 15 0 12 0 524990373 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25923] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25923/stat : 25923 (java) S 25907 25906 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 524990373 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25924] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25924/stat : 25924 (java) S 25907 25906 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 524990373 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25925] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25925/stat : 25925 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 524990375 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159723856 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25926] ppid=25907 vsize=883540 CPUtime=1.57 /proc/25920/task/25926/stat : 25926 (java) S 25907 25906 24102 769 24102 4202560 12089 0 0 0 152 5 0 0 16 0 12 0 524990375 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25927] ppid=25907 vsize=883540 CPUtime=1.77 /proc/25920/task/25927/stat : 25927 (java) S 25907 25906 24102 769 24102 4202560 9973 0 0 0 171 6 0 0 16 0 12 0 524990375 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25928] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25928/stat : 25928 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 524990375 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159715568 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25929] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25929/stat : 25929 (java) S 25907 25906 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 524990375 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25930] ppid=25907 vsize=883540 CPUtime=0 /proc/25920/task/25930/stat : 25930 (java) S 25907 25906 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 12 0 524990892 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4159716360 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=25920/tid=25941] ppid=25907 vsize=883540 CPUtime=0.1 /proc/25920/task/25941/stat : 25941 (java) R 25907 25906 24102 769 24102 4202560 6 0 0 0 7 3 0 0 21 0 12 0 524992865 904744960 39758 1283457024 134512640 134550932 4289442944 18446744073709551615 4108219731 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 24.94 Current children cumulated vsize (KiB) 888312 Child status: 0 Real time (s): 25.6523 CPU time (s): 24.9656 CPU user time (s): 24.6655 CPU system time (s): 0.300018 CPU usage (%): 97.3228 Max. virtual memory (cumulated for all children) (KiB): 891968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.6655 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= 58132 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= 1040 involuntary context switches= 1755 runsolver used 0 second user time and 0.004 second system time The end