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/201108251442/gj-paranoid-solver-1.0/rand797.cudf.s-e-l.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l/rand797.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand797.cudf.s-e-l.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.47 1.30 1.12 4/34 18672 /proc/meminfo: memFree=328468/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=11044 CPUtime=0 /proc/18672/stat : 18672 (java) R 18671 18671 4778 34817 4778 4202496 654 0 0 0 0 0 0 0 25 0 1 0 11105195 11309056 389 1283457024 134512640 134550932 4289319936 18446744073709551615 4159772388 0 0 0 0 0 0 0 17 0 0 0 0 /proc/18672/statm: 2761 389 177 10 0 1103 0 [startup+0.115323 s] /proc/loadavg: 1.47 1.30 1.12 4/34 18672 /proc/meminfo: memFree=328468/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=409796 CPUtime=0.11 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 3844 0 1 0 10 1 0 0 25 0 9 0 11105195 419631104 3274 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102449 3274 1906 10 0 96597 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 412364 [startup+0.205334 s] /proc/loadavg: 1.47 1.30 1.12 4/34 18672 /proc/meminfo: memFree=328468/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=409796 CPUtime=0.2 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 4059 0 1 0 19 1 0 0 25 0 9 0 11105195 419631104 3489 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102449 3489 1906 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412364 [startup+0.305355 s] /proc/loadavg: 1.47 1.30 1.12 4/34 18672 /proc/meminfo: memFree=328468/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=410244 CPUtime=0.3 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 4407 0 1 0 29 1 0 0 25 0 9 0 11105195 420089856 3837 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102561 3837 1926 10 0 96709 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412812 [startup+0.705469 s] /proc/loadavg: 1.47 1.30 1.12 4/34 18672 /proc/meminfo: memFree=328468/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=410680 CPUtime=0.7 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 12912 0 1 0 67 3 0 0 25 0 9 0 11105195 420536320 12157 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102670 12157 2895 10 0 96818 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413248 [startup+1.50568 s] /proc/loadavg: 1.47 1.30 1.12 3/43 18681 /proc/meminfo: memFree=269300/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=410812 CPUtime=1.5 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 27008 0 1 0 144 6 0 0 25 0 9 0 11105195 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102703 26253 2896 10 0 96851 0 [pid=18672/tid=18674] ppid=18671 vsize=410812 CPUtime=0.77 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 6775 0 1 0 75 2 0 0 25 0 9 0 11105196 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=410812 CPUtime=0.69 /proc/18672/task/18675/stat : 18675 (java) R 18671 18671 4778 34817 4778 4202560 18851 0 0 0 65 4 0 0 19 0 9 0 11105196 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4150650784 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11105196 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11105196 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11105197 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=410812 CPUtime=0.03 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 439 0 0 0 3 0 0 0 16 0 9 0 11105198 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11105198 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 9 0 11105198 420671488 26253 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413380 [startup+3.12605 s] /proc/loadavg: 1.47 1.30 1.12 2/43 18681 /proc/meminfo: memFree=195272/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=410812 CPUtime=3.12 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 49127 0 1 0 297 15 0 0 25 0 9 0 11105195 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102703 48369 2897 10 0 96851 0 [pid=18672/tid=18674] ppid=18671 vsize=410812 CPUtime=1.35 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14129 0 1 0 130 5 0 0 25 0 9 0 11105196 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=410812 CPUtime=1.7 /proc/18672/task/18675/stat : 18675 (java) R 18671 18671 4778 34817 4778 4202560 33595 0 0 0 160 10 0 0 15 0 9 0 11105196 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4151030068 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11105196 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11105196 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11105197 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=410812 CPUtime=0.06 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 460 0 0 0 6 0 0 0 15 0 9 0 11105198 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11105198 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=410812 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) R 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 9 0 11105198 420671488 48369 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.12 Current children cumulated vsize (KiB) 413380 [startup+6.30665 s] /proc/loadavg: 1.43 1.30 1.11 2/44 18682 /proc/meminfo: memFree=102892/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=6.3 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60156 0 1 0 610 20 0 0 25 0 10 0 11105195 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59319 2920 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=4.2 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14384 0 1 0 415 5 0 0 25 0 10 0 11105196 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4114781079 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=1.97 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44296 0 0 0 182 15 0 0 16 0 10 0 11105196 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105197 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 529 0 0 0 12 0 0 0 15 0 10 0 11105198 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105198 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 11105198 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18682] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18682/stat : 18682 (java) S 18671 18671 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11105576 421015552 59319 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413716 [startup+12.7083 s] /proc/loadavg: 1.40 1.29 1.11 2/44 18682 /proc/meminfo: memFree=102644/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=12.7 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60159 0 1 0 1250 20 0 0 25 0 10 0 11105195 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59322 2920 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=10.59 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14384 0 1 0 1054 5 0 0 25 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4115189476 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=1.97 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44296 0 0 0 182 15 0 0 15 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105197 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 532 0 0 0 12 0 0 0 16 0 10 0 11105198 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105198 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 11105198 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18682] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18682/stat : 18682 (java) S 18671 18671 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11105576 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413716 Solver just ended. Dumping a history of the last processes samples [startup+12.8083 s] /proc/loadavg: 1.40 1.29 1.11 2/44 18682 /proc/meminfo: memFree=102644/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=12.8 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60159 0 1 0 1260 20 0 0 25 0 10 0 11105195 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59322 2920 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=10.69 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14384 0 1 0 1064 5 0 0 25 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4115352758 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=1.97 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44296 0 0 0 182 15 0 0 15 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105197 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 532 0 0 0 12 0 0 0 16 0 10 0 11105198 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105198 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) R 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 11105198 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18682] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18682/stat : 18682 (java) S 18671 18671 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11105576 421015552 59322 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 413716 [startup+16.009 s] /proc/loadavg: 1.36 1.29 1.11 2/44 18682 /proc/meminfo: memFree=102644/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=15.99 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60173 0 1 0 1579 20 0 0 25 0 10 0 11105195 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59328 2915 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=13.62 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14384 0 1 0 1357 5 0 0 25 0 10 0 11105196 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4115352805 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=2.23 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44307 0 0 0 208 15 0 0 15 0 10 0 11105196 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105197 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 535 0 0 0 12 0 0 0 15 0 10 0 11105198 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105198 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 11105198 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18682] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18682/stat : 18682 (java) S 18671 18671 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11105576 421015552 59328 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 413716 [startup+19.2097 s] /proc/loadavg: 1.36 1.29 1.11 2/44 18682 /proc/meminfo: memFree=102644/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=19.19 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60174 0 1 0 1899 20 0 0 25 0 10 0 11105195 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59329 2915 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=16.82 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14385 0 1 0 1677 5 0 0 25 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4115181245 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=2.23 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44307 0 0 0 208 15 0 0 15 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105197 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 535 0 0 0 12 0 0 0 15 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18682] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18682/stat : 18682 (java) S 18671 18671 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11105576 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.19 Current children cumulated vsize (KiB) 413716 [startup+20.0099 s] /proc/loadavg: 1.36 1.29 1.11 2/44 18682 /proc/meminfo: memFree=102644/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=19.99 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60174 0 1 0 1979 20 0 0 25 0 10 0 11105195 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59329 2915 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=17.62 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14385 0 1 0 1757 5 0 0 25 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4115208624 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=2.23 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44307 0 0 0 208 15 0 0 15 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105197 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 535 0 0 0 12 0 0 0 15 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18682] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18682/stat : 18682 (java) S 18671 18671 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11105576 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (KiB) 413716 [startup+20.4099 s] /proc/loadavg: 1.36 1.29 1.11 2/44 18682 /proc/meminfo: memFree=102644/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=20.39 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60174 0 1 0 2019 20 0 0 25 0 10 0 11105195 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59329 2915 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=18.02 /proc/18672/task/18674/stat : 18674 (java) R 18671 18671 4778 34817 4778 4202560 14385 0 1 0 1797 5 0 0 25 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4115189476 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=2.23 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44307 0 0 0 208 15 0 0 15 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11105196 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105197 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 535 0 0 0 12 0 0 0 15 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 11105198 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18682] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18682/stat : 18682 (java) S 18671 18671 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11105576 421015552 59329 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 20.39 Current children cumulated vsize (KiB) 413716 [startup+20.6025 s] /proc/loadavg: 1.36 1.29 1.11 2/44 18682 /proc/meminfo: memFree=102644/1048576 swapFree=0/0 [pid=18671] ppid=18670 vsize=2568 CPUtime=0 /proc/18671/stat : 18671 (gj-paranoid-sol) S 18670 18671 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11105195 2629632 269 1283457024 134512640 135304128 4287312592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18671/statm: 642 269 229 194 0 29 0 [pid=18672] ppid=18671 vsize=411148 CPUtime=20.58 /proc/18672/stat : 18672 (java) S 18671 18671 4778 34817 4778 4202496 60177 0 1 0 2038 20 0 0 25 0 9 0 11105195 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18672/statm: 102787 59332 2916 10 0 96932 0 [pid=18672/tid=18674] ppid=18671 vsize=411148 CPUtime=18.21 /proc/18672/task/18674/stat : 18674 (java) S 18671 18671 4778 34817 4778 4202560 14385 0 1 0 1816 5 0 0 25 0 9 0 11105196 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18675] ppid=18671 vsize=411148 CPUtime=2.23 /proc/18672/task/18675/stat : 18675 (java) S 18671 18671 4778 34817 4778 4202560 44307 0 0 0 208 15 0 0 16 0 9 0 11105196 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18676] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18676/stat : 18676 (java) S 18671 18671 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11105196 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18677] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18677/stat : 18677 (java) S 18671 18671 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11105196 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18678] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18678/stat : 18678 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11105197 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18679] ppid=18671 vsize=411148 CPUtime=0.12 /proc/18672/task/18679/stat : 18679 (java) S 18671 18671 4778 34817 4778 4202560 537 0 0 0 12 0 0 0 15 0 9 0 11105198 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18680] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18680/stat : 18680 (java) S 18671 18671 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11105198 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=18672/tid=18681] ppid=18671 vsize=411148 CPUtime=0 /proc/18672/task/18681/stat : 18681 (java) S 18671 18671 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 9 0 11105198 421015552 59332 1283457024 134512640 134550932 4289319936 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 20.58 Current children cumulated vsize (KiB) 413716 Child status: 0 Real time (s): 20.6353 CPU time (s): 20.6093 CPU user time (s): 20.3853 CPU system time (s): 0.224014 CPU usage (%): 99.8738 Max. virtual memory (cumulated for all children) (KiB): 413716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.3853 system time used= 0.224014 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60564 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1099 involuntary context switches= 1303 runsolver used 0 second user time and 0 second system time The end