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/29180036-5408-11df-9f57-00163e7a6f5e.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//29180036-5408-11df-9f57-00163e7a6f5e.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/29180036-5408-11df-9f57-00163e7a6f5e.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 0.96 3/40 25611 /proc/meminfo: memFree=495776/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=11360 CPUtime=0.01 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 919 0 0 0 0 1 0 0 25 0 2 0 72022442 11632640 652 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 2840 652 285 10 0 1186 0 [pid=25610/tid=25611] ppid=25609 vsize=11360 CPUtime=0 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 2 0 72022442 11632640 652 1283457024 134512640 134550932 4288578240 18446744073709551615 4159159912 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.165652 s] /proc/loadavg: 1.00 1.01 0.96 3/40 25611 /proc/meminfo: memFree=495776/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=410072 CPUtime=0.16 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 4095 0 1 0 14 2 0 0 25 0 9 0 72022442 419913728 3523 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102518 3523 1935 10 0 96666 0 [pid=25610/tid=25611] ppid=25609 vsize=410072 CPUtime=0.14 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 2892 0 1 0 13 1 0 0 25 0 9 0 72022442 419913728 3523 1283457024 134512640 134550932 4288578240 18446744073709551615 4114498067 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412636 [startup+0.205656 s] /proc/loadavg: 1.00 1.01 0.96 3/40 25611 /proc/meminfo: memFree=495776/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=410208 CPUtime=0.2 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 4377 0 1 0 18 2 0 0 25 0 9 0 72022442 420052992 3804 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102552 3804 1946 10 0 96700 0 [pid=25610/tid=25611] ppid=25609 vsize=410208 CPUtime=0.18 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 3174 0 1 0 17 1 0 0 25 0 9 0 72022442 420052992 3804 1283457024 134512640 134550932 4288578240 18446744073709551615 4114498628 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412772 [startup+0.305699 s] /proc/loadavg: 1.00 1.01 0.96 3/40 25611 /proc/meminfo: memFree=495776/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=410484 CPUtime=0.3 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 5416 0 1 0 28 2 0 0 25 0 9 0 72022442 420335616 4842 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102621 4842 1957 10 0 96769 0 [pid=25610/tid=25611] ppid=25609 vsize=410484 CPUtime=0.25 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 3529 0 1 0 24 1 0 0 25 0 9 0 72022442 420335616 4842 1283457024 134512640 134550932 4288578240 18446744073709551615 4114964795 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) 413048 [startup+0.705841 s] /proc/loadavg: 1.00 1.01 0.96 3/40 25611 /proc/meminfo: memFree=495776/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=410752 CPUtime=0.71 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 12915 0 1 0 67 4 0 0 25 0 9 0 72022442 420610048 12155 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102688 12155 2901 10 0 96836 0 [pid=25610/tid=25611] ppid=25609 vsize=410752 CPUtime=0.45 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 4217 0 1 0 44 1 0 0 25 0 9 0 72022442 420610048 12155 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413316 [startup+1.5061 s] /proc/loadavg: 1.16 1.04 0.97 3/48 25620 /proc/meminfo: memFree=437360/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=410752 CPUtime=1.5 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 28143 0 1 0 140 10 0 0 25 0 9 0 72022442 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102688 27383 2901 10 0 96836 0 [pid=25610/tid=25611] ppid=25609 vsize=410752 CPUtime=0.78 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 6841 0 1 0 76 2 0 0 25 0 9 0 72022442 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25613] ppid=25609 vsize=410752 CPUtime=0.68 /proc/25610/task/25613/stat : 25613 (java) R 25609 25609 22717 34817 22717 4202560 19919 0 0 0 62 6 0 0 19 0 9 0 72022443 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4150719378 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25614] ppid=25609 vsize=410752 CPUtime=0 /proc/25610/task/25614/stat : 25614 (java) S 25609 25609 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72022443 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25615] ppid=25609 vsize=410752 CPUtime=0 /proc/25610/task/25615/stat : 25615 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 21 0 9 0 72022443 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25617] ppid=25609 vsize=410752 CPUtime=0 /proc/25610/task/25617/stat : 25617 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72022445 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25618] ppid=25609 vsize=410752 CPUtime=0.02 /proc/25610/task/25618/stat : 25618 (java) S 25609 25609 22717 34817 22717 4202560 441 0 0 0 2 0 0 0 20 0 9 0 72022445 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25619] ppid=25609 vsize=410752 CPUtime=0 /proc/25610/task/25619/stat : 25619 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72022445 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25620] ppid=25609 vsize=410752 CPUtime=0 /proc/25610/task/25620/stat : 25620 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72022445 420610048 27383 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413316 [startup+3.10655 s] /proc/loadavg: 1.16 1.04 0.97 2/48 25620 /proc/meminfo: memFree=363084/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=411088 CPUtime=3.1 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 40193 0 1 0 296 14 0 0 25 0 10 0 72022442 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102772 39351 2927 10 0 96917 0 [pid=25610/tid=25611] ppid=25609 vsize=411088 CPUtime=1.87 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 9937 0 1 0 183 4 0 0 25 0 10 0 72022442 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4115377636 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25613] ppid=25609 vsize=411088 CPUtime=1.13 /proc/25610/task/25613/stat : 25613 (java) S 25609 25609 22717 34817 22717 4202560 28794 0 0 0 104 9 0 0 16 0 10 0 72022443 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25614] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25614/stat : 25614 (java) S 25609 25609 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72022443 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25615] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25615/stat : 25615 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72022443 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25617] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25617/stat : 25617 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25618] ppid=25609 vsize=411088 CPUtime=0.08 /proc/25610/task/25618/stat : 25618 (java) S 25609 25609 22717 34817 22717 4202560 515 0 0 0 8 0 0 0 15 0 10 0 72022445 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25619] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25619/stat : 25619 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25620] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25620/stat : 25620 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72022445 420954112 39351 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413652 [startup+6.3074 s] /proc/loadavg: 1.16 1.04 0.97 2/49 25621 /proc/meminfo: memFree=339888/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=411088 CPUtime=6.29 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 43482 0 1 0 614 15 0 0 25 0 10 0 72022442 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102772 42640 2927 10 0 96917 0 [pid=25610/tid=25611] ppid=25609 vsize=411088 CPUtime=4.93 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 9940 0 1 0 489 4 0 0 25 0 10 0 72022442 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4114635270 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25613] ppid=25609 vsize=411088 CPUtime=1.22 /proc/25610/task/25613/stat : 25613 (java) S 25609 25609 22717 34817 22717 4202560 32051 0 0 0 112 10 0 0 16 0 10 0 72022443 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25614] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25614/stat : 25614 (java) S 25609 25609 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72022443 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25615] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25615/stat : 25615 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72022443 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25617] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25617/stat : 25617 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25618] ppid=25609 vsize=411088 CPUtime=0.12 /proc/25610/task/25618/stat : 25618 (java) S 25609 25609 22717 34817 22717 4202560 544 0 0 0 12 0 0 0 15 0 10 0 72022445 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25619] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25619/stat : 25619 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25620] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25620/stat : 25620 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72022445 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25621] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25621/stat : 25621 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72022687 420954112 42640 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413652 [startup+12.7097 s] /proc/loadavg: 1.13 1.04 0.97 3/49 25622 /proc/meminfo: memFree=333812/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=411088 CPUtime=12.68 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 44588 0 1 0 1252 16 0 0 25 0 10 0 72022442 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102772 43462 2921 10 0 96917 0 [pid=25610/tid=25611] ppid=25609 vsize=411088 CPUtime=11.03 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 9940 0 1 0 1099 4 0 0 25 0 10 0 72022442 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4115426448 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25613] ppid=25609 vsize=411088 CPUtime=1.5 /proc/25610/task/25613/stat : 25613 (java) S 25609 25609 22717 34817 22717 4202560 33145 0 0 0 140 10 0 0 16 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25614] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25614/stat : 25614 (java) S 25609 25609 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25615] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25615/stat : 25615 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25617] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25617/stat : 25617 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25618] ppid=25609 vsize=411088 CPUtime=0.12 /proc/25610/task/25618/stat : 25618 (java) S 25609 25609 22717 34817 22717 4202560 556 0 0 0 12 0 0 0 15 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25619] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25619/stat : 25619 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25620] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25620/stat : 25620 (java) R 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25621] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25621/stat : 25621 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72022687 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 413652 Solver just ended. Dumping a history of the last processes samples [startup+12.8097 s] /proc/loadavg: 1.13 1.04 0.97 3/49 25622 /proc/meminfo: memFree=333812/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=411088 CPUtime=12.78 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 44588 0 1 0 1262 16 0 0 25 0 10 0 72022442 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102772 43462 2921 10 0 96917 0 [pid=25610/tid=25611] ppid=25609 vsize=411088 CPUtime=11.13 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 9940 0 1 0 1109 4 0 0 25 0 10 0 72022442 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4115424776 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25613] ppid=25609 vsize=411088 CPUtime=1.5 /proc/25610/task/25613/stat : 25613 (java) S 25609 25609 22717 34817 22717 4202560 33145 0 0 0 140 10 0 0 16 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25614] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25614/stat : 25614 (java) S 25609 25609 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25615] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25615/stat : 25615 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25617] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25617/stat : 25617 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25618] ppid=25609 vsize=411088 CPUtime=0.12 /proc/25610/task/25618/stat : 25618 (java) S 25609 25609 22717 34817 22717 4202560 556 0 0 0 12 0 0 0 15 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25619] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25619/stat : 25619 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25620] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25620/stat : 25620 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25621] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25621/stat : 25621 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72022687 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 413652 [startup+12.9097 s] /proc/loadavg: 1.13 1.04 0.97 3/49 25622 /proc/meminfo: memFree=333812/1048576 swapFree=0/0 [pid=25609] ppid=25608 vsize=2564 CPUtime=0 /proc/25609/stat : 25609 (gj-user-solver-) S 25608 25609 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 25 0 1 0 72022442 2625536 269 1283457024 134512640 135304128 4288105200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25609/statm: 641 269 229 194 0 28 0 [pid=25610] ppid=25609 vsize=411088 CPUtime=12.88 /proc/25610/stat : 25610 (java) S 25609 25609 22717 34817 22717 4202496 44588 0 1 0 1272 16 0 0 25 0 10 0 72022442 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25610/statm: 102772 43462 2921 10 0 96917 0 [pid=25610/tid=25611] ppid=25609 vsize=411088 CPUtime=11.23 /proc/25610/task/25611/stat : 25611 (java) R 25609 25609 22717 34817 22717 4202560 9940 0 1 0 1119 4 0 0 25 0 10 0 72022442 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4114491632 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25610/tid=25613] ppid=25609 vsize=411088 CPUtime=1.5 /proc/25610/task/25613/stat : 25613 (java) S 25609 25609 22717 34817 22717 4202560 33145 0 0 0 140 10 0 0 16 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25614] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25614/stat : 25614 (java) S 25609 25609 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25615] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25615/stat : 25615 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72022443 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25617] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25617/stat : 25617 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25618] ppid=25609 vsize=411088 CPUtime=0.12 /proc/25610/task/25618/stat : 25618 (java) S 25609 25609 22717 34817 22717 4202560 556 0 0 0 12 0 0 0 15 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25619] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25619/stat : 25619 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25620] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25620/stat : 25620 (java) S 25609 25609 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72022445 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=25610/tid=25621] ppid=25609 vsize=411088 CPUtime=0 /proc/25610/task/25621/stat : 25621 (java) S 25609 25609 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72022687 420954112 43462 1283457024 134512640 134550932 4288578240 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.88 Current children cumulated vsize (KiB) 413652 Child status: 0 Real time (s): 12.9542 CPU time (s): 12.9168 CPU user time (s): 12.7448 CPU system time (s): 0.17201 CPU usage (%): 99.7117 Max. virtual memory (cumulated for all children) (KiB): 413652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.7448 system time used= 0.17201 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44977 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= 1083 involuntary context switches= 1496 runsolver used 0 second user time and 0 second system time The end