runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108311143/gj-user-solver-1.0/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.result -sum(installedsize) Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.85 0.99 0.99 4/38 7538 /proc/meminfo: memFree=483008/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=11044 CPUtime=0.01 /proc/7538/stat : 7538 (java) R 7537 7537 19908 34817 19908 4202496 602 0 0 0 0 1 0 0 25 0 1 0 69385541 11309056 338 1283457024 134512640 134550932 4286781792 18446744073709551615 4159776482 0 0 0 0 0 0 0 17 0 0 0 0 /proc/7538/statm: 2761 338 172 10 0 1103 0 [startup+0.165117 s] /proc/loadavg: 0.85 0.99 0.99 4/38 7538 /proc/meminfo: memFree=483008/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=409924 CPUtime=0.16 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 3959 0 1 0 14 2 0 0 25 0 9 0 69385541 419762176 3389 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102481 3389 1912 10 0 96629 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412496 [startup+0.205116 s] /proc/loadavg: 0.85 0.99 0.99 4/38 7538 /proc/meminfo: memFree=483008/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=409924 CPUtime=0.2 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 4042 0 1 0 18 2 0 0 25 0 9 0 69385541 419762176 3472 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102481 3472 1912 10 0 96629 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412496 [startup+0.305135 s] /proc/loadavg: 0.85 0.99 0.99 4/38 7538 /proc/meminfo: memFree=483008/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=410476 CPUtime=0.31 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 4396 0 1 0 28 3 0 0 25 0 9 0 69385541 420327424 3826 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102619 3826 1939 10 0 96767 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 413048 [startup+0.705223 s] /proc/loadavg: 0.85 0.99 0.99 4/38 7538 /proc/meminfo: memFree=483008/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=410624 CPUtime=0.7 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 12446 0 1 0 66 4 0 0 25 0 9 0 69385541 420478976 11691 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102656 11691 2900 10 0 96804 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413196 [startup+1.50547 s] /proc/loadavg: 0.85 0.99 0.99 2/47 7547 /proc/meminfo: memFree=424148/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=410756 CPUtime=1.5 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 26372 0 1 0 144 6 0 0 25 0 9 0 69385541 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102689 25617 2900 10 0 96837 0 [pid=7538/tid=7540] ppid=7537 vsize=410756 CPUtime=0.86 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 6807 0 1 0 84 2 0 0 25 0 9 0 69385541 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=410756 CPUtime=0.6 /proc/7538/task/7541/stat : 7541 (java) R 7537 7537 19908 34817 19908 4202560 18178 0 0 0 58 2 0 0 18 0 9 0 69385542 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4150654904 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=410756 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 69385542 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=410756 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 69385542 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=410756 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69385543 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=410756 CPUtime=0.02 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 445 0 0 0 2 0 0 0 17 0 9 0 69385543 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=410756 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69385543 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=410756 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 69385543 420614144 25617 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413328 [startup+3.13592 s] /proc/loadavg: 0.85 0.99 0.99 2/47 7547 /proc/meminfo: memFree=349376/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=410888 CPUtime=3.13 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 49217 0 1 0 296 17 0 0 25 0 9 0 69385541 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102722 48462 2900 10 0 96870 0 [pid=7538/tid=7540] ppid=7537 vsize=410888 CPUtime=1.53 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14264 0 1 0 145 8 0 0 25 0 9 0 69385541 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=410888 CPUtime=1.55 /proc/7538/task/7541/stat : 7541 (java) R 7537 7537 19908 34817 19908 4202560 33563 0 0 0 148 7 0 0 16 0 9 0 69385542 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4152348907 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=410888 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 69385542 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=410888 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 69385542 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=410888 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69385543 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=410888 CPUtime=0.03 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 448 0 0 0 3 0 0 0 15 0 9 0 69385543 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=410888 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69385543 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=410888 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) R 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 69385543 420749312 48462 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.13 Current children cumulated vsize (KiB) 413460 [startup+6.30669 s] /proc/loadavg: 0.86 0.99 0.99 2/48 7548 /proc/meminfo: memFree=221152/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=6.31 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69173 0 1 0 605 26 0 0 25 0 10 0 69385541 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 68325 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=3.69 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 360 9 0 0 25 0 10 0 69385541 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4115322441 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=2.48 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 234 14 0 0 16 0 10 0 69385542 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 535 0 0 0 9 0 0 0 16 0 10 0 69385543 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 68325 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 413796 [startup+12.7081 s] /proc/loadavg: 0.87 0.99 0.99 2/48 7548 /proc/meminfo: memFree=221028/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=12.69 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69177 0 1 0 1243 26 0 0 25 0 10 0 69385541 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 68329 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=9.76 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 967 9 0 0 25 0 10 0 69385541 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=2.8 /proc/7538/task/7541/stat : 7541 (java) R 7537 7537 19908 34817 19908 4202560 53162 0 0 0 266 14 0 0 16 0 10 0 69385542 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4152766017 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 539 0 0 0 9 0 0 0 16 0 10 0 69385543 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 68329 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413796 [startup+25.5116 s] /proc/loadavg: 0.90 0.99 0.99 3/48 7548 /proc/meminfo: memFree=227848/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=25.48 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 2522 26 0 0 25 0 10 0 69385541 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 66470 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=22.07 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 2198 9 0 0 25 0 10 0 69385541 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4115153723 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=3.28 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 313 15 0 0 16 0 10 0 69385542 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 66470 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413796 [startup+51.1077 s] /proc/loadavg: 0.93 0.99 0.99 2/47 7548 /proc/meminfo: memFree=240380/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=51.06 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 5079 27 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=47.24 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 4714 10 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4114784157 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=3.7 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 355 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 413796 [startup+102.31 s] /proc/loadavg: 1.01 1.00 0.99 2/47 7548 /proc/meminfo: memFree=240380/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=102.24 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 10197 27 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=97.35 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 9725 10 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4115322441 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=4.77 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 462 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 413796 [startup+162.304 s] /proc/loadavg: 1.00 1.00 0.99 2/47 7548 /proc/meminfo: memFree=240380/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=162.23 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 16194 29 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=156.44 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 15633 11 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4115244259 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=5.65 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 550 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 413796 [startup+222.308 s] /proc/loadavg: 1.00 1.00 0.99 2/47 7548 /proc/meminfo: memFree=240380/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=222.19 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 22190 29 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=215.74 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 21563 11 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4115229652 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=6.32 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 617 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 413796 [startup+282.303 s] /proc/loadavg: 1.00 1.00 0.99 2/49 7550 /proc/meminfo: memFree=240356/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=282.12 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 28180 32 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=275.17 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 27503 14 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4115322441 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=6.82 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 667 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 413796 Solver just ended. Dumping a history of the last processes samples [startup+283.213 s] /proc/loadavg: 1.00 1.00 0.99 2/49 7550 /proc/meminfo: memFree=240356/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=283.03 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 28271 32 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=276.08 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 27594 14 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4115219294 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=6.82 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 667 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.03 Current children cumulated vsize (KiB) 413796 [startup+284.013 s] /proc/loadavg: 1.00 1.00 0.99 2/49 7551 /proc/meminfo: memFree=240356/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=283.83 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 28351 32 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=276.88 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 27674 14 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4115334661 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=6.82 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 667 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.83 Current children cumulated vsize (KiB) 413796 [startup+284.813 s] /proc/loadavg: 1.00 1.00 0.99 2/49 7551 /proc/meminfo: memFree=240356/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=411224 CPUtime=284.63 /proc/7538/stat : 7538 (java) S 7537 7537 19908 34817 19908 4202496 69178 0 1 0 28431 32 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 102806 63348 2918 10 0 96951 0 [pid=7538/tid=7540] ppid=7537 vsize=411224 CPUtime=277.68 /proc/7538/task/7540/stat : 7540 (java) R 7537 7537 19908 34817 19908 4202560 14530 0 1 0 27754 14 0 0 25 0 10 0 69385541 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4115219236 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7538/tid=7541] ppid=7537 vsize=411224 CPUtime=6.82 /proc/7538/task/7541/stat : 7541 (java) S 7537 7537 19908 34817 19908 4202560 53162 0 0 0 667 15 0 0 15 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 0 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7542] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7542/stat : 7542 (java) S 7537 7537 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7543] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7543/stat : 7543 (java) S 7537 7537 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69385542 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7544] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7544/stat : 7544 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7545] ppid=7537 vsize=411224 CPUtime=0.09 /proc/7538/task/7545/stat : 7545 (java) S 7537 7537 19908 34817 19908 4202560 540 0 0 0 9 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7546/stat : 7546 (java) S 7537 7537 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7547] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7547/stat : 7547 (java) S 7537 7537 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69385543 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 [pid=7538/tid=7548] ppid=7537 vsize=411224 CPUtime=0 /proc/7538/task/7548/stat : 7548 (java) S 7537 7537 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69386015 421093376 63348 1283457024 134512640 134550932 4286781792 18446744073709551615 4294960130 0 4 0 16800975 18446612133030005696 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.63 Current children cumulated vsize (KiB) 413796 [startup+285.209 s] /proc/loadavg: 1.00 1.00 0.99 2/49 7551 /proc/meminfo: memFree=240356/1048576 swapFree=0/0 [pid=7537] ppid=7536 vsize=2572 CPUtime=0 /proc/7537/stat : 7537 (gj-user-solver-) S 7536 7537 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 18 0 1 0 69385541 2633728 271 1283457024 134512640 135304128 4288512928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7537/statm: 643 271 229 194 0 30 0 [pid=7538] ppid=7537 vsize=0 CPUtime=285 /proc/7538/stat : 7538 (java) Z 7537 7537 19908 34817 19908 4202508 69183 0 1 0 28467 33 0 0 18 0 2 0 69385541 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7538/statm: 0 0 0 0 0 0 0 [pid=7538/tid=7546] ppid=7537 vsize=0 CPUtime=0.01 /proc/7538/task/7546/stat : 7546 (java) R 7537 7537 19908 34817 19908 4203588 1 0 0 0 0 1 0 0 18 0 2 0 69385543 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285 Current children cumulated vsize (KiB) 2572 Child status: 0 Real time (s): 285.216 CPU time (s): 285.006 CPU user time (s): 284.674 CPU system time (s): 0.33202 CPU usage (%): 99.9263 Max. virtual memory (cumulated for all children) (KiB): 413796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.674 system time used= 0.33202 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69568 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= 5824 involuntary context switches= 8660 runsolver used 0 second user time and 0 second system time The end