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/dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/dd08e73e-d489-11df-b9cf-00163e3d3b7c.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.13 1.04 1.01 5/34 3309 /proc/meminfo: memFree=213140/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) R 3307 3308 22717 34817 22717 4202496 354 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 268 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/3308/statm: 642 268 228 194 0 29 0 [pid=3309] ppid=3308 vsize=2568 CPUtime=0 /proc/3309/stat : 3309 (gj-user-solver-) R 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 40 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/3309/statm: 642 40 0 194 0 29 0 [startup+0.175816 s] /proc/loadavg: 1.13 1.04 1.01 5/34 3309 /proc/meminfo: memFree=213140/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=409924 CPUtime=0.17 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 4030 0 1 0 16 1 0 0 25 0 9 0 73565440 419762176 3458 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102481 3458 1926 10 0 96629 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412492 [startup+0.205817 s] /proc/loadavg: 1.13 1.04 1.01 5/34 3309 /proc/meminfo: memFree=213140/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=409924 CPUtime=0.21 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 4099 0 1 0 20 1 0 0 25 0 9 0 73565440 419762176 3527 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102481 3527 1926 10 0 96629 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412492 [startup+0.305844 s] /proc/loadavg: 1.13 1.04 1.01 5/34 3309 /proc/meminfo: memFree=213140/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=410340 CPUtime=0.31 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 4440 0 1 0 30 1 0 0 25 0 9 0 73565440 420188160 3868 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102585 3868 1945 10 0 96733 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412908 [startup+0.705959 s] /proc/loadavg: 1.13 1.04 1.01 5/34 3309 /proc/meminfo: memFree=213140/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=410620 CPUtime=0.71 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 12015 0 1 0 70 1 0 0 25 0 9 0 73565440 420474880 11256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102655 11256 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413188 [startup+1.50628 s] /proc/loadavg: 1.13 1.04 1.01 2/43 3318 /proc/meminfo: memFree=153600/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=410752 CPUtime=1.5 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 25519 0 1 0 144 6 0 0 25 0 9 0 73565440 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102688 24760 2901 10 0 96836 0 [pid=3309/tid=3311] ppid=3308 vsize=410752 CPUtime=0.85 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 6824 0 1 0 83 2 0 0 25 0 9 0 73565441 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=410752 CPUtime=0.61 /proc/3309/task/3312/stat : 3312 (java) R 3308 3308 22717 34817 22717 4202560 17310 0 0 0 57 4 0 0 18 0 9 0 73565442 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4151140474 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=410752 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73565442 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=410752 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73565442 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=410752 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73565443 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=410752 CPUtime=0.02 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 446 0 0 0 2 0 0 0 15 0 9 0 73565443 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=410752 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73565443 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=410752 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73565443 420610048 24760 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.10685 s] /proc/loadavg: 1.20 1.05 1.01 2/43 3318 /proc/meminfo: memFree=78952/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=410884 CPUtime=3.1 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 46939 0 1 0 300 10 0 0 25 0 9 0 73565440 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102721 46180 2901 10 0 96869 0 [pid=3309/tid=3311] ppid=3308 vsize=410884 CPUtime=1.49 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 12153 0 1 0 147 2 0 0 25 0 9 0 73565441 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4114959944 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=410884 CPUtime=1.56 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 33398 0 0 0 148 8 0 0 16 0 9 0 73565442 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=410884 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73565442 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=410884 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73565442 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=410884 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73565443 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=410884 CPUtime=0.02 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 449 0 0 0 2 0 0 0 15 0 9 0 73565443 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=410884 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73565443 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=410884 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73565443 420745216 46180 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413452 [startup+6.30896 s] /proc/loadavg: 1.20 1.05 1.01 2/44 3319 /proc/meminfo: memFree=6068/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411220 CPUtime=6.28 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 65769 0 1 0 612 16 0 0 25 0 10 0 73565440 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102805 64925 2927 10 0 96950 0 [pid=3309/tid=3311] ppid=3308 vsize=411220 CPUtime=4.09 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14554 0 1 0 406 3 0 0 25 0 10 0 73565441 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4115385347 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411220 CPUtime=2.04 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 49718 0 0 0 191 13 0 0 16 0 10 0 73565442 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411220 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73565442 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411220 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411220 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411220 CPUtime=0.14 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 553 0 0 0 14 0 0 0 15 0 10 0 73565443 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411220 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411220 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411220 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421089280 64925 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 413788 [startup+12.7105 s] /proc/loadavg: 1.17 1.05 1.01 3/44 3319 /proc/meminfo: memFree=5240/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=12.68 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67092 0 1 0 1251 17 0 0 25 0 10 0 73565440 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66239 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=9.74 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 970 4 0 0 25 0 10 0 73565441 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4115507632 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=2.77 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 264 13 0 0 15 0 10 0 73565442 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.15 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 558 0 0 0 15 0 0 0 16 0 10 0 73565443 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) R 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66239 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 414052 [startup+25.5036 s] /proc/loadavg: 1.14 1.05 1.01 2/44 3319 /proc/meminfo: memFree=5240/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=25.47 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67093 0 1 0 2530 17 0 0 25 0 10 0 73565440 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66240 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=21.86 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 2182 4 0 0 25 0 10 0 73565441 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4114890647 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=3.45 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 332 13 0 0 15 0 10 0 73565442 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73565442 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.15 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 559 0 0 0 15 0 0 0 15 0 10 0 73565443 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66240 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 414052 [startup+51.1123 s] /proc/loadavg: 1.09 1.04 1.01 2/44 3319 /proc/meminfo: memFree=5240/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=51.04 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67100 0 1 0 5087 17 0 0 25 0 10 0 73565440 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66247 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=47.11 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 4707 4 0 0 25 0 10 0 73565441 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4115501193 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=3.75 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 362 13 0 0 15 0 10 0 73565442 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73565442 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 566 0 0 0 16 0 0 0 15 0 10 0 73565443 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66247 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 414052 [startup+102.31 s] /proc/loadavg: 1.04 1.03 1.00 2/44 3319 /proc/meminfo: memFree=6256/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=102.21 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67105 0 1 0 10204 17 0 0 25 0 10 0 73565440 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66252 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=97.93 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 9789 4 0 0 25 0 10 0 73565441 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4115501193 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=4.1 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 397 13 0 0 15 0 10 0 73565442 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73565442 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 571 0 0 0 16 0 0 0 16 0 10 0 73565443 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) R 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66252 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 414052 [startup+162.314 s] /proc/loadavg: 1.06 1.04 1.00 2/44 3319 /proc/meminfo: memFree=6256/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=162.19 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67108 0 1 0 16201 18 0 0 25 0 10 0 73565440 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66255 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=157.48 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 15743 5 0 0 25 0 10 0 73565441 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4115501226 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=4.53 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 440 13 0 0 16 0 10 0 73565442 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73565442 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 574 0 0 0 16 0 0 0 15 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) R 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 414052 [startup+222.309 s] /proc/loadavg: 1.02 1.03 1.00 2/46 3323 /proc/meminfo: memFree=5984/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=222.09 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67108 0 1 0 22190 19 0 0 25 0 10 0 73565440 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66255 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=217.02 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 21696 6 0 0 25 0 10 0 73565441 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4115501193 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=4.89 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 476 13 0 0 16 0 10 0 73565442 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73565442 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 574 0 0 0 16 0 0 0 15 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66255 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 414052 [startup+282.306 s] /proc/loadavg: 1.07 1.04 1.00 2/46 3329 /proc/meminfo: memFree=5984/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=282.03 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67109 0 1 0 28182 21 0 0 25 0 10 0 73565440 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66256 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=276.6 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 27652 8 0 0 25 0 10 0 73565441 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4115501193 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=5.25 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 512 13 0 0 16 0 10 0 73565442 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73565442 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 575 0 0 0 16 0 0 0 15 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.03 Current children cumulated vsize (KiB) 414052 Solver just ended. Dumping a history of the last processes samples [startup+284.707 s] /proc/loadavg: 1.06 1.04 1.00 2/46 3330 /proc/meminfo: memFree=5984/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=284.43 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67109 0 1 0 28422 21 0 0 25 0 10 0 73565440 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66256 2921 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=278.98 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 27890 8 0 0 25 0 10 0 73565441 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4115509765 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=5.27 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 514 13 0 0 16 0 10 0 73565442 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73565442 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73565442 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 575 0 0 0 16 0 0 0 15 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73565443 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3319] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3319/stat : 3319 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73565877 421359616 66256 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.43 Current children cumulated vsize (KiB) 414052 [startup+286.308 s] /proc/loadavg: 1.06 1.04 1.00 2/45 3330 /proc/meminfo: memFree=5992/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=286.03 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67110 0 1 0 28582 21 0 0 25 0 9 0 73565440 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66257 2922 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=280.58 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 28050 8 0 0 25 0 9 0 73565441 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4115509765 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=5.27 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 514 13 0 0 15 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 575 0 0 0 16 0 0 0 15 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.03 Current children cumulated vsize (KiB) 414052 [startup+286.708 s] /proc/loadavg: 1.06 1.04 1.00 2/45 3330 /proc/meminfo: memFree=5992/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=286.43 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67110 0 1 0 28622 21 0 0 25 0 9 0 73565440 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66257 2922 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=280.98 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 28090 8 0 0 25 0 9 0 73565441 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4115509791 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=5.28 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 515 13 0 0 16 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 575 0 0 0 16 0 0 0 15 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.43 Current children cumulated vsize (KiB) 414052 [startup+287.108 s] /proc/loadavg: 1.06 1.04 1.00 2/45 3330 /proc/meminfo: memFree=5992/1048576 swapFree=0/0 [pid=3308] ppid=3307 vsize=2568 CPUtime=0 /proc/3308/stat : 3308 (gj-user-solver-) S 3307 3308 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 73565440 2629632 269 1283457024 134512640 135304128 4287404608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3308/statm: 642 269 229 194 0 29 0 [pid=3309] ppid=3308 vsize=411484 CPUtime=286.83 /proc/3309/stat : 3309 (java) S 3308 3308 22717 34817 22717 4202496 67110 0 1 0 28662 21 0 0 25 0 9 0 73565440 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3309/statm: 102871 66257 2922 10 0 97016 0 [pid=3309/tid=3311] ppid=3308 vsize=411484 CPUtime=281.38 /proc/3309/task/3311/stat : 3311 (java) R 3308 3308 22717 34817 22717 4202560 14555 0 1 0 28130 8 0 0 25 0 9 0 73565441 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4115033871 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3309/tid=3312] ppid=3308 vsize=411484 CPUtime=5.28 /proc/3309/task/3312/stat : 3312 (java) S 3308 3308 22717 34817 22717 4202560 51035 0 0 0 515 13 0 0 16 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3313] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3313/stat : 3313 (java) S 3308 3308 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3314] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3314/stat : 3314 (java) S 3308 3308 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73565442 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3315] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3315/stat : 3315 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3316] ppid=3308 vsize=411484 CPUtime=0.16 /proc/3309/task/3316/stat : 3316 (java) S 3308 3308 22717 34817 22717 4202560 575 0 0 0 16 0 0 0 15 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3317] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3317/stat : 3317 (java) S 3308 3308 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=3309/tid=3318] ppid=3308 vsize=411484 CPUtime=0 /proc/3309/task/3318/stat : 3318 (java) S 3308 3308 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73565443 421359616 66257 1283457024 134512640 134550932 4291440000 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.83 Current children cumulated vsize (KiB) 414052 Child status: 0 Real time (s): 287.21 CPU time (s): 286.886 CPU user time (s): 286.658 CPU system time (s): 0.228014 CPU usage (%): 99.8871 Max. virtual memory (cumulated for all children) (KiB): 414052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 286.658 system time used= 0.228014 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67503 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= 6763 involuntary context switches= 9942 runsolver used 0 second user time and 0.024001 second system time The end