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-paranoid-1.6/randea6106.cudf.easy.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/easy//randea6106.cudf /home/misc2010/tmp/201007050905/p2cudf-paranoid-1.6/randea6106.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.18 1.18 1.10 6/41 30409 /proc/meminfo: memFree=464164/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2380 CPUtime=0 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4194304 339 0 0 0 0 0 0 0 24 0 1 0 525200159 2437120 262 1283457024 134512640 135191968 4287573024 18446744073709551615 4158930590 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/30406/statm: 595 262 224 166 0 27 0 [pid=30407] ppid=30406 vsize=2380 CPUtime=0 /proc/30407/stat : 30407 (p2cudf) R 30406 30405 24102 769 24102 4194368 105 0 0 0 0 0 0 0 25 0 1 0 525200159 2437120 114 1283457024 134512640 135191968 4287573024 18446744073709551615 4158771616 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30407/statm: 595 114 75 166 0 27 0 [pid=30408] ppid=30407 vsize=10516 CPUtime=0.01 /proc/30408/stat : 30408 (java) R 30407 30405 24102 769 24102 4194304 683 0 0 0 0 1 0 0 25 0 1 0 525200159 10768384 412 1283457024 134512640 134550932 4287497168 18446744073709551615 104717510 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30408/statm: 2629 412 159 10 0 1106 0 [pid=30409] ppid=30407 vsize=2380 CPUtime=0 /proc/30409/stat : 30409 (p2cudf) R 30407 30405 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525200160 2437120 39 1283457024 134512640 135191968 4287573024 18446744073709551615 4158771616 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30409/statm: 595 39 0 166 0 27 0 [startup+0.207234 s] /proc/loadavg: 1.18 1.18 1.10 6/41 30409 /proc/meminfo: memFree=464164/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+0.307235 s] /proc/loadavg: 1.18 1.18 1.10 6/41 30409 /proc/meminfo: memFree=464164/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+0.407269 s] /proc/loadavg: 1.18 1.18 1.10 6/41 30409 /proc/meminfo: memFree=464164/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+0.707346 s] /proc/loadavg: 1.18 1.18 1.10 6/41 30409 /proc/meminfo: memFree=464164/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4772 [startup+1.50753 s] /proc/loadavg: 1.18 1.18 1.10 4/49 30428 /proc/meminfo: memFree=417348/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 [pid=30419] ppid=30406 vsize=877732 CPUtime=1.47 /proc/30419/stat : 30419 (java) S 30406 30405 24102 769 24102 4202496 21414 0 1 0 144 3 0 0 25 0 10 0 525200162 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30419/statm: 219433 15964 1430 10 0 216705 0 [pid=30419/tid=30420] ppid=30406 vsize=877732 CPUtime=0.62 /proc/30419/task/30420/stat : 30420 (java) R 30406 30405 24102 769 24102 4202560 9494 0 1 0 62 0 0 0 25 0 10 0 525200163 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4107777987 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30419/tid=30421] ppid=30406 vsize=877732 CPUtime=0 /proc/30419/task/30421/stat : 30421 (java) S 30406 30405 24102 769 24102 4202560 2 0 0 0 0 0 0 0 18 0 10 0 525200164 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30422] ppid=30406 vsize=877732 CPUtime=0 /proc/30419/task/30422/stat : 30422 (java) S 30406 30405 24102 769 24102 4202560 10 0 0 0 0 0 0 0 25 0 10 0 525200165 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30423] ppid=30406 vsize=877732 CPUtime=0 /proc/30419/task/30423/stat : 30423 (java) S 30406 30405 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 10 0 525200165 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30424] ppid=30406 vsize=877732 CPUtime=0 /proc/30419/task/30424/stat : 30424 (java) S 30406 30405 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525200167 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4159940944 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30425] ppid=30406 vsize=877732 CPUtime=0.55 /proc/30419/task/30425/stat : 30425 (java) R 30406 30405 24102 769 24102 4202560 7878 0 0 0 54 1 0 0 25 0 10 0 525200167 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 106121455 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30419/tid=30426] ppid=30406 vsize=877732 CPUtime=0.27 /proc/30419/task/30426/stat : 30426 (java) R 30406 30405 24102 769 24102 4202560 3203 0 0 0 26 1 0 0 25 0 10 0 525200167 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 106258303 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30419/tid=30427] ppid=30406 vsize=877732 CPUtime=0 /proc/30419/task/30427/stat : 30427 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525200167 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30428] ppid=30406 vsize=877732 CPUtime=0 /proc/30419/task/30428/stat : 30428 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 525200167 898797568 15964 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 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) 882504 [startup+3.10796 s] /proc/loadavg: 1.32 1.21 1.11 2/49 30428 /proc/meminfo: memFree=352744/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 [pid=30419] ppid=30406 vsize=877284 CPUtime=3.07 /proc/30419/stat : 30419 (java) S 30406 30405 24102 769 24102 4202496 42049 0 1 0 298 9 0 0 25 0 10 0 525200162 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30419/statm: 219321 33875 1470 10 0 216593 0 [pid=30419/tid=30420] ppid=30406 vsize=877284 CPUtime=1.28 /proc/30419/task/30420/stat : 30420 (java) R 30406 30405 24102 769 24102 4202560 18398 0 1 0 125 3 0 0 25 0 10 0 525200163 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159943367 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30419/tid=30421] ppid=30406 vsize=877284 CPUtime=0.21 /proc/30419/task/30421/stat : 30421 (java) R 30406 30405 24102 769 24102 4202560 8898 0 0 0 18 3 0 0 18 0 10 0 525200164 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 103646792 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30419/tid=30422] ppid=30406 vsize=877284 CPUtime=0 /proc/30419/task/30422/stat : 30422 (java) S 30406 30405 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 10 0 525200165 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30423] ppid=30406 vsize=877284 CPUtime=0 /proc/30419/task/30423/stat : 30423 (java) S 30406 30405 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 10 0 525200165 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30424] ppid=30406 vsize=877284 CPUtime=0 /proc/30419/task/30424/stat : 30424 (java) S 30406 30405 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525200167 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159940944 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30425] ppid=30406 vsize=877284 CPUtime=0.84 /proc/30419/task/30425/stat : 30425 (java) S 30406 30405 24102 769 24102 4202560 9619 0 0 0 83 1 0 0 22 0 10 0 525200167 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30426] ppid=30406 vsize=877284 CPUtime=0.71 /proc/30419/task/30426/stat : 30426 (java) S 30406 30405 24102 769 24102 4202560 4294 0 0 0 70 1 0 0 19 0 10 0 525200167 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30427] ppid=30406 vsize=877284 CPUtime=0 /proc/30419/task/30427/stat : 30427 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525200167 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30428] ppid=30406 vsize=877284 CPUtime=0 /proc/30419/task/30428/stat : 30428 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 525200167 898338816 33875 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 882056 [startup+6.3076 s] /proc/loadavg: 1.32 1.21 1.11 3/50 30429 /proc/meminfo: memFree=325092/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 [pid=30419] ppid=30406 vsize=877924 CPUtime=5.76 /proc/30419/stat : 30419 (java) S 30406 30405 24102 769 24102 4202496 48456 0 1 0 565 11 0 0 25 0 12 0 525200162 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30419/statm: 219481 37497 1498 10 0 216753 0 [pid=30419/tid=30420] ppid=30406 vsize=877924 CPUtime=2.55 /proc/30419/task/30420/stat : 30420 (java) S 30406 30405 24102 769 24102 4202560 18558 0 1 0 251 4 0 0 25 0 12 0 525200163 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30421] ppid=30406 vsize=877924 CPUtime=0.32 /proc/30419/task/30421/stat : 30421 (java) S 30406 30405 24102 769 24102 4202560 12174 0 0 0 28 4 0 0 16 0 12 0 525200164 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30422] ppid=30406 vsize=877924 CPUtime=0 /proc/30419/task/30422/stat : 30422 (java) S 30406 30405 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 525200165 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30423] ppid=30406 vsize=877924 CPUtime=0 /proc/30419/task/30423/stat : 30423 (java) S 30406 30405 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 525200165 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30424] ppid=30406 vsize=877924 CPUtime=0 /proc/30419/task/30424/stat : 30424 (java) S 30406 30405 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525200167 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159940944 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30425] ppid=30406 vsize=877924 CPUtime=1.6 /proc/30419/task/30425/stat : 30425 (java) R 30406 30405 24102 769 24102 4202560 12499 0 0 0 159 1 0 0 16 0 12 0 525200167 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 106115336 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30419/tid=30426] ppid=30406 vsize=877924 CPUtime=1.24 /proc/30419/task/30426/stat : 30426 (java) S 30406 30405 24102 769 24102 4202560 4377 0 0 0 123 1 0 0 15 0 12 0 525200167 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30427] ppid=30406 vsize=877924 CPUtime=0 /proc/30419/task/30427/stat : 30427 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525200167 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30428] ppid=30406 vsize=877924 CPUtime=0 /proc/30419/task/30428/stat : 30428 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525200167 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30429] ppid=30406 vsize=877924 CPUtime=0 /proc/30419/task/30429/stat : 30429 (java) S 30406 30405 24102 769 24102 4202560 4 0 0 0 0 0 0 0 25 0 12 0 525200589 898994176 37497 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.79 Current children cumulated vsize (KiB) 882696 Solver just ended. Dumping a history of the last processes samples [startup+6.40763 s] /proc/loadavg: 1.32 1.21 1.11 3/50 30429 /proc/meminfo: memFree=325092/1048576 swapFree=2095456/2097144 [pid=30405] ppid=30404 vsize=2384 CPUtime=0 /proc/30405/stat : 30405 (p2cudf-paranoid) S 30404 30405 24102 769 24102 4194304 363 0 0 0 0 0 0 0 24 0 1 0 525200159 2441216 260 1283457024 134512640 135191968 4290170480 18446744073709551615 4159527326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30405/statm: 596 260 223 166 0 28 0 [pid=30406] ppid=30405 vsize=2388 CPUtime=0.03 /proc/30406/stat : 30406 (p2cudf) S 30405 30405 24102 769 24102 4202496 377 2737 0 1 0 0 2 1 25 0 1 0 525200159 2445312 272 1283457024 134512640 135191968 4287573024 18446744073709551615 4158769566 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30406/statm: 597 272 232 166 0 29 0 [pid=30419] ppid=30406 vsize=876736 CPUtime=5.87 /proc/30419/stat : 30419 (java) S 30406 30405 24102 769 24102 4202496 48467 0 1 0 572 15 0 0 25 0 12 0 525200162 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30419/statm: 219184 37211 1498 10 0 216456 0 [pid=30419/tid=30420] ppid=30406 vsize=876736 CPUtime=2.55 /proc/30419/task/30420/stat : 30420 (java) S 30406 30405 24102 769 24102 4202560 18558 0 1 0 251 4 0 0 25 0 12 0 525200163 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30421] ppid=30406 vsize=876736 CPUtime=0.32 /proc/30419/task/30421/stat : 30421 (java) S 30406 30405 24102 769 24102 4202560 12174 0 0 0 28 4 0 0 16 0 12 0 525200164 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30422] ppid=30406 vsize=876736 CPUtime=0 /proc/30419/task/30422/stat : 30422 (java) S 30406 30405 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 525200165 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30423] ppid=30406 vsize=876736 CPUtime=0 /proc/30419/task/30423/stat : 30423 (java) S 30406 30405 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 525200165 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30424] ppid=30406 vsize=876736 CPUtime=0 /proc/30419/task/30424/stat : 30424 (java) S 30406 30405 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525200167 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159940944 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30425] ppid=30406 vsize=876736 CPUtime=1.65 /proc/30419/task/30425/stat : 30425 (java) R 30406 30405 24102 769 24102 4202560 12508 0 0 0 164 1 0 0 16 0 12 0 525200167 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 105871875 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30419/tid=30426] ppid=30406 vsize=876736 CPUtime=1.24 /proc/30419/task/30426/stat : 30426 (java) S 30406 30405 24102 769 24102 4202560 4377 0 0 0 123 1 0 0 15 0 12 0 525200167 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30427] ppid=30406 vsize=876736 CPUtime=0 /proc/30419/task/30427/stat : 30427 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525200167 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159932656 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30428] ppid=30406 vsize=876736 CPUtime=0 /proc/30419/task/30428/stat : 30428 (java) S 30406 30405 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525200167 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=30419/tid=30429] ppid=30406 vsize=876736 CPUtime=0 /proc/30419/task/30429/stat : 30429 (java) S 30406 30405 24102 769 24102 4202560 4 0 0 0 0 0 0 0 25 0 12 0 525200589 897777664 37211 1283457024 134512640 134550932 4292896720 18446744073709551615 4159933448 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.9 Current children cumulated vsize (KiB) 881508 Child status: 0 Real time (s): 6.46273 CPU time (s): 5.94837 CPU user time (s): 5.76836 CPU system time (s): 0.180011 CPU usage (%): 92.0412 Max. virtual memory (cumulated for all children) (KiB): 886556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.76836 system time used= 0.180011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51970 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= 777 involuntary context switches= 785 runsolver used 0 second user time and 0 second system time The end