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/201108311143/gj-user-solver-1.0/rand692.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand692.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand692.cudf.dudf-random.result -sum(installedsize) 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.11 1.08 1.02 5/34 27222 /proc/meminfo: memFree=409860/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) R 27220 27221 19908 34817 19908 4202496 354 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 267 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27221/statm: 642 267 228 194 0 29 0 [pid=27222] ppid=27221 vsize=2568 CPUtime=0 /proc/27222/stat : 27222 (gj-user-solver-) R 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 39 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/27222/statm: 642 39 0 194 0 29 0 [startup+0.124646 s] /proc/loadavg: 1.11 1.08 1.02 5/34 27222 /proc/meminfo: memFree=409860/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=409916 CPUtime=0.13 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 3853 0 1 0 13 0 0 0 25 0 9 0 64389442 419753984 3285 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102479 3285 1900 10 0 96627 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412484 [startup+0.204657 s] /proc/loadavg: 1.11 1.08 1.02 5/34 27222 /proc/meminfo: memFree=409860/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=409916 CPUtime=0.21 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 4033 0 1 0 21 0 0 0 25 0 9 0 64389442 419753984 3465 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102479 3465 1900 10 0 96627 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412484 [startup+0.304685 s] /proc/loadavg: 1.11 1.08 1.02 5/34 27222 /proc/meminfo: memFree=409860/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=410340 CPUtime=0.31 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 4395 0 1 0 31 0 0 0 25 0 9 0 64389442 420188160 3827 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102585 3827 1928 10 0 96733 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412908 [startup+0.704813 s] /proc/loadavg: 1.11 1.08 1.02 5/34 27222 /proc/meminfo: memFree=409860/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=410612 CPUtime=0.7 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 11995 0 1 0 68 2 0 0 25 0 9 0 64389442 420466688 11244 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102653 11244 2895 10 0 96801 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413180 [startup+1.50556 s] /proc/loadavg: 1.10 1.08 1.02 3/43 27231 /proc/meminfo: memFree=350752/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=410744 CPUtime=1.5 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 26800 0 1 0 143 7 0 0 25 0 9 0 64389442 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102686 26049 2895 10 0 96834 0 [pid=27222/tid=27224] ppid=27221 vsize=410744 CPUtime=0.79 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 6744 0 1 0 77 2 0 0 25 0 9 0 64389442 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=410744 CPUtime=0.64 /proc/27222/task/27225/stat : 27225 (java) R 27221 27221 19908 34817 19908 4202560 18670 0 0 0 60 4 0 0 18 0 9 0 64389443 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4150798264 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=410744 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 64389443 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=410744 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 64389443 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=410744 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64389444 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=410744 CPUtime=0.04 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 447 0 0 0 3 1 0 0 16 0 9 0 64389444 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=410744 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64389445 420601856 26049 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=410744 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 64389445 420601856 26049 1283457024 134512640 134550932 4288289536 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) 413312 [startup+3.12592 s] /proc/loadavg: 1.10 1.08 1.02 2/43 27231 /proc/meminfo: memFree=277096/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=410888 CPUtime=3.12 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 49466 0 1 0 299 13 0 0 25 0 9 0 64389442 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102722 48634 2917 10 0 96867 0 [pid=27222/tid=27224] ppid=27221 vsize=410888 CPUtime=1.37 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14326 0 1 0 133 4 0 0 25 0 9 0 64389442 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=410888 CPUtime=1.65 /proc/27222/task/27225/stat : 27225 (java) R 27221 27221 19908 34817 19908 4202560 33721 0 0 0 158 7 0 0 15 0 9 0 64389443 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4150798264 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=410888 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 64389443 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=410888 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 64389443 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=410888 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64389444 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=410888 CPUtime=0.07 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 480 0 0 0 6 1 0 0 15 0 9 0 64389444 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=410888 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 64389445 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=410888 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 64389445 420749312 48634 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.12 Current children cumulated vsize (KiB) 413456 [startup+6.30679 s] /proc/loadavg: 1.10 1.08 1.02 2/44 27232 /proc/meminfo: memFree=206912/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=6.3 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 54315 0 1 0 617 13 0 0 25 0 10 0 64389442 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 53482 2919 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=4.43 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 439 4 0 0 25 0 10 0 64389442 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4115471940 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=1.75 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 38490 0 0 0 168 7 0 0 15 0 10 0 64389443 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.09 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 531 0 0 0 8 1 0 0 15 0 10 0 64389444 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 53482 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 53482 1283457024 134512640 134550932 4288289536 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) 413780 [startup+12.7077 s] /proc/loadavg: 1.33 1.13 1.03 2/44 27232 /proc/meminfo: memFree=207284/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=12.7 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55099 0 1 0 1256 14 0 0 25 0 10 0 64389442 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 53212 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=10.54 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 1050 4 0 0 25 0 10 0 64389442 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4115416617 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.01 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 39270 0 0 0 194 7 0 0 15 0 10 0 64389443 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 53212 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 53212 1283457024 134512640 134550932 4288289536 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) 413780 [startup+25.5106 s] /proc/loadavg: 1.28 1.12 1.03 2/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=25.48 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 2532 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=23.1 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 2306 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115389073 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.25 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 216 9 0 0 15 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413780 Solver just ended. Dumping a history of the last processes samples [startup+25.6106 s] /proc/loadavg: 1.28 1.12 1.03 2/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=25.58 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 2542 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=23.2 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 2316 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115352484 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.25 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 216 9 0 0 15 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.58 Current children cumulated vsize (KiB) 413780 [startup+32.0123 s] /proc/loadavg: 1.23 1.12 1.03 2/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=31.97 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 3181 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=29.4 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 2936 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115352484 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.43 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 234 9 0 0 16 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) R 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 31.97 Current children cumulated vsize (KiB) 413780 [startup+35.2029 s] /proc/loadavg: 1.23 1.12 1.03 2/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=35.16 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 3500 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=32.59 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 3255 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115417533 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.43 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 234 9 0 0 15 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 35.16 Current children cumulated vsize (KiB) 413780 [startup+36.8032 s] /proc/loadavg: 1.22 1.11 1.03 2/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=36.76 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 3660 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=34.19 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 3415 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115072932 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.43 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 234 9 0 0 15 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 36.76 Current children cumulated vsize (KiB) 413780 [startup+37.6033 s] /proc/loadavg: 1.22 1.11 1.03 2/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=37.56 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 3740 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=34.99 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 3495 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115446676 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.43 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 234 9 0 0 15 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 37.56 Current children cumulated vsize (KiB) 413780 [startup+38.4034 s] /proc/loadavg: 1.22 1.11 1.03 2/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=38.36 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 3820 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=35.79 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 3575 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115417525 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.43 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 234 9 0 0 15 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 38.36 Current children cumulated vsize (KiB) 413780 [startup+38.8035 s] /proc/loadavg: 1.22 1.11 1.03 3/44 27232 /proc/meminfo: memFree=304996/1048576 swapFree=0/0 [pid=27221] ppid=27220 vsize=2568 CPUtime=0 /proc/27221/stat : 27221 (gj-user-solver-) S 27220 27221 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 25 0 1 0 64389442 2629632 268 1283457024 134512640 135304128 4290444720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27221/statm: 642 268 229 194 0 29 0 [pid=27222] ppid=27221 vsize=411212 CPUtime=38.76 /proc/27222/stat : 27222 (java) S 27221 27221 19908 34817 19908 4202496 55867 0 1 0 3860 16 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27222/statm: 102803 28832 2914 10 0 96948 0 [pid=27222/tid=27224] ppid=27221 vsize=411212 CPUtime=36.09 /proc/27222/task/27224/stat : 27224 (java) R 27221 27221 19908 34817 19908 4202560 14350 0 1 0 3605 4 0 0 25 0 10 0 64389442 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4115461189 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27222/tid=27225] ppid=27221 vsize=411212 CPUtime=2.53 /proc/27222/task/27225/stat : 27225 (java) S 27221 27221 19908 34817 19908 4202560 40038 0 0 0 244 9 0 0 16 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27226] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27226/stat : 27226 (java) S 27221 27221 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27227] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27227/stat : 27227 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 64389443 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27228] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27228/stat : 27228 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27229] ppid=27221 vsize=411212 CPUtime=0.11 /proc/27222/task/27229/stat : 27229 (java) S 27221 27221 19908 34817 19908 4202560 535 0 0 0 9 2 0 0 15 0 10 0 64389444 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27230] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27230/stat : 27230 (java) S 27221 27221 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27231] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27231/stat : 27231 (java) S 27221 27221 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 64389445 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=27222/tid=27232] ppid=27221 vsize=411212 CPUtime=0 /proc/27222/task/27232/stat : 27232 (java) S 27221 27221 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 64389770 421081088 28832 1283457024 134512640 134550932 4288289536 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 38.76 Current children cumulated vsize (KiB) 413780 Child status: 0 Real time (s): 38.8311 CPU time (s): 38.7824 CPU user time (s): 38.6144 CPU system time (s): 0.16801 CPU usage (%): 99.8746 Max. virtual memory (cumulated for all children) (KiB): 413780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.6144 system time used= 0.16801 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56254 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= 1383 involuntary context switches= 1748 runsolver used 0 second user time and 0 second system time The end