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/rand929.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand929.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand929.cudf.dudf-random.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.12 1.06 1.01 4/34 30517 /proc/meminfo: memFree=511400/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=11044 CPUtime=0 /proc/30517/stat : 30517 (java) R 30516 30516 22717 34817 22717 4202496 678 0 0 0 0 0 0 0 25 0 1 0 72762722 11309056 414 1283457024 134512640 134550932 4290602224 18446744073709551615 4160386786 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30517/statm: 2761 414 179 10 0 1103 0 [startup+0.13548 s] /proc/loadavg: 1.12 1.06 1.01 4/34 30517 /proc/meminfo: memFree=511400/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=409920 CPUtime=0.14 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 3908 0 1 0 12 2 0 0 25 0 9 0 72762722 419758080 3336 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102480 3336 1906 10 0 96628 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412488 [startup+0.205482 s] /proc/loadavg: 1.12 1.06 1.01 4/34 30517 /proc/meminfo: memFree=511400/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=409920 CPUtime=0.2 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 4066 0 1 0 18 2 0 0 25 0 9 0 72762722 419758080 3494 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102480 3494 1906 10 0 96628 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412488 [startup+0.305521 s] /proc/loadavg: 1.12 1.06 1.01 4/34 30517 /proc/meminfo: memFree=511400/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=410340 CPUtime=0.3 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 4425 0 1 0 28 2 0 0 25 0 9 0 72762722 420188160 3853 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102585 3853 1934 10 0 96733 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412908 [startup+0.705653 s] /proc/loadavg: 1.12 1.06 1.01 4/34 30517 /proc/meminfo: memFree=511400/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=410616 CPUtime=0.71 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 11964 0 1 0 67 4 0 0 25 0 9 0 72762722 420470784 11207 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102654 11207 2895 10 0 96802 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413184 [startup+1.50593 s] /proc/loadavg: 1.12 1.06 1.01 3/43 30526 /proc/meminfo: memFree=453408/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=410748 CPUtime=1.5 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 26797 0 1 0 140 10 0 0 25 0 9 0 72762722 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102687 26040 2896 10 0 96835 0 [pid=30517/tid=30519] ppid=30516 vsize=410748 CPUtime=0.8 /proc/30517/task/30519/stat : 30519 (java) R 30516 30516 22717 34817 22717 4202560 6760 0 1 0 76 4 0 0 25 0 9 0 72762723 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=410748 CPUtime=0.64 /proc/30517/task/30520/stat : 30520 (java) R 30516 30516 22717 34817 22717 4202560 18651 0 0 0 58 6 0 0 18 0 9 0 72762723 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4151265188 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=410748 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72762724 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=410748 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72762724 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=410748 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72762725 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=410748 CPUtime=0.05 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 446 0 0 0 5 0 0 0 16 0 9 0 72762725 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=410748 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72762725 420605952 26040 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=410748 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72762725 420605952 26040 1283457024 134512640 134550932 4290602224 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) 413316 [startup+3.11649 s] /proc/loadavg: 1.12 1.06 1.01 2/43 30526 /proc/meminfo: memFree=380124/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=410892 CPUtime=3.11 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 48840 0 1 0 293 18 0 0 25 0 9 0 72762722 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102723 48002 2920 10 0 96868 0 [pid=30517/tid=30519] ppid=30516 vsize=410892 CPUtime=1.41 /proc/30517/task/30519/stat : 30519 (java) R 30516 30516 22717 34817 22717 4202560 14362 0 1 0 135 6 0 0 25 0 9 0 72762723 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=410892 CPUtime=1.59 /proc/30517/task/30520/stat : 30520 (java) R 30516 30516 22717 34817 22717 4202560 33050 0 0 0 149 10 0 0 15 0 9 0 72762723 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4151644468 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=410892 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72762724 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=410892 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72762724 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=410892 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72762725 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=410892 CPUtime=0.09 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 488 0 0 0 8 1 0 0 15 0 9 0 72762725 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=410892 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72762725 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=410892 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72762725 420753408 48002 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413460 [startup+6.30752 s] /proc/loadavg: 1.19 1.07 1.01 2/44 30527 /proc/meminfo: memFree=289596/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=411216 CPUtime=6.3 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 61003 0 1 0 607 23 0 0 25 0 10 0 72762722 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102804 60164 2922 10 0 96949 0 [pid=30517/tid=30519] ppid=30516 vsize=411216 CPUtime=4.26 /proc/30517/task/30519/stat : 30519 (java) R 30516 30516 22717 34817 22717 4202560 14387 0 1 0 418 8 0 0 25 0 10 0 72762723 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4115946872 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=411216 CPUtime=1.87 /proc/30517/task/30520/stat : 30520 (java) S 30516 30516 22717 34817 22717 4202560 45121 0 0 0 174 13 0 0 16 0 10 0 72762723 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=411216 CPUtime=0.16 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 550 0 0 0 15 1 0 0 15 0 10 0 72762725 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72762725 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30527] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30527/stat : 30527 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72763064 421085184 60164 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413784 Solver just ended. Dumping a history of the last processes samples [startup+6.40754 s] /proc/loadavg: 1.19 1.07 1.01 2/44 30527 /proc/meminfo: memFree=289596/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=411216 CPUtime=6.4 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 61004 0 1 0 617 23 0 0 25 0 10 0 72762722 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102804 60165 2922 10 0 96949 0 [pid=30517/tid=30519] ppid=30516 vsize=411216 CPUtime=4.36 /proc/30517/task/30519/stat : 30519 (java) R 30516 30516 22717 34817 22717 4202560 14387 0 1 0 428 8 0 0 25 0 10 0 72762723 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4115808464 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=411216 CPUtime=1.87 /proc/30517/task/30520/stat : 30520 (java) S 30516 30516 22717 34817 22717 4202560 45121 0 0 0 174 13 0 0 16 0 10 0 72762723 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=411216 CPUtime=0.16 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 551 0 0 0 15 1 0 0 15 0 10 0 72762725 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72762725 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30527] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30527/stat : 30527 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72763064 421085184 60165 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.4 Current children cumulated vsize (KiB) 413784 [startup+8.00801 s] /proc/loadavg: 1.19 1.07 1.01 2/44 30527 /proc/meminfo: memFree=278692/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=411216 CPUtime=7.98 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 63199 0 1 0 775 23 0 0 25 0 10 0 72762722 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102804 62360 2922 10 0 96949 0 [pid=30517/tid=30519] ppid=30516 vsize=411216 CPUtime=5.88 /proc/30517/task/30519/stat : 30519 (java) R 30516 30516 22717 34817 22717 4202560 14388 0 1 0 580 8 0 0 25 0 10 0 72762723 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4115904182 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=411216 CPUtime=1.92 /proc/30517/task/30520/stat : 30520 (java) S 30516 30516 22717 34817 22717 4202560 47314 0 0 0 179 13 0 0 16 0 10 0 72762723 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=411216 CPUtime=0.16 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 552 0 0 0 15 1 0 0 15 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30527] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30527/stat : 30527 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72763064 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.98 Current children cumulated vsize (KiB) 413784 [startup+8.4081 s] /proc/loadavg: 1.19 1.07 1.01 2/44 30527 /proc/meminfo: memFree=278692/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=411216 CPUtime=8.38 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 63199 0 1 0 815 23 0 0 25 0 10 0 72762722 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102804 62360 2922 10 0 96949 0 [pid=30517/tid=30519] ppid=30516 vsize=411216 CPUtime=6.28 /proc/30517/task/30519/stat : 30519 (java) R 30516 30516 22717 34817 22717 4202560 14388 0 1 0 620 8 0 0 25 0 10 0 72762723 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4115994544 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=411216 CPUtime=1.92 /proc/30517/task/30520/stat : 30520 (java) S 30516 30516 22717 34817 22717 4202560 47314 0 0 0 179 13 0 0 16 0 10 0 72762723 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=411216 CPUtime=0.16 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 552 0 0 0 15 1 0 0 15 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30527] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30527/stat : 30527 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72763064 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.38 Current children cumulated vsize (KiB) 413784 [startup+8.80821 s] /proc/loadavg: 1.17 1.07 1.01 2/44 30527 /proc/meminfo: memFree=273732/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=411216 CPUtime=8.78 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 63199 0 1 0 855 23 0 0 25 0 10 0 72762722 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102804 62360 2922 10 0 96949 0 [pid=30517/tid=30519] ppid=30516 vsize=411216 CPUtime=6.68 /proc/30517/task/30519/stat : 30519 (java) R 30516 30516 22717 34817 22717 4202560 14388 0 1 0 660 8 0 0 25 0 10 0 72762723 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4115918442 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=411216 CPUtime=1.92 /proc/30517/task/30520/stat : 30520 (java) S 30516 30516 22717 34817 22717 4202560 47314 0 0 0 179 13 0 0 16 0 10 0 72762723 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72762724 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=411216 CPUtime=0.16 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 552 0 0 0 15 1 0 0 15 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72762725 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30527] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30527/stat : 30527 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72763064 421085184 62360 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.78 Current children cumulated vsize (KiB) 413784 [startup+8.90206 s] /proc/loadavg: 1.17 1.07 1.01 2/44 30527 /proc/meminfo: memFree=273732/1048576 swapFree=0/0 [pid=30516] ppid=30515 vsize=2568 CPUtime=0 /proc/30516/stat : 30516 (gj-user-solver-) S 30515 30516 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72762722 2629632 269 1283457024 134512640 135304128 4292316976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30516/statm: 642 269 229 194 0 29 0 [pid=30517] ppid=30516 vsize=411216 CPUtime=8.86 /proc/30517/stat : 30517 (java) S 30516 30516 22717 34817 22717 4202496 63208 0 1 0 863 23 0 0 25 0 9 0 72762722 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30517/statm: 102804 62369 2923 10 0 96949 0 [pid=30517/tid=30519] ppid=30516 vsize=411216 CPUtime=6.76 /proc/30517/task/30519/stat : 30519 (java) S 30516 30516 22717 34817 22717 4202560 14389 0 1 0 668 8 0 0 25 0 9 0 72762723 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30520] ppid=30516 vsize=411216 CPUtime=1.92 /proc/30517/task/30520/stat : 30520 (java) S 30516 30516 22717 34817 22717 4202560 47314 0 0 0 179 13 0 0 16 0 9 0 72762723 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30521] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30521/stat : 30521 (java) S 30516 30516 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72762724 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30522] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30522/stat : 30522 (java) S 30516 30516 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72762724 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30523] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30523/stat : 30523 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72762725 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30524] ppid=30516 vsize=411216 CPUtime=0.17 /proc/30517/task/30524/stat : 30524 (java) S 30516 30516 22717 34817 22717 4202560 559 0 0 0 16 1 0 0 16 0 9 0 72762725 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30525] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30525/stat : 30525 (java) S 30516 30516 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72762725 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=30517/tid=30526] ppid=30516 vsize=411216 CPUtime=0 /proc/30517/task/30526/stat : 30526 (java) S 30516 30516 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72762725 421085184 62369 1283457024 134512640 134550932 4290602224 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.86 Current children cumulated vsize (KiB) 413784 Child status: 0 Real time (s): 8.93108 CPU time (s): 8.88055 CPU user time (s): 8.63254 CPU system time (s): 0.248015 CPU usage (%): 99.4342 Max. virtual memory (cumulated for all children) (KiB): 413784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.63254 system time used= 0.248015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63595 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= 965 involuntary context switches= 1231 runsolver used 0 second user time and 0 second system time The end