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/201108241238/gj-trendy-solver-1.0/rand376.cudf.s-e.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e/rand376.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand376.cudf.s-e.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: 0.99 0.97 0.98 3/36 12244 /proc/meminfo: memFree=516108/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) R 12242 12243 1511 34817 1511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 269 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/12243/statm: 642 269 228 194 0 29 0 [pid=12244] ppid=12243 vsize=2568 CPUtime=0 /proc/12244/stat : 12244 (gj-trendy-solve) R 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 41 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/12244/statm: 642 41 0 194 0 29 0 [startup+0.155321 s] /proc/loadavg: 0.99 0.97 0.98 3/36 12244 /proc/meminfo: memFree=516108/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=409796 CPUtime=0.15 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 3950 0 1 0 12 3 0 0 25 0 9 0 2939198 419631104 3382 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102449 3382 1906 10 0 96597 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 412364 [startup+0.205319 s] /proc/loadavg: 0.99 0.97 0.98 3/36 12244 /proc/meminfo: memFree=516108/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=409796 CPUtime=0.21 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 4069 0 1 0 18 3 0 0 25 0 9 0 2939198 419631104 3501 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102449 3501 1906 10 0 96597 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412364 [startup+0.305342 s] /proc/loadavg: 0.99 0.97 0.98 3/36 12244 /proc/meminfo: memFree=516108/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=410240 CPUtime=0.31 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 4418 0 1 0 28 3 0 0 25 0 9 0 2939198 420085760 3850 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102560 3850 1927 10 0 96708 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412808 [startup+0.705443 s] /proc/loadavg: 0.99 0.97 0.98 3/36 12244 /proc/meminfo: memFree=516108/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=410680 CPUtime=0.71 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 12854 0 1 0 67 4 0 0 25 0 9 0 2939198 420536320 12101 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102670 12101 2895 10 0 96818 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413248 [startup+1.5057 s] /proc/loadavg: 0.99 0.97 0.98 2/45 12253 /proc/meminfo: memFree=457000/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=410812 CPUtime=1.5 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 27264 0 1 0 143 7 0 0 25 0 9 0 2939198 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102703 26511 2896 10 0 96851 0 [pid=12244/tid=12246] ppid=12243 vsize=410812 CPUtime=0.77 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 6728 0 1 0 75 2 0 0 25 0 9 0 2939199 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=410812 CPUtime=0.67 /proc/12244/task/12247/stat : 12247 (java) R 12243 12243 1511 34817 1511 4202560 19159 0 0 0 64 3 0 0 19 0 9 0 2939200 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4151014304 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=410812 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2939200 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=410812 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2939200 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=410812 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2939201 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=410812 CPUtime=0.03 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 438 0 0 0 3 0 0 0 16 0 9 0 2939201 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=410812 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 2939201 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=410812 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 2939201 420671488 26511 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413380 [startup+3.10602 s] /proc/loadavg: 0.99 0.97 0.98 2/45 12253 /proc/meminfo: memFree=392272/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=3.1 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 39439 0 1 0 294 16 0 0 25 0 10 0 2939198 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 38604 2921 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=1.78 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9712 0 1 0 173 5 0 0 25 0 10 0 2939199 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4115267188 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=1.17 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 28258 0 0 0 108 9 0 0 16 0 10 0 2939200 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 526 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 38604 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413716 [startup+6.30675 s] /proc/loadavg: 1.07 0.99 0.99 2/46 12254 /proc/meminfo: memFree=363496/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=6.29 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42117 0 1 0 613 16 0 0 25 0 10 0 2939198 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41282 2921 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=4.88 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 483 5 0 0 25 0 10 0 2939199 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4115372064 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=1.25 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30924 0 0 0 116 9 0 0 16 0 10 0 2939200 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 536 0 0 0 13 0 0 0 16 0 10 0 2939201 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41282 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413716 [startup+12.7085 s] /proc/loadavg: 1.07 0.99 0.99 3/46 12255 /proc/meminfo: memFree=361768/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=12.69 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 1253 16 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=10.95 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 1090 5 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115194832 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=1.58 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 149 9 0 0 16 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413716 [startup+25.5113 s] /proc/loadavg: 1.05 0.99 0.99 2/46 12256 /proc/meminfo: memFree=361768/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=25.48 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 2531 17 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=23.44 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 2339 5 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115328716 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=1.88 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 178 10 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413716 [startup+51.1068 s] /proc/loadavg: 1.03 0.99 0.99 2/45 12258 /proc/meminfo: memFree=361784/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=51.05 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 5088 17 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=48.62 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 4857 5 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115256648 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=2.27 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 217 10 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 413716 [startup+102.307 s] /proc/loadavg: 1.01 0.99 0.99 2/45 12261 /proc/meminfo: memFree=361412/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=102.21 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 10204 17 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=99.08 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 9903 5 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115372133 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=2.97 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 287 10 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 413716 [startup+162.31 s] /proc/loadavg: 1.00 0.99 0.99 2/44 12261 /proc/meminfo: memFree=361420/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=162.16 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 16199 17 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=158.47 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 15842 5 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115248582 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=3.54 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 344 10 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 413716 [startup+222.304 s] /proc/loadavg: 1.06 1.00 0.99 2/44 12261 /proc/meminfo: memFree=361420/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=222.09 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 22192 17 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=217.83 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 21778 5 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115257017 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=4.11 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 401 10 0 0 16 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 413716 [startup+282.31 s] /proc/loadavg: 1.02 1.00 0.99 2/44 12261 /proc/meminfo: memFree=361420/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=282.03 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 28185 18 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=277.47 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 27741 6 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115264048 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=4.41 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 431 10 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.03 Current children cumulated vsize (KiB) 413716 Solver just ended. Dumping a history of the last processes samples [startup+283.21 s] /proc/loadavg: 1.02 1.00 0.99 2/44 12261 /proc/meminfo: memFree=361420/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=282.93 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 28275 18 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=278.37 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 27831 6 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115396668 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=4.41 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 431 10 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.93 Current children cumulated vsize (KiB) 413716 [startup+284.01 s] /proc/loadavg: 1.02 1.00 0.99 2/44 12261 /proc/meminfo: memFree=361420/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=283.73 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 28355 18 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=279.02 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 27896 6 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115265957 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=4.56 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 446 10 0 0 16 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.73 Current children cumulated vsize (KiB) 413716 [startup+284.81 s] /proc/loadavg: 1.02 1.00 0.99 2/44 12261 /proc/meminfo: memFree=361420/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=284.53 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42133 0 1 0 28435 18 0 0 25 0 10 0 2939198 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41289 2915 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=279.82 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 27976 6 0 0 25 0 10 0 2939199 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4115242069 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=4.56 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 446 10 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2939200 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 2939201 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12254] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12254/stat : 12254 (java) S 12243 12243 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2939448 421015552 41289 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.53 Current children cumulated vsize (KiB) 413716 [startup+285.211 s] /proc/loadavg: 1.02 1.00 0.99 2/44 12261 /proc/meminfo: memFree=361420/1048576 swapFree=0/0 [pid=12243] ppid=12242 vsize=2568 CPUtime=0 /proc/12243/stat : 12243 (gj-trendy-solve) S 12242 12243 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 2939198 2629632 270 1283457024 134512640 135304128 4291856176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12243/statm: 642 270 229 194 0 29 0 [pid=12244] ppid=12243 vsize=411148 CPUtime=284.93 /proc/12244/stat : 12244 (java) S 12243 12243 1511 34817 1511 4202496 42134 0 1 0 28475 18 0 0 25 0 9 0 2939198 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12244/statm: 102787 41290 2916 10 0 96932 0 [pid=12244/tid=12246] ppid=12243 vsize=411148 CPUtime=280.22 /proc/12244/task/12246/stat : 12246 (java) R 12243 12243 1511 34817 1511 4202560 9714 0 1 0 28016 6 0 0 25 0 9 0 2939199 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4115382725 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12244/tid=12247] ppid=12243 vsize=411148 CPUtime=4.56 /proc/12244/task/12247/stat : 12247 (java) S 12243 12243 1511 34817 1511 4202560 30936 0 0 0 446 10 0 0 15 0 9 0 2939200 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12248] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12248/stat : 12248 (java) S 12243 12243 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 2939200 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12249] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12249/stat : 12249 (java) S 12243 12243 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 2939200 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12250] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12250/stat : 12250 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2939201 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12251] ppid=12243 vsize=411148 CPUtime=0.13 /proc/12244/task/12251/stat : 12251 (java) S 12243 12243 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 9 0 2939201 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12252] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12252/stat : 12252 (java) S 12243 12243 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 2939201 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=12244/tid=12253] ppid=12243 vsize=411148 CPUtime=0 /proc/12244/task/12253/stat : 12253 (java) S 12243 12243 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 2939201 421015552 41290 1283457024 134512640 134550932 4293836848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.93 Current children cumulated vsize (KiB) 413716 Child status: 0 Real time (s): 285.307 CPU time (s): 285.022 CPU user time (s): 284.83 CPU system time (s): 0.192012 CPU usage (%): 99.9001 Max. virtual memory (cumulated for all children) (KiB): 413716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.83 system time used= 0.192012 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42523 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= 5892 involuntary context switches= 8780 runsolver used 0.012 second user time and 0 second system time The end