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/201103031013/p2cudf-paranoid-1.12/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/debian//7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian.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.01 1.00 1.00 5/38 13608 /proc/meminfo: memFree=658708/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2568 CPUtime=0 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 355 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 272 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/13606/statm: 642 272 231 194 0 29 0 [pid=13607] ppid=13606 vsize=2568 CPUtime=0 /proc/13607/stat : 13607 (p2cudf) R 13606 13605 29493 34817 29493 4202560 94 0 0 0 0 0 0 0 25 0 1 0 75400910 2629632 119 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/13607/statm: 642 119 77 194 0 29 0 [pid=13608] ppid=13607 vsize=2568 CPUtime=0 /proc/13608/stat : 13608 (p2cudf) R 13607 13605 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75400910 2629632 42 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/13608/statm: 642 42 0 194 0 29 0 [startup+0.215407 s] /proc/loadavg: 1.01 1.00 1.00 5/38 13608 /proc/meminfo: memFree=658708/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.305512 s] /proc/loadavg: 1.01 1.00 1.00 5/38 13608 /proc/meminfo: memFree=658708/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.405456 s] /proc/loadavg: 1.01 1.00 1.00 5/38 13608 /proc/meminfo: memFree=658708/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+0.705546 s] /proc/loadavg: 1.01 1.00 1.00 5/38 13608 /proc/meminfo: memFree=658708/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5144 [startup+1.50574 s] /proc/loadavg: 1.01 1.00 1.00 3/47 13628 /proc/meminfo: memFree=599672/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 [pid=13619] ppid=13606 vsize=885828 CPUtime=1.46 /proc/13619/stat : 13619 (java) S 13606 13605 29493 34817 29493 4202496 22134 0 1 0 134 12 0 0 25 0 10 0 75400913 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13619/statm: 221457 18587 1721 10 0 218548 0 [pid=13619/tid=13620] ppid=13606 vsize=885828 CPUtime=0.8 /proc/13619/task/13620/stat : 13620 (java) R 13606 13605 29493 34817 29493 4202560 10287 0 1 0 72 8 0 0 25 0 10 0 75400914 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4095254116 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13619/tid=13621] ppid=13606 vsize=885828 CPUtime=0 /proc/13619/task/13621/stat : 13621 (java) S 13606 13605 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 18 0 10 0 75400915 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13622] ppid=13606 vsize=885828 CPUtime=0 /proc/13619/task/13622/stat : 13622 (java) S 13606 13605 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75400916 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13623] ppid=13606 vsize=885828 CPUtime=0 /proc/13619/task/13623/stat : 13623 (java) S 13606 13605 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75400916 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13624] ppid=13606 vsize=885828 CPUtime=0 /proc/13619/task/13624/stat : 13624 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75400918 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13625] ppid=13606 vsize=885828 CPUtime=0.42 /proc/13619/task/13625/stat : 13625 (java) R 13606 13605 29493 34817 29493 4202560 8668 0 0 0 38 4 0 0 25 0 10 0 75400918 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13619/tid=13626] ppid=13606 vsize=885828 CPUtime=0.23 /proc/13619/task/13626/stat : 13626 (java) R 13606 13605 29493 34817 29493 4202560 2096 0 0 0 23 0 0 0 18 0 10 0 75400918 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4152682134 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13619/tid=13627] ppid=13606 vsize=885828 CPUtime=0 /proc/13619/task/13627/stat : 13627 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75400918 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13628] ppid=13606 vsize=885828 CPUtime=0 /proc/13619/task/13628/stat : 13628 (java) S 13606 13605 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75400918 907087872 18587 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 890972 [startup+3.10609 s] /proc/loadavg: 1.01 1.00 1.00 2/47 13628 /proc/meminfo: memFree=486336/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 [pid=13619] ppid=13606 vsize=882188 CPUtime=3.06 /proc/13619/stat : 13619 (java) S 13606 13605 29493 34817 29493 4202496 74907 0 1 0 272 34 0 0 25 0 10 0 75400913 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13619/statm: 220547 70755 1743 10 0 217638 0 [pid=13619/tid=13620] ppid=13606 vsize=882188 CPUtime=1.8 /proc/13619/task/13620/stat : 13620 (java) R 13606 13605 29493 34817 29493 4202560 50067 0 1 0 155 25 0 0 25 0 10 0 75400914 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13619/tid=13621] ppid=13606 vsize=882188 CPUtime=0.27 /proc/13619/task/13621/stat : 13621 (java) S 13606 13605 29493 34817 29493 4202560 12812 0 0 0 23 4 0 0 16 0 10 0 75400915 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13622] ppid=13606 vsize=882188 CPUtime=0 /proc/13619/task/13622/stat : 13622 (java) S 13606 13605 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 75400916 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13623] ppid=13606 vsize=882188 CPUtime=0 /proc/13619/task/13623/stat : 13623 (java) S 13606 13605 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75400916 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13624] ppid=13606 vsize=882188 CPUtime=0 /proc/13619/task/13624/stat : 13624 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75400918 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13625] ppid=13606 vsize=882188 CPUtime=0.57 /proc/13619/task/13625/stat : 13625 (java) R 13606 13605 29493 34817 29493 4202560 8732 0 0 0 53 4 0 0 16 0 10 0 75400918 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4153500766 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13619/tid=13626] ppid=13606 vsize=882188 CPUtime=0.4 /proc/13619/task/13626/stat : 13626 (java) S 13606 13605 29493 34817 29493 4202560 2218 0 0 0 40 0 0 0 16 0 10 0 75400918 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13627] ppid=13606 vsize=882188 CPUtime=0 /proc/13619/task/13627/stat : 13627 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75400918 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13628] ppid=13606 vsize=882188 CPUtime=0 /proc/13619/task/13628/stat : 13628 (java) S 13606 13605 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75400918 903360512 70755 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 887332 [startup+6.30684 s] /proc/loadavg: 1.01 1.00 1.00 3/48 13629 /proc/meminfo: memFree=380440/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 [pid=13619] ppid=13606 vsize=882404 CPUtime=6.26 /proc/13619/stat : 13619 (java) S 13606 13605 29493 34817 29493 4202496 88789 0 1 0 585 41 0 0 25 0 11 0 75400913 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13619/statm: 220601 83025 1781 10 0 217692 0 [pid=13619/tid=13620] ppid=13606 vsize=882404 CPUtime=3.36 /proc/13619/task/13620/stat : 13620 (java) R 13606 13605 29493 34817 29493 4202560 50256 0 1 0 310 26 0 0 25 0 11 0 75400914 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4095463260 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13619/tid=13621] ppid=13606 vsize=882404 CPUtime=0.69 /proc/13619/task/13621/stat : 13621 (java) S 13606 13605 29493 34817 29493 4202560 24690 0 0 0 61 8 0 0 16 0 11 0 75400915 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13622] ppid=13606 vsize=882404 CPUtime=0 /proc/13619/task/13622/stat : 13622 (java) S 13606 13605 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75400916 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13623] ppid=13606 vsize=882404 CPUtime=0 /proc/13619/task/13623/stat : 13623 (java) S 13606 13605 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75400916 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13624] ppid=13606 vsize=882404 CPUtime=0 /proc/13619/task/13624/stat : 13624 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75400918 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13625] ppid=13606 vsize=882404 CPUtime=1.78 /proc/13619/task/13625/stat : 13625 (java) S 13606 13605 29493 34817 29493 4202560 10543 0 0 0 173 5 0 0 15 0 11 0 75400918 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13626] ppid=13606 vsize=882404 CPUtime=0.4 /proc/13619/task/13626/stat : 13626 (java) S 13606 13605 29493 34817 29493 4202560 2218 0 0 0 40 0 0 0 16 0 11 0 75400918 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13627] ppid=13606 vsize=882404 CPUtime=0 /proc/13619/task/13627/stat : 13627 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75400918 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13628] ppid=13606 vsize=882404 CPUtime=0 /proc/13619/task/13628/stat : 13628 (java) S 13606 13605 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75400918 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13629] ppid=13606 vsize=882404 CPUtime=0 /proc/13619/task/13629/stat : 13629 (java) S 13606 13605 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 11 0 75401320 903581696 83025 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 887548 Solver just ended. Dumping a history of the last processes samples [startup+6.50568 s] /proc/loadavg: 1.01 1.00 1.00 3/48 13629 /proc/meminfo: memFree=380440/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 [pid=13619] ppid=13606 vsize=878380 CPUtime=6.44 /proc/13619/stat : 13619 (java) S 13606 13605 29493 34817 29493 4202496 88800 0 1 0 602 42 0 0 25 0 12 0 75400913 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13619/statm: 219595 81953 1781 10 0 216686 0 [pid=13619/tid=13620] ppid=13606 vsize=878380 CPUtime=3.55 /proc/13619/task/13620/stat : 13620 (java) S 13606 13605 29493 34817 29493 4202560 50263 0 1 0 327 28 0 0 25 0 12 0 75400914 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13621] ppid=13606 vsize=878380 CPUtime=0.69 /proc/13619/task/13621/stat : 13621 (java) S 13606 13605 29493 34817 29493 4202560 24690 0 0 0 61 8 0 0 16 0 12 0 75400915 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13622] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13622/stat : 13622 (java) S 13606 13605 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 75400916 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13623] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13623/stat : 13623 (java) S 13606 13605 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 75400916 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13624] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13624/stat : 13624 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13625] ppid=13606 vsize=878380 CPUtime=1.78 /proc/13619/task/13625/stat : 13625 (java) S 13606 13605 29493 34817 29493 4202560 10543 0 0 0 173 5 0 0 15 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13626] ppid=13606 vsize=878380 CPUtime=0.4 /proc/13619/task/13626/stat : 13626 (java) S 13606 13605 29493 34817 29493 4202560 2218 0 0 0 40 0 0 0 16 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13627] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13627/stat : 13627 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13628] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13628/stat : 13628 (java) S 13606 13605 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13629] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13629/stat : 13629 (java) S 13606 13605 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 75401320 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 883524 [startup+6.90574 s] /proc/loadavg: 1.01 1.00 1.00 1/49 13630 /proc/meminfo: memFree=336536/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 [pid=13619] ppid=13606 vsize=878380 CPUtime=6.44 /proc/13619/stat : 13619 (java) S 13606 13605 29493 34817 29493 4202496 88800 0 1 0 602 42 0 0 25 0 12 0 75400913 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13619/statm: 219595 81953 1781 10 0 216686 0 [pid=13619/tid=13620] ppid=13606 vsize=878380 CPUtime=3.55 /proc/13619/task/13620/stat : 13620 (java) S 13606 13605 29493 34817 29493 4202560 50263 0 1 0 327 28 0 0 25 0 12 0 75400914 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13621] ppid=13606 vsize=878380 CPUtime=0.69 /proc/13619/task/13621/stat : 13621 (java) S 13606 13605 29493 34817 29493 4202560 24690 0 0 0 61 8 0 0 16 0 12 0 75400915 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13622] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13622/stat : 13622 (java) S 13606 13605 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 75400916 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13623] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13623/stat : 13623 (java) S 13606 13605 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 75400916 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13624] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13624/stat : 13624 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13625] ppid=13606 vsize=878380 CPUtime=1.78 /proc/13619/task/13625/stat : 13625 (java) S 13606 13605 29493 34817 29493 4202560 10543 0 0 0 173 5 0 0 15 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13626] ppid=13606 vsize=878380 CPUtime=0.4 /proc/13619/task/13626/stat : 13626 (java) S 13606 13605 29493 34817 29493 4202560 2218 0 0 0 40 0 0 0 16 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13627] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13627/stat : 13627 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13628] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13628/stat : 13628 (java) S 13606 13605 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 75400918 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13629] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13629/stat : 13629 (java) S 13606 13605 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 75401320 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13630] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13630/stat : 13630 (java) S 13606 13605 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 75401558 899461120 81953 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 883524 [startup+7.01009 s] /proc/loadavg: 1.01 1.00 1.00 1/49 13630 /proc/meminfo: memFree=336536/1048576 swapFree=0/0 [pid=13605] ppid=13604 vsize=2568 CPUtime=0 /proc/13605/stat : 13605 (p2cudf-paranoid) S 13604 13605 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 75400909 2629632 271 1283457024 134512640 135304128 4288996416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13605/statm: 642 271 230 194 0 29 0 [pid=13606] ppid=13605 vsize=2576 CPUtime=0.03 /proc/13606/stat : 13606 (p2cudf) S 13605 13605 29493 34817 29493 4202496 396 3011 0 1 0 0 2 1 25 0 1 0 75400909 2637824 282 1283457024 134512640 135304128 4290147680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13606/statm: 644 282 239 194 0 31 0 [pid=13619] ppid=13606 vsize=878380 CPUtime=6.46 /proc/13619/stat : 13619 (java) S 13606 13605 29493 34817 29493 4202496 88803 0 1 0 604 42 0 0 25 0 12 0 75400913 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13619/statm: 219595 81956 1781 10 0 216686 0 [pid=13619/tid=13620] ppid=13606 vsize=878380 CPUtime=3.55 /proc/13619/task/13620/stat : 13620 (java) S 13606 13605 29493 34817 29493 4202560 50263 0 1 0 327 28 0 0 25 0 12 0 75400914 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13621] ppid=13606 vsize=878380 CPUtime=0.69 /proc/13619/task/13621/stat : 13621 (java) S 13606 13605 29493 34817 29493 4202560 24690 0 0 0 61 8 0 0 16 0 12 0 75400915 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 0 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13622] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13622/stat : 13622 (java) S 13606 13605 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 75400916 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13623] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13623/stat : 13623 (java) S 13606 13605 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 75400916 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13624] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13624/stat : 13624 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75400918 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13625] ppid=13606 vsize=878380 CPUtime=1.8 /proc/13619/task/13625/stat : 13625 (java) S 13606 13605 29493 34817 29493 4202560 10546 0 0 0 175 5 0 0 15 0 12 0 75400918 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13626] ppid=13606 vsize=878380 CPUtime=0.4 /proc/13619/task/13626/stat : 13626 (java) S 13606 13605 29493 34817 29493 4202560 2218 0 0 0 40 0 0 0 16 0 12 0 75400918 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13627] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13627/stat : 13627 (java) S 13606 13605 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75400918 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13628] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13628/stat : 13628 (java) R 13606 13605 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 75400918 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13619/tid=13629] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13629/stat : 13629 (java) S 13606 13605 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 75401320 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 18446612133396264064 0 0 -1 0 0 0 0 [pid=13619/tid=13630] ppid=13606 vsize=878380 CPUtime=0 /proc/13619/task/13630/stat : 13630 (java) R 13606 13605 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 20 0 12 0 75401558 899461120 81956 1283457024 134512640 134550932 4288635536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.49 Current children cumulated vsize (KiB) 883524 Child status: 0 Real time (s): 7.10201 CPU time (s): 6.53641 CPU user time (s): 6.06838 CPU system time (s): 0.468029 CPU usage (%): 92.0361 Max. virtual memory (cumulated for all children) (KiB): 891504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.06838 system time used= 0.468029 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92610 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= 664 involuntary context switches= 654 runsolver used 0.008 second user time and 0 second system time The end