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/e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.97 0.97 0.99 4/34 4061 /proc/meminfo: memFree=240424/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=1664 CPUtime=0 /proc/4061/stat : 4061 (java) R 4060 4060 22717 34817 22717 4194304 335 0 0 0 0 0 0 0 25 0 1 0 73702180 1703936 80 1283457024 134512640 134550932 4293402464 18446744073709551615 4160310868 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4061/statm: 416 80 61 10 0 13 0 [startup+0.183997 s] /proc/loadavg: 0.97 0.97 0.99 4/34 4061 /proc/meminfo: memFree=240424/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=409920 CPUtime=0.18 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 4001 0 1 0 16 2 0 0 25 0 9 0 73702180 419758080 3429 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102480 3429 1906 10 0 96628 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 412488 [startup+0.213994 s] /proc/loadavg: 0.97 0.97 0.99 4/34 4061 /proc/meminfo: memFree=240424/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=409920 CPUtime=0.21 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 4066 0 1 0 19 2 0 0 25 0 9 0 73702180 419758080 3494 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102480 3494 1906 10 0 96628 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412488 [startup+0.304025 s] /proc/loadavg: 0.97 0.97 0.99 4/34 4061 /proc/meminfo: memFree=240424/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=410340 CPUtime=0.3 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 4393 0 1 0 25 5 0 0 25 0 9 0 73702180 420188160 3821 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102585 3821 1934 10 0 96733 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412908 [startup+0.704136 s] /proc/loadavg: 0.97 0.97 0.99 4/34 4061 /proc/meminfo: memFree=240424/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=410752 CPUtime=0.7 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 12357 0 1 0 62 8 0 0 25 0 9 0 73702180 420610048 11600 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102688 11600 2896 10 0 96836 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413320 [startup+1.50436 s] /proc/loadavg: 0.97 0.97 0.99 3/43 4070 /proc/meminfo: memFree=180944/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=410752 CPUtime=1.5 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 24545 0 1 0 138 12 0 0 25 0 9 0 73702180 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102688 23788 2896 10 0 96836 0 [pid=4061/tid=4063] ppid=4060 vsize=410752 CPUtime=0.8 /proc/4061/task/4063/stat : 4063 (java) R 4060 4060 22717 34817 22717 4202560 6792 0 1 0 74 6 0 0 25 0 9 0 73702181 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=410752 CPUtime=0.65 /proc/4061/task/4064/stat : 4064 (java) R 4060 4060 22717 34817 22717 4202560 16364 0 0 0 61 4 0 0 18 0 9 0 73702182 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4151142328 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=410752 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73702182 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=410752 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73702182 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=410752 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73702183 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=410752 CPUtime=0.02 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 449 0 0 0 2 0 0 0 19 0 9 0 73702183 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=410752 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73702183 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=410752 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73702183 420610048 23788 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.10475 s] /proc/loadavg: 0.97 0.97 0.99 3/43 4070 /proc/meminfo: memFree=109272/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=411088 CPUtime=3.1 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 43740 0 1 0 289 21 0 0 25 0 10 0 73702180 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102772 42901 2922 10 0 96917 0 [pid=4061/tid=4063] ppid=4060 vsize=411088 CPUtime=1.6 /proc/4061/task/4063/stat : 4063 (java) R 4060 4060 22717 34817 22717 4202560 9807 0 1 0 152 8 0 0 25 0 10 0 73702181 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4115667082 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=411088 CPUtime=1.36 /proc/4061/task/4064/stat : 4064 (java) S 4060 4060 22717 34817 22717 4202560 32452 0 0 0 125 11 0 0 16 0 10 0 73702182 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=411088 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73702182 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=411088 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73702182 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=411088 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73702183 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=411088 CPUtime=0.11 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 536 0 0 0 11 0 0 0 16 0 10 0 73702183 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=411088 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73702183 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=411088 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73702183 420954112 42901 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413656 [startup+6.30565 s] /proc/loadavg: 1.06 0.99 0.99 2/44 4071 /proc/meminfo: memFree=78768/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=411220 CPUtime=6.3 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 45198 0 1 0 606 24 0 0 25 0 10 0 73702180 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102805 43037 2916 10 0 96950 0 [pid=4061/tid=4063] ppid=4060 vsize=411220 CPUtime=4.56 /proc/4061/task/4063/stat : 4063 (java) R 4060 4060 22717 34817 22717 4202560 9810 0 1 0 447 9 0 0 25 0 10 0 73702181 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4115771028 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=411220 CPUtime=1.6 /proc/4061/task/4064/stat : 4064 (java) S 4060 4060 22717 34817 22717 4202560 33885 0 0 0 147 13 0 0 16 0 10 0 73702182 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73702182 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73702182 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=411220 CPUtime=0.11 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 558 0 0 0 11 0 0 0 15 0 10 0 73702183 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73702183 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4071] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4071/stat : 4071 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73702468 421089280 43037 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413788 [startup+12.7079 s] /proc/loadavg: 1.05 0.99 0.99 2/44 4071 /proc/meminfo: memFree=78768/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=411220 CPUtime=12.66 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 45207 0 1 0 1242 24 0 0 25 0 10 0 73702180 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102805 43046 2916 10 0 96950 0 [pid=4061/tid=4063] ppid=4060 vsize=411220 CPUtime=10.81 /proc/4061/task/4063/stat : 4063 (java) R 4060 4060 22717 34817 22717 4202560 9811 0 1 0 1072 9 0 0 25 0 10 0 73702181 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4115788068 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=411220 CPUtime=1.72 /proc/4061/task/4064/stat : 4064 (java) S 4060 4060 22717 34817 22717 4202560 33885 0 0 0 159 13 0 0 16 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=411220 CPUtime=0.11 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 566 0 0 0 11 0 0 0 16 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4071] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4071/stat : 4071 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73702468 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 413788 Solver just ended. Dumping a history of the last processes samples [startup+13.5082 s] /proc/loadavg: 1.05 0.99 0.99 2/44 4071 /proc/meminfo: memFree=78768/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=411220 CPUtime=13.46 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 45207 0 1 0 1322 24 0 0 25 0 10 0 73702180 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102805 43046 2916 10 0 96950 0 [pid=4061/tid=4063] ppid=4060 vsize=411220 CPUtime=11.6 /proc/4061/task/4063/stat : 4063 (java) R 4060 4060 22717 34817 22717 4202560 9811 0 1 0 1151 9 0 0 25 0 10 0 73702181 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4115830785 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=411220 CPUtime=1.72 /proc/4061/task/4064/stat : 4064 (java) S 4060 4060 22717 34817 22717 4202560 33885 0 0 0 159 13 0 0 16 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=411220 CPUtime=0.11 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 566 0 0 0 11 0 0 0 16 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) R 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4071] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4071/stat : 4071 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73702468 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.46 Current children cumulated vsize (KiB) 413788 [startup+13.9083 s] /proc/loadavg: 1.05 0.99 0.99 2/44 4071 /proc/meminfo: memFree=78768/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=411220 CPUtime=13.86 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 45207 0 1 0 1362 24 0 0 25 0 10 0 73702180 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102805 43046 2916 10 0 96950 0 [pid=4061/tid=4063] ppid=4060 vsize=411220 CPUtime=12 /proc/4061/task/4063/stat : 4063 (java) R 4060 4060 22717 34817 22717 4202560 9811 0 1 0 1191 9 0 0 25 0 10 0 73702181 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4115788068 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=411220 CPUtime=1.72 /proc/4061/task/4064/stat : 4064 (java) S 4060 4060 22717 34817 22717 4202560 33885 0 0 0 159 13 0 0 15 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=411220 CPUtime=0.11 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 566 0 0 0 11 0 0 0 15 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4071] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4071/stat : 4071 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73702468 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.86 Current children cumulated vsize (KiB) 413788 [startup+14.1084 s] /proc/loadavg: 1.05 0.99 0.99 2/44 4071 /proc/meminfo: memFree=78768/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=411220 CPUtime=14.06 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 45207 0 1 0 1382 24 0 0 25 0 10 0 73702180 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102805 43046 2916 10 0 96950 0 [pid=4061/tid=4063] ppid=4060 vsize=411220 CPUtime=12.19 /proc/4061/task/4063/stat : 4063 (java) R 4060 4060 22717 34817 22717 4202560 9811 0 1 0 1210 9 0 0 25 0 10 0 73702181 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4114868523 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=411220 CPUtime=1.73 /proc/4061/task/4064/stat : 4064 (java) S 4060 4060 22717 34817 22717 4202560 33885 0 0 0 160 13 0 0 16 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73702182 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=411220 CPUtime=0.11 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 566 0 0 0 11 0 0 0 15 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) R 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73702183 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4061/tid=4071] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4071/stat : 4071 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73702468 421089280 43046 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.06 Current children cumulated vsize (KiB) 413788 [startup+14.2008 s] /proc/loadavg: 1.05 0.99 0.99 1/43 4072 /proc/meminfo: memFree=78776/1048576 swapFree=0/0 [pid=4060] ppid=4059 vsize=2568 CPUtime=0 /proc/4060/stat : 4060 (gj-user-solver-) S 4059 4060 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 73702180 2629632 270 1283457024 134512640 135304128 4290860432 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4060/statm: 642 270 229 194 0 29 0 [pid=4061] ppid=4060 vsize=411220 CPUtime=14.13 /proc/4061/stat : 4061 (java) S 4060 4060 22717 34817 22717 4202496 45216 0 1 0 1389 24 0 0 25 0 9 0 73702180 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4061/statm: 102805 43055 2917 10 0 96950 0 [pid=4061/tid=4063] ppid=4060 vsize=411220 CPUtime=12.25 /proc/4061/task/4063/stat : 4063 (java) S 4060 4060 22717 34817 22717 4202560 9812 0 1 0 1216 9 0 0 25 0 9 0 73702181 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4064] ppid=4060 vsize=411220 CPUtime=1.75 /proc/4061/task/4064/stat : 4064 (java) S 4060 4060 22717 34817 22717 4202560 33885 0 0 0 162 13 0 0 16 0 9 0 73702182 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4065] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4065/stat : 4065 (java) S 4060 4060 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73702182 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4066] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4066/stat : 4066 (java) S 4060 4060 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73702182 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4067] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4067/stat : 4067 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73702183 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4068] ppid=4060 vsize=411220 CPUtime=0.11 /proc/4061/task/4068/stat : 4068 (java) S 4060 4060 22717 34817 22717 4202560 573 0 0 0 11 0 0 0 16 0 9 0 73702183 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4069] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4069/stat : 4069 (java) S 4060 4060 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73702183 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 [pid=4061/tid=4070] ppid=4060 vsize=411220 CPUtime=0 /proc/4061/task/4070/stat : 4070 (java) S 4060 4060 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73702183 421089280 43055 1283457024 134512640 134550932 4293402464 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.13 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 14.2335 CPU time (s): 14.1449 CPU user time (s): 13.8969 CPU system time (s): 0.248015 CPU usage (%): 99.3773 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.8969 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= 45605 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= 1125 involuntary context switches= 1519 runsolver used 0 second user time and 0 second system time The end