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/rand77.cudf.s.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s/rand77.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand77.cudf.s.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.25 1.10 1.02 5/34 18038 /proc/meminfo: memFree=669392/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) R 18036 18037 1511 34817 1511 4202496 354 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 268 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/18037/statm: 641 268 228 194 0 28 0 [pid=18038] ppid=18037 vsize=2564 CPUtime=0 /proc/18038/stat : 18038 (gj-trendy-solve) R 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 40 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/18038/statm: 641 40 0 194 0 28 0 [startup+0.135476 s] /proc/loadavg: 1.25 1.10 1.02 5/34 18038 /proc/meminfo: memFree=669392/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=409800 CPUtime=0.14 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 3913 0 1 0 12 2 0 0 25 0 9 0 4083864 419635200 3341 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102450 3341 1910 10 0 96598 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412364 [startup+0.20548 s] /proc/loadavg: 1.25 1.10 1.02 5/34 18038 /proc/meminfo: memFree=669392/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=409800 CPUtime=0.2 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 4081 0 1 0 18 2 0 0 25 0 9 0 4083864 419635200 3509 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102450 3509 1910 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412364 [startup+0.305498 s] /proc/loadavg: 1.25 1.10 1.02 5/34 18038 /proc/meminfo: memFree=669392/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=410244 CPUtime=0.3 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 4431 0 1 0 28 2 0 0 25 0 9 0 4083864 420089856 3859 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102561 3859 1930 10 0 96709 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412808 [startup+0.705558 s] /proc/loadavg: 1.25 1.10 1.02 5/34 18038 /proc/meminfo: memFree=669392/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=410656 CPUtime=0.7 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 12638 0 1 0 68 2 0 0 25 0 9 0 4083864 420511744 11881 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102664 11881 2896 10 0 96812 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413220 [startup+1.50589 s] /proc/loadavg: 1.25 1.10 1.02 2/43 18047 /proc/meminfo: memFree=611340/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=1.5 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 22918 0 1 0 142 8 0 0 25 0 10 0 4083864 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 22079 2921 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=0.84 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6928 0 1 0 81 3 0 0 25 0 10 0 4083865 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=0.54 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 14518 0 0 0 50 4 0 0 18 0 10 0 4083866 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.1 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 530 0 0 0 10 0 0 0 15 0 10 0 4083867 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 22079 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413688 [startup+3.10607 s] /proc/loadavg: 1.25 1.10 1.02 2/44 18048 /proc/meminfo: memFree=589508/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=3.1 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23644 0 1 0 302 8 0 0 25 0 10 0 4083864 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 22805 2921 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=2.41 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6930 0 1 0 238 3 0 0 25 0 10 0 4083865 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4115175701 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=0.55 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15227 0 0 0 51 4 0 0 15 0 10 0 4083866 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.12 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 541 0 0 0 12 0 0 0 16 0 10 0 4083867 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 22805 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413688 [startup+6.30698 s] /proc/loadavg: 1.23 1.10 1.02 2/44 18048 /proc/meminfo: memFree=589268/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=6.3 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23670 0 1 0 622 8 0 0 25 0 10 0 4083864 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 22645 2916 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=5.46 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6931 0 1 0 543 3 0 0 25 0 10 0 4083865 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4115926425 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=0.69 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15247 0 0 0 65 4 0 0 15 0 10 0 4083866 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.13 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 546 0 0 0 13 0 0 0 15 0 10 0 4083867 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 22645 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413688 [startup+12.7085 s] /proc/loadavg: 1.21 1.10 1.02 3/44 18048 /proc/meminfo: memFree=593732/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=12.7 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23670 0 1 0 1262 8 0 0 25 0 10 0 4083864 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 21374 2916 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=11.67 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6931 0 1 0 1164 3 0 0 25 0 10 0 4083865 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4115997001 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=0.88 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15247 0 0 0 84 4 0 0 16 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.13 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 546 0 0 0 13 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413688 [startup+25.5108 s] /proc/loadavg: 1.16 1.09 1.02 2/44 18048 /proc/meminfo: memFree=594352/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=25.5 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23670 0 1 0 2542 8 0 0 25 0 10 0 4083864 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 21374 2916 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=24.27 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6931 0 1 0 2424 3 0 0 25 0 10 0 4083865 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4116133479 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=1.08 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15247 0 0 0 104 4 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.13 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 546 0 0 0 13 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 413688 Solver just ended. Dumping a history of the last processes samples [startup+28.7113 s] /proc/loadavg: 1.16 1.09 1.02 2/44 18048 /proc/meminfo: memFree=594352/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=28.7 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23670 0 1 0 2862 8 0 0 25 0 10 0 4083864 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 21374 2916 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=27.41 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6931 0 1 0 2738 3 0 0 25 0 10 0 4083865 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4116017904 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=1.14 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15247 0 0 0 110 4 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.13 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 546 0 0 0 13 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 28.7 Current children cumulated vsize (KiB) 413688 [startup+29.5115 s] /proc/loadavg: 1.16 1.09 1.02 2/44 18048 /proc/meminfo: memFree=594352/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=29.5 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23670 0 1 0 2942 8 0 0 25 0 10 0 4083864 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 21374 2916 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=28.21 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6931 0 1 0 2818 3 0 0 25 0 10 0 4083865 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4116017904 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=1.14 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15247 0 0 0 110 4 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.13 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 546 0 0 0 13 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 29.5 Current children cumulated vsize (KiB) 413688 [startup+29.9116 s] /proc/loadavg: 1.15 1.09 1.02 2/44 18048 /proc/meminfo: memFree=594352/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=29.9 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23670 0 1 0 2982 8 0 0 25 0 10 0 4083864 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 21374 2916 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=28.55 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6931 0 1 0 2852 3 0 0 25 0 10 0 4083865 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4116025002 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=1.2 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15247 0 0 0 116 4 0 0 16 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.13 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 546 0 0 0 13 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) S 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (KiB) 413688 [startup+30.1117 s] /proc/loadavg: 1.15 1.09 1.02 2/44 18048 /proc/meminfo: memFree=594352/1048576 swapFree=0/0 [pid=18037] ppid=18036 vsize=2564 CPUtime=0 /proc/18037/stat : 18037 (gj-trendy-solve) S 18036 18037 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4083864 2625536 269 1283457024 134512640 135304128 4287138480 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18037/statm: 641 269 229 194 0 28 0 [pid=18038] ppid=18037 vsize=411124 CPUtime=30.1 /proc/18038/stat : 18038 (java) S 18037 18037 1511 34817 1511 4202496 23670 0 1 0 3002 8 0 0 25 0 10 0 4083864 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18038/statm: 102781 21374 2916 10 0 96926 0 [pid=18038/tid=18040] ppid=18037 vsize=411124 CPUtime=28.75 /proc/18038/task/18040/stat : 18040 (java) R 18037 18037 1511 34817 1511 4202560 6931 0 1 0 2872 3 0 0 25 0 10 0 4083865 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4116025002 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18041] ppid=18037 vsize=411124 CPUtime=1.2 /proc/18038/task/18041/stat : 18041 (java) S 18037 18037 1511 34817 1511 4202560 15247 0 0 0 116 4 0 0 16 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18042] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18042/stat : 18042 (java) S 18037 18037 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18043] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18043/stat : 18043 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 4083866 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18044] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18044/stat : 18044 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18045] ppid=18037 vsize=411124 CPUtime=0.13 /proc/18038/task/18045/stat : 18045 (java) S 18037 18037 1511 34817 1511 4202560 546 0 0 0 13 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18046] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18046/stat : 18046 (java) S 18037 18037 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=18038/tid=18047] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18047/stat : 18047 (java) R 18037 18037 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4083867 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18038/tid=18048] ppid=18037 vsize=411124 CPUtime=0 /proc/18038/task/18048/stat : 18048 (java) S 18037 18037 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4084003 420990976 21374 1283457024 134512640 134550932 4293144464 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 30.1 Current children cumulated vsize (KiB) 413688 Child status: 0 Real time (s): 30.178 CPU time (s): 30.1499 CPU user time (s): 30.0619 CPU system time (s): 0.088005 CPU usage (%): 99.9069 Max. virtual memory (cumulated for all children) (KiB): 413688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.0619 system time used= 0.088005 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24059 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= 1252 involuntary context switches= 1614 runsolver used 0 second user time and 0 second system time The end