runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/icse/sarge-etch-lenny/rand753.sarge-etch-lenny.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand753.sarge-etch-lenny.cudf.sarge-etch-lenny.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.08 1.12 1.09 4/48 19307 /proc/meminfo: memFree=614348/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2572 CPUtime=0 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 355 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 274 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/19305/statm: 643 274 234 194 0 29 0 [pid=19306] ppid=19305 vsize=2572 CPUtime=0 /proc/19306/stat : 19306 (p2cudf) R 19305 19304 2059 34821 2220 4202560 92 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 117 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/19306/statm: 643 117 75 194 0 29 0 [pid=19307] ppid=19306 vsize=2572 CPUtime=0 /proc/19307/stat : 19307 (p2cudf) R 19306 19304 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 42 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/19307/statm: 643 42 0 194 0 29 0 [startup+0.158442 s] /proc/loadavg: 1.08 1.12 1.09 4/48 19307 /proc/meminfo: memFree=614348/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5148 [startup+0.208463 s] /proc/loadavg: 1.08 1.12 1.09 4/48 19307 /proc/meminfo: memFree=614348/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5148 [startup+0.308494 s] /proc/loadavg: 1.08 1.12 1.09 4/48 19307 /proc/meminfo: memFree=614348/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5148 [startup+0.708599 s] /proc/loadavg: 1.08 1.12 1.09 4/48 19307 /proc/meminfo: memFree=614348/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5148 [startup+1.50881 s] /proc/loadavg: 1.08 1.12 1.09 4/57 19327 /proc/meminfo: memFree=574888/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 [pid=19318] ppid=19305 vsize=878540 CPUtime=1.47 /proc/19318/stat : 19318 (java) S 19305 19304 2059 34821 2220 4202496 20224 0 1 0 140 7 0 0 25 0 10 0 875920303 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19318/statm: 219635 17689 1732 10 0 216725 0 [pid=19318/tid=19319] ppid=19305 vsize=878540 CPUtime=0.79 /proc/19318/task/19319/stat : 19319 (java) R 19305 19304 2059 34821 2220 4202560 11173 0 1 0 73 6 0 0 25 0 10 0 875920304 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4095824524 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19320] ppid=19305 vsize=878540 CPUtime=0 /proc/19318/task/19320/stat : 19320 (java) S 19305 19304 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875920306 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19321] ppid=19305 vsize=878540 CPUtime=0 /proc/19318/task/19321/stat : 19321 (java) S 19305 19304 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 875920306 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19322] ppid=19305 vsize=878540 CPUtime=0 /proc/19318/task/19322/stat : 19322 (java) S 19305 19304 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875920306 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19323] ppid=19305 vsize=878540 CPUtime=0 /proc/19318/task/19323/stat : 19323 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875920309 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19324] ppid=19305 vsize=878540 CPUtime=0.39 /proc/19318/task/19324/stat : 19324 (java) R 19305 19304 2059 34821 2220 4202560 7145 0 0 0 39 0 0 0 23 0 10 0 875920309 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4152753263 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19325] ppid=19305 vsize=878540 CPUtime=0.27 /proc/19318/task/19325/stat : 19325 (java) R 19305 19304 2059 34821 2220 4202560 793 0 0 0 26 1 0 0 25 0 10 0 875920309 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4152097645 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19326] ppid=19305 vsize=878540 CPUtime=0 /proc/19318/task/19326/stat : 19326 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875920309 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19327] ppid=19305 vsize=878540 CPUtime=0 /proc/19318/task/19327/stat : 19327 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875920309 899624960 17689 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 883688 [startup+3.10464 s] /proc/loadavg: 1.08 1.12 1.09 4/57 19327 /proc/meminfo: memFree=505368/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 [pid=19318] ppid=19305 vsize=896296 CPUtime=3.05 /proc/19318/stat : 19318 (java) S 19305 19304 2059 34821 2220 4202496 52089 0 1 0 282 23 0 0 25 0 10 0 875920303 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19318/statm: 224074 45010 1732 10 0 221164 0 [pid=19318/tid=19319] ppid=19305 vsize=896296 CPUtime=1.41 /proc/19318/task/19319/stat : 19319 (java) R 19305 19304 2059 34821 2220 4202560 33738 0 1 0 125 16 0 0 25 0 10 0 875920304 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4095504350 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19320] ppid=19305 vsize=896296 CPUtime=0 /proc/19318/task/19320/stat : 19320 (java) S 19305 19304 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875920306 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19321] ppid=19305 vsize=896296 CPUtime=0 /proc/19318/task/19321/stat : 19321 (java) S 19305 19304 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 875920306 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19322] ppid=19305 vsize=896296 CPUtime=0 /proc/19318/task/19322/stat : 19322 (java) S 19305 19304 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875920306 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19323] ppid=19305 vsize=896296 CPUtime=0 /proc/19318/task/19323/stat : 19323 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875920309 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19324] ppid=19305 vsize=896296 CPUtime=0.82 /proc/19318/task/19324/stat : 19324 (java) S 19305 19304 2059 34821 2220 4202560 11188 0 0 0 79 3 0 0 24 0 10 0 875920309 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19325] ppid=19305 vsize=896296 CPUtime=0.79 /proc/19318/task/19325/stat : 19325 (java) S 19305 19304 2059 34821 2220 4202560 6050 0 0 0 76 3 0 0 23 0 10 0 875920309 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19326] ppid=19305 vsize=896296 CPUtime=0 /proc/19318/task/19326/stat : 19326 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875920309 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19327] ppid=19305 vsize=896296 CPUtime=0 /proc/19318/task/19327/stat : 19327 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875920309 917807104 45010 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 901444 [startup+6.31358 s] /proc/loadavg: 1.23 1.15 1.10 4/58 19328 /proc/meminfo: memFree=306736/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 [pid=19318] ppid=19305 vsize=896312 CPUtime=6.23 /proc/19318/stat : 19318 (java) S 19305 19304 2059 34821 2220 4202496 84735 0 1 0 590 33 0 0 25 0 11 0 875920303 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19318/statm: 224078 75197 1792 10 0 221168 0 [pid=19318/tid=19319] ppid=19305 vsize=896312 CPUtime=2.69 /proc/19318/task/19319/stat : 19319 (java) R 19305 19304 2059 34821 2220 4202560 50434 0 1 0 247 22 0 0 25 0 11 0 875920304 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19320] ppid=19305 vsize=896312 CPUtime=0.32 /proc/19318/task/19320/stat : 19320 (java) S 19305 19304 2059 34821 2220 4202560 13326 0 0 0 28 4 0 0 15 0 11 0 875920306 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19321] ppid=19305 vsize=896312 CPUtime=0 /proc/19318/task/19321/stat : 19321 (java) S 19305 19304 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 18 0 11 0 875920306 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19322] ppid=19305 vsize=896312 CPUtime=0 /proc/19318/task/19322/stat : 19322 (java) S 19305 19304 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 875920306 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19323] ppid=19305 vsize=896312 CPUtime=0 /proc/19318/task/19323/stat : 19323 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 875920309 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19324] ppid=19305 vsize=896312 CPUtime=1.47 /proc/19318/task/19324/stat : 19324 (java) S 19305 19304 2059 34821 2220 4202560 13688 0 0 0 144 3 0 0 16 0 11 0 875920309 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19325] ppid=19305 vsize=896312 CPUtime=1.72 /proc/19318/task/19325/stat : 19325 (java) R 19305 19304 2059 34821 2220 4202560 6169 0 0 0 169 3 0 0 16 0 11 0 875920309 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4149302398 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19326] ppid=19305 vsize=896312 CPUtime=0 /proc/19318/task/19326/stat : 19326 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 875920309 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19327] ppid=19305 vsize=896312 CPUtime=0 /proc/19318/task/19327/stat : 19327 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 875920309 917823488 75197 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 901460 Solver just ended. Dumping a history of the last processes samples [startup+6.41362 s] /proc/loadavg: 1.23 1.15 1.10 4/58 19328 /proc/meminfo: memFree=306736/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 [pid=19318] ppid=19305 vsize=896636 CPUtime=6.33 /proc/19318/stat : 19318 (java) S 19305 19304 2059 34821 2220 4202496 84747 0 1 0 600 33 0 0 25 0 13 0 875920303 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19318/statm: 224159 75209 1792 10 0 221249 0 [pid=19318/tid=19319] ppid=19305 vsize=896636 CPUtime=2.73 /proc/19318/task/19319/stat : 19319 (java) R 19305 19304 2059 34821 2220 4202560 50435 0 1 0 251 22 0 0 25 0 13 0 875920304 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19320] ppid=19305 vsize=896636 CPUtime=0.32 /proc/19318/task/19320/stat : 19320 (java) S 19305 19304 2059 34821 2220 4202560 13326 0 0 0 28 4 0 0 15 0 13 0 875920306 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19321] ppid=19305 vsize=896636 CPUtime=0 /proc/19318/task/19321/stat : 19321 (java) S 19305 19304 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 18 0 13 0 875920306 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19322] ppid=19305 vsize=896636 CPUtime=0 /proc/19318/task/19322/stat : 19322 (java) S 19305 19304 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 13 0 875920306 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19323] ppid=19305 vsize=896636 CPUtime=0 /proc/19318/task/19323/stat : 19323 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 13 0 875920309 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19324] ppid=19305 vsize=896636 CPUtime=1.47 /proc/19318/task/19324/stat : 19324 (java) S 19305 19304 2059 34821 2220 4202560 13688 0 0 0 144 3 0 0 16 0 13 0 875920309 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19325] ppid=19305 vsize=896636 CPUtime=1.78 /proc/19318/task/19325/stat : 19325 (java) R 19305 19304 2059 34821 2220 4202560 6180 0 0 0 175 3 0 0 16 0 13 0 875920309 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4152625315 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19326] ppid=19305 vsize=896636 CPUtime=0 /proc/19318/task/19326/stat : 19326 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 13 0 875920309 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19327] ppid=19305 vsize=896636 CPUtime=0 /proc/19318/task/19327/stat : 19327 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 13 0 875920309 918155264 75209 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.36 Current children cumulated vsize (KiB) 901784 [startup+8.01417 s] /proc/loadavg: 1.23 1.15 1.10 2/58 19347 /proc/meminfo: memFree=306612/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 [pid=19318] ppid=19305 vsize=897284 CPUtime=7.93 /proc/19318/stat : 19318 (java) S 19305 19304 2059 34821 2220 4202496 84769 0 1 0 759 34 0 0 25 0 11 0 875920303 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19318/statm: 224321 75231 1792 10 0 221411 0 [pid=19318/tid=19319] ppid=19305 vsize=897284 CPUtime=4.13 /proc/19318/task/19319/stat : 19319 (java) R 19305 19304 2059 34821 2220 4202560 50437 0 1 0 391 22 0 0 25 0 11 0 875920304 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4096600174 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=19318/tid=19320] ppid=19305 vsize=897284 CPUtime=0.32 /proc/19318/task/19320/stat : 19320 (java) S 19305 19304 2059 34821 2220 4202560 13326 0 0 0 28 4 0 0 16 0 11 0 875920306 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19321] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19321/stat : 19321 (java) S 19305 19304 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 18 0 11 0 875920306 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19322] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19322/stat : 19322 (java) S 19305 19304 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 875920306 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19323] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19323/stat : 19323 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 875920309 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19324] ppid=19305 vsize=897284 CPUtime=1.47 /proc/19318/task/19324/stat : 19324 (java) S 19305 19304 2059 34821 2220 4202560 13688 0 0 0 144 3 0 0 16 0 11 0 875920309 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19325] ppid=19305 vsize=897284 CPUtime=1.97 /proc/19318/task/19325/stat : 19325 (java) S 19305 19304 2059 34821 2220 4202560 6188 0 0 0 194 3 0 0 15 0 11 0 875920309 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19326] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19326/stat : 19326 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 875920309 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19327] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19327/stat : 19327 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 875920309 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19347] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19347/stat : 19347 (java) S 19305 19304 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 875921054 918818816 75231 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.96 Current children cumulated vsize (KiB) 902432 [startup+8.80498 s] /proc/loadavg: 1.23 1.15 1.10 1/58 19348 /proc/meminfo: memFree=306612/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 [pid=19318] ppid=19305 vsize=897284 CPUtime=8.54 /proc/19318/stat : 19318 (java) S 19305 19304 2059 34821 2220 4202496 84777 0 1 0 820 34 0 0 25 0 11 0 875920303 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19318/statm: 224321 75239 1792 10 0 221411 0 [pid=19318/tid=19319] ppid=19305 vsize=897284 CPUtime=4.72 /proc/19318/task/19319/stat : 19319 (java) S 19305 19304 2059 34821 2220 4202560 50443 0 1 0 450 22 0 0 25 0 11 0 875920304 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19320] ppid=19305 vsize=897284 CPUtime=0.32 /proc/19318/task/19320/stat : 19320 (java) S 19305 19304 2059 34821 2220 4202560 13326 0 0 0 28 4 0 0 16 0 11 0 875920306 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19321] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19321/stat : 19321 (java) S 19305 19304 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 18 0 11 0 875920306 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19322] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19322/stat : 19322 (java) S 19305 19304 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 875920306 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19323] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19323/stat : 19323 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 875920309 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19324] ppid=19305 vsize=897284 CPUtime=1.47 /proc/19318/task/19324/stat : 19324 (java) S 19305 19304 2059 34821 2220 4202560 13688 0 0 0 144 3 0 0 16 0 11 0 875920309 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19325] ppid=19305 vsize=897284 CPUtime=1.99 /proc/19318/task/19325/stat : 19325 (java) S 19305 19304 2059 34821 2220 4202560 6190 0 0 0 196 3 0 0 16 0 11 0 875920309 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19326] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19326/stat : 19326 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 875920309 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19327] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19327/stat : 19327 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 875920309 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19348] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19348/stat : 19348 (java) S 19305 19304 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 875921163 918818816 75239 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.57 Current children cumulated vsize (KiB) 902432 [startup+9.20671 s] /proc/loadavg: 1.23 1.15 1.10 1/58 19348 /proc/meminfo: memFree=306612/1048576 swapFree=2078744/2097144 [pid=19304] ppid=19303 vsize=2572 CPUtime=0 /proc/19304/stat : 19304 (p2cudf-paranoid) S 19303 19304 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 875920300 2633728 273 1283457024 134512640 135304128 4292923392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19304/statm: 643 273 233 194 0 29 0 [pid=19305] ppid=19304 vsize=2576 CPUtime=0.03 /proc/19305/stat : 19305 (p2cudf) S 19304 19304 2059 34821 2220 4202496 390 2995 0 1 0 0 3 0 25 0 1 0 875920300 2637824 282 1283457024 134512640 135304128 4292276080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19305/statm: 644 282 241 194 0 30 0 [pid=19318] ppid=19305 vsize=897284 CPUtime=8.6 /proc/19318/stat : 19318 (java) S 19305 19304 2059 34821 2220 4202496 84779 0 1 0 822 38 0 0 25 0 10 0 875920303 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/19318/statm: 224321 75241 1792 10 0 221411 0 [pid=19318/tid=19319] ppid=19305 vsize=897284 CPUtime=4.72 /proc/19318/task/19319/stat : 19319 (java) S 19305 19304 2059 34821 2220 4202560 50443 0 1 0 450 22 0 0 20 0 10 0 875920304 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19320] ppid=19305 vsize=897284 CPUtime=0.32 /proc/19318/task/19320/stat : 19320 (java) S 19305 19304 2059 34821 2220 4202560 13326 0 0 0 28 4 0 0 16 0 10 0 875920306 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19321] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19321/stat : 19321 (java) S 19305 19304 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 18 0 10 0 875920306 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19322] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19322/stat : 19322 (java) S 19305 19304 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 875920306 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19323] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19323/stat : 19323 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875920309 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19324] ppid=19305 vsize=897284 CPUtime=1.47 /proc/19318/task/19324/stat : 19324 (java) S 19305 19304 2059 34821 2220 4202560 13688 0 0 0 144 3 0 0 16 0 10 0 875920309 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19325] ppid=19305 vsize=897284 CPUtime=1.99 /proc/19318/task/19325/stat : 19325 (java) S 19305 19304 2059 34821 2220 4202560 6190 0 0 0 196 3 0 0 15 0 10 0 875920309 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19326] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19326/stat : 19326 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875920309 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 [pid=19318/tid=19327] ppid=19305 vsize=897284 CPUtime=0 /proc/19318/task/19327/stat : 19327 (java) S 19305 19304 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875920309 918818816 75241 1283457024 134512640 134550932 4294012864 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.63 Current children cumulated vsize (KiB) 902432 Child status: 0 Real time (s): 9.25873 CPU time (s): 8.65254 CPU user time (s): 8.25251 CPU system time (s): 0.400025 CPU usage (%): 93.4528 Max. virtual memory (cumulated for all children) (KiB): 906764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.25252 system time used= 0.400025 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88565 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= 1085 involuntary context switches= 1078 runsolver used 0 second user time and 0 second system time The end