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/201109011757/gj-user-solver-1.0/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//c2164c84-b015-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 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.00 1.00 1.00 4/34 1830 /proc/meminfo: memFree=245988/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=11044 CPUtime=0.01 /proc/1830/stat : 1830 (java) R 1829 1829 22717 34817 22717 4202496 491 0 0 0 0 1 0 0 25 0 1 0 73418145 11309056 228 1283457024 134512640 134550932 4290071600 18446744073709551615 4159997648 0 0 0 0 0 0 0 17 0 0 0 0 /proc/1830/statm: 2761 228 160 10 0 1103 0 [startup+0.164981 s] /proc/loadavg: 1.00 1.00 1.00 4/34 1830 /proc/meminfo: memFree=245988/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=409924 CPUtime=0.16 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 3981 0 1 0 14 2 0 0 25 0 9 0 73418145 419762176 3409 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102481 3409 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412492 [startup+0.204979 s] /proc/loadavg: 1.00 1.00 1.00 4/34 1830 /proc/meminfo: memFree=245988/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=409924 CPUtime=0.2 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 4069 0 1 0 18 2 0 0 25 0 9 0 73418145 419762176 3497 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102481 3497 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412492 [startup+0.305003 s] /proc/loadavg: 1.00 1.00 1.00 4/34 1830 /proc/meminfo: memFree=245988/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=410344 CPUtime=0.3 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 4421 0 1 0 28 2 0 0 25 0 9 0 73418145 420192256 3849 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102586 3849 1945 10 0 96734 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412912 [startup+0.705075 s] /proc/loadavg: 1.00 1.00 1.00 4/34 1830 /proc/meminfo: memFree=245988/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=410620 CPUtime=0.71 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 11907 0 1 0 66 5 0 0 25 0 9 0 73418145 420474880 11148 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102655 11148 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413188 [startup+1.50539 s] /proc/loadavg: 1.00 1.00 1.00 3/43 1839 /proc/meminfo: memFree=186324/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=410752 CPUtime=1.5 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 26073 0 1 0 142 8 0 0 25 0 9 0 73418145 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102688 25314 2901 10 0 96836 0 [pid=1830/tid=1832] ppid=1829 vsize=410752 CPUtime=0.82 /proc/1830/task/1832/stat : 1832 (java) R 1829 1829 22717 34817 22717 4202560 6840 0 1 0 79 3 0 0 25 0 9 0 73418146 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1833] ppid=1829 vsize=410752 CPUtime=0.61 /proc/1830/task/1833/stat : 1833 (java) R 1829 1829 22717 34817 22717 4202560 17848 0 0 0 58 3 0 0 18 0 9 0 73418146 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4150876088 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1834] ppid=1829 vsize=410752 CPUtime=0 /proc/1830/task/1834/stat : 1834 (java) S 1829 1829 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73418146 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1835] ppid=1829 vsize=410752 CPUtime=0 /proc/1830/task/1835/stat : 1835 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73418146 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1836] ppid=1829 vsize=410752 CPUtime=0 /proc/1830/task/1836/stat : 1836 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73418148 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1837] ppid=1829 vsize=410752 CPUtime=0.04 /proc/1830/task/1837/stat : 1837 (java) S 1829 1829 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 18 0 9 0 73418148 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1838] ppid=1829 vsize=410752 CPUtime=0 /proc/1830/task/1838/stat : 1838 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73418148 420610048 25314 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1839] ppid=1829 vsize=410752 CPUtime=0 /proc/1830/task/1839/stat : 1839 (java) S 1829 1829 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73418148 420610048 25314 1283457024 134512640 134550932 4290071600 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) 413320 [startup+3.1059 s] /proc/loadavg: 1.00 1.00 1.00 2/43 1839 /proc/meminfo: memFree=110684/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=411220 CPUtime=3.1 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 44345 0 1 0 298 12 0 0 25 0 10 0 73418145 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102805 43501 2927 10 0 96950 0 [pid=1830/tid=1832] ppid=1829 vsize=411220 CPUtime=1.73 /proc/1830/task/1832/stat : 1832 (java) R 1829 1829 22717 34817 22717 4202560 9929 0 1 0 169 4 0 0 25 0 10 0 73418146 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4115602249 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1833] ppid=1829 vsize=411220 CPUtime=1.22 /proc/1830/task/1833/stat : 1833 (java) S 1829 1829 22717 34817 22717 4202560 32918 0 0 0 117 5 0 0 16 0 10 0 73418146 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1834] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1834/stat : 1834 (java) S 1829 1829 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73418146 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1835] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1835/stat : 1835 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73418146 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1836] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1836/stat : 1836 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1837] ppid=1829 vsize=411220 CPUtime=0.12 /proc/1830/task/1837/stat : 1837 (java) S 1829 1829 22717 34817 22717 4202560 554 0 0 0 11 1 0 0 16 0 10 0 73418148 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1838] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1838/stat : 1838 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43501 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1839] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1839/stat : 1839 (java) S 1829 1829 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73418148 421089280 43501 1283457024 134512640 134550932 4290071600 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) 413788 [startup+6.30987 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1840 /proc/meminfo: memFree=82528/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=411220 CPUtime=6.06 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 45475 0 1 0 593 13 0 0 25 0 10 0 73418145 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102805 43524 2921 10 0 96950 0 [pid=1830/tid=1832] ppid=1829 vsize=411220 CPUtime=4.49 /proc/1830/task/1832/stat : 1832 (java) R 1829 1829 22717 34817 22717 4202560 9929 0 1 0 444 5 0 0 25 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4115477325 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1833] ppid=1829 vsize=411220 CPUtime=1.41 /proc/1830/task/1833/stat : 1833 (java) S 1829 1829 22717 34817 22717 4202560 34043 0 0 0 136 5 0 0 16 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1834] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1834/stat : 1834 (java) S 1829 1829 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1835] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1835/stat : 1835 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1836] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1836/stat : 1836 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1837] ppid=1829 vsize=411220 CPUtime=0.13 /proc/1830/task/1837/stat : 1837 (java) S 1829 1829 22717 34817 22717 4202560 559 0 0 0 12 1 0 0 15 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1838] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1838/stat : 1838 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1839] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1839/stat : 1839 (java) S 1829 1829 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1840] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1840/stat : 1840 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73418406 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 413788 Solver just ended. Dumping a history of the last processes samples [startup+6.40826 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1840 /proc/meminfo: memFree=82528/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=411220 CPUtime=6.07 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 45475 0 1 0 594 13 0 0 25 0 10 0 73418145 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102805 43524 2921 10 0 96950 0 [pid=1830/tid=1832] ppid=1829 vsize=411220 CPUtime=4.5 /proc/1830/task/1832/stat : 1832 (java) R 1829 1829 22717 34817 22717 4202560 9929 0 1 0 445 5 0 0 25 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4115415665 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1833] ppid=1829 vsize=411220 CPUtime=1.41 /proc/1830/task/1833/stat : 1833 (java) S 1829 1829 22717 34817 22717 4202560 34043 0 0 0 136 5 0 0 16 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1834] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1834/stat : 1834 (java) S 1829 1829 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1835] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1835/stat : 1835 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73418146 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1836] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1836/stat : 1836 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1837] ppid=1829 vsize=411220 CPUtime=0.13 /proc/1830/task/1837/stat : 1837 (java) S 1829 1829 22717 34817 22717 4202560 559 0 0 0 12 1 0 0 15 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1838] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1838/stat : 1838 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1839] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1839/stat : 1839 (java) S 1829 1829 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73418148 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1840] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1840/stat : 1840 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73418406 421089280 43524 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.07 Current children cumulated vsize (KiB) 413788 [startup+6.81289 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1840 /proc/meminfo: memFree=82536/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=411220 CPUtime=6.44 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 45476 0 1 0 631 13 0 0 25 0 10 0 73418145 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102805 43525 2921 10 0 96950 0 [pid=1830/tid=1832] ppid=1829 vsize=411220 CPUtime=4.85 /proc/1830/task/1832/stat : 1832 (java) R 1829 1829 22717 34817 22717 4202560 9929 0 1 0 480 5 0 0 25 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4115602684 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1833] ppid=1829 vsize=411220 CPUtime=1.43 /proc/1830/task/1833/stat : 1833 (java) S 1829 1829 22717 34817 22717 4202560 34043 0 0 0 138 5 0 0 16 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1834] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1834/stat : 1834 (java) S 1829 1829 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1835] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1835/stat : 1835 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1836] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1836/stat : 1836 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1837] ppid=1829 vsize=411220 CPUtime=0.13 /proc/1830/task/1837/stat : 1837 (java) S 1829 1829 22717 34817 22717 4202560 560 0 0 0 12 1 0 0 15 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1838] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1838/stat : 1838 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1839] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1839/stat : 1839 (java) R 1829 1829 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1840] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1840/stat : 1840 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73418406 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.44 Current children cumulated vsize (KiB) 413788 [startup+7.213 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1840 /proc/meminfo: memFree=82536/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=411220 CPUtime=6.82 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 45476 0 1 0 669 13 0 0 25 0 10 0 73418145 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102805 43525 2921 10 0 96950 0 [pid=1830/tid=1832] ppid=1829 vsize=411220 CPUtime=5.23 /proc/1830/task/1832/stat : 1832 (java) R 1829 1829 22717 34817 22717 4202560 9929 0 1 0 518 5 0 0 25 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4115523396 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1830/tid=1833] ppid=1829 vsize=411220 CPUtime=1.43 /proc/1830/task/1833/stat : 1833 (java) S 1829 1829 22717 34817 22717 4202560 34043 0 0 0 138 5 0 0 16 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1834] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1834/stat : 1834 (java) S 1829 1829 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1835] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1835/stat : 1835 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73418146 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1836] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1836/stat : 1836 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1837] ppid=1829 vsize=411220 CPUtime=0.13 /proc/1830/task/1837/stat : 1837 (java) S 1829 1829 22717 34817 22717 4202560 560 0 0 0 12 1 0 0 15 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1838] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1838/stat : 1838 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1839] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1839/stat : 1839 (java) S 1829 1829 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73418148 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1840] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1840/stat : 1840 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73418406 421089280 43525 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.82 Current children cumulated vsize (KiB) 413788 [startup+7.30143 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1840 /proc/meminfo: memFree=82536/1048576 swapFree=0/0 [pid=1829] ppid=1828 vsize=2568 CPUtime=0 /proc/1829/stat : 1829 (gj-user-solver-) S 1828 1829 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73418145 2629632 270 1283457024 134512640 135304128 4292159184 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1829/statm: 642 270 229 194 0 29 0 [pid=1830] ppid=1829 vsize=411220 CPUtime=6.9 /proc/1830/stat : 1830 (java) S 1829 1829 22717 34817 22717 4202496 45485 0 1 0 676 14 0 0 25 0 9 0 73418145 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1830/statm: 102805 43534 2922 10 0 96950 0 [pid=1830/tid=1832] ppid=1829 vsize=411220 CPUtime=5.31 /proc/1830/task/1832/stat : 1832 (java) S 1829 1829 22717 34817 22717 4202560 9930 0 1 0 525 6 0 0 25 0 9 0 73418146 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1833] ppid=1829 vsize=411220 CPUtime=1.43 /proc/1830/task/1833/stat : 1833 (java) S 1829 1829 22717 34817 22717 4202560 34043 0 0 0 138 5 0 0 16 0 9 0 73418146 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1834] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1834/stat : 1834 (java) S 1829 1829 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73418146 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1835] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1835/stat : 1835 (java) S 1829 1829 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73418146 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1836] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1836/stat : 1836 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73418148 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1837] ppid=1829 vsize=411220 CPUtime=0.13 /proc/1830/task/1837/stat : 1837 (java) S 1829 1829 22717 34817 22717 4202560 567 0 0 0 12 1 0 0 16 0 9 0 73418148 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1838] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1838/stat : 1838 (java) S 1829 1829 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73418148 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=1830/tid=1839] ppid=1829 vsize=411220 CPUtime=0 /proc/1830/task/1839/stat : 1839 (java) S 1829 1829 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73418148 421089280 43534 1283457024 134512640 134550932 4290071600 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.9 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 7.36201 CPU time (s): 6.91243 CPU user time (s): 6.76042 CPU system time (s): 0.152009 CPU usage (%): 93.8933 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.76042 system time used= 0.152009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45874 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= 959 involuntary context switches= 1201 runsolver used 0 second user time and 0 second system time The end