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/huge3.cudf.cudf_set.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/cudf_set/huge3.cudf /home/misc2010/tmp/201007051233/inescp-1.0/huge3.cudf.cudf_set.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: 1.07 1.04 1.00 2/37 6010 /proc/meminfo: memFree=18496/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=3272 CPUtime=0 /proc/6010/stat : 6010 (cudf-solver.py) D 6009 6009 3447 769 3447 4202496 381 0 0 0 0 0 0 0 24 0 1 0 526729605 3350528 299 1283457024 134512640 135539072 4292940096 18446744073709551615 4159556158 0 0 0 0 18446744071564252162 0 0 17 0 0 0 0 /proc/6010/statm: 818 299 227 251 0 119 0 [startup+0.149153 s] /proc/loadavg: 1.07 1.04 1.00 2/37 6010 /proc/meminfo: memFree=18496/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=0 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6388 [startup+0.205117 s] /proc/loadavg: 1.07 1.04 1.00 2/37 6010 /proc/meminfo: memFree=18496/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=0 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6388 [startup+0.475393 s] /proc/loadavg: 1.07 1.04 1.00 2/37 6010 /proc/meminfo: memFree=18496/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=0 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6388 [startup+0.705419 s] /proc/loadavg: 1.07 1.04 1.00 2/37 6010 /proc/meminfo: memFree=18496/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=0 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6388 [startup+1.50611 s] /proc/loadavg: 1.07 1.04 1.00 2/47 6020 /proc/meminfo: memFree=6796/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=0 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 [pid=6012] ppid=6010 vsize=864672 CPUtime=1.42 /proc/6012/stat : 6012 (java) S 6010 6009 3447 769 3447 4202496 5413 0 1 0 139 3 0 0 25 0 9 0 526729612 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160406674 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6012/statm: 216168 4462 1950 10 0 210506 0 [pid=6012/tid=6013] ppid=6010 vsize=864672 CPUtime=1.35 /proc/6012/task/6013/stat : 6013 (java) R 6010 6009 3447 769 3447 4202560 3111 0 1 0 133 2 0 0 25 0 9 0 526729612 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160430791 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6012/tid=6014] ppid=6010 vsize=864672 CPUtime=0.02 /proc/6012/task/6014/stat : 6014 (java) S 6010 6009 3447 769 3447 4202560 811 0 0 0 2 0 0 0 15 0 9 0 526729613 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6015] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6015/stat : 6015 (java) S 6010 6009 3447 769 3447 4202560 15 0 0 0 0 0 0 0 22 0 9 0 526729613 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6016] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6016/stat : 6016 (java) S 6010 6009 3447 769 3447 4202560 8 0 0 0 0 0 0 0 22 0 9 0 526729613 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6017] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6017/stat : 6017 (java) S 6010 6009 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526729614 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160428368 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6018] ppid=6010 vsize=864672 CPUtime=0.04 /proc/6012/task/6018/stat : 6018 (java) S 6010 6009 3447 769 3447 4202560 377 0 0 0 4 0 0 0 16 0 9 0 526729614 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6019] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6019/stat : 6019 (java) S 6010 6009 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526729614 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6020] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6020/stat : 6020 (java) S 6010 6009 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 526729614 885424128 4462 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420872 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 871060 Solver just ended. Dumping a history of the last processes samples [startup+1.70555 s] /proc/loadavg: 1.07 1.04 1.00 2/47 6020 /proc/meminfo: memFree=6796/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=0 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 [pid=6012] ppid=6010 vsize=864672 CPUtime=1.62 /proc/6012/stat : 6012 (java) S 6010 6009 3447 769 3447 4202496 5465 0 1 0 159 3 0 0 25 0 9 0 526729612 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160406674 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6012/statm: 216168 4514 1950 10 0 210506 0 [pid=6012/tid=6013] ppid=6010 vsize=864672 CPUtime=1.55 /proc/6012/task/6013/stat : 6013 (java) R 6010 6009 3447 769 3447 4202560 3111 0 1 0 153 2 0 0 25 0 9 0 526729612 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4125116178 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6012/tid=6014] ppid=6010 vsize=864672 CPUtime=0.02 /proc/6012/task/6014/stat : 6014 (java) S 6010 6009 3447 769 3447 4202560 863 0 0 0 2 0 0 0 16 0 9 0 526729613 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420872 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6015] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6015/stat : 6015 (java) S 6010 6009 3447 769 3447 4202560 15 0 0 0 0 0 0 0 22 0 9 0 526729613 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6016] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6016/stat : 6016 (java) S 6010 6009 3447 769 3447 4202560 8 0 0 0 0 0 0 0 22 0 9 0 526729613 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6017] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6017/stat : 6017 (java) S 6010 6009 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526729614 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160428368 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6018] ppid=6010 vsize=864672 CPUtime=0.04 /proc/6012/task/6018/stat : 6018 (java) S 6010 6009 3447 769 3447 4202560 377 0 0 0 4 0 0 0 15 0 9 0 526729614 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6019] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6019/stat : 6019 (java) S 6010 6009 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526729614 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420080 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 [pid=6012/tid=6020] ppid=6010 vsize=864672 CPUtime=0 /proc/6012/task/6020/stat : 6020 (java) S 6010 6009 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 9 0 526729614 885424128 4514 1283457024 134512640 134550932 4288830608 18446744073709551615 4160420872 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 871060 [startup+2.10927 s] /proc/loadavg: 1.07 1.04 1.00 2/47 6020 /proc/meminfo: memFree=6796/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=1.83 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 777 6912 0 1 0 0 180 3 18 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 6388 [startup+2.30528 s] /proc/loadavg: 1.07 1.04 1.00 2/40 6025 /proc/meminfo: memFree=8596/1048576 swapFree=2092188/2097144 [pid=6009] ppid=6008 vsize=2384 CPUtime=0 /proc/6009/stat : 6009 (inescp-1.0) S 6008 6009 3447 769 3447 4194304 363 0 0 0 0 0 0 0 24 0 1 0 526729605 2441216 261 1283457024 134512640 135191968 4291999824 18446744073709551615 4158851486 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6009/statm: 596 261 222 166 0 28 0 [pid=6010] ppid=6009 vsize=4004 CPUtime=2.04 /proc/6010/stat : 6010 (cudf-solver.py) S 6009 6009 3447 769 3447 4202496 805 8276 0 1 0 0 186 18 18 0 1 0 526729605 4100096 644 1283457024 134512640 135539072 4292940096 18446744073709551615 4159400350 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6010/statm: 1001 644 348 251 0 302 0 [pid=6024] ppid=6010 vsize=2896 CPUtime=0 /proc/6024/stat : 6024 (sh) S 6010 6009 3447 769 3447 4194304 360 0 0 0 0 0 0 0 18 0 1 0 526729821 2965504 324 1283457024 134512640 135191968 4291162080 18446744073709551615 4159183262 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6024/statm: 724 324 221 166 0 156 0 [pid=6025] ppid=6024 vsize=9068 CPUtime=0.13 /proc/6025/stat : 6025 (msuncore) R 6024 6009 3447 769 3447 4202496 2378 0 2 0 13 0 0 0 21 0 1 0 526729822 9285632 2084 1283457024 134512640 135858300 4290965456 18446744073709551615 135341705 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/6025/statm: 2267 2084 150 329 0 1936 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 18352 Child status: 0 Real time (s): 2.31889 CPU time (s): 2.18414 CPU user time (s): 2.00413 CPU system time (s): 0.180011 CPU usage (%): 94.1891 Max. virtual memory (cumulated for all children) (KiB): 871380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.00413 system time used= 0.180011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12537 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 528 involuntary context switches= 491 runsolver used 0 second user time and 0 second system time The end