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/80e3fda2-9501-11e0-8001-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//80e3fda2-9501-11e0-8001-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/80e3fda2-9501-11e0-8001-00163e1e087d.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: 0.85 0.98 0.99 5/36 32644 /proc/meminfo: memFree=448532/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=11356 CPUtime=0.01 /proc/32643/stat : 32643 (java) R 32642 32642 22717 34817 22717 4202496 917 0 0 0 0 1 0 0 25 0 2 0 73158768 11628544 651 1283457024 134512640 134550932 4293490544 18446744073709551615 4159274600 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 2839 651 285 10 0 1185 0 [pid=32643/tid=32644] ppid=32642 vsize=11356 CPUtime=0 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 2 0 73158768 11628544 651 1283457024 134512640 134550932 4293490544 18446744073709551615 4159274600 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.214848 s] /proc/loadavg: 0.85 0.98 0.99 5/36 32644 /proc/meminfo: memFree=448532/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=411356 CPUtime=0.21 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 5414 0 1 0 16 5 0 0 25 0 9 0 73158768 421228544 4841 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 102839 4841 1958 10 0 96987 0 [pid=32643/tid=32644] ppid=32642 vsize=411356 CPUtime=0.15 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 3531 0 1 0 13 2 0 0 25 0 9 0 73158768 421228544 4841 1283457024 134512640 134550932 4293490544 18446744073709551615 4114632819 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 413920 [startup+0.304858 s] /proc/loadavg: 0.85 0.98 0.99 5/36 32644 /proc/meminfo: memFree=448532/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=411356 CPUtime=0.3 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 6821 0 1 0 22 8 0 0 25 0 9 0 73158768 421228544 6248 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 102839 6248 1958 10 0 96987 0 [pid=32643/tid=32644] ppid=32642 vsize=411356 CPUtime=0.22 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 3531 0 1 0 19 3 0 0 25 0 9 0 73158768 421228544 6248 1283457024 134512640 134550932 4293490544 18446744073709551615 4114612557 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 413920 [startup+0.404911 s] /proc/loadavg: 0.85 0.98 0.99 5/36 32644 /proc/meminfo: memFree=448532/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=411488 CPUtime=0.4 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 8349 0 1 0 32 8 0 0 25 0 9 0 73158768 421363712 7731 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 102872 7731 2095 10 0 97020 0 [pid=32643/tid=32644] ppid=32642 vsize=411488 CPUtime=0.28 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 3531 0 1 0 25 3 0 0 25 0 9 0 73158768 421363712 7731 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 414052 [startup+0.704972 s] /proc/loadavg: 0.85 0.98 0.99 5/36 32644 /proc/meminfo: memFree=448532/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=411764 CPUtime=0.7 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 12927 0 1 0 62 8 0 0 25 0 9 0 73158768 421646336 12168 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 102941 12168 2902 10 0 97089 0 [pid=32643/tid=32644] ppid=32642 vsize=411764 CPUtime=0.4 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 4219 0 1 0 37 3 0 0 25 0 9 0 73158768 421646336 12168 1283457024 134512640 134550932 4293490544 18446744073709551615 4115052116 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 414328 [startup+1.50528 s] /proc/loadavg: 0.85 0.98 0.99 3/44 32652 /proc/meminfo: memFree=376476/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=411764 CPUtime=1.51 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 28041 0 1 0 138 13 0 0 25 0 9 0 73158768 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 102941 27282 2902 10 0 97089 0 [pid=32643/tid=32644] ppid=32642 vsize=411764 CPUtime=0.7 /proc/32643/task/32644/stat : 32644 (java) S 32642 32642 22717 34817 22717 4202560 6827 0 1 0 66 4 0 0 25 0 9 0 73158768 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=411764 CPUtime=0.73 /proc/32643/task/32646/stat : 32646 (java) R 32642 32642 22717 34817 22717 4202560 19832 0 0 0 67 6 0 0 20 0 9 0 73158769 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4152573600 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=411764 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 21 0 9 0 73158769 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=411764 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 21 0 9 0 73158769 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=411764 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73158770 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=411764 CPUtime=0.04 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 442 0 0 0 4 0 0 0 18 0 9 0 73158770 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=411764 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73158771 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=411764 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73158771 421646336 27282 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 414328 [startup+3.11578 s] /proc/loadavg: 0.85 0.98 0.99 3/44 32652 /proc/meminfo: memFree=300712/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=411896 CPUtime=3.11 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 49189 0 1 0 291 20 0 0 25 0 9 0 73158768 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 102974 48424 2903 10 0 97122 0 [pid=32643/tid=32644] ppid=32642 vsize=411896 CPUtime=1.37 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14239 0 1 0 131 6 0 0 25 0 9 0 73158768 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=411896 CPUtime=1.66 /proc/32643/task/32646/stat : 32646 (java) R 32642 32642 22717 34817 22717 4202560 33547 0 0 0 154 12 0 0 15 0 9 0 73158769 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4152574187 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=411896 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 21 0 9 0 73158769 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=411896 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 21 0 9 0 73158769 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=411896 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73158770 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=411896 CPUtime=0.05 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 463 0 0 0 5 0 0 0 15 0 9 0 73158770 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=411896 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73158771 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=411896 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73158771 421781504 48424 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 414460 [startup+6.30671 s] /proc/loadavg: 0.86 0.98 0.99 2/45 32653 /proc/meminfo: memFree=210060/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=6.3 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 63527 0 1 0 609 21 0 0 25 0 10 0 73158768 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 62683 2929 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=4.19 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14501 0 1 0 413 6 0 0 25 0 10 0 73158768 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4115577382 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=1.96 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 47541 0 0 0 183 13 0 0 15 0 10 0 73158769 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.12 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 540 0 0 0 12 0 0 0 15 0 10 0 73158770 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 62683 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 414796 [startup+12.7086 s] /proc/loadavg: 0.87 0.98 0.99 2/44 32653 /proc/meminfo: memFree=202264/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=12.69 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65431 0 1 0 1246 23 0 0 25 0 10 0 73158768 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 64578 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=10.26 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 1020 6 0 0 25 0 10 0 73158768 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4115009431 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=2.26 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 212 14 0 0 15 0 10 0 73158769 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.12 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 543 0 0 0 12 0 0 0 16 0 10 0 73158770 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 64578 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 414796 [startup+25.5117 s] /proc/loadavg: 0.90 0.98 0.99 2/44 32653 /proc/meminfo: memFree=212308/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=25.47 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65435 0 1 0 2522 25 0 0 25 0 10 0 73158768 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 61912 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=22.67 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 2261 6 0 0 25 0 10 0 73158768 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4115444538 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=2.64 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 248 16 0 0 15 0 10 0 73158769 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.14 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 547 0 0 0 12 2 0 0 15 0 10 0 73158770 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) R 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 61912 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 414796 [startup+51.1117 s] /proc/loadavg: 0.93 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=51.07 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65435 0 1 0 5081 26 0 0 25 0 10 0 73158768 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55729 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=47.83 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 4776 7 0 0 25 0 10 0 73158768 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4115486698 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.07 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 291 16 0 0 15 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.14 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 547 0 0 0 12 2 0 0 15 0 10 0 73158770 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 414796 Solver just ended. Dumping a history of the last processes samples [startup+51.2117 s] /proc/loadavg: 0.93 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=51.17 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65435 0 1 0 5091 26 0 0 25 0 10 0 73158768 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55729 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=47.93 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 4786 7 0 0 25 0 10 0 73158768 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4115576312 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.07 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 291 16 0 0 15 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.14 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 547 0 0 0 12 2 0 0 15 0 10 0 73158770 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.17 Current children cumulated vsize (KiB) 414796 [startup+76.808 s] /proc/loadavg: 0.95 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=76.75 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65435 0 1 0 7649 26 0 0 25 0 10 0 73158768 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55729 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=73.1 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 7303 7 0 0 25 0 10 0 73158768 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4115576325 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.48 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 332 16 0 0 15 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.14 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 547 0 0 0 12 2 0 0 15 0 10 0 73158770 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55729 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 76.75 Current children cumulated vsize (KiB) 414796 [startup+89.6055 s] /proc/loadavg: 0.96 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=89.5 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65438 0 1 0 8923 27 0 0 25 0 10 0 73158768 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55732 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=85.75 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 8567 8 0 0 25 0 10 0 73158768 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4115569916 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.58 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 342 16 0 0 16 0 10 0 73158769 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.16 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 550 0 0 0 14 2 0 0 15 0 10 0 73158770 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55732 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 89.5 Current children cumulated vsize (KiB) 414796 [startup+96.0073 s] /proc/loadavg: 0.97 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=95.9 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65445 0 1 0 9563 27 0 0 25 0 10 0 73158768 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55739 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=92.08 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 9200 8 0 0 25 0 10 0 73158768 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4115526297 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.64 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 348 16 0 0 16 0 10 0 73158769 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73158769 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.16 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 557 0 0 0 14 2 0 0 15 0 10 0 73158770 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55739 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 95.9 Current children cumulated vsize (KiB) 414796 [startup+99.1081 s] /proc/loadavg: 0.97 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=99 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65448 0 1 0 9873 27 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55742 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=95.13 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 9505 8 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4115569929 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.68 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 352 16 0 0 16 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.16 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 560 0 0 0 14 2 0 0 15 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) R 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 99 Current children cumulated vsize (KiB) 414796 [startup+100.708 s] /proc/loadavg: 0.97 0.98 0.99 3/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=100.59 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65448 0 1 0 10032 27 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55742 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=96.7 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 9662 8 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4115569929 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.7 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 354 16 0 0 16 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.16 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 560 0 0 0 14 2 0 0 15 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 100.59 Current children cumulated vsize (KiB) 414796 [startup+101.109 s] /proc/loadavg: 0.97 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=100.99 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65448 0 1 0 10072 27 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55742 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=97.1 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 9702 8 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4115465592 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.7 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 354 16 0 0 16 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.16 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 560 0 0 0 14 2 0 0 15 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 100.99 Current children cumulated vsize (KiB) 414796 [startup+101.309 s] /proc/loadavg: 0.97 0.98 0.99 2/44 32653 /proc/meminfo: memFree=237108/1048576 swapFree=0/0 [pid=32642] ppid=32641 vsize=2564 CPUtime=0 /proc/32642/stat : 32642 (gj-user-solver-) S 32641 32642 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 73158768 2625536 269 1283457024 134512640 135304128 4289330208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/32642/statm: 641 269 229 194 0 28 0 [pid=32643] ppid=32642 vsize=412232 CPUtime=101.19 /proc/32643/stat : 32643 (java) S 32642 32642 22717 34817 22717 4202496 65448 0 1 0 10092 27 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/32643/statm: 103058 55742 2923 10 0 97203 0 [pid=32643/tid=32644] ppid=32642 vsize=412232 CPUtime=97.3 /proc/32643/task/32644/stat : 32644 (java) R 32642 32642 22717 34817 22717 4202560 14502 0 1 0 9722 8 0 0 25 0 10 0 73158768 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4115478784 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=32643/tid=32646] ppid=32642 vsize=412232 CPUtime=3.7 /proc/32643/task/32646/stat : 32646 (java) S 32642 32642 22717 34817 22717 4202560 49441 0 0 0 354 16 0 0 16 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32647] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32647/stat : 32647 (java) S 32642 32642 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32648] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32648/stat : 32648 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73158769 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32649] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32649/stat : 32649 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32650] ppid=32642 vsize=412232 CPUtime=0.16 /proc/32643/task/32650/stat : 32650 (java) S 32642 32642 22717 34817 22717 4202560 560 0 0 0 14 2 0 0 15 0 10 0 73158770 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32651] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32651/stat : 32651 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32652] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32652/stat : 32652 (java) S 32642 32642 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73158771 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=32643/tid=32653] ppid=32642 vsize=412232 CPUtime=0 /proc/32643/task/32653/stat : 32653 (java) S 32642 32642 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73159150 422125568 55742 1283457024 134512640 134550932 4293490544 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.19 Current children cumulated vsize (KiB) 414796 Child status: 0 Real time (s): 101.396 CPU time (s): 101.242 CPU user time (s): 100.954 CPU system time (s): 0.288018 CPU usage (%): 99.8483 Max. virtual memory (cumulated for all children) (KiB): 414796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 100.954 system time used= 0.288018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65836 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= 2885 involuntary context switches= 4162 runsolver used 0 second user time and 0 second system time The end