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/201007051233/inescp-1.0/688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/debian-dudf//688250e8-4bb4-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/inescp-1.0/688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debian-dudf.result 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.86 0.99 0.99 1/33 12696 /proc/meminfo: memFree=930720/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2880 CPUtime=0 /proc/12696/stat : 12696 (runsolver) R 12695 12696 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 528006910 2949120 93 1283457024 134512640 134586868 4294461824 18446744073709551615 4157871146 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/12696/statm: 720 93 62 19 0 52 0 [startup+0.13175 s] /proc/loadavg: 0.86 0.99 0.99 1/33 12696 /proc/meminfo: memFree=930720/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.207741 s] /proc/loadavg: 0.86 0.99 0.99 1/33 12696 /proc/meminfo: memFree=930720/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.307741 s] /proc/loadavg: 0.86 0.99 0.99 1/33 12696 /proc/meminfo: memFree=930720/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.707784 s] /proc/loadavg: 0.86 0.99 0.99 1/33 12696 /proc/meminfo: memFree=930720/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.50384 s] /proc/loadavg: 0.95 1.01 0.99 1/44 12707 /proc/meminfo: memFree=908208/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=0 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 745 0 5 0 0 0 0 0 25 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12699] ppid=12698 vsize=865856 CPUtime=0.18 /proc/12699/stat : 12699 (java) S 12698 12696 3447 769 3447 4202496 5718 0 224 0 18 0 0 0 23 0 9 0 528006913 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159956114 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12699/statm: 216464 4964 2123 10 0 210802 0 [pid=12699/tid=12700] ppid=12698 vsize=865856 CPUtime=0.12 /proc/12699/task/12700/stat : 12700 (java) S 12698 12696 3447 769 3447 4202560 2708 0 162 0 12 0 0 0 21 0 9 0 528006939 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12701] ppid=12698 vsize=865856 CPUtime=0.02 /proc/12699/task/12701/stat : 12701 (java) D 12698 12696 3447 769 3447 4202560 1486 0 16 0 2 0 0 0 16 0 9 0 528006959 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 103733277 0 0 0 16800975 18446744071564332000 0 0 -1 0 0 0 0 [pid=12699/tid=12702] ppid=12698 vsize=865856 CPUtime=0 /proc/12699/task/12702/stat : 12702 (java) S 12698 12696 3447 769 3447 4202560 15 0 0 0 0 0 0 0 20 0 9 0 528006965 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12703] ppid=12698 vsize=865856 CPUtime=0 /proc/12699/task/12703/stat : 12703 (java) S 12698 12696 3447 769 3447 4202560 7 0 1 0 0 0 0 0 21 0 9 0 528006965 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12704] ppid=12698 vsize=865856 CPUtime=0 /proc/12699/task/12704/stat : 12704 (java) S 12698 12696 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 528006974 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159977808 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12705] ppid=12698 vsize=865856 CPUtime=0.02 /proc/12699/task/12705/stat : 12705 (java) S 12698 12696 3447 769 3447 4202560 445 0 8 0 2 0 0 0 19 0 9 0 528006974 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12706] ppid=12698 vsize=865856 CPUtime=0 /proc/12699/task/12706/stat : 12706 (java) S 12698 12696 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 528006974 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12707] ppid=12698 vsize=865856 CPUtime=0 /proc/12699/task/12707/stat : 12707 (java) S 12698 12696 3447 769 3447 4202560 1 0 0 0 0 0 0 0 17 0 9 0 528006974 886636544 4964 1283457024 134512640 134550932 4290235840 18446744073709551615 4159970312 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 872248 [startup+3.12869 s] /proc/loadavg: 0.95 1.01 0.99 2/44 12707 /proc/meminfo: memFree=875132/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=0 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 745 0 5 0 0 0 0 0 25 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12699] ppid=12698 vsize=866784 CPUtime=1.77 /proc/12699/stat : 12699 (java) S 12698 12696 3447 769 3447 4202496 22482 0 232 0 172 5 0 0 23 0 9 0 528006913 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159956114 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12699/statm: 216696 20650 2715 10 0 211034 0 [pid=12699/tid=12700] ppid=12698 vsize=866784 CPUtime=1.02 /proc/12699/task/12700/stat : 12700 (java) R 12698 12696 3447 769 3447 4202560 3252 0 162 0 101 1 0 0 22 0 9 0 528006939 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159980231 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12699/tid=12701] ppid=12698 vsize=866784 CPUtime=0.71 /proc/12699/task/12701/stat : 12701 (java) R 12698 12696 3447 769 3447 4202560 17693 0 24 0 67 4 0 0 16 0 9 0 528006959 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 102758168 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=12699/tid=12702] ppid=12698 vsize=866784 CPUtime=0 /proc/12699/task/12702/stat : 12702 (java) S 12698 12696 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 528006965 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12703] ppid=12698 vsize=866784 CPUtime=0 /proc/12699/task/12703/stat : 12703 (java) S 12698 12696 3447 769 3447 4202560 7 0 1 0 0 0 0 0 16 0 9 0 528006965 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12704] ppid=12698 vsize=866784 CPUtime=0 /proc/12699/task/12704/stat : 12704 (java) S 12698 12696 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 528006974 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159977808 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12705] ppid=12698 vsize=866784 CPUtime=0.04 /proc/12699/task/12705/stat : 12705 (java) S 12698 12696 3447 769 3447 4202560 458 0 8 0 4 0 0 0 15 0 9 0 528006974 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12706] ppid=12698 vsize=866784 CPUtime=0 /proc/12699/task/12706/stat : 12706 (java) S 12698 12696 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 528006974 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159969520 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=12699/tid=12707] ppid=12698 vsize=866784 CPUtime=0 /proc/12699/task/12707/stat : 12707 (java) S 12698 12696 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 528006974 887586816 20650 1283457024 134512640 134550932 4290235840 18446744073709551615 4159970312 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.77 Current children cumulated vsize (KiB) 873176 heavy processes: [startup+6.31066 s] /proc/loadavg: 0.95 1.01 0.99 2/37 12708 /proc/meminfo: memFree=754648/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=3.98 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 774 42190 5 243 0 0 384 14 18 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 6392 heavy processes: [startup+12.7071 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=847220/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=6.52 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 803 44110 5 256 0 0 586 66 18 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12711] ppid=12698 vsize=2896 CPUtime=0 /proc/12711/stat : 12711 (sh) S 12698 12696 3447 769 3447 4194304 361 0 0 0 0 0 0 0 18 0 1 0 528007724 2965504 325 1283457024 134512640 135191968 4294720320 18446744073709551615 4159195550 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12711/statm: 724 325 221 166 0 156 0 [pid=12712] ppid=12711 vsize=46936 CPUtime=4.47 /proc/12712/stat : 12712 (msuncore) R 12711 12696 3447 769 3447 4202496 52433 0 14 0 422 25 0 0 25 0 1 0 528007724 48062464 11436 1283457024 134512640 135858300 4286909360 18446744073709551615 134670971 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/12712/statm: 11734 11436 134 329 0 11403 0 Current children cumulated CPU time (s) 10.99 Current children cumulated vsize (KiB) 56224 Solver just ended. Dumping a history of the last processes samples [startup+12.8071 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=847220/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=6.52 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 803 44110 5 256 0 0 586 66 18 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12711] ppid=12698 vsize=2896 CPUtime=0 /proc/12711/stat : 12711 (sh) S 12698 12696 3447 769 3447 4194304 361 0 0 0 0 0 0 0 18 0 1 0 528007724 2965504 325 1283457024 134512640 135191968 4294720320 18446744073709551615 4159195550 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12711/statm: 724 325 221 166 0 156 0 [pid=12712] ppid=12711 vsize=46936 CPUtime=4.57 /proc/12712/stat : 12712 (msuncore) R 12711 12696 3447 769 3447 4202496 52433 0 14 0 432 25 0 0 25 0 1 0 528007724 48062464 11436 1283457024 134512640 135858300 4286909360 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/12712/statm: 11734 11436 134 329 0 11403 0 Current children cumulated CPU time (s) 11.09 Current children cumulated vsize (KiB) 56224 [startup+16.0079 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=846972/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=6.52 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 803 44110 5 256 0 0 586 66 18 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12711] ppid=12698 vsize=2896 CPUtime=0 /proc/12711/stat : 12711 (sh) S 12698 12696 3447 769 3447 4194304 361 0 0 0 0 0 0 0 18 0 1 0 528007724 2965504 325 1283457024 134512640 135191968 4294720320 18446744073709551615 4159195550 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12711/statm: 724 325 221 166 0 156 0 [pid=12712] ppid=12711 vsize=47628 CPUtime=7.78 /proc/12712/stat : 12712 (msuncore) R 12711 12696 3447 769 3447 4202496 68513 0 14 0 746 32 0 0 25 0 1 0 528007724 48771072 11628 1283457024 134512640 135858300 4286909360 18446744073709551615 134663015 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/12712/statm: 11907 11628 137 329 0 11576 0 Current children cumulated CPU time (s) 14.3 Current children cumulated vsize (KiB) 56916 [startup+17.6084 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=845980/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=6.52 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 803 44110 5 256 0 0 586 66 18 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12711] ppid=12698 vsize=2896 CPUtime=0 /proc/12711/stat : 12711 (sh) S 12698 12696 3447 769 3447 4194304 361 0 0 0 0 0 0 0 18 0 1 0 528007724 2965504 325 1283457024 134512640 135191968 4294720320 18446744073709551615 4159195550 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12711/statm: 724 325 221 166 0 156 0 [pid=12712] ppid=12711 vsize=47628 CPUtime=9.38 /proc/12712/stat : 12712 (msuncore) R 12711 12696 3447 769 3447 4202496 68513 0 14 0 906 32 0 0 25 0 1 0 528007724 48771072 11628 1283457024 134512640 135858300 4286909360 18446744073709551615 134663020 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/12712/statm: 11907 11628 137 329 0 11576 0 Current children cumulated CPU time (s) 15.9 Current children cumulated vsize (KiB) 56916 [startup+19.2089 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=845980/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=6.52 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 803 44110 5 256 0 0 586 66 18 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12711] ppid=12698 vsize=2896 CPUtime=0 /proc/12711/stat : 12711 (sh) S 12698 12696 3447 769 3447 4194304 361 0 0 0 0 0 0 0 18 0 1 0 528007724 2965504 325 1283457024 134512640 135191968 4294720320 18446744073709551615 4159195550 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12711/statm: 724 325 221 166 0 156 0 [pid=12712] ppid=12711 vsize=47628 CPUtime=10.98 /proc/12712/stat : 12712 (msuncore) R 12711 12696 3447 769 3447 4202496 68513 0 14 0 1064 34 0 0 25 0 1 0 528007724 48771072 11628 1283457024 134512640 135858300 4286909360 18446744073709551615 134620120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/12712/statm: 11907 11628 137 329 0 11576 0 Current children cumulated CPU time (s) 17.5 Current children cumulated vsize (KiB) 56916 [startup+19.609 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=845980/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=4008 CPUtime=6.52 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 803 44110 5 256 0 0 586 66 18 0 1 0 528006910 4104192 644 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 1002 644 348 251 0 303 0 [pid=12711] ppid=12698 vsize=2896 CPUtime=0 /proc/12711/stat : 12711 (sh) S 12698 12696 3447 769 3447 4194304 361 0 0 0 0 0 0 0 18 0 1 0 528007724 2965504 325 1283457024 134512640 135191968 4294720320 18446744073709551615 4159195550 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12711/statm: 724 325 221 166 0 156 0 [pid=12712] ppid=12711 vsize=47628 CPUtime=11.38 /proc/12712/stat : 12712 (msuncore) R 12711 12696 3447 769 3447 4202496 68513 0 14 0 1104 34 0 0 25 0 1 0 528007724 48771072 11628 1283457024 134512640 135858300 4286909360 18446744073709551615 134620127 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/12712/statm: 11907 11628 137 329 0 11576 0 Current children cumulated CPU time (s) 17.9 Current children cumulated vsize (KiB) 56916 [startup+20.0091 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=846724/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=14140 CPUtime=18.29 /proc/12698/stat : 12698 (cudf-solver.py) R 12696 12696 3447 769 3447 4202496 3587 113006 5 271 14 2 1713 100 18 0 1 0 528006910 14479360 3174 1283457024 134512640 135539072 4287375568 18446744073709551615 134771074 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/12698/statm: 3535 3174 348 251 0 2836 0 Current children cumulated CPU time (s) 18.29 Current children cumulated vsize (KiB) 16524 [startup+20.105 s] /proc/loadavg: 0.96 1.01 0.99 2/37 12712 /proc/meminfo: memFree=846724/1048576 swapFree=2094588/2097144 [pid=12696] ppid=12695 vsize=2384 CPUtime=0 /proc/12696/stat : 12696 (inescp-1.0) S 12695 12696 3447 769 3447 4194304 363 0 0 0 0 0 0 0 25 0 1 0 528006910 2441216 261 1283457024 134512640 135191968 4289721824 18446744073709551615 4159531422 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12696/statm: 596 261 222 166 0 28 0 [pid=12698] ppid=12696 vsize=14140 CPUtime=18.37 /proc/12698/stat : 12698 (cudf-solver.py) S 12696 12696 3447 769 3447 4202496 3593 113006 5 271 22 2 1713 100 18 0 1 0 528006910 14479360 3174 1283457024 134512640 135539072 4287375568 18446744073709551615 4159515038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/12698/statm: 3535 3174 348 251 0 2836 0 Current children cumulated CPU time (s) 18.37 Current children cumulated vsize (KiB) 16524 Child status: 0 Real time (s): 20.1502 CPU time (s): 18.4172 CPU user time (s): 17.3851 CPU system time (s): 1.03206 CPU usage (%): 91.3995 Max. virtual memory (cumulated for all children) (KiB): 873192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.3851 system time used= 1.03206 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119303 page faults= 278 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2325 involuntary context switches= 2027 runsolver used 0 second user time and 0.004 second system time The end