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/19.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//19.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/19.cudf.caixa.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.54 1.64 1.50 5/37 31539 /proc/meminfo: memFree=291300/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2572 CPUtime=0 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 354 0 0 0 0 0 0 0 18 0 1 0 75894265 2633728 272 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/31537/statm: 643 272 231 194 0 30 0 [pid=31538] ppid=31537 vsize=2572 CPUtime=0 /proc/31538/stat : 31538 (p2cudf) R 31537 31536 29493 34817 29493 4202560 94 0 0 0 0 0 0 0 25 0 1 0 75894266 2633728 119 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/31538/statm: 643 119 77 194 0 30 0 [pid=31539] ppid=31538 vsize=2572 CPUtime=0 /proc/31539/stat : 31539 (p2cudf) R 31538 31536 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75894266 2633728 42 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/31539/statm: 643 42 0 194 0 30 0 [startup+0.165761 s] /proc/loadavg: 1.54 1.64 1.50 5/37 31539 /proc/meminfo: memFree=291300/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5144 [startup+0.205759 s] /proc/loadavg: 1.54 1.64 1.50 5/37 31539 /proc/meminfo: memFree=291300/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5144 [startup+0.305779 s] /proc/loadavg: 1.54 1.64 1.50 5/37 31539 /proc/meminfo: memFree=291300/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5144 [startup+0.70589 s] /proc/loadavg: 1.54 1.64 1.50 5/37 31539 /proc/meminfo: memFree=291300/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5144 [startup+1.50614 s] /proc/loadavg: 1.54 1.64 1.50 5/46 31559 /proc/meminfo: memFree=249748/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 [pid=31550] ppid=31537 vsize=882592 CPUtime=1.46 /proc/31550/stat : 31550 (java) S 31537 31536 29493 34817 29493 4202496 18248 0 1 0 139 7 0 0 25 0 10 0 75894269 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31550/statm: 220648 13700 1727 10 0 217739 0 [pid=31550/tid=31551] ppid=31537 vsize=882592 CPUtime=0.64 /proc/31550/task/31551/stat : 31551 (java) R 31537 31536 29493 34817 29493 4202560 5866 0 1 0 59 5 0 0 25 0 10 0 75894269 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31550/tid=31552] ppid=31537 vsize=882592 CPUtime=0 /proc/31550/task/31552/stat : 31552 (java) S 31537 31536 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 75894271 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31553] ppid=31537 vsize=882592 CPUtime=0 /proc/31550/task/31553/stat : 31553 (java) S 31537 31536 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75894271 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31554] ppid=31537 vsize=882592 CPUtime=0 /proc/31550/task/31554/stat : 31554 (java) S 31537 31536 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75894271 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31555] ppid=31537 vsize=882592 CPUtime=0 /proc/31550/task/31555/stat : 31555 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75894274 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31556] ppid=31537 vsize=882592 CPUtime=0.56 /proc/31550/task/31556/stat : 31556 (java) R 31537 31536 29493 34817 29493 4202560 8857 0 0 0 54 2 0 0 22 0 10 0 75894274 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4149856815 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31550/tid=31557] ppid=31537 vsize=882592 CPUtime=0.26 /proc/31550/task/31557/stat : 31557 (java) R 31537 31536 29493 34817 29493 4202560 2447 0 0 0 26 0 0 0 24 0 10 0 75894274 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4148686123 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31550/tid=31558] ppid=31537 vsize=882592 CPUtime=0 /proc/31550/task/31558/stat : 31558 (java) S 31537 31536 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75894274 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31559] ppid=31537 vsize=882592 CPUtime=0 /proc/31550/task/31559/stat : 31559 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75894274 903774208 13700 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 887736 [startup+3.10665 s] /proc/loadavg: 1.54 1.64 1.50 3/46 31559 /proc/meminfo: memFree=207092/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 [pid=31550] ppid=31537 vsize=882824 CPUtime=3.06 /proc/31550/stat : 31550 (java) S 31537 31536 29493 34817 29493 4202496 55987 0 1 0 285 21 0 0 25 0 10 0 75894269 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31550/statm: 220706 47785 1742 10 0 217797 0 [pid=31550/tid=31551] ppid=31537 vsize=882824 CPUtime=1.55 /proc/31550/task/31551/stat : 31551 (java) R 31537 31536 29493 34817 29493 4202560 39612 0 1 0 139 16 0 0 25 0 10 0 75894269 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4095797515 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31550/tid=31552] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31552/stat : 31552 (java) S 31537 31536 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 75894271 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31553] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31553/stat : 31553 (java) S 31537 31536 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75894271 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31554] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31554/stat : 31554 (java) S 31537 31536 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75894271 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31555] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31555/stat : 31555 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75894274 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31556] ppid=31537 vsize=882824 CPUtime=0.86 /proc/31550/task/31556/stat : 31556 (java) S 31537 31536 29493 34817 29493 4202560 9166 0 0 0 84 2 0 0 15 0 10 0 75894274 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31557] ppid=31537 vsize=882824 CPUtime=0.63 /proc/31550/task/31557/stat : 31557 (java) S 31537 31536 29493 34817 29493 4202560 6131 0 0 0 61 2 0 0 24 0 10 0 75894274 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31558] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31558/stat : 31558 (java) S 31537 31536 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75894274 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31559] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31559/stat : 31559 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75894274 904011776 47785 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 887968 Solver just ended. Dumping a history of the last processes samples [startup+3.20663 s] /proc/loadavg: 1.54 1.64 1.50 3/46 31559 /proc/meminfo: memFree=207092/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 [pid=31550] ppid=31537 vsize=882824 CPUtime=3.16 /proc/31550/stat : 31550 (java) S 31537 31536 29493 34817 29493 4202496 58597 0 1 0 295 21 0 0 25 0 10 0 75894269 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31550/statm: 220706 50395 1742 10 0 217797 0 [pid=31550/tid=31551] ppid=31537 vsize=882824 CPUtime=1.62 /proc/31550/task/31551/stat : 31551 (java) R 31537 31536 29493 34817 29493 4202560 42219 0 1 0 146 16 0 0 25 0 10 0 75894269 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4095223566 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31550/tid=31552] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31552/stat : 31552 (java) S 31537 31536 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 75894271 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31553] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31553/stat : 31553 (java) S 31537 31536 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75894271 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31554] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31554/stat : 31554 (java) S 31537 31536 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75894271 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31555] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31555/stat : 31555 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75894274 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31556] ppid=31537 vsize=882824 CPUtime=0.86 /proc/31550/task/31556/stat : 31556 (java) S 31537 31536 29493 34817 29493 4202560 9166 0 0 0 84 2 0 0 15 0 10 0 75894274 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31557] ppid=31537 vsize=882824 CPUtime=0.66 /proc/31550/task/31557/stat : 31557 (java) S 31537 31536 29493 34817 29493 4202560 6134 0 0 0 64 2 0 0 23 0 10 0 75894274 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31558] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31558/stat : 31558 (java) S 31537 31536 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75894274 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31559] ppid=31537 vsize=882824 CPUtime=0 /proc/31550/task/31559/stat : 31559 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75894274 904011776 50395 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 887968 [startup+4.80705 s] /proc/loadavg: 1.54 1.64 1.50 2/46 31559 /proc/meminfo: memFree=7192/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 [pid=31550] ppid=31537 vsize=882676 CPUtime=4.76 /proc/31550/stat : 31550 (java) S 31537 31536 29493 34817 29493 4202496 83849 0 1 0 448 28 0 0 25 0 10 0 75894269 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31550/statm: 220669 74041 1758 10 0 217760 0 [pid=31550/tid=31551] ppid=31537 vsize=882676 CPUtime=2.06 /proc/31550/task/31551/stat : 31551 (java) R 31537 31536 29493 34817 29493 4202560 50236 0 1 0 185 21 0 0 25 0 10 0 75894269 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4095219080 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31550/tid=31552] ppid=31537 vsize=882676 CPUtime=0.33 /proc/31550/task/31552/stat : 31552 (java) S 31537 31536 29493 34817 29493 4202560 15598 0 0 0 33 0 0 0 16 0 10 0 75894271 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31553] ppid=31537 vsize=882676 CPUtime=0 /proc/31550/task/31553/stat : 31553 (java) S 31537 31536 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 75894271 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31554] ppid=31537 vsize=882676 CPUtime=0 /proc/31550/task/31554/stat : 31554 (java) S 31537 31536 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75894271 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31555] ppid=31537 vsize=882676 CPUtime=0 /proc/31550/task/31555/stat : 31555 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75894274 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31556] ppid=31537 vsize=882676 CPUtime=1.07 /proc/31550/task/31556/stat : 31556 (java) S 31537 31536 29493 34817 29493 4202560 9194 0 0 0 105 2 0 0 15 0 10 0 75894274 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31557] ppid=31537 vsize=882676 CPUtime=1.28 /proc/31550/task/31557/stat : 31557 (java) S 31537 31536 29493 34817 29493 4202560 7748 0 0 0 124 4 0 0 19 0 10 0 75894274 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31558] ppid=31537 vsize=882676 CPUtime=0 /proc/31550/task/31558/stat : 31558 (java) S 31537 31536 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75894274 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31559] ppid=31537 vsize=882676 CPUtime=0 /proc/31550/task/31559/stat : 31559 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75894274 903860224 74041 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 887820 [startup+5.6061 s] /proc/loadavg: 1.58 1.64 1.50 1/48 31561 /proc/meminfo: memFree=7060/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 [pid=31550] ppid=31537 vsize=883324 CPUtime=5.22 /proc/31550/stat : 31550 (java) S 31537 31536 29493 34817 29493 4202496 83924 0 1 0 494 28 0 0 25 0 12 0 75894269 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31550/statm: 220831 74116 1765 10 0 217922 0 [pid=31550/tid=31551] ppid=31537 vsize=883324 CPUtime=2.15 /proc/31550/task/31551/stat : 31551 (java) S 31537 31536 29493 34817 29493 4202560 50261 0 1 0 194 21 0 0 25 0 12 0 75894269 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31552] ppid=31537 vsize=883324 CPUtime=0.33 /proc/31550/task/31552/stat : 31552 (java) S 31537 31536 29493 34817 29493 4202560 15598 0 0 0 33 0 0 0 15 0 12 0 75894271 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31553] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31553/stat : 31553 (java) S 31537 31536 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 75894271 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31554] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31554/stat : 31554 (java) S 31537 31536 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 75894271 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31555] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31555/stat : 31555 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75894274 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31556] ppid=31537 vsize=883324 CPUtime=1.2 /proc/31550/task/31556/stat : 31556 (java) S 31537 31536 29493 34817 29493 4202560 9210 0 0 0 118 2 0 0 15 0 12 0 75894274 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31557] ppid=31537 vsize=883324 CPUtime=1.52 /proc/31550/task/31557/stat : 31557 (java) S 31537 31536 29493 34817 29493 4202560 7774 0 0 0 148 4 0 0 19 0 12 0 75894274 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31558] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31558/stat : 31558 (java) S 31537 31536 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 12 0 75894274 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31559] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31559/stat : 31559 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 75894274 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31560] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31560/stat : 31560 (java) S 31537 31536 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 12 0 75894751 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31561] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31561/stat : 31561 (java) S 31537 31536 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 75894794 904523776 74116 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.26 Current children cumulated vsize (KiB) 888468 [startup+6.00215 s] /proc/loadavg: 1.58 1.64 1.50 1/48 31561 /proc/meminfo: memFree=7060/1048576 swapFree=0/0 [pid=31536] ppid=31535 vsize=2564 CPUtime=0 /proc/31536/stat : 31536 (p2cudf-paranoid) S 31535 31536 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75894265 2625536 270 1283457024 134512640 135304128 4289252544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31536/statm: 641 270 230 194 0 28 0 [pid=31537] ppid=31536 vsize=2580 CPUtime=0.04 /proc/31537/stat : 31537 (p2cudf) S 31536 31536 29493 34817 29493 4202496 394 3014 0 1 0 0 2 2 25 0 1 0 75894265 2641920 282 1283457024 134512640 135304128 4291639056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31537/statm: 645 282 239 194 0 32 0 [pid=31550] ppid=31537 vsize=883324 CPUtime=5.4 /proc/31550/stat : 31550 (java) S 31537 31536 29493 34817 29493 4202496 83941 0 1 0 509 31 0 0 25 0 11 0 75894269 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31550/statm: 220831 74133 1767 10 0 217922 0 [pid=31550/tid=31551] ppid=31537 vsize=883324 CPUtime=2.15 /proc/31550/task/31551/stat : 31551 (java) S 31537 31536 29493 34817 29493 4202560 50261 0 1 0 194 21 0 0 19 0 11 0 75894269 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31552] ppid=31537 vsize=883324 CPUtime=0.33 /proc/31550/task/31552/stat : 31552 (java) S 31537 31536 29493 34817 29493 4202560 15598 0 0 0 33 0 0 0 16 0 11 0 75894271 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31553] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31553/stat : 31553 (java) S 31537 31536 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75894271 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31554] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31554/stat : 31554 (java) S 31537 31536 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75894271 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31555] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31555/stat : 31555 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75894274 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31556] ppid=31537 vsize=883324 CPUtime=1.2 /proc/31550/task/31556/stat : 31556 (java) S 31537 31536 29493 34817 29493 4202560 9210 0 0 0 118 2 0 0 15 0 11 0 75894274 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31557] ppid=31537 vsize=883324 CPUtime=1.6 /proc/31550/task/31557/stat : 31557 (java) S 31537 31536 29493 34817 29493 4202560 7788 0 0 0 156 4 0 0 16 0 11 0 75894274 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31558] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31558/stat : 31558 (java) S 31537 31536 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 75894274 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31559] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31559/stat : 31559 (java) S 31537 31536 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 75894274 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=31550/tid=31560] ppid=31537 vsize=883324 CPUtime=0 /proc/31550/task/31560/stat : 31560 (java) S 31537 31536 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 24 0 11 0 75894751 904523776 74133 1283457024 134512640 134550932 4292621984 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.44 Current children cumulated vsize (KiB) 888468 Child status: 0 Real time (s): 6.05715 CPU time (s): 5.48034 CPU user time (s): 5.11632 CPU system time (s): 0.364022 CPU usage (%): 90.4772 Max. virtual memory (cumulated for all children) (KiB): 892100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.11632 system time used= 0.364022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87745 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= 652 involuntary context switches= 641 runsolver used 0 second user time and 0 second system time The end