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/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/debian-dudf//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/inescp-1.0/3e4f8550-0b33-11df-942d-00163e1d94dc.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.97 1.01 1.00 2/33 9232 /proc/meminfo: memFree=905984/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2880 CPUtime=0 /proc/9232/stat : 9232 (runsolver) R 9231 9232 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 527478079 2949120 93 1283457024 134512640 134586868 4292034352 18446744073709551615 4157662250 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/9232/statm: 720 93 62 19 0 52 0 [startup+0.123679 s] /proc/loadavg: 0.97 1.01 1.00 2/33 9232 /proc/meminfo: memFree=905984/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.207683 s] /proc/loadavg: 0.97 1.01 1.00 2/33 9232 /proc/meminfo: memFree=905984/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.307678 s] /proc/loadavg: 0.97 1.01 1.00 2/33 9232 /proc/meminfo: memFree=905984/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.703719 s] /proc/loadavg: 0.97 1.01 1.00 2/33 9232 /proc/meminfo: memFree=905984/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.5093 s] /proc/loadavg: 0.97 1.01 1.00 2/44 9243 /proc/meminfo: memFree=885488/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=0 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 750 0 0 0 0 0 0 0 25 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9235] ppid=9234 vsize=865860 CPUtime=0.32 /proc/9235/stat : 9235 (java) S 9234 9232 3447 769 3447 4202496 7711 0 173 0 31 1 0 0 23 0 9 0 527478080 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159624338 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9235/statm: 216465 6771 2715 10 0 210803 0 [pid=9235/tid=9236] ppid=9234 vsize=865860 CPUtime=0.24 /proc/9235/task/9236/stat : 9236 (java) R 9234 9232 3447 769 3447 4202560 2767 0 101 0 24 0 0 0 21 0 9 0 527478105 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4124288003 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9235/tid=9237] ppid=9234 vsize=865860 CPUtime=0.06 /proc/9235/task/9237/stat : 9237 (java) S 9234 9232 3447 769 3447 4202560 3417 0 24 0 6 0 0 0 16 0 9 0 527478119 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159638536 0 0 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9238] ppid=9234 vsize=865860 CPUtime=0 /proc/9235/task/9238/stat : 9238 (java) S 9234 9232 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 527478138 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9239] ppid=9234 vsize=865860 CPUtime=0 /proc/9235/task/9239/stat : 9239 (java) S 9234 9232 3447 769 3447 4202560 6 0 2 0 0 0 0 0 17 0 9 0 527478138 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9240] ppid=9234 vsize=865860 CPUtime=0 /proc/9235/task/9240/stat : 9240 (java) S 9234 9232 3447 769 3447 4202560 0 0 0 0 0 0 0 0 24 0 9 0 527478140 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159646032 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9241] ppid=9234 vsize=865860 CPUtime=0 /proc/9235/task/9241/stat : 9241 (java) S 9234 9232 3447 769 3447 4202560 452 0 8 0 0 0 0 0 18 0 9 0 527478140 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9242] ppid=9234 vsize=865860 CPUtime=0 /proc/9235/task/9242/stat : 9242 (java) S 9234 9232 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 527478140 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9243] ppid=9234 vsize=865860 CPUtime=0 /proc/9235/task/9243/stat : 9243 (java) S 9234 9232 3447 769 3447 4202560 1 0 0 0 0 0 0 0 17 0 9 0 527478140 886640640 6771 1283457024 134512640 134550932 4294347184 18446744073709551615 4159638536 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 872244 [startup+3.12813 s] /proc/loadavg: 0.97 1.01 1.00 2/44 9243 /proc/meminfo: memFree=846976/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=0 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 750 0 0 0 0 0 0 0 25 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9235] ppid=9234 vsize=865784 CPUtime=1.93 /proc/9235/stat : 9235 (java) S 9234 9232 3447 769 3447 4202496 23331 0 173 0 183 10 0 0 23 0 9 0 527478080 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159624338 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9235/statm: 216446 21191 2715 10 0 210784 0 [pid=9235/tid=9236] ppid=9234 vsize=865784 CPUtime=1.09 /proc/9235/task/9236/stat : 9236 (java) R 9234 9232 3447 769 3447 4202560 3727 0 101 0 107 2 0 0 24 0 9 0 527478105 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159648455 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9235/tid=9237] ppid=9234 vsize=865784 CPUtime=0.81 /proc/9235/task/9237/stat : 9237 (java) S 9234 9232 3447 769 3447 4202560 18071 0 24 0 73 8 0 0 15 0 9 0 527478119 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 0 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9238] ppid=9234 vsize=865784 CPUtime=0 /proc/9235/task/9238/stat : 9238 (java) S 9234 9232 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 527478138 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9239] ppid=9234 vsize=865784 CPUtime=0 /proc/9235/task/9239/stat : 9239 (java) S 9234 9232 3447 769 3447 4202560 6 0 2 0 0 0 0 0 17 0 9 0 527478138 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9240] ppid=9234 vsize=865784 CPUtime=0 /proc/9235/task/9240/stat : 9240 (java) S 9234 9232 3447 769 3447 4202560 0 0 0 0 0 0 0 0 24 0 9 0 527478140 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159646032 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9241] ppid=9234 vsize=865784 CPUtime=0.02 /proc/9235/task/9241/stat : 9241 (java) S 9234 9232 3447 769 3447 4202560 458 0 8 0 2 0 0 0 15 0 9 0 527478140 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9242] ppid=9234 vsize=865784 CPUtime=0 /proc/9235/task/9242/stat : 9242 (java) S 9234 9232 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 527478140 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159637744 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 [pid=9235/tid=9243] ppid=9234 vsize=865784 CPUtime=0 /proc/9235/task/9243/stat : 9243 (java) S 9234 9232 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 527478140 886562816 21191 1283457024 134512640 134550932 4294347184 18446744073709551615 4159638536 0 4 0 16800975 18446612132872857664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.93 Current children cumulated vsize (KiB) 872168 heavy processes: [startup+6.31221 s] /proc/loadavg: 0.97 1.01 1.00 2/37 9246 /proc/meminfo: memFree=878724/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=3.89 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 779 40975 0 184 0 0 370 19 18 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9245] ppid=9234 vsize=2900 CPUtime=0 /proc/9245/stat : 9245 (sh) S 9234 9232 3447 769 3447 4194304 361 0 0 0 0 0 0 0 18 0 1 0 527478608 2969600 325 1283457024 134512640 135191968 4292774256 18446744073709551615 4158863774 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9245/statm: 725 325 221 166 0 157 0 [pid=9246] ppid=9245 vsize=3616 CPUtime=0.92 /proc/9246/stat : 9246 (pb2wcnf) R 9245 9232 3447 769 3447 4202496 734 0 13 0 91 1 0 0 23 0 1 0 527478609 3702784 669 1283457024 134512640 135650584 4287900656 18446744073709551615 134839211 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9246/statm: 904 669 93 278 0 624 0 Current children cumulated CPU time (s) 4.81 Current children cumulated vsize (KiB) 12900 heavy processes: [startup+12.7091 s] /proc/loadavg: 0.97 1.01 1.00 2/37 9248 /proc/meminfo: memFree=827804/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=6.31 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 808 42856 0 197 0 0 564 67 18 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9247] ppid=9234 vsize=2892 CPUtime=0 /proc/9247/stat : 9247 (sh) S 9234 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 527478861 2961408 323 1283457024 134512640 135191968 4292120784 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9247/statm: 723 323 221 166 0 155 0 [pid=9248] ppid=9247 vsize=45960 CPUtime=4.79 /proc/9248/stat : 9248 (msuncore) R 9247 9232 3447 769 3447 4202496 50991 0 14 0 453 26 0 0 25 0 1 0 527478861 47063040 11153 1283457024 134512640 135858300 4287686368 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/9248/statm: 11490 11153 134 329 0 11159 0 Current children cumulated CPU time (s) 11.1 Current children cumulated vsize (KiB) 55236 Solver just ended. Dumping a history of the last processes samples [startup+15.9104 s] /proc/loadavg: 0.97 1.01 1.00 2/37 9248 /proc/meminfo: memFree=826812/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=6.31 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 808 42856 0 197 0 0 564 67 18 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9247] ppid=9234 vsize=2892 CPUtime=0 /proc/9247/stat : 9247 (sh) S 9234 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 527478861 2961408 323 1283457024 134512640 135191968 4292120784 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9247/statm: 723 323 221 166 0 155 0 [pid=9248] ppid=9247 vsize=46244 CPUtime=7.99 /proc/9248/stat : 9248 (msuncore) R 9247 9232 3447 769 3447 4202496 66582 0 14 0 769 30 0 0 25 0 1 0 527478861 47353856 11276 1283457024 134512640 135858300 4287686368 18446744073709551615 135343652 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/9248/statm: 11561 11276 137 329 0 11230 0 Current children cumulated CPU time (s) 14.3 Current children cumulated vsize (KiB) 55520 [startup+17.511 s] /proc/loadavg: 0.97 1.01 1.00 2/37 9248 /proc/meminfo: memFree=826812/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=6.31 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 808 42856 0 197 0 0 564 67 18 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9247] ppid=9234 vsize=2892 CPUtime=0 /proc/9247/stat : 9247 (sh) S 9234 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 527478861 2961408 323 1283457024 134512640 135191968 4292120784 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9247/statm: 723 323 221 166 0 155 0 [pid=9248] ppid=9247 vsize=46244 CPUtime=9.59 /proc/9248/stat : 9248 (msuncore) R 9247 9232 3447 769 3447 4202496 66582 0 14 0 929 30 0 0 25 0 1 0 527478861 47353856 11276 1283457024 134512640 135858300 4287686368 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/9248/statm: 11561 11276 137 329 0 11230 0 Current children cumulated CPU time (s) 15.9 Current children cumulated vsize (KiB) 55520 [startup+19.1049 s] /proc/loadavg: 0.97 1.01 1.00 2/37 9248 /proc/meminfo: memFree=826936/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=6.31 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 808 42856 0 197 0 0 564 67 18 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9247] ppid=9234 vsize=2892 CPUtime=0 /proc/9247/stat : 9247 (sh) S 9234 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 527478861 2961408 323 1283457024 134512640 135191968 4292120784 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9247/statm: 723 323 221 166 0 155 0 [pid=9248] ppid=9247 vsize=46244 CPUtime=10.86 /proc/9248/stat : 9248 (msuncore) D 9247 9232 3447 769 3447 4202496 66583 0 14 0 1056 30 0 0 25 0 1 0 527478861 47353856 11277 1283457024 134512640 135858300 4287686368 18446744073709551615 135265952 0 0 16781312 24615 18446744071564332000 0 0 17 0 0 0 0 /proc/9248/statm: 11561 11277 138 329 0 11230 0 Current children cumulated CPU time (s) 17.17 Current children cumulated vsize (KiB) 55520 [startup+19.5049 s] /proc/loadavg: 0.97 1.01 1.00 2/37 9248 /proc/meminfo: memFree=826936/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=4004 CPUtime=6.31 /proc/9234/stat : 9234 (cudf-solver.py) S 9232 9232 3447 769 3447 4202496 808 42856 0 197 0 0 564 67 18 0 1 0 527478079 4100096 644 1283457024 134512640 135539072 4289717744 18446744073709551615 4158691742 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/9234/statm: 1001 644 348 251 0 302 0 [pid=9247] ppid=9234 vsize=2892 CPUtime=0 /proc/9247/stat : 9247 (sh) S 9234 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 527478861 2961408 323 1283457024 134512640 135191968 4292120784 18446744073709551615 4159490462 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9247/statm: 723 323 221 166 0 155 0 [pid=9248] ppid=9247 vsize=46244 CPUtime=10.88 /proc/9248/stat : 9248 (msuncore) R 9247 9232 3447 769 3447 4202496 66594 0 15 0 1058 30 0 0 19 0 1 0 527478861 47353856 11289 1283457024 134512640 135858300 4287686368 18446744073709551615 135342372 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/9248/statm: 11561 11289 150 329 0 11230 0 Current children cumulated CPU time (s) 17.19 Current children cumulated vsize (KiB) 55520 [startup+19.7145 s] /proc/loadavg: 0.97 1.00 1.00 2/35 9248 /proc/meminfo: memFree=862248/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=14156 CPUtime=17.41 /proc/9234/stat : 9234 (cudf-solver.py) R 9232 9232 3447 769 3447 4202496 3551 109820 0 212 20 1 1623 97 18 0 1 0 527478079 14495744 3132 1283457024 134512640 135539072 4289717744 18446744073709551615 135364556 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/9234/statm: 3539 3132 348 251 0 2840 0 Current children cumulated CPU time (s) 17.41 Current children cumulated vsize (KiB) 16536 [startup+19.8049 s] /proc/loadavg: 0.97 1.00 1.00 2/35 9248 /proc/meminfo: memFree=862248/1048576 swapFree=2094608/2097144 [pid=9232] ppid=9231 vsize=2380 CPUtime=0 /proc/9232/stat : 9232 (inescp-1.0) S 9231 9232 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 527478079 2437120 259 1283457024 134512640 135191968 4292800720 18446744073709551615 4159416734 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9232/statm: 595 259 222 166 0 27 0 [pid=9234] ppid=9232 vsize=12612 CPUtime=17.45 /proc/9234/stat : 9234 (cudf-solver.py) R 9232 9232 3447 769 3447 4202496 4936 110289 0 213 23 2 1623 97 18 0 1 0 527478079 12914688 2746 1283457024 134512640 135539072 4289717744 18446744073709551615 134799355 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9234/statm: 3153 2746 348 251 0 2454 0 Current children cumulated CPU time (s) 17.45 Current children cumulated vsize (KiB) 14992 Child status: 0 Real time (s): 19.8152 CPU time (s): 17.4811 CPU user time (s): 16.481 CPU system time (s): 1.00006 CPU usage (%): 88.2207 Max. virtual memory (cumulated for all children) (KiB): 873172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.481 system time used= 1.00006 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116024 page faults= 213 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2161 involuntary context switches= 2025 runsolver used 0.004 second user time and 0.012 second system time The end